#BEGIN: [Mon Sep  4 11:45:03 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance011_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance011_graph003_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 -t4 /benchmark/random_instance/random_instance011_graph003.col /benchmark/random_instance/random_instance011_graph003_01.dat
c /benchmark/random_instance/random_instance011_graph003.col
c /benchmark/random_instance/random_instance011_graph003_01.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.000 seconds
s 126 138 24 56 115 37 101 44 40 131 42 135 65 4 118 7 72 67 47 128 21 35 10 33 53 66 98 132 77 104 109 43 19 130 46 100 120 86 123 38 52 48 82 68 60
t 68 126 74 25 50 39 57 72 130 110 143 117 58 8 106 80 10 135 73 11 60 98 132 35 24 14 75 12 65 45 90 61 46 18 21 16 23 123 7 109 47 100 6 77 53
a YES
a 4 7 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 37 38 40 42 44 46 47 48 49 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 44 46 47 48 49 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 1 4 7 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 65 66 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 1 4 7 10 19 21 24 33 35 37 38 40 42 44 46 47 48 49 52 53 56 60 65 66 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 1 4 7 10 19 21 24 33 35 37 38 40 42 44 46 47 48 49 52 53 56 60 62 65 66 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135
a 1 4 7 10 19 21 24 33 35 37 38 40 42 44 46 47 48 49 52 53 56 60 62 64 65 66 68 72 77 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135
a 1 4 7 10 19 21 23 24 33 35 37 38 40 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 77 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135
a 1 4 6 7 10 19 21 23 24 33 35 37 38 40 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 77 86 98 100 101 104 109 115 120 123 126 128 130 131 132 135
a 1 4 6 7 10 12 19 21 23 24 33 35 38 40 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 77 86 98 100 101 104 109 115 120 123 126 128 130 131 132 135
a 1 4 6 7 10 12 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 77 86 90 98 100 101 104 109 115 120 123 126 128 130 131 132 135
a 1 4 6 7 10 12 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 73 77 90 98 100 101 104 109 115 120 123 126 128 130 131 132 135
a 1 4 6 7 10 12 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 73 77 90 98 100 101 109 115 117 120 123 126 128 130 131 132 135
a 1 4 6 7 10 12 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 66 68 72 73 77 90 98 100 101 109 110 117 120 123 126 128 130 131 132 135
a 1 4 6 7 10 12 18 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 68 72 73 77 90 98 100 101 109 110 117 120 123 126 128 130 131 132 135
a 1 6 7 10 12 18 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 68 72 73 74 77 90 98 100 101 109 110 117 120 123 126 128 130 131 132 135
a 1 6 7 10 12 18 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 68 72 73 74 75 77 90 98 100 101 109 110 117 123 126 128 130 131 132 135
a 1 6 7 10 12 16 18 19 21 23 24 33 35 38 42 44 46 47 49 52 53 56 60 62 64 65 68 72 73 74 75 77 90 98 100 101 109 110 117 123 126 130 131 132 135
a 1 6 7 10 11 12 16 18 19 21 23 24 33 35 38 44 46 47 49 52 53 56 60 62 64 65 68 72 73 74 75 77 90 98 100 101 109 110 117 123 126 130 131 132 135
a 1 6 7 10 11 12 16 18 19 21 23 24 33 35 38 44 46 47 49 52 53 56 60 62 64 65 68 72 73 74 75 77 90 98 100 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 16 18 19 21 23 24 33 35 38 44 46 47 49 53 56 60 61 62 64 65 68 72 73 74 75 77 90 98 100 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 16 18 19 21 23 24 33 35 38 44 46 47 49 53 56 57 60 61 62 65 68 72 73 74 75 77 90 98 100 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 14 16 18 19 21 23 24 33 35 44 46 47 49 53 56 57 60 61 62 65 68 72 73 74 75 77 90 98 100 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 14 16 18 21 23 24 33 35 44 45 46 47 49 53 56 57 60 61 62 65 68 72 73 74 75 77 90 98 100 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 14 16 18 21 23 24 33 35 45 46 47 49 53 56 57 60 61 62 65 68 72 73 74 75 77 80 90 98 100 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 14 16 18 21 23 24 33 35 45 46 47 49 53 56 57 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 131 132 135 143
a 1 6 7 10 11 12 14 16 18 21 23 24 25 33 35 45 46 47 53 56 57 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 131 132 135 143
a 6 7 10 11 12 14 16 18 21 23 24 25 33 35 39 45 46 47 53 56 57 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 131 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 53 56 57 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 131 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 53 56 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 50 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 132 135 143
c Step: 32
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance011_graph003.col /benchmark/random_instance/random_instance011_graph003_01.dat"
	User time (seconds): 241.58
	System time (seconds): 14.82
	Percent of CPU this job got: 323%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:19.22
	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): 3588060
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 2
	Minor (reclaiming a frame) page faults: 1030968
	Voluntary context switches: 5107559
	Involuntary context switches: 759
	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 11:46:22 2023]