#BEGIN: [Mon Sep 4 14:08:55 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance010_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance010_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance010_graph003.col /benchmark/random_instance/random_instance010_graph003_01.dat c /benchmark/random_instance/random_instance010_graph003.col c /benchmark/random_instance/random_instance010_graph003_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.006 seconds s 19 68 30 123 79 72 112 34 125 44 130 27 15 57 83 23 81 36 25 114 16 124 45 85 14 52 91 120 104 87 41 105 96 38 64 129 111 82 3 94 11 17 73 21 8 18 t 26 119 16 87 14 67 127 24 79 72 98 50 21 80 102 94 10 49 115 48 30 23 22 81 63 53 64 85 111 9 84 91 57 38 93 59 27 11 25 51 125 123 46 126 116 88 a YES a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 45 52 57 64 68 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 120 123 124 125 129 130 a 3 8 11 14 15 16 17 18 21 23 25 27 30 34 36 38 41 44 45 52 57 64 68 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 120 122 123 124 125 129 130 a 3 8 11 14 15 16 17 18 21 23 25 27 30 34 36 38 41 44 52 57 64 68 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 118 120 122 123 124 125 129 130 a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 52 57 64 68 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 118 120 123 124 125 129 130 a 3 8 11 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 52 57 64 68 72 73 78 79 81 82 83 85 87 91 94 96 104 105 111 112 114 118 120 123 124 125 129 130 a 3 8 11 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 45 52 57 64 68 72 73 78 79 81 82 83 85 87 91 94 96 104 105 111 112 114 120 123 124 125 129 130 a 3 8 11 15 16 17 18 21 23 25 27 30 34 36 38 41 44 45 52 57 64 68 72 73 78 79 81 82 83 85 87 91 94 96 104 105 111 112 114 120 122 123 124 125 129 130 a 3 8 11 15 16 17 18 21 23 25 27 30 34 36 38 41 44 45 50 52 57 64 68 72 73 78 79 81 82 83 85 87 91 94 96 104 105 111 114 120 122 123 124 125 129 130 a 3 8 11 15 16 17 18 21 23 25 27 30 34 36 38 41 44 45 50 52 57 64 68 72 73 78 79 81 82 84 85 87 91 94 96 104 105 111 114 120 122 123 124 125 129 130 a 3 8 11 15 16 17 18 21 23 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 78 79 81 82 84 85 87 91 94 96 104 105 111 114 120 122 123 124 125 126 129 130 a 3 8 11 15 16 17 18 21 23 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 78 79 81 82 84 85 87 91 94 96 104 105 111 114 115 122 123 124 125 126 129 130 a 3 11 15 16 17 18 21 23 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 78 79 81 82 84 85 87 88 91 94 96 104 105 111 114 115 122 123 124 125 126 129 130 a 3 11 15 16 17 18 21 22 23 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 78 79 81 82 84 85 87 88 91 94 96 104 105 111 114 115 122 123 124 125 126 129 a 3 11 15 16 17 18 21 22 23 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 78 79 81 84 85 87 88 91 94 96 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 15 16 18 21 22 23 24 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 78 79 81 84 85 87 88 91 94 96 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 15 16 18 21 22 23 24 25 27 30 36 38 41 45 50 52 53 57 64 68 72 73 78 79 81 84 85 87 88 91 94 96 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 15 16 18 21 22 23 24 25 27 30 36 38 45 50 52 53 57 64 68 72 73 78 79 81 84 85 87 88 91 94 96 102 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 16 18 21 22 23 24 25 27 30 36 38 45 50 52 53 57 64 68 72 73 78 79 80 81 84 85 87 88 91 94 96 102 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 16 18 21 22 23 24 25 27 30 36 38 45 50 52 53 57 59 64 68 72 73 78 79 80 81 84 85 87 88 91 94 102 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 16 18 21 22 23 24 25 27 30 36 38 45 48 50 52 53 57 59 64 72 73 78 79 80 81 84 85 87 88 91 94 102 104 105 111 114 115 116 122 123 124 125 126 129 a 3 11 16 18 21 22 23 24 25 27 30 36 38 45 48 50 52 53 57 59 64 72 73 78 79 80 81 84 85 87 88 91 94 102 104 105 111 114 115 116 119 123 124 125 126 129 a 3 11 14 16 18 21 22 23 24 25 27 30 36 38 45 48 50 52 53 57 59 64 72 73 79 80 81 84 85 87 88 91 94 102 104 105 111 114 115 116 119 123 124 125 126 129 a 3 11 14 16 18 21 22 23 24 25 27 30 36 38 45 48 50 52 53 57 59 64 72 73 79 80 81 84 85 87 88 91 93 94 102 104 105 111 114 115 116 119 123 125 126 129 a 3 11 14 16 21 22 23 24 25 27 30 36 38 45 48 50 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 102 104 105 111 114 115 116 119 123 125 126 129 a 3 11 14 16 21 22 23 24 25 27 30 36 38 45 48 50 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 114 115 116 119 123 125 126 129 a 3 11 14 16 21 22 23 24 25 26 27 30 36 38 48 50 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 114 115 116 119 123 125 126 129 a 3 11 14 16 21 22 23 24 25 26 27 30 36 38 46 48 50 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 115 116 119 123 125 126 129 a 3 11 14 16 21 22 23 24 25 26 27 30 36 38 46 48 50 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 115 116 119 123 125 126 127 a 3 11 14 16 21 22 23 24 25 26 27 30 38 46 48 50 51 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 115 116 119 123 125 126 127 a 9 11 14 16 21 22 23 24 25 26 27 30 38 46 48 50 51 52 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 115 116 119 123 125 126 127 a 9 10 11 14 16 21 22 23 24 25 26 27 30 38 46 48 50 51 53 57 59 64 67 72 73 79 80 81 84 85 87 88 91 93 94 98 102 105 111 115 116 119 123 125 126 127 a 9 10 11 14 16 21 22 23 24 25 26 27 30 38 46 48 50 51 53 57 59 63 64 67 72 79 80 81 84 85 87 88 91 93 94 98 102 105 111 115 116 119 123 125 126 127 a 9 10 11 14 16 21 22 23 24 25 26 27 30 38 46 48 49 50 51 53 57 59 63 64 67 72 79 80 81 84 85 87 88 91 93 94 98 102 111 115 116 119 123 125 126 127 c Step: 32 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance010_graph003.col /benchmark/random_instance/random_instance010_graph003_01.dat" User time (seconds): 215.32 System time (seconds): 3.48 Percent of CPU this job got: 251% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:27.00 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): 3464984 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 1010325 Voluntary context switches: 726104 Involuntary context switches: 650 Swaps: 0 File system inputs: 0 File system outputs: 208 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:10:23 2023]