#BEGIN: [Mon Sep 4 11:46:42 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance013_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance013_graph005_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_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat c /benchmark/random_instance/random_instance013_graph005.col c /benchmark/random_instance/random_instance013_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.017 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 46 134 92 73 7 59 43 84 137 34 32 149 130 79 5 54 75 15 145 150 157 78 99 101 13 26 12 44 31 52 141 3 93 71 107 109 120 135 161 115 103 128 126 163 138 105 146 89 147 65 33 142 90 t 69 32 21 151 144 100 39 51 134 12 50 37 10 5 155 83 129 35 121 79 105 133 108 47 54 34 114 57 60 143 15 150 99 132 26 136 107 38 85 13 3 23 161 81 89 63 41 148 91 18 119 137 160 a YES a 3 5 7 12 13 15 26 31 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 130 134 135 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 89 90 92 93 94 101 103 105 107 109 115 120 126 128 130 134 135 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 89 90 92 93 94 101 103 105 107 109 110 115 120 126 128 130 135 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 89 90 92 93 94 102 103 105 107 109 110 115 120 126 128 130 135 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 94 102 103 105 107 109 110 115 120 126 128 130 135 137 138 141 142 145 146 147 149 150 157 161 163 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 84 89 90 92 93 94 102 103 107 109 110 115 120 126 128 130 135 137 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 73 75 78 79 84 89 90 92 93 94 102 103 107 109 110 115 117 120 126 128 130 135 137 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 73 75 78 79 84 89 90 92 93 94 102 103 107 109 115 117 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 73 75 78 79 82 84 89 90 92 93 94 102 103 107 109 115 117 120 126 128 130 134 135 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 59 63 65 73 75 78 79 82 84 90 92 93 94 102 103 107 109 115 116 117 120 126 128 130 134 135 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 63 65 73 75 78 79 82 84 90 92 93 94 102 103 107 109 115 116 117 120 126 128 130 134 135 138 141 142 145 146 147 148 149 150 157 161 163 169 a 3 5 7 12 13 15 26 31 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 103 107 109 115 116 117 120 126 128 130 133 134 135 138 141 142 145 146 147 148 149 150 157 161 163 169 a 3 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 103 107 109 115 116 117 120 126 128 130 133 134 135 138 141 142 145 146 147 148 149 157 161 163 169 a 3 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 107 109 115 116 117 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 163 169 a 3 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 107 109 115 116 117 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 163 169 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 107 109 115 116 117 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 163 169 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 103 107 109 115 116 117 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 163 169 a 3 5 7 12 13 15 21 23 26 32 33 34 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 103 107 109 115 116 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 73 75 79 82 84 92 93 94 102 103 107 109 115 116 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 75 79 82 84 92 93 94 102 103 107 109 115 116 120 126 128 130 133 134 135 136 138 141 142 145 146 147 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 75 79 82 84 92 93 94 102 103 107 109 110 115 116 120 126 128 130 133 135 136 138 141 142 145 146 147 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 75 79 82 84 92 93 94 102 103 107 109 110 115 116 119 120 126 128 130 133 135 136 138 141 142 145 146 147 149 157 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 75 79 82 84 92 93 94 102 107 109 110 115 116 119 120 121 126 128 130 133 135 136 138 141 142 145 146 147 149 157 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 75 79 82 84 92 93 94 102 107 109 110 115 116 119 120 121 126 130 133 135 136 138 141 142 145 146 147 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 75 79 84 92 93 94 102 107 109 110 115 116 119 120 121 126 130 133 135 136 137 138 141 142 145 146 147 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 43 46 52 54 63 65 71 73 79 84 85 92 93 94 102 107 109 110 115 116 119 120 121 126 130 133 135 136 137 138 141 142 145 146 147 149 157 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 71 73 79 84 85 92 93 94 102 107 109 110 115 116 119 120 121 126 130 133 135 136 137 138 141 142 145 146 147 149 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 71 73 79 84 85 92 93 99 102 107 109 110 115 116 119 120 121 126 130 133 135 136 137 138 141 142 145 146 147 149 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 69 71 73 79 84 85 92 93 99 102 107 109 110 115 116 119 120 121 126 130 133 135 136 137 138 141 145 146 147 149 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 69 71 73 79 84 85 89 92 93 99 102 107 109 110 115 116 119 120 121 126 130 133 135 136 137 138 141 145 147 149 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 69 71 73 79 84 85 89 92 93 99 102 107 109 110 114 115 116 119 120 121 126 130 133 136 137 138 141 145 147 149 161 163 169 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 69 71 73 79 84 85 89 92 93 99 102 105 107 109 110 114 115 116 119 120 121 126 130 133 136 137 138 141 145 147 149 161 163 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 69 71 79 84 85 89 92 93 99 102 105 107 108 109 110 114 115 116 119 120 121 126 130 133 136 137 138 141 145 147 149 161 163 a 3 5 7 12 13 15 21 23 26 29 32 33 34 38 43 46 52 54 63 65 69 71 79 84 85 89 92 93 99 100 102 105 107 108 109 110 114 115 116 119 120 121 126 130 133 136 137 141 145 147 149 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 84 85 89 92 93 99 100 102 105 107 108 109 110 114 115 116 119 120 121 126 130 133 136 137 141 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 84 85 89 92 93 99 100 102 105 107 108 109 110 114 115 116 119 120 121 126 130 133 136 137 143 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 84 85 89 92 93 99 100 102 105 107 108 109 110 114 115 119 120 121 126 129 130 133 136 137 143 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 83 84 85 89 92 93 99 100 102 105 107 108 109 110 114 115 119 120 121 126 129 133 136 137 143 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 83 84 85 89 91 93 99 100 102 105 107 108 109 110 114 115 119 120 121 126 129 133 136 137 143 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 81 83 85 89 91 93 99 100 102 105 107 108 109 110 114 115 119 120 121 126 129 133 136 137 143 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 65 69 71 79 81 83 85 89 91 93 99 100 102 105 107 108 109 110 114 115 119 121 126 129 133 136 137 143 144 145 147 149 150 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 46 52 54 63 69 71 79 81 83 85 89 91 93 99 100 102 105 107 108 109 110 114 115 119 121 126 129 133 136 137 143 144 145 147 149 150 151 161 163 a 3 5 7 12 13 15 21 23 26 32 33 34 35 38 43 46 52 54 63 69 71 79 81 83 85 89 91 99 100 102 105 107 108 109 110 114 115 119 121 126 129 133 136 137 143 144 145 147 149 150 151 161 163 a 3 5 7 12 13 15 18 21 23 26 32 33 34 35 38 43 46 52 54 63 69 71 79 81 83 85 89 91 99 100 102 105 107 108 110 114 115 119 121 126 129 133 136 137 143 144 145 147 149 150 151 161 163 a 3 5 7 12 13 15 18 21 23 26 32 33 34 35 38 43 46 52 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 110 114 115 119 121 126 129 133 136 137 143 144 145 147 149 150 151 161 163 a 3 5 7 12 13 15 18 21 23 26 32 33 34 35 38 43 46 52 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 145 147 149 150 151 161 163 a 3 5 7 12 13 15 18 21 23 26 32 34 35 38 43 46 52 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 145 147 148 149 150 151 161 163 a 3 5 7 12 13 15 18 21 23 26 32 34 35 38 43 46 52 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 145 148 149 150 151 155 161 163 a 3 5 7 12 13 15 18 21 23 26 32 34 35 38 43 46 50 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 145 148 149 150 151 155 161 163 a 3 5 7 12 13 15 18 21 23 26 32 34 35 38 43 46 50 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 12 13 15 18 21 23 26 32 34 35 38 43 46 50 54 57 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 12 13 15 18 21 23 26 32 34 35 38 43 50 54 57 60 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 12 13 15 18 21 23 26 32 34 35 38 41 50 54 57 60 63 69 79 81 83 85 89 91 99 100 102 105 107 108 114 115 119 121 126 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 35 38 41 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 115 119 121 126 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 35 38 41 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 115 119 121 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 35 38 39 41 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 149 150 151 155 160 161 a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161 c Step: 61 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat" User time (seconds): 1346.56 System time (seconds): 4.40 Percent of CPU this job got: 373% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.60 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): 8766796 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 2529586 Voluntary context switches: 545050 Involuntary context switches: 3158 Swaps: 0 File system inputs: 0 File system outputs: 240 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:52:44 2023]