#BEGIN: [Mon Sep 4 10:43:00 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance013_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance013_graph001_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_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat c /benchmark/random_instance/random_instance013_graph001.col c /benchmark/random_instance/random_instance013_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 145 149 29 102 77 148 159 111 16 129 100 27 8 101 162 95 140 40 168 83 52 115 80 59 113 119 87 49 128 78 120 147 130 21 91 12 107 45 28 105 66 69 47 35 55 118 126 154 139 158 44 15 18 t 60 87 151 125 152 156 130 55 77 158 123 9 73 161 84 121 51 67 112 21 95 12 76 13 128 159 63 139 80 114 54 45 111 85 81 58 169 62 17 28 146 49 155 89 75 7 40 140 166 104 164 162 109 a YES a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 130 139 140 145 147 148 149 154 156 158 159 162 168 a 8 12 15 18 21 27 28 29 35 40 44 45 47 49 52 54 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 130 139 140 145 147 148 149 154 156 158 159 162 168 a 8 12 15 18 21 27 28 29 35 40 44 45 47 49 52 54 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 8 12 15 18 21 27 28 29 35 40 44 45 47 49 52 54 55 66 68 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 8 12 15 18 21 27 28 29 35 40 44 45 49 52 54 55 66 68 69 77 78 80 83 87 89 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168 a 8 12 15 18 21 27 28 29 35 40 44 45 52 54 55 66 68 69 77 78 80 83 87 89 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 160 162 168 a 8 12 15 18 21 27 28 29 35 40 44 45 47 52 54 55 66 68 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 160 162 168 a 3 8 12 15 18 21 27 28 29 35 40 44 45 47 52 54 55 66 68 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 162 168 a 3 8 12 15 18 21 27 28 29 35 40 42 44 45 47 52 54 55 66 68 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 47 52 54 55 66 68 69 77 78 80 83 87 91 95 100 101 102 105 107 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 168 a 3 8 12 15 18 21 27 28 29 30 35 42 44 45 47 52 54 55 66 68 69 77 78 80 83 87 91 95 96 100 101 102 105 107 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 168 a 3 8 12 15 18 21 27 28 29 30 35 42 44 45 52 54 55 66 68 69 77 78 80 83 87 89 91 95 96 100 101 102 105 107 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 168 a 3 8 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 66 68 69 77 78 80 83 87 89 91 95 96 100 101 102 105 107 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 77 78 80 83 87 89 91 95 100 101 102 105 107 113 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 87 89 91 95 100 101 102 105 107 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 44 45 49 52 54 55 66 68 69 75 77 78 80 83 87 89 91 95 100 101 102 105 107 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 44 45 52 54 55 66 68 69 75 77 78 80 83 87 89 91 95 100 101 102 105 107 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 77 78 80 87 89 91 95 100 101 102 105 107 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 87 89 91 95 100 101 102 105 107 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 77 80 87 89 91 95 100 101 102 105 107 111 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 80 87 89 91 92 95 100 101 102 105 107 111 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 107 111 112 115 118 119 120 126 129 130 139 140 145 147 148 154 158 159 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 107 111 112 115 118 119 120 126 129 130 140 145 147 148 154 158 159 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 107 111 112 115 119 120 126 128 129 130 140 145 147 148 154 158 159 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 77 80 83 87 89 91 95 100 101 102 105 107 111 112 115 119 120 126 128 129 130 140 145 147 148 154 158 159 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 77 80 83 87 89 91 95 100 101 102 105 107 111 112 115 119 120 126 128 129 130 140 145 147 148 154 158 159 160 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 107 111 112 115 119 120 126 128 129 130 140 145 147 148 154 158 159 160 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 107 111 112 115 119 120 126 128 129 130 140 145 147 148 154 158 159 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 111 112 115 118 119 120 126 128 129 130 140 145 147 148 154 158 159 164 168 a 3 8 12 15 18 21 27 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 111 112 115 118 119 120 126 128 129 130 140 145 147 148 154 158 159 160 164 168 a 3 8 12 15 18 21 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 101 102 105 111 112 115 118 119 120 126 128 129 130 139 140 145 147 148 154 158 159 160 164 168 a 3 8 12 15 18 21 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 80 83 87 89 91 92 95 100 102 105 111 112 115 118 119 120 126 128 129 130 139 140 145 147 148 151 154 158 159 160 164 168 a 3 8 12 15 18 21 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 80 83 85 87 89 91 92 95 100 102 111 112 115 118 119 120 126 128 129 130 139 140 145 147 148 151 154 158 159 160 164 168 a 3 7 8 12 15 18 21 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 80 83 85 87 89 91 92 95 100 102 111 112 118 119 120 126 128 129 130 139 140 145 147 148 151 154 158 159 160 164 168 a 3 7 8 12 15 18 21 28 29 30 35 40 42 44 45 52 54 55 66 68 69 75 77 80 83 85 87 89 91 95 100 102 111 112 118 119 120 126 128 129 130 139 140 145 147 148 151 154 158 159 160 164 168 a 3 7 8 12 15 18 21 28 29 35 40 42 44 45 52 54 55 66 68 69 75 77 80 83 85 87 89 91 95 100 102 111 112 118 119 120 126 128 129 130 139 140 145 147 148 151 154 158 159 160 162 164 168 a 3 7 8 12 13 15 18 21 28 29 35 40 42 44 45 52 54 55 66 68 69 75 77 80 83 85 87 89 91 95 100 102 111 112 118 119 120 128 129 130 139 140 145 147 148 151 154 158 159 160 162 164 168 a 3 7 8 12 13 15 18 21 28 29 40 42 44 45 52 54 55 66 68 69 75 77 80 83 85 87 89 91 95 100 102 111 112 118 119 120 125 128 129 130 139 140 145 147 148 151 154 158 159 160 162 164 168 a 3 7 8 12 13 15 18 21 28 29 40 42 44 45 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 100 102 111 112 118 120 125 128 129 130 139 140 145 147 148 151 154 158 159 160 162 164 168 a 3 7 8 12 13 15 18 21 28 29 40 42 44 45 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 102 111 112 118 120 125 128 129 130 139 140 145 147 148 151 154 158 159 160 161 162 164 168 a 3 7 8 12 13 15 18 21 28 29 40 42 44 45 49 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 102 111 112 118 120 125 128 129 130 139 140 145 147 148 151 154 158 159 161 162 164 168 a 3 7 8 12 13 15 18 21 28 29 40 42 44 45 49 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 102 111 112 118 120 125 128 129 130 139 140 147 148 151 154 158 159 161 162 164 166 168 a 3 7 8 12 13 15 18 21 28 29 40 42 45 49 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 102 111 112 118 120 125 128 129 130 139 140 147 148 151 154 155 158 159 161 162 164 166 168 a 3 7 8 12 13 15 18 21 28 29 40 42 45 49 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 102 104 111 112 118 120 125 128 129 130 139 140 147 148 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 15 18 21 28 29 40 42 45 49 52 54 55 66 68 69 75 77 80 81 83 85 87 89 91 95 102 104 111 112 118 120 125 128 129 130 139 140 147 148 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 15 18 21 28 29 40 42 45 49 52 54 55 66 68 69 75 77 80 81 85 87 89 91 95 102 104 111 112 118 120 123 125 128 129 130 139 140 147 148 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 15 18 21 28 29 40 42 45 49 52 54 55 66 68 69 75 77 80 81 85 87 89 91 95 104 111 112 118 120 123 125 128 129 130 139 140 146 147 148 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 15 18 21 28 29 40 42 45 49 52 54 55 60 66 68 69 75 77 80 81 85 87 89 91 95 104 111 112 118 120 123 125 128 129 130 139 140 146 147 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 15 18 21 28 29 40 42 45 49 52 54 55 58 60 66 68 69 75 77 80 81 85 87 89 91 95 104 111 112 118 120 123 125 128 129 130 139 140 146 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 18 21 28 29 40 42 45 49 52 54 55 58 60 66 68 69 75 77 80 81 85 87 89 91 95 104 109 111 112 118 120 123 125 128 129 130 139 140 146 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 18 21 28 29 40 42 45 49 52 54 55 58 60 66 68 69 75 77 80 81 85 87 89 91 95 104 109 111 112 114 118 120 123 125 128 130 139 140 146 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 18 21 28 29 40 42 45 49 52 54 55 58 60 66 67 69 75 77 80 81 85 87 89 91 95 104 109 111 112 114 118 120 123 125 128 130 139 140 146 151 154 155 158 159 161 162 164 166 a 3 7 9 12 13 18 21 28 29 40 45 49 52 54 55 58 60 66 67 69 75 77 80 81 85 87 89 91 95 104 109 111 112 114 118 120 123 125 128 130 139 140 146 151 154 155 156 158 159 161 162 164 166 a 3 7 9 12 13 17 18 21 28 29 40 45 49 52 54 55 58 60 66 67 69 75 77 80 81 85 87 89 91 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 154 155 156 158 159 161 162 164 166 a 3 7 9 12 13 17 18 21 28 29 40 45 49 52 54 55 58 60 66 67 69 75 76 77 80 81 85 87 89 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 154 155 156 158 159 161 162 164 166 a 3 7 9 12 13 17 18 21 28 29 40 45 49 51 52 54 55 58 60 66 67 69 75 76 77 80 81 85 87 89 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 155 156 158 159 161 162 164 166 a 3 7 9 12 13 17 18 21 28 29 40 45 49 51 52 54 55 58 60 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 155 156 158 159 161 162 164 166 a 3 7 9 12 13 17 18 21 28 29 40 45 49 51 54 55 58 60 63 66 67 73 75 76 77 80 81 85 87 89 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 155 156 158 159 161 162 164 166 a 3 7 9 12 13 17 18 21 28 29 40 45 49 51 54 55 58 60 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 155 156 158 159 161 162 164 166 a 7 9 12 13 17 18 21 28 29 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 120 123 125 128 130 139 140 146 151 155 156 158 159 161 162 164 166 a 7 9 12 13 17 18 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 120 121 123 125 128 130 139 140 146 151 155 156 158 159 161 162 164 166 a 7 9 12 13 17 18 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 a 7 9 12 13 17 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance013_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat" User time (seconds): 359.35 System time (seconds): 1.19 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.58 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): 4354080 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1367352 Voluntary context switches: 27 Involuntary context switches: 2060 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:01 2023]