#BEGIN: [Mon Sep 4 10:28:58 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance012_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance012_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance012_graph002.col /benchmark/random_instance/random_instance012_graph002_01.dat c /benchmark/random_instance/random_instance012_graph002.col c /benchmark/random_instance/random_instance012_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! s 51 39 42 152 34 40 75 47 66 56 154 10 76 98 93 44 17 48 126 92 14 141 144 67 82 46 15 99 58 150 4 73 101 148 83 142 61 52 62 106 43 147 74 87 22 30 118 63 129 124 57 29 105 t 37 148 107 137 130 141 22 91 25 45 110 95 86 63 122 99 55 43 96 146 57 75 59 66 105 6 47 71 64 13 7 35 94 19 74 125 103 58 152 127 53 44 39 111 48 121 78 4 65 9 68 73 52 a YES a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154 a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154 a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 73 74 75 82 83 87 92 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154 a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 73 74 75 76 82 83 87 92 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154 a 4 6 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 73 74 75 76 82 83 87 92 98 99 105 106 118 124 126 129 141 142 144 147 148 150 152 154 a 4 6 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 73 74 75 82 83 87 92 98 99 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154 a 4 6 10 14 15 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 73 74 75 82 83 87 92 98 99 105 106 108 118 121 124 126 129 141 142 144 147 148 150 152 154 a 4 6 10 14 15 22 28 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 67 73 74 75 82 83 87 92 98 99 105 106 108 118 121 124 126 129 141 142 144 147 148 150 152 154 a 4 6 10 14 15 22 28 29 30 34 40 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 67 72 73 74 75 82 83 87 92 98 99 105 106 108 118 121 124 126 129 141 142 144 147 148 150 152 154 a 4 6 10 14 15 22 28 29 30 34 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 67 72 73 74 75 82 83 87 92 98 99 105 106 108 118 120 121 124 126 129 141 142 144 147 148 150 152 154 a 4 6 7 10 14 15 22 28 29 30 34 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 67 72 73 74 75 82 83 87 92 98 99 105 106 108 118 120 121 124 129 141 142 144 147 148 150 152 154 a 4 6 7 10 14 15 22 28 29 30 34 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 67 72 73 74 75 82 83 92 98 99 105 106 108 113 118 120 121 124 129 141 142 144 147 148 150 152 154 a 4 6 7 10 14 15 22 29 30 34 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 72 73 74 75 82 83 92 98 99 105 106 108 113 118 120 121 124 129 141 142 144 147 148 150 152 154 a 4 6 7 10 14 15 22 29 30 34 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 98 99 105 106 108 118 120 121 124 129 141 142 144 147 148 150 152 154 a 4 6 7 10 14 15 22 29 30 34 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 98 99 105 106 108 120 121 124 129 141 142 144 146 147 148 150 152 154 a 4 6 7 10 14 15 22 29 30 34 38 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 98 99 105 106 108 120 121 124 129 142 144 146 147 148 150 152 154 a 4 6 7 10 14 15 22 29 30 34 38 42 43 44 46 47 48 51 52 57 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 98 99 105 106 108 110 120 121 124 129 142 144 146 147 148 150 152 154 a 4 6 7 10 14 15 22 29 30 34 38 42 43 44 46 47 48 51 52 57 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 95 98 99 105 106 108 110 120 121 124 129 142 144 146 147 150 152 154 a 4 6 7 10 14 15 22 29 30 34 38 41 42 43 44 46 47 48 51 52 57 58 60 61 62 63 66 67 72 73 74 75 82 83 92 95 98 99 105 106 108 110 120 121 124 129 142 144 146 147 150 152 154 a 4 7 10 14 15 22 29 30 34 38 41 42 43 44 46 47 48 51 52 57 58 60 61 62 63 66 67 72 73 74 75 82 83 92 95 98 99 101 105 106 108 110 120 121 124 129 142 144 146 147 150 152 154 a 4 7 10 14 15 22 29 30 38 41 42 43 44 46 47 48 51 52 55 57 58 60 61 62 63 66 67 72 73 74 75 82 83 92 95 98 99 101 105 106 108 110 120 121 124 129 142 144 146 147 150 152 154 a 4 7 10 14 15 22 29 30 38 41 42 43 44 46 47 48 51 52 55 57 58 60 61 62 63 66 67 72 73 74 75 82 83 92 98 99 101 105 106 108 110 120 121 124 129 142 144 146 147 148 150 152 154 a 4 7 10 14 15 22 29 30 38 41 42 43 44 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 82 83 92 98 99 101 105 106 108 110 120 121 124 129 134 142 144 146 147 148 150 152 154 a 4 7 10 14 22 29 30 38 41 42 43 44 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 82 83 92 95 98 99 101 105 106 108 110 120 121 124 129 134 142 144 146 147 148 150 152 154 a 4 7 10 14 22 29 30 38 42 43 44 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 95 98 99 101 105 106 108 110 120 121 124 129 134 142 144 146 147 148 150 152 154 a 4 7 10 14 15 22 29 30 38 42 43 44 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 95 98 99 101 105 106 108 110 120 121 124 129 134 142 144 146 147 150 152 154 a 4 7 10 14 15 22 29 30 38 42 43 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 95 98 99 101 105 106 108 110 120 121 124 129 134 142 144 145 146 147 150 152 154 a 4 7 10 14 15 22 29 30 38 42 43 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 82 83 87 92 95 98 101 105 106 108 110 120 121 124 129 134 142 144 145 146 147 148 150 152 154 a 4 7 10 15 22 29 30 38 42 43 46 47 48 51 52 55 58 60 61 62 63 66 67 72 73 74 75 79 82 83 87 92 95 98 101 105 106 108 110 120 121 124 129 134 142 144 145 146 147 148 150 152 154 a 4 7 10 15 22 29 30 38 42 43 46 47 48 51 52 55 58 60 61 62 63 66 67 73 74 75 79 82 83 87 92 95 98 101 105 106 108 110 120 121 123 124 129 134 142 144 145 146 147 148 150 152 154 a 4 7 10 14 15 22 29 30 38 42 43 47 48 51 52 55 58 60 61 62 63 66 67 73 74 75 79 82 83 87 92 95 98 101 105 106 108 110 120 121 123 124 129 134 142 144 145 146 147 148 150 152 154 a 4 7 10 14 15 22 29 30 38 42 43 47 48 51 52 55 58 60 61 62 63 66 67 73 74 75 79 82 83 87 92 95 98 99 101 105 106 108 110 120 121 123 124 129 134 142 144 145 147 148 150 152 154 a 4 7 10 14 15 22 29 30 38 39 42 43 47 48 51 52 55 58 61 62 63 66 67 73 74 75 79 82 83 87 92 95 98 99 101 105 106 108 110 120 121 123 124 129 134 142 144 145 147 148 150 152 154 a 4 7 10 14 15 22 29 30 38 39 42 43 47 48 51 52 55 58 61 62 63 66 67 73 74 75 79 82 83 87 92 95 99 101 105 106 108 110 120 121 123 124 129 134 142 144 145 146 147 148 150 152 154 a 4 7 10 14 15 22 25 29 30 38 39 42 43 47 48 51 52 55 58 61 62 63 66 67 73 74 75 79 82 83 87 92 95 99 101 105 106 108 110 120 121 123 124 129 134 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 37 38 39 42 43 47 48 51 52 55 58 61 62 63 66 67 73 74 75 79 82 83 87 92 95 99 101 105 106 108 110 120 121 123 124 129 134 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 38 39 43 47 48 51 52 55 58 61 62 63 66 67 73 74 75 79 82 83 87 92 95 99 101 105 106 108 110 120 121 123 124 129 134 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 38 39 43 47 48 51 52 55 58 61 62 63 66 68 73 74 75 79 82 83 87 92 95 99 101 105 106 108 110 120 121 123 124 129 134 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 39 43 47 48 51 52 55 58 61 62 63 66 68 73 74 75 79 82 83 87 92 95 99 101 105 106 108 110 120 121 123 124 129 134 141 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 39 43 47 48 51 52 55 58 62 63 66 68 73 74 75 79 82 83 87 92 95 99 101 105 106 107 108 110 120 121 123 124 129 134 141 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 66 68 73 74 75 79 82 83 92 95 99 101 105 106 107 108 110 120 121 123 124 129 134 141 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 79 82 83 92 95 99 101 105 106 107 110 120 121 123 124 129 134 141 142 145 146 147 148 150 152 154 a 4 7 10 15 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 82 83 92 95 99 101 105 106 107 110 120 121 123 124 129 134 141 142 145 146 147 148 150 152 a 4 7 10 15 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 82 83 92 95 99 101 103 105 106 107 110 120 121 123 124 129 134 141 142 145 146 147 148 152 a 4 7 10 15 19 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 82 83 92 95 99 101 103 105 106 107 110 120 121 123 124 129 134 141 145 146 147 148 152 a 4 7 10 15 19 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 92 95 99 101 103 105 106 107 110 120 121 123 124 129 134 141 145 146 147 148 152 a 4 6 7 10 15 19 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 92 95 99 103 105 106 107 110 120 121 123 124 129 134 141 145 146 147 148 152 a 4 6 7 10 15 19 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 92 95 99 103 105 106 107 110 111 120 121 124 129 134 141 145 146 147 148 152 a 4 6 7 10 15 19 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 95 96 99 103 105 106 107 110 111 120 121 124 129 134 141 145 146 147 148 152 a 4 6 7 10 19 22 25 29 30 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 95 96 99 103 105 106 107 110 111 120 121 124 129 130 134 141 145 146 147 148 152 a 4 6 7 9 10 19 22 25 29 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 95 96 99 103 105 106 107 110 111 120 121 124 129 130 134 141 145 146 147 148 152 a 4 6 7 9 10 19 22 25 29 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 95 96 99 103 105 106 107 110 111 120 121 125 129 130 134 141 145 146 147 148 152 a 4 6 7 9 10 19 22 25 29 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 95 96 99 103 105 106 107 110 111 120 121 125 129 130 134 137 141 145 146 148 152 a 4 6 7 9 10 13 19 22 25 29 35 37 39 43 47 48 51 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 95 96 99 103 105 106 107 110 111 120 121 125 130 134 137 141 145 146 148 152 a 4 6 7 9 10 13 19 22 25 29 35 37 39 43 47 48 52 55 58 59 62 63 65 66 68 73 74 75 78 79 83 86 94 95 96 99 103 105 106 107 110 111 120 121 125 130 134 137 141 145 146 148 152 a 4 6 7 9 10 13 19 22 25 29 35 37 39 43 47 48 52 53 55 58 59 63 65 66 68 73 74 75 78 79 83 86 94 95 96 99 103 105 106 107 110 111 120 121 125 130 134 137 141 145 146 148 152 a 4 6 7 9 10 13 19 22 25 29 35 37 39 43 45 47 48 52 53 55 58 59 63 65 66 68 73 74 75 78 83 86 94 95 96 99 103 105 106 107 110 111 120 121 125 130 134 137 141 145 146 148 152 a 4 6 7 9 10 13 19 22 25 29 35 37 39 43 45 47 48 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 94 95 96 99 103 105 106 107 110 111 120 121 125 130 137 141 145 146 148 152 a 4 6 7 9 13 19 22 25 29 35 37 39 43 45 47 48 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 94 95 96 99 103 105 106 107 110 111 120 121 125 127 130 137 141 145 146 148 152 a 4 6 7 9 13 19 22 25 29 35 37 39 43 45 47 48 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 91 94 95 96 99 103 105 107 110 111 120 121 125 127 130 137 141 145 146 148 152 a 4 6 7 9 13 19 22 25 29 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 91 94 95 96 99 103 105 107 110 111 120 121 125 127 130 137 141 146 148 152 a 4 6 7 9 13 19 22 25 29 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 65 66 68 73 74 75 78 83 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152 a 4 6 7 9 13 19 22 25 29 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152 a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152 c Step: 63 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance012_graph002.col /benchmark/random_instance/random_instance012_graph002_01.dat" User time (seconds): 60.53 System time (seconds): 0.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.61 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): 82996 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 44186 Voluntary context switches: 24 Involuntary context switches: 384 Swaps: 0 File system inputs: 0 File system outputs: 216 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:29:59 2023]