#BEGIN: [Mon Sep 4 11:46:14 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance013_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance013_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_instance013_graph003.col /benchmark/random_instance/random_instance013_graph003_01.dat c /benchmark/random_instance/random_instance013_graph003.col c /benchmark/random_instance/random_instance013_graph003_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.015 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 63 121 39 80 135 21 169 156 78 70 37 136 5 35 158 109 151 142 138 20 67 32 87 90 68 47 123 3 137 124 150 147 71 96 84 30 60 95 166 127 15 113 38 12 168 167 31 7 93 t 129 165 148 87 135 79 110 18 75 169 64 168 7 52 80 10 60 132 37 27 145 41 28 139 136 158 154 63 40 106 150 88 121 123 72 144 115 8 92 100 143 36 137 20 30 147 149 93 116 a YES a 3 5 7 12 15 20 21 30 31 32 35 37 38 39 47 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 3 5 7 12 15 20 21 30 31 32 35 37 38 39 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 3 5 7 12 15 20 21 30 31 32 35 37 38 39 52 60 63 67 68 70 71 78 80 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 3 5 7 12 15 20 21 30 31 32 35 37 38 39 43 52 60 63 67 68 70 71 78 80 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 151 156 158 166 167 168 169 a 3 5 7 12 15 20 30 31 32 35 37 38 39 40 43 52 60 63 67 68 70 71 78 80 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 151 156 158 166 167 168 169 a 3 5 7 12 15 20 30 31 32 35 37 38 39 40 52 60 63 67 68 70 71 78 80 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 5 7 8 12 15 20 30 31 32 35 37 38 39 40 52 60 63 67 68 70 71 78 80 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 52 60 63 67 68 70 71 78 79 80 87 90 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 52 60 63 68 70 71 78 79 80 87 90 92 93 95 96 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 52 60 63 68 70 71 78 79 80 87 90 92 93 95 96 100 109 110 113 121 123 124 127 135 136 137 138 142 147 150 151 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 41 52 60 63 68 70 71 78 79 80 87 90 92 93 95 96 100 109 110 113 121 123 124 127 135 136 137 142 147 150 151 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 41 52 60 63 68 70 71 78 79 80 87 90 92 93 95 96 100 109 110 113 121 123 124 127 135 136 137 142 145 147 150 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 41 52 60 63 68 70 71 78 79 80 87 90 92 93 95 100 109 110 113 121 123 124 127 135 136 137 142 145 147 150 154 158 166 167 168 169 a 7 8 12 15 20 30 31 32 35 37 38 39 40 41 52 60 63 68 70 71 78 79 80 87 90 92 93 95 100 110 113 121 123 124 127 135 136 137 142 145 147 149 150 154 158 166 167 168 169 a 7 8 12 20 30 31 32 35 37 38 39 40 41 52 60 63 68 70 71 78 79 80 87 90 92 93 95 100 110 113 116 121 123 124 127 135 136 137 142 145 147 149 150 154 158 166 167 168 169 a 7 8 12 20 30 31 32 35 37 38 39 40 41 52 60 63 68 71 78 79 80 87 90 92 93 95 100 110 113 116 121 123 124 127 135 136 137 142 143 145 147 149 150 154 158 166 167 168 169 a 7 8 10 12 20 30 31 32 35 37 38 39 40 41 52 60 63 68 71 78 79 80 87 90 92 93 95 100 110 113 116 121 123 124 127 135 136 137 142 143 145 147 149 150 154 158 167 168 169 a 7 8 10 12 20 30 31 32 35 36 37 38 39 40 41 52 60 63 71 78 79 80 87 90 92 93 95 100 110 113 116 121 123 124 127 135 136 137 142 143 145 147 149 150 154 158 167 168 169 a 7 8 10 12 20 30 31 35 36 37 38 39 40 41 52 60 63 71 75 78 79 80 87 90 92 93 95 100 110 113 116 121 123 124 127 135 136 137 142 143 145 147 149 150 154 158 167 168 169 a 7 8 10 12 20 30 31 35 36 37 38 39 40 41 52 60 63 71 75 78 79 80 87 90 92 93 100 110 113 116 121 123 124 127 135 136 137 142 143 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 30 31 35 36 37 38 39 40 41 52 60 63 71 75 78 79 80 87 88 92 93 100 110 113 116 121 123 124 127 135 136 137 142 143 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 30 31 35 36 37 38 40 41 52 60 63 71 75 78 79 80 87 88 92 93 100 110 113 116 121 123 124 127 135 136 137 139 142 143 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 30 35 36 37 38 40 41 52 60 63 71 72 75 78 79 80 87 88 92 93 100 110 113 116 121 123 124 127 135 136 137 139 142 143 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 28 30 36 37 38 40 41 52 60 63 71 72 75 78 79 80 87 88 92 93 100 110 113 116 121 123 124 127 135 136 137 139 142 143 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 28 30 36 37 38 40 41 52 60 63 72 75 78 79 80 87 88 92 93 100 110 113 116 121 123 124 127 135 136 137 139 142 143 144 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 28 30 36 37 38 40 41 52 60 63 72 75 78 79 80 87 88 92 93 100 110 113 115 116 121 123 127 135 136 137 139 142 143 144 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 27 28 30 36 37 40 41 52 60 63 72 75 78 79 80 87 88 92 93 100 110 113 115 116 121 123 127 135 136 137 139 142 143 144 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 20 27 28 30 36 37 40 41 52 60 63 72 75 78 79 80 87 88 92 93 100 110 113 115 116 121 123 129 135 136 137 139 142 143 144 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 18 20 27 28 30 36 37 40 41 52 60 63 72 75 78 79 80 87 88 92 93 100 110 113 115 116 121 123 129 135 136 137 139 143 144 145 147 148 149 150 154 158 167 168 169 a 7 8 10 12 18 20 27 28 30 36 37 40 41 52 60 63 72 75 78 79 80 87 88 92 93 100 110 113 115 116 121 123 129 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169 a 7 8 10 12 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 78 79 80 87 88 92 93 100 110 115 116 121 123 129 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169 a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 78 79 80 87 88 92 93 100 110 115 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169 a 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 79 80 87 88 92 93 100 106 110 115 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169 c Step: 32 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance013_graph003.col /benchmark/random_instance/random_instance013_graph003_01.dat" User time (seconds): 1301.88 System time (seconds): 5.04 Percent of CPU this job got: 361% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.20 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): 6203928 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 1809214 Voluntary context switches: 436882 Involuntary context switches: 2983 Swaps: 0 File system inputs: 0 File system outputs: 168 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:52:16 2023]