#BEGIN: [Mon Sep 4 10:43:23 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #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 /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): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! 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 101 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 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 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 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 94 101 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 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 94 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 94 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 94 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 94 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 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 82 84 89 90 92 93 94 102 103 107 109 110 115 120 126 128 130 135 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 6 7 12 13 15 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 107 109 110 115 120 126 128 130 135 138 141 142 145 146 147 149 150 157 161 163 169 a 3 5 6 7 12 13 15 29 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 107 109 110 115 120 126 128 130 135 138 141 142 145 146 147 149 157 161 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 90 92 93 94 102 103 107 109 110 115 119 120 126 128 130 135 138 141 142 145 146 147 149 157 161 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 90 92 93 99 102 103 107 109 110 115 119 120 126 128 130 135 138 141 142 145 146 147 149 157 161 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 90 92 93 99 102 103 107 109 115 119 120 126 128 130 134 135 138 141 142 145 146 147 149 157 161 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 59 63 65 71 73 75 78 79 82 84 90 92 93 94 102 103 107 109 115 119 120 126 128 130 134 135 138 141 142 145 146 147 149 157 161 163 169 a 3 5 6 7 12 13 15 29 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 119 120 126 128 130 134 135 138 141 142 145 146 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 29 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 117 119 120 126 128 130 134 135 138 141 142 145 146 147 148 149 157 163 169 a 3 5 6 7 12 13 15 29 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 117 119 120 126 128 130 134 135 136 138 141 142 145 146 147 148 149 157 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 63 65 73 75 78 79 82 84 90 92 93 99 102 103 107 109 115 117 119 120 126 128 130 134 135 136 138 141 142 145 146 147 148 149 157 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 63 65 73 75 78 79 82 84 90 92 93 99 102 103 107 109 115 117 119 120 126 128 130 134 135 136 138 141 142 145 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 63 65 73 75 78 79 82 89 90 92 93 99 102 103 107 109 115 117 119 120 126 128 130 134 135 136 138 141 142 145 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 29 31 32 33 34 43 46 52 54 63 65 73 75 78 79 82 89 90 92 93 99 102 107 109 115 117 119 120 121 126 128 130 134 135 136 138 141 142 145 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 23 29 31 32 33 34 43 46 52 54 63 65 73 75 79 82 89 90 92 93 99 102 107 109 115 117 119 120 121 126 128 130 134 135 136 138 141 142 145 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 23 29 31 32 33 34 43 46 52 54 63 65 75 79 81 82 89 90 92 93 99 102 107 109 115 117 119 120 121 126 128 130 134 135 136 138 141 142 145 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 23 29 31 32 33 34 43 46 52 54 63 65 75 79 81 82 89 90 92 93 99 102 107 108 109 115 117 119 120 121 126 128 130 134 135 136 138 141 142 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 23 29 31 32 33 34 43 46 52 54 63 65 75 79 81 82 89 90 92 93 99 102 107 108 109 117 119 120 121 126 128 130 133 134 135 136 138 141 142 147 148 149 157 161 163 169 a 3 5 6 7 12 13 15 23 29 31 32 33 34 38 43 46 52 54 63 65 75 79 81 82 89 90 92 93 99 102 107 108 109 117 119 120 121 126 128 130 133 134 135 136 138 141 142 147 148 149 161 163 169 a 3 5 6 7 12 13 15 23 29 31 32 33 34 38 43 46 50 54 63 65 75 79 81 82 89 90 92 93 99 102 107 108 109 117 119 120 121 126 128 130 133 134 135 136 138 141 142 147 148 149 161 163 169 a 3 5 6 12 13 15 23 29 31 32 33 34 38 43 46 50 54 63 65 75 79 81 82 89 90 92 93 99 102 107 108 109 117 119 120 121 126 128 130 132 133 134 135 136 138 141 142 147 148 149 161 163 169 a 3 5 6 12 13 15 23 29 31 32 33 34 38 39 43 46 50 54 63 65 75 79 81 82 89 90 92 93 99 102 107 108 109 117 119 120 121 126 128 130 132 133 134 135 136 138 141 142 148 149 161 163 169 a 3 5 6 12 13 15 23 29 31 32 33 34 38 39 43 46 50 54 63 65 75 79 81 82 89 92 93 99 102 107 108 109 117 119 120 121 126 128 130 132 133 134 135 136 138 141 142 148 149 160 161 163 169 a 3 5 6 12 13 15 23 29 31 32 34 38 39 43 46 50 54 63 65 75 79 81 82 89 92 93 99 102 107 108 109 117 119 120 121 126 128 130 132 133 134 135 136 138 141 142 148 149 155 160 161 163 169 a 3 5 6 12 13 15 23 29 31 32 34 38 39 43 46 50 54 63 65 75 79 81 82 89 92 93 99 100 102 107 108 109 117 119 120 121 126 128 130 132 133 134 135 136 141 142 148 149 155 160 161 163 169 a 3 5 6 12 13 15 23 29 31 32 34 38 39 43 46 50 54 63 65 75 79 81 82 83 89 92 93 99 100 102 107 108 109 117 119 120 121 126 128 132 133 134 135 136 141 142 148 149 155 160 161 163 169 a 3 5 6 12 13 15 21 23 29 32 34 38 39 43 46 50 54 63 65 75 79 81 82 83 89 92 93 99 100 102 107 108 109 117 119 120 121 126 128 132 133 134 135 136 141 142 148 149 155 160 161 163 169 a 3 5 6 12 13 15 21 23 29 32 34 38 39 43 46 50 54 63 65 75 79 81 82 83 89 92 93 99 100 102 105 107 108 109 117 119 120 121 126 128 132 133 134 135 136 141 142 148 149 155 160 161 163 a 3 5 6 12 13 15 21 23 29 32 34 38 39 41 46 50 54 63 65 75 79 81 82 83 89 92 93 99 100 102 105 107 108 109 117 119 120 121 126 128 132 133 134 135 136 141 142 148 149 155 160 161 163 a 3 5 6 12 13 15 21 23 29 32 34 38 39 41 46 50 54 57 63 65 75 79 81 82 83 89 92 93 99 100 102 105 107 108 109 117 119 121 126 128 132 133 134 135 136 141 142 148 149 155 160 161 163 a 3 5 6 12 13 15 21 23 29 32 34 38 39 41 46 50 54 57 63 65 75 79 81 82 83 89 93 99 100 102 105 107 108 109 117 119 121 126 128 132 133 134 135 136 141 142 144 148 149 155 160 161 163 a 3 5 6 12 13 15 21 23 32 34 38 39 41 46 50 54 57 63 65 75 79 81 82 83 89 91 93 99 100 102 105 107 108 109 117 119 121 126 128 132 133 134 135 136 141 142 144 148 149 155 160 161 163 a 3 5 6 12 13 15 21 23 32 34 38 39 41 46 50 54 57 63 65 75 79 81 82 83 89 91 93 99 100 102 105 107 108 109 117 119 121 128 132 133 134 135 136 141 142 144 148 149 150 155 160 161 163 a 3 5 6 12 13 15 21 23 32 34 38 39 41 46 50 54 57 63 65 75 79 81 82 83 89 91 93 99 100 102 105 107 108 109 117 119 121 128 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 6 12 13 15 21 23 32 34 38 39 41 46 50 54 57 63 65 75 79 81 82 83 89 91 93 99 100 102 105 107 108 109 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 6 12 13 15 21 23 32 34 38 39 41 50 54 57 60 63 65 75 79 81 82 83 89 91 93 99 100 102 105 107 108 109 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 12 13 15 21 23 26 32 34 38 39 41 50 54 57 60 63 65 75 79 81 82 83 89 91 93 99 100 102 105 107 108 109 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 10 12 13 15 21 23 26 32 34 38 39 41 50 54 57 60 63 65 75 79 81 82 83 89 91 93 99 100 105 107 108 109 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 10 12 13 15 21 23 26 32 34 37 38 39 41 50 54 57 60 63 65 75 79 81 82 83 89 91 93 99 100 105 107 108 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 50 54 57 60 63 65 75 79 81 82 83 89 91 99 100 105 107 108 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 47 50 54 57 60 63 75 79 81 82 83 89 91 99 100 105 107 108 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 47 50 54 57 60 63 75 79 81 83 89 91 99 100 105 107 108 119 121 128 129 132 133 134 135 136 142 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 47 50 54 57 60 63 69 75 79 81 83 89 91 99 100 105 107 108 119 121 128 129 132 133 134 135 136 143 144 148 149 150 151 155 160 161 163 a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 47 50 54 57 60 63 69 75 79 81 83 89 91 99 100 105 107 108 119 121 129 132 133 134 135 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 37 38 39 41 47 50 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 119 121 129 132 133 134 135 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 119 121 129 132 133 134 135 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 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: 57 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat" User time (seconds): 359.19 System time (seconds): 1.27 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.50 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): 4274400 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1353071 Voluntary context switches: 27 Involuntary context switches: 2110 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 10:49:25 2023]