#BEGIN: [Mon Sep 4 10:42:58 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance012_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance012_graph004_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_instance012_graph004.col /benchmark/random_instance/random_instance012_graph004_01.dat c /benchmark/random_instance/random_instance012_graph004.col c /benchmark/random_instance/random_instance012_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 66 27 70 152 104 74 144 133 108 46 83 116 49 112 76 121 11 29 10 47 106 62 73 24 135 115 126 6 23 15 138 150 98 20 93 142 65 149 40 145 19 137 148 72 81 12 105 t 138 113 55 93 90 53 89 140 121 125 134 105 71 15 76 110 50 4 99 62 9 83 79 58 10 145 86 70 6 31 123 137 64 77 101 94 42 33 136 118 120 52 61 39 106 103 68 a YES a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 133 135 137 138 142 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 133 137 138 142 143 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 133 135 137 138 142 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 142 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 137 138 142 143 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 91 98 104 105 106 108 112 113 116 121 126 133 137 138 142 143 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 91 98 104 105 106 108 112 113 116 119 121 126 133 138 142 143 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 a 6 10 11 12 15 19 20 23 24 27 29 40 47 49 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 6 10 12 15 19 20 23 24 25 27 29 40 47 49 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 6 10 12 15 19 20 23 24 25 27 29 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 150 152 155 a 10 11 12 15 19 20 23 24 25 27 29 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 150 152 155 a 10 11 12 15 20 23 24 25 27 29 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 6 10 11 15 20 23 24 25 27 29 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 2 6 10 11 15 20 23 24 25 29 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 2 6 10 11 12 15 20 23 24 25 29 40 47 49 58 62 65 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 2 6 11 12 15 19 20 23 24 25 29 40 47 49 58 62 65 70 72 73 74 76 81 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 2 6 11 12 15 19 20 23 24 25 29 36 40 47 49 58 62 65 70 72 73 74 76 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 2 6 11 12 15 19 20 23 25 29 36 40 47 49 58 62 65 66 70 72 73 74 76 83 91 98 105 106 108 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 152 155 a 2 6 11 12 15 19 20 23 25 29 36 40 47 49 58 62 65 66 70 72 73 74 76 83 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 2 6 11 12 15 19 20 23 25 29 36 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 148 149 150 155 a 2 6 11 12 15 19 20 23 24 25 29 36 40 47 49 58 62 65 66 70 72 73 74 76 81 83 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 148 150 155 a 2 6 11 12 15 19 20 23 24 25 36 40 47 49 58 62 65 66 70 72 73 74 76 81 83 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 148 150 155 a 2 6 11 12 15 19 20 23 24 25 36 40 47 49 58 62 65 66 70 72 73 74 76 81 83 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 155 a 2 6 11 12 15 19 20 23 24 25 29 36 40 47 49 58 62 65 66 70 72 73 74 76 81 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 155 a 2 6 11 12 15 19 20 23 24 25 29 36 40 49 58 62 65 66 70 72 73 74 76 81 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 155 a 6 11 12 15 19 20 23 24 25 29 36 40 49 58 62 65 66 70 72 73 74 76 81 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 6 11 12 15 19 20 23 24 25 29 36 40 47 49 58 62 65 66 70 72 73 74 76 81 88 91 98 105 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 6 11 12 15 19 23 24 25 27 29 36 40 47 49 58 62 65 66 70 72 73 74 76 81 88 91 98 105 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 6 11 12 15 19 23 24 25 27 29 36 40 47 49 58 62 65 66 70 72 73 76 81 83 88 91 98 105 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 6 11 12 15 19 23 24 25 27 29 36 40 49 58 62 65 66 70 72 73 76 81 83 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 6 11 12 15 19 23 24 25 27 29 36 39 49 58 62 65 66 70 72 73 76 81 83 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 142 143 144 145 148 149 150 155 a 6 11 12 15 19 23 24 25 27 29 36 39 49 58 62 66 70 72 73 76 81 83 88 91 98 105 106 108 110 112 113 116 119 121 126 130 133 138 140 142 143 144 145 148 149 150 155 a 6 11 12 15 19 23 24 25 27 29 36 39 49 58 62 66 70 72 73 76 81 83 88 91 98 101 105 106 108 110 112 113 116 119 121 126 130 133 138 140 142 143 144 145 148 149 150 a 6 11 12 15 19 23 24 25 27 29 36 39 49 58 62 66 70 72 73 76 81 83 88 91 94 98 101 105 106 108 110 112 113 116 119 121 126 130 133 138 140 142 143 144 145 148 149 a 6 12 15 19 23 24 25 27 29 31 36 39 49 58 62 66 70 72 73 76 81 83 88 91 94 98 101 105 106 108 110 112 113 116 119 121 126 130 133 138 140 142 143 144 145 148 149 a 6 12 15 19 23 24 25 27 29 31 36 39 49 58 62 66 70 72 73 76 81 83 88 91 94 98 101 105 106 108 110 112 113 116 119 121 126 130 133 136 138 140 142 143 144 145 148 a 6 12 15 19 23 24 25 27 29 31 36 39 49 58 62 66 70 72 73 76 81 83 88 91 94 98 101 103 105 106 108 110 112 113 116 119 121 126 130 133 136 138 140 142 143 144 145 a 6 12 15 19 23 24 25 27 29 31 36 39 49 58 62 66 70 72 73 76 79 81 83 88 91 94 98 101 103 105 106 108 110 112 113 116 119 121 126 130 133 136 138 140 142 143 145 a 6 12 15 19 23 24 27 29 31 36 39 49 58 62 66 70 72 73 76 77 79 81 83 88 91 94 98 101 103 105 106 108 110 112 113 116 119 121 126 130 133 136 138 140 142 143 145 a 6 12 15 19 23 24 27 29 31 36 39 49 58 62 66 68 70 72 73 76 77 79 81 83 88 91 94 98 101 103 105 106 108 110 112 113 116 119 121 130 133 136 138 140 142 143 145 a 6 15 19 23 24 27 29 31 36 39 49 58 62 66 68 70 72 73 76 77 79 81 83 88 90 91 94 98 101 103 105 106 108 110 112 113 116 119 121 130 133 136 138 140 142 143 145 a 6 9 15 19 23 24 27 29 31 36 39 49 58 62 66 68 70 72 73 76 77 79 81 83 88 90 91 94 98 101 103 105 106 108 110 113 116 119 121 130 133 136 138 140 142 143 145 a 6 9 15 19 23 24 27 29 31 36 39 49 58 62 66 68 70 72 73 76 77 79 81 83 88 90 91 94 98 101 103 105 106 108 110 113 116 121 130 133 136 137 138 140 142 143 145 a 6 9 15 19 23 24 27 29 31 36 39 49 58 62 66 68 70 72 73 76 77 79 81 83 88 90 93 94 98 101 103 105 106 108 110 113 116 121 130 133 136 137 138 140 142 143 145 a 6 9 15 19 23 24 27 29 31 36 39 42 49 58 62 66 68 70 72 73 76 77 79 81 83 88 90 93 94 98 101 103 105 106 108 110 113 121 130 133 136 137 138 140 142 143 145 a 6 9 15 19 23 24 27 29 31 33 36 39 42 49 58 62 66 68 70 72 73 76 77 79 81 83 88 90 93 94 98 101 103 105 106 110 113 121 130 133 136 137 138 140 142 143 145 a 6 9 15 19 23 24 27 29 31 33 36 39 42 49 58 62 66 68 70 71 72 73 76 77 79 81 83 88 90 93 94 98 101 103 105 106 110 113 121 130 133 136 137 138 140 142 145 a 6 9 15 19 23 24 27 29 31 33 39 42 49 58 62 66 68 70 71 72 73 76 77 79 81 83 86 88 90 93 94 98 101 103 105 106 110 113 121 130 133 136 137 138 140 142 145 a 6 9 15 19 23 24 27 29 31 33 39 42 49 50 58 62 66 68 70 71 72 76 77 79 81 83 86 88 90 93 94 98 101 103 105 106 110 113 121 130 133 136 137 138 140 142 145 a 6 9 15 19 23 24 27 29 31 33 39 42 49 50 58 62 66 68 70 71 72 76 77 79 81 83 86 88 89 90 93 94 98 101 103 105 106 110 113 121 133 136 137 138 140 142 145 a 4 6 9 15 23 24 27 29 31 33 39 42 49 50 58 62 66 68 70 71 72 76 77 79 81 83 86 88 89 90 93 94 98 101 103 105 106 110 113 121 133 136 137 138 140 142 145 a 4 6 9 10 15 23 24 27 29 31 33 39 42 49 50 58 62 66 68 70 71 72 76 77 79 81 83 86 89 90 93 94 98 101 103 105 106 110 113 121 133 136 137 138 140 142 145 a 4 6 9 10 15 23 24 27 29 31 33 39 42 49 50 58 61 62 68 70 71 72 76 77 79 81 83 86 89 90 93 94 98 101 103 105 106 110 113 121 133 136 137 138 140 142 145 a 4 6 9 10 15 23 24 27 29 31 33 39 42 49 50 52 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 98 101 103 105 106 110 113 121 133 136 137 138 140 142 145 a 4 6 9 10 15 23 24 27 29 31 33 39 42 49 50 52 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 98 101 103 105 106 110 113 118 121 136 137 138 140 142 145 a 4 6 9 10 15 23 24 27 29 31 33 39 42 49 50 52 55 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 98 101 103 105 106 110 113 118 121 136 137 138 140 145 a 4 6 9 10 15 23 24 27 29 31 33 39 42 49 50 52 55 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 136 137 138 140 145 a 4 6 9 10 15 23 24 29 31 33 39 42 49 50 52 55 58 61 62 64 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 136 137 138 140 145 a 4 6 9 10 15 23 29 31 33 39 42 49 50 52 55 58 61 62 64 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 125 136 137 138 140 145 a 4 6 9 10 15 29 31 33 39 42 49 50 52 55 58 61 62 64 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 123 125 136 137 138 140 145 a 4 6 9 10 15 29 31 33 39 42 49 50 52 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145 a 4 6 9 10 15 31 33 39 42 49 50 52 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145 a 4 6 9 10 15 31 33 39 42 50 52 53 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance012_graph004.col /benchmark/random_instance/random_instance012_graph004_01.dat" User time (seconds): 359.86 System time (seconds): 0.67 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.56 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): 2718104 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 849120 Voluntary context switches: 28 Involuntary context switches: 1885 Swaps: 0 File system inputs: 0 File system outputs: 224 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:48:59 2023]