#BEGIN: [Mon Sep 4 11:46:10 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance013_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance013_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat c /benchmark/random_instance/random_instance013_graph002.col c /benchmark/random_instance/random_instance013_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.027 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 62 131 156 91 39 109 153 88 76 160 84 141 159 8 61 70 38 48 126 105 3 7 108 137 106 147 150 78 67 169 104 35 25 79 74 40 68 24 130 143 110 164 166 132 33 107 149 53 1 145 63 6 89 142 152 41 t 23 47 166 36 138 112 128 12 54 46 161 68 152 89 97 118 76 65 29 163 21 164 148 28 58 3 122 169 56 107 114 1 110 66 40 147 100 142 130 120 77 125 25 62 116 33 102 13 151 70 39 61 91 155 98 10 a YES a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 63 67 68 70 74 76 78 79 84 88 89 91 104 105 106 107 108 109 110 126 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 63 67 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 127 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 78 79 84 88 89 91 104 105 106 107 108 109 110 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 13 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 78 79 84 88 89 91 105 106 107 108 109 110 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 13 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 123 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 166 169 a 1 3 6 7 8 13 24 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 169 a 1 3 6 7 8 13 14 25 33 35 38 39 40 41 48 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 132 137 141 142 143 145 147 149 150 152 153 156 159 160 164 169 a 1 3 6 7 8 13 14 25 33 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 132 137 141 142 143 145 149 150 152 153 156 159 160 164 169 a 1 3 6 7 8 13 14 25 33 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 82 84 88 89 91 105 106 107 108 109 110 114 123 131 132 137 141 142 143 145 149 150 152 153 156 159 160 164 169 a 1 3 6 7 8 13 14 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 82 84 88 89 91 105 106 107 108 109 110 114 123 131 132 137 141 142 143 145 149 150 151 152 153 156 159 160 164 169 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 82 84 88 89 91 105 106 107 108 109 110 114 123 131 132 137 141 142 143 145 149 150 151 152 153 159 160 164 169 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 82 84 88 89 91 105 106 107 108 109 110 114 123 131 132 137 141 142 143 144 145 149 150 151 152 153 159 160 164 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 132 137 141 142 143 144 145 149 150 151 152 153 159 160 164 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 137 141 142 143 144 145 149 150 151 152 153 155 159 160 164 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 137 141 142 143 144 145 150 151 152 153 155 159 160 164 165 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 137 141 142 143 144 145 150 151 152 153 155 159 160 165 169 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 74 76 77 79 84 88 89 91 105 106 107 108 109 110 114 123 130 131 137 141 142 143 144 145 149 150 151 152 153 155 159 160 169 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 74 76 77 79 84 88 89 91 105 106 107 108 110 114 123 130 131 137 141 142 143 144 145 149 150 151 152 153 155 159 160 169 a 1 3 6 7 8 13 14 22 25 26 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 74 76 77 79 84 88 89 91 105 106 107 108 110 114 123 130 131 137 141 142 143 144 145 149 150 151 152 153 155 160 169 a 1 3 6 7 8 13 14 22 25 26 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 74 76 77 79 84 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 169 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 74 76 77 79 84 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 159 169 a 1 3 6 7 8 13 14 22 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 159 169 a 1 3 6 7 8 13 14 22 23 25 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 169 a 1 3 6 7 8 13 14 22 23 25 26 38 39 40 41 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 169 a 1 3 5 6 7 8 13 22 23 25 26 38 39 40 41 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 169 a 1 3 5 6 7 8 13 22 23 25 26 35 38 39 40 41 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 169 a 1 3 5 6 7 8 13 22 23 25 26 35 38 39 40 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 22 23 25 26 35 38 39 40 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 114 123 129 130 131 137 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 22 23 25 26 35 38 39 48 50 53 61 62 63 67 68 70 71 76 77 79 84 87 88 89 91 105 106 107 108 110 114 123 129 130 131 137 140 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 22 23 25 26 35 38 39 48 50 53 61 62 63 67 68 70 71 73 76 77 79 84 87 88 89 91 105 107 108 110 114 123 129 130 131 137 140 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 22 23 25 26 38 39 48 50 53 61 62 63 67 68 70 71 73 76 77 79 84 87 88 89 91 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 22 23 25 38 39 48 50 53 61 62 63 67 68 70 71 73 76 77 79 84 85 87 88 89 91 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 14 22 23 25 38 39 48 50 61 62 63 67 68 70 71 73 76 77 79 84 85 87 88 89 91 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 145 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 14 22 23 25 38 39 48 50 61 62 63 67 68 70 71 73 76 77 79 84 85 87 88 89 91 102 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 14 22 23 25 38 39 48 50 56 61 62 63 67 68 70 71 73 76 77 84 85 87 88 89 91 102 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 149 150 151 152 153 155 166 169 a 1 3 5 7 8 13 14 22 23 25 38 39 48 50 56 61 62 63 68 70 71 73 76 77 84 85 87 88 89 91 102 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 149 150 151 152 153 155 163 166 169 a 1 3 5 7 8 13 14 22 23 25 38 39 48 50 56 61 62 63 68 70 73 76 77 84 85 87 88 89 91 102 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 149 150 151 152 153 155 163 164 166 169 a 1 3 5 7 8 13 14 22 23 25 39 48 50 56 61 62 63 68 70 73 76 77 84 85 87 88 89 91 97 102 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 149 150 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 48 50 56 61 62 63 68 70 73 76 77 84 85 87 88 89 91 97 102 105 107 108 110 112 114 123 129 130 131 137 140 141 142 143 144 149 150 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 48 50 56 61 62 63 68 70 73 76 77 84 85 87 88 89 91 97 102 105 107 108 110 112 114 123 129 130 131 137 138 140 141 142 143 144 149 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 48 50 56 61 62 63 68 70 73 76 77 85 87 88 89 91 97 102 105 107 108 110 112 114 118 123 129 130 131 137 138 140 141 142 143 144 149 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 50 54 56 61 62 63 68 70 73 76 77 85 87 88 89 91 97 102 105 107 108 110 112 114 118 123 129 130 131 137 138 140 141 142 143 144 149 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 47 50 54 56 61 62 63 68 70 73 76 77 85 87 88 89 91 97 102 105 107 108 110 112 114 118 123 129 130 131 137 138 140 142 143 144 149 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 47 50 54 56 61 62 63 68 70 73 76 77 85 87 88 89 91 97 102 105 107 108 110 112 114 118 123 125 129 130 131 137 138 140 142 143 144 151 152 153 155 163 164 166 169 a 1 3 7 8 13 14 22 23 25 33 39 47 50 54 56 61 62 63 68 70 73 76 77 85 88 89 91 97 102 105 107 108 110 112 114 118 120 123 125 129 130 131 137 138 140 142 143 144 151 152 153 155 163 164 166 169 a 1 3 7 13 14 22 23 25 33 39 46 47 50 54 56 61 62 63 68 70 73 76 77 85 88 89 91 97 102 105 107 108 110 112 114 118 120 123 125 129 130 131 137 138 140 142 143 144 151 152 153 155 163 164 166 169 a 1 3 7 13 14 22 23 25 33 39 46 47 54 56 61 62 63 68 70 73 76 77 85 88 89 91 97 102 105 107 108 110 112 114 118 120 123 125 129 130 131 137 138 140 142 143 144 147 151 152 153 155 163 164 166 169 a 1 3 7 13 14 23 25 29 33 39 46 47 54 56 61 62 63 68 70 73 76 77 85 88 89 91 97 102 105 107 108 110 112 114 118 120 123 125 129 130 131 137 138 140 142 143 144 147 151 152 153 155 163 164 166 169 a 1 3 7 13 14 23 25 29 33 39 46 47 54 56 61 62 63 68 70 73 76 77 85 89 91 97 102 105 107 108 110 112 114 116 118 120 123 125 129 130 131 137 138 140 142 143 144 147 151 152 153 155 163 164 166 169 a 1 3 7 13 14 23 25 29 33 39 46 47 54 56 61 62 68 70 73 76 77 85 89 91 97 102 105 107 108 110 112 114 116 118 120 123 125 129 130 131 137 138 140 142 143 144 147 148 151 152 153 155 163 164 166 169 a 1 3 7 13 14 23 25 29 33 39 46 47 54 56 61 62 66 68 70 73 76 77 85 89 91 97 102 105 107 108 110 112 114 116 118 120 123 125 129 130 131 137 138 140 142 143 147 148 151 152 153 155 163 164 166 169 a 1 3 7 10 13 14 23 25 29 33 39 46 47 54 56 61 62 66 68 70 73 76 77 85 89 91 97 102 105 107 108 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 153 155 163 164 166 169 a 1 3 10 13 14 23 25 29 33 39 46 47 54 56 61 62 66 68 70 73 76 77 85 89 91 97 98 102 105 107 108 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 153 155 163 164 166 169 a 1 3 10 13 14 23 25 29 33 39 40 46 47 54 56 61 62 66 68 70 76 77 85 89 91 97 98 102 105 107 108 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 153 155 163 164 166 169 a 1 3 10 12 13 14 23 25 29 33 39 40 46 47 54 56 61 62 66 68 70 76 77 85 89 91 97 98 102 105 107 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 153 155 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 39 40 46 47 54 56 61 62 66 68 70 76 77 85 89 91 97 98 102 105 107 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 153 155 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 39 40 46 47 54 56 58 61 62 66 68 70 76 77 85 89 91 97 98 102 105 107 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 155 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 39 40 46 47 54 56 58 61 62 66 68 70 76 77 89 91 97 98 102 105 107 110 112 114 116 118 120 123 125 129 130 131 137 138 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 66 68 70 76 77 89 91 97 98 102 105 107 110 112 114 116 118 120 125 129 130 131 137 138 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 102 105 107 110 112 114 116 118 120 125 129 130 137 138 142 143 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 102 105 107 110 112 114 116 118 120 125 129 130 137 138 142 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 102 107 110 112 114 116 118 120 122 125 129 130 137 138 142 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 100 102 107 110 112 114 116 118 120 122 125 129 130 138 142 147 148 151 152 155 161 163 164 166 169 a 1 3 10 12 13 21 23 25 28 29 33 36 39 40 46 47 54 56 58 61 62 65 66 68 70 76 77 89 91 97 98 100 102 107 110 112 114 116 118 120 122 125 128 130 138 142 147 148 151 152 155 161 163 164 166 169 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance013_graph002.col /benchmark/random_instance/random_instance013_graph002_01.dat" User time (seconds): 1328.63 System time (seconds): 2.33 Percent of CPU this job got: 367% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.86 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): 7935088 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 4 Minor (reclaiming a frame) page faults: 2413865 Voluntary context switches: 37425 Involuntary context switches: 3078 Swaps: 0 File system inputs: 456 File system outputs: 248 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:52:13 2023]