#BEGIN: [Mon Sep  4 13:05:44 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent2
#INSTANCE1: /benchmark/random_instance/random_instance011_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance011_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance011_graph002.col /benchmark/random_instance/random_instance011_graph002_01.dat
c /benchmark/random_instance/random_instance011_graph002.col
c /benchmark/random_instance/random_instance011_graph002_01.dat
*** Info : (clingo): INTERRUPTED by signal!
s 45 113 122 137 28 134 67 31 108 136 71 15 37 81 102 121 90 73 39 53 38 69 132 119 41 80 85 141 33 111 126 55 105 83 112 68 107 115 59 30 143 138 128 124 91 129
t 79 109 64 136 63 80 44 100 8 91 111 22 130 77 70 17 121 19 134 113 53 138 48 69 27 115 51 49 141 50 35 39 47 129 58 112 34 98 105 87 124 6 73 30 67 56
a YES
a 15 28 30 31 33 37 38 39 41 45 53 55 59 67 68 69 71 73 80 81 83 85 90 91 102 105 107 108 111 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 15 28 30 31 33 37 38 39 41 45 53 55 59 67 68 69 73 80 81 83 85 90 91 102 105 107 108 111 112 113 115 116 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 15 28 30 31 33 37 38 39 41 45 53 55 59 67 68 69 73 80 81 83 85 90 91 102 105 107 108 111 112 113 115 116 119 122 124 126 128 129 132 134 136 137 138 140 141 143
a 15 28 30 31 33 37 38 39 41 45 53 55 57 59 67 68 69 80 81 83 85 90 91 102 105 107 108 111 112 113 115 116 119 122 124 126 128 129 132 134 136 137 138 140 141 143
a 15 28 30 33 37 38 39 41 45 48 53 55 57 59 67 68 69 80 81 83 85 90 91 102 105 107 108 111 112 113 115 116 119 122 124 126 128 129 132 134 136 137 138 140 141 143
a 28 30 33 37 38 39 41 45 48 53 55 57 59 67 68 69 80 81 83 85 90 91 100 102 105 107 108 111 112 113 115 116 119 122 124 126 128 129 132 134 136 137 138 140 141 143
a 28 30 33 37 38 39 41 45 48 53 55 57 59 67 68 69 80 83 85 90 91 100 102 105 107 108 111 112 113 115 116 119 121 122 124 126 128 129 132 134 136 137 138 140 141 143
a 28 30 33 37 38 39 41 45 48 51 53 57 59 67 68 69 80 83 85 90 91 100 102 105 107 108 111 112 113 115 116 119 121 122 124 126 128 129 132 134 136 137 138 140 141 143
a 27 28 30 33 37 38 39 41 45 48 51 53 57 59 67 68 69 80 83 85 90 91 100 102 105 108 111 112 113 115 116 119 121 122 124 126 128 129 132 134 136 137 138 140 141 143
a 17 27 28 30 37 38 39 41 45 48 51 53 57 59 67 68 69 80 83 85 90 91 100 102 105 108 111 112 113 115 116 119 121 122 124 126 128 129 132 134 136 137 138 140 141 143
a 17 27 28 30 37 38 39 41 45 48 51 53 57 59 67 68 69 80 83 85 90 91 100 102 105 108 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 140 141 143
a 17 27 28 30 37 38 39 41 45 48 51 53 59 67 68 69 73 80 83 85 90 91 100 102 105 108 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 140 141 143
a 17 27 28 30 37 38 39 41 45 48 51 53 56 59 67 68 69 73 80 83 85 91 100 102 105 108 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 140 141 143
a 17 27 28 30 35 37 38 39 41 45 48 51 53 56 59 67 68 69 73 80 83 85 91 100 102 105 108 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 141 143
a 17 27 28 30 35 37 38 39 41 48 51 53 56 59 67 68 69 73 80 83 85 87 91 100 102 105 108 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 141 143
a 17 27 28 30 35 37 38 39 41 44 48 51 53 56 59 67 68 69 73 80 85 87 91 100 102 105 108 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 141 143
a 17 27 28 30 35 37 38 39 41 44 48 50 51 53 56 59 67 68 69 73 80 85 87 91 100 102 105 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 141 143
a 17 27 28 30 34 35 38 39 41 44 48 50 51 53 56 59 67 68 69 73 80 85 87 91 100 102 105 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 141 143
a 17 27 28 30 34 35 38 39 44 48 50 51 53 56 59 64 67 68 69 73 80 85 87 91 100 102 105 109 111 112 113 115 116 119 121 122 124 126 128 129 134 136 137 138 141 143
a 8 17 27 28 30 34 35 38 39 44 48 50 51 53 56 59 64 67 68 69 73 80 85 87 91 100 102 105 109 111 112 113 115 116 121 122 124 126 128 129 134 136 137 138 141 143
a 8 17 27 30 34 35 38 39 44 47 48 50 51 53 56 59 64 67 68 69 73 80 85 87 91 100 102 105 109 111 112 113 115 116 121 122 124 126 128 129 134 136 137 138 141 143
a 8 17 19 27 30 34 35 38 39 44 47 48 50 51 53 56 59 64 67 68 69 73 80 85 87 91 100 102 105 109 111 112 113 115 121 122 124 126 128 129 134 136 137 138 141 143
a 8 17 19 27 30 34 35 38 39 44 47 48 50 51 53 56 59 64 67 68 69 73 80 85 87 91 98 100 102 105 109 111 112 113 115 121 122 124 126 128 129 134 136 137 138 141
a 8 17 19 27 30 34 35 38 39 44 47 48 49 50 51 53 56 59 64 67 68 69 73 80 85 87 91 98 100 102 105 109 111 112 113 115 121 122 124 126 128 129 134 136 138 141
a 8 17 19 27 30 34 35 38 39 44 47 48 49 50 51 53 56 59 64 67 69 73 80 85 87 91 98 100 102 105 109 111 112 113 115 121 122 124 126 128 129 130 134 136 138 141
a 8 17 19 27 30 34 35 38 39 44 47 48 49 50 51 53 56 58 59 64 67 69 73 80 87 91 98 100 102 105 109 111 112 113 115 121 122 124 126 128 129 130 134 136 138 141
a 8 17 19 27 30 34 35 38 39 44 47 48 49 50 51 53 56 58 59 63 64 67 69 73 80 87 91 98 100 102 105 109 111 112 113 115 121 124 126 128 129 130 134 136 138 141
a 8 17 19 22 27 30 34 35 38 39 44 47 48 49 50 51 53 56 58 59 63 64 67 69 73 80 87 91 98 100 102 105 109 111 112 113 115 121 124 126 129 130 134 136 138 141
a 8 17 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 59 63 64 67 69 73 79 80 87 91 98 100 102 105 109 111 112 113 115 121 124 126 129 130 134 136 138 141
a 8 17 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 59 63 64 67 69 70 73 79 80 87 91 98 100 105 109 111 112 113 115 121 124 126 129 130 134 136 138 141
a 6 8 17 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 79 80 87 91 98 100 105 109 111 112 113 115 121 124 126 129 130 134 136 138 141
a 6 8 17 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 79 80 87 91 98 100 105 109 111 112 113 115 121 124 129 130 134 136 138 141
c Step: 31
	Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance011_graph002.col /benchmark/random_instance/random_instance011_graph002_01.dat"
	User time (seconds): 142.34
	System time (seconds): 0.97
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 2:23.33
	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): 2496504
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 750691
	Voluntary context switches: 27
	Involuntary context switches: 223
	Swaps: 0
	File system inputs: 0
	File system outputs: 320
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 13:08:08 2023]