#BEGIN: [Thu Sep 7 21:49:21 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent2 #INSTANCE1: /benchmark/hand_made_wide/power_wider/suzuki_instance_3_4_2_3.col #INSTANCE2: /benchmark/hand_made_wide/power_wider/suzuki_instance_3_4_2_3_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/hand_made_wide/power_wider/suzuki_instance_3_4_2_3.col /benchmark/hand_made_wide/power_wider/suzuki_instance_3_4_2_3_01.dat s 6 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 t 6 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a YES a 6 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 93 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 102 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 108 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 117 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 123 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 132 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 138 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 147 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 153 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 148 162 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 148 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 124 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 127 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 112 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 115 121 130 136 145 156 159 168 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 115 121 130 136 145 156 159 163 177 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 115 121 130 136 145 156 159 163 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 115 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 121 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 130 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 136 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 145 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 156 159 171 174 183 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 156 159 171 174 178 192 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 156 159 171 174 178 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 142 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 133 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 124 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 127 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 118 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 70 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 13 22 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 76 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 73 85 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 73 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 13 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 31 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 40 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 46 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 55 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 91 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 100 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 109 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 112 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 103 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 97 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 88 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 22 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 79 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 73 82 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 73 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 25 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 31 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 40 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 46 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 55 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 64 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 67 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 58 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 52 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 43 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 34 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 34 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 34 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 37 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 28 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 4 10 19 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 10 19 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 19 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 22 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 13 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 7 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 1 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 a 6 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 156 159 171 174 186 189 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/hand_made_wide/power_wider/suzuki_instance_3_4_2_3.col /benchmark/hand_made_wide/power_wider/suzuki_instance_3_4_2_3_01.dat" User time (seconds): 6.56 System time (seconds): 0.32 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.43 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 805848 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 237247 Voluntary context switches: 21224 Involuntary context switches: 38 Swaps: 0 File system inputs: 0 File system outputs: 648 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 21:49:25 2023]