#BEGIN: [Mon Sep 4 11:47:26 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance014_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph003_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_instance014_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat c /benchmark/random_instance/random_instance014_graph003.col c /benchmark/random_instance/random_instance014_graph003_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 157 71 68 84 145 106 95 148 51 47 144 176 67 127 113 15 120 37 94 115 105 80 69 49 149 129 171 98 178 16 40 21 88 75 143 6 136 43 126 66 89 18 153 96 173 119 61 150 24 158 134 58 91 26 14 130 142 42 133 63 59 t 95 110 77 91 113 169 85 151 59 12 166 7 112 156 179 20 11 18 158 140 106 171 89 121 108 14 97 175 61 42 126 81 16 71 170 62 10 124 109 102 129 17 177 144 125 119 66 149 40 53 130 19 15 127 63 147 6 82 78 67 176 a YES a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 172 173 178 a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 172 173 178 a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 8 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 8 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 60 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178 a 6 8 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 60 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 142 143 144 145 148 149 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 129 130 133 134 142 143 144 145 148 149 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 130 133 134 142 143 144 145 148 149 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 149 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 141 142 143 144 145 149 150 153 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 113 119 120 123 126 127 130 132 133 134 141 142 143 144 145 149 150 153 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 113 119 120 123 126 127 130 132 133 134 141 142 143 144 145 150 153 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 113 119 120 123 126 127 130 132 133 134 142 143 144 145 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 126 127 130 133 134 142 143 144 145 148 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 61 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 60 63 65 66 67 68 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 153 157 158 164 171 173 176 178 a 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 60 63 65 66 67 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 151 153 157 158 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 60 63 65 67 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 151 153 157 158 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 63 65 67 71 75 80 84 88 89 91 94 95 96 98 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 151 153 157 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 63 65 67 71 75 80 82 84 88 89 91 94 95 96 105 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 151 153 157 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 50 51 58 59 63 65 67 71 75 80 82 84 88 89 91 94 95 96 106 113 119 120 123 126 127 130 133 134 142 143 144 145 150 151 153 157 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 50 51 58 59 63 65 67 71 75 80 82 84 88 89 91 94 95 96 106 113 119 120 121 123 126 127 130 133 134 142 143 144 145 150 151 157 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 62 63 65 67 71 75 80 82 84 88 89 91 94 95 96 106 113 119 120 121 123 126 127 130 133 134 142 143 144 145 150 151 157 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 62 63 65 66 67 71 75 80 82 84 88 89 91 94 95 96 106 113 119 120 121 123 126 127 130 133 134 142 143 144 145 150 151 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 62 63 65 66 67 71 75 80 82 84 88 89 91 95 96 106 109 113 119 120 121 123 126 127 130 133 134 142 143 144 145 150 151 158 159 164 171 173 176 178 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 62 63 65 66 67 71 75 80 82 84 85 88 89 91 95 96 106 109 113 119 120 121 123 126 127 130 133 134 142 143 144 145 150 151 158 159 164 171 173 176 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 58 59 62 63 65 66 67 71 75 80 82 84 85 88 89 91 95 96 106 109 110 113 119 120 121 126 127 130 133 134 142 143 144 145 150 151 158 159 164 171 173 176 a 1 6 8 14 15 16 18 21 24 25 26 28 37 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 80 82 84 85 88 89 91 95 96 106 109 110 113 119 120 121 126 127 130 134 142 143 144 145 150 151 158 159 164 171 173 176 a 1 6 8 14 15 16 18 21 24 25 26 37 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 80 82 84 85 88 89 91 95 96 106 109 110 113 119 120 121 126 127 130 134 142 143 144 145 149 150 151 158 159 164 171 173 176 a 1 6 8 14 15 16 18 21 24 25 26 37 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 78 80 82 84 85 88 89 91 95 96 106 109 110 113 119 120 121 126 127 130 134 142 144 145 149 150 151 158 159 164 171 173 176 a 1 6 8 14 15 16 18 21 24 25 26 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 78 80 82 84 85 88 89 91 95 96 106 109 110 113 119 120 121 126 127 130 134 142 144 145 149 150 151 158 159 164 171 173 176 177 a 1 6 8 14 15 16 18 21 24 25 26 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 78 80 82 84 85 88 89 91 95 96 106 109 110 113 119 120 121 126 127 130 134 140 142 144 145 149 150 151 158 159 164 171 176 177 a 1 6 8 14 15 16 18 21 24 25 26 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 78 80 82 85 88 89 91 95 96 106 108 109 110 113 119 120 121 126 127 130 134 140 142 144 145 149 150 151 158 159 164 171 176 177 a 1 6 8 11 14 15 16 18 21 24 25 26 40 42 43 47 49 51 53 58 59 62 63 65 66 67 71 75 78 80 82 85 88 89 91 95 96 106 108 109 110 113 119 120 121 126 127 130 134 140 142 144 149 150 151 158 159 164 171 176 177 a 1 6 8 11 14 15 16 18 21 24 25 26 40 42 47 49 51 53 58 59 62 63 65 66 67 71 75 78 80 82 85 88 89 91 95 96 106 108 109 110 113 119 120 121 126 127 130 134 140 142 144 149 150 151 158 159 164 171 176 177 179 a 1 6 8 11 12 14 15 16 18 21 24 25 26 40 42 47 49 51 53 59 62 63 65 66 67 71 75 78 80 82 85 88 89 91 95 96 106 108 109 110 113 119 120 121 126 127 130 134 140 142 144 149 150 151 158 159 164 171 176 177 179 a 1 6 8 10 11 12 14 15 16 18 21 24 25 26 40 42 47 49 51 53 59 62 63 65 66 67 71 75 78 80 82 85 89 91 95 96 106 108 109 110 113 119 120 121 126 127 130 134 140 142 144 149 150 151 158 159 164 171 176 177 179 a 1 6 8 10 11 12 14 15 16 18 21 24 25 26 40 42 47 49 51 53 59 62 63 65 66 67 71 75 78 80 82 85 89 91 95 96 106 108 109 110 113 119 121 126 127 130 134 140 142 144 149 150 151 158 159 164 166 171 176 177 179 a 1 6 8 10 11 12 14 15 16 18 24 25 26 40 42 47 49 51 53 59 62 63 65 66 67 71 75 78 80 82 85 89 91 95 96 106 108 109 110 113 119 121 125 126 127 130 134 140 142 144 149 150 151 158 159 164 166 171 176 177 179 a 1 6 8 10 11 12 14 15 16 18 24 25 26 40 42 47 49 51 53 59 62 63 65 66 67 71 75 78 80 82 85 89 91 95 96 106 108 109 110 113 119 121 125 126 127 130 134 140 144 149 150 151 158 159 164 166 170 171 176 177 179 a 1 6 7 8 10 11 12 14 15 16 18 24 25 26 40 42 47 49 51 53 59 62 63 66 67 71 75 78 80 82 85 89 91 95 96 106 108 109 110 113 119 121 125 126 127 130 134 140 144 149 150 151 158 159 164 166 170 171 176 177 179 a 1 6 7 8 10 11 12 14 15 16 18 25 26 40 42 47 49 51 53 59 62 63 66 67 71 75 78 80 82 85 89 91 95 96 97 106 108 109 110 113 119 121 125 126 127 130 134 140 144 149 150 151 158 159 164 166 170 171 176 177 179 a 1 6 7 8 10 11 12 14 15 16 18 25 26 40 42 47 49 51 53 59 62 63 66 67 71 75 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 130 134 140 144 149 150 151 158 164 166 170 171 176 177 179 a 1 6 7 8 10 11 12 14 15 16 18 19 26 40 42 47 49 51 53 59 62 63 66 67 71 75 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 130 134 140 144 149 150 151 158 164 166 170 171 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 47 49 51 53 59 62 63 66 67 71 75 78 80 82 85 89 91 95 96 97 106 108 109 110 112 113 119 121 125 126 127 129 130 134 140 144 149 150 151 158 164 166 170 171 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 47 49 51 53 59 62 63 66 67 71 75 78 80 82 85 89 91 95 97 106 108 109 110 112 113 119 121 125 126 127 129 130 134 140 144 149 150 151 158 164 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 47 49 51 53 59 61 62 63 66 67 71 75 78 80 82 85 89 91 95 97 106 108 109 110 112 113 119 121 125 126 127 129 130 140 144 149 150 151 158 164 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 49 51 53 59 61 62 63 66 67 71 75 78 80 82 85 89 91 95 97 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 150 151 158 164 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 49 51 53 59 61 62 63 66 67 71 75 78 80 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 151 158 164 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 49 51 53 59 61 62 63 66 67 71 75 77 78 80 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 151 158 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 26 40 42 49 53 59 61 62 63 66 67 71 75 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 151 158 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 20 26 40 42 49 53 59 61 62 63 66 67 71 75 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 151 158 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 18 19 20 26 40 42 53 59 61 62 63 66 67 71 75 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 151 156 158 166 170 171 175 176 177 179 a 6 7 8 10 11 12 14 15 16 17 18 19 20 26 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 149 151 156 158 166 170 171 175 176 177 179 a 6 7 10 11 12 14 15 16 17 18 19 20 26 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 147 149 151 156 158 166 170 171 175 176 177 179 a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 147 149 151 156 158 166 169 170 171 175 176 177 179 c Step: 57 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance014_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat" User time (seconds): 356.47 System time (seconds): 11.54 Percent of CPU this job got: 267% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:17.78 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): 10515464 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 3303098 Voluntary context switches: 2658215 Involuntary context switches: 1049 Swaps: 0 File system inputs: 0 File system outputs: 376 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:49:44 2023]