#BEGIN: [Mon Sep 4 10:41:36 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance010_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance010_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_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat c /benchmark/random_instance/random_instance010_graph001.col c /benchmark/random_instance/random_instance010_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! s 64 35 14 80 47 114 126 6 25 119 67 21 113 71 82 102 60 130 62 128 65 76 9 123 39 2 112 56 52 34 105 110 103 61 57 4 121 31 43 125 41 t 12 125 44 40 14 70 111 58 9 128 10 4 5 67 37 82 59 79 35 24 48 15 89 62 8 129 127 87 1 83 25 109 57 124 45 105 60 98 116 71 21 a YES a 2 4 6 9 14 21 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130 a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130 a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 103 105 110 112 113 114 119 121 123 126 128 130 a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 105 110 112 113 114 119 121 123 126 128 130 a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 46 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 114 119 121 123 126 128 130 a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 46 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 114 119 121 123 126 128 129 130 a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 56 57 60 61 62 64 65 67 71 74 76 80 82 102 105 110 112 113 114 119 121 123 126 128 129 130 a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 56 57 60 61 62 64 65 67 71 74 76 80 82 102 105 110 112 113 114 119 121 123 125 126 128 129 130 a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 56 57 60 61 62 64 65 67 71 74 76 80 82 102 103 105 110 112 113 114 119 121 125 126 128 129 130 a 2 4 6 8 9 12 14 21 25 31 34 35 39 41 43 56 57 60 61 62 64 65 67 71 74 76 80 82 103 105 110 112 113 114 119 121 125 126 128 129 130 a 2 4 6 8 9 10 12 14 21 25 31 34 35 39 41 43 56 57 60 61 62 64 65 67 71 74 76 80 82 105 110 112 113 114 119 121 125 126 128 129 130 a 2 4 6 8 9 10 12 14 21 25 31 34 35 39 41 43 56 57 60 61 62 64 65 67 71 74 80 82 105 110 111 112 113 114 119 121 125 126 128 129 130 a 2 4 6 8 9 10 12 14 21 25 31 34 35 39 41 43 56 57 58 60 61 62 64 65 67 71 80 82 105 110 111 112 113 114 119 121 125 126 128 129 130 a 2 4 6 8 9 10 12 14 21 25 31 35 39 41 43 56 57 58 60 61 62 64 65 67 71 80 82 105 110 111 112 113 114 119 121 125 126 127 128 129 130 a 2 4 6 8 9 10 12 14 21 25 31 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 105 110 111 112 113 114 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 105 110 111 112 113 114 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 82 105 110 111 112 113 114 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 65 67 71 82 105 110 111 112 113 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 65 67 71 82 98 105 110 111 112 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 41 43 45 48 56 57 58 60 61 62 64 65 67 71 82 83 98 105 110 111 112 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 41 43 45 48 56 57 58 60 61 62 64 67 70 71 82 83 98 105 110 111 112 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 31 35 37 41 43 45 48 56 57 58 60 61 62 64 67 70 71 82 83 98 105 111 112 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 21 24 25 35 37 41 43 45 48 56 57 58 60 61 62 64 67 70 71 82 83 87 98 105 111 112 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 15 21 24 25 35 37 41 45 48 56 57 58 60 61 62 64 67 70 71 82 83 87 98 105 111 112 116 119 121 125 126 127 128 129 a 2 4 8 9 10 12 14 15 21 24 25 35 37 41 45 48 56 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 111 112 116 121 125 126 127 128 129 a 2 4 8 9 10 12 14 15 21 24 25 35 37 41 45 48 56 57 58 60 61 62 64 67 70 71 79 82 83 87 89 98 105 111 112 116 125 126 127 128 129 a 2 4 8 9 10 12 14 15 21 24 25 35 37 40 41 45 48 56 57 58 60 62 64 67 70 71 79 82 83 87 89 98 105 111 112 116 125 126 127 128 129 a 1 2 4 8 9 10 12 14 15 21 24 25 35 37 40 45 48 56 57 58 60 62 64 67 70 71 79 82 83 87 89 98 105 111 112 116 125 126 127 128 129 a 1 2 4 8 9 10 12 14 15 21 24 25 35 37 40 45 48 56 57 58 60 62 67 70 71 79 82 83 87 89 98 105 111 112 116 124 125 126 127 128 129 a 1 2 4 5 8 9 10 12 14 15 21 24 25 35 37 40 45 48 56 57 58 60 62 67 70 71 79 82 83 87 89 98 105 111 116 124 125 126 127 128 129 a 1 2 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 60 62 67 70 71 79 82 83 87 89 98 105 111 116 124 125 126 127 128 129 a 1 2 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 111 116 124 125 127 128 129 a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129 c Step: 32 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat" User time (seconds): 70.61 System time (seconds): 0.48 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:11.11 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): 1668372 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 497277 Voluntary context switches: 28 Involuntary context switches: 430 Swaps: 0 File system inputs: 0 File system outputs: 200 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:42:48 2023]