#BEGIN: [Mon Sep  4 11:44:03 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance009_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance009_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 --na -t4 /benchmark/random_instance/random_instance009_graph002.col /benchmark/random_instance/random_instance009_graph002_01.dat
c /benchmark/random_instance/random_instance009_graph002.col
c /benchmark/random_instance/random_instance009_graph002_01.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.001 seconds
s 28 117 114 113 102 51 48 112 92 99 73 26 75 21 109 10 85 29 116 93 86 91 63 106 20 11 43 36 35 70 58 39 47 69 79 55 12 65
t 27 100 26 42 87 98 24 60 52 43 14 85 106 4 110 89 49 41 20 91 107 23 76 47 78 84 45 109 101 21 115 88 57 36 93 30 83 108
a YES
a 10 11 12 20 21 26 28 29 35 36 39 43 47 48 51 55 58 63 65 69 70 73 75 79 85 86 91 92 93 99 102 106 109 112 113 114 116 117
a 10 11 12 20 21 26 28 29 35 36 39 43 47 48 51 55 58 61 63 65 69 70 73 75 79 85 91 92 93 99 102 106 109 112 113 114 116 117
a 10 11 12 20 26 28 29 34 35 36 39 43 47 48 51 55 58 61 63 65 69 70 73 75 79 85 91 92 93 99 102 106 109 112 113 114 116 117
a 10 11 12 20 26 28 29 34 35 36 39 43 47 48 51 55 58 61 63 65 69 73 75 79 85 91 92 93 99 102 104 106 109 112 113 114 116 117
a 3 10 11 12 20 26 28 29 34 36 39 43 47 48 51 55 58 61 63 65 69 73 75 79 85 91 92 93 99 102 104 106 109 112 113 114 116 117
a 3 10 11 12 20 21 26 28 29 36 39 43 47 48 51 55 58 61 63 65 69 73 75 79 85 91 92 93 99 102 104 106 109 112 113 114 116 117
a 3 10 11 12 20 21 26 29 36 39 43 47 48 51 55 58 61 63 65 69 73 75 79 85 91 92 93 99 101 102 104 106 109 112 113 114 116 117
a 3 10 11 12 20 21 26 29 36 39 43 47 48 51 55 58 61 63 65 69 73 75 79 85 91 93 98 99 101 102 104 106 109 112 113 114 116 117
a 3 10 11 12 20 21 26 29 36 39 43 47 48 51 55 57 58 61 63 65 69 73 75 79 85 91 93 98 99 101 102 104 106 109 112 113 114 117
a 3 10 11 12 20 21 24 26 29 36 39 43 47 48 51 55 57 58 61 63 65 69 75 79 85 91 93 98 99 101 102 104 106 109 112 113 114 117
a 3 10 11 12 20 21 24 26 29 36 39 43 47 48 51 55 57 58 61 63 65 69 75 79 85 91 93 98 99 101 104 106 109 112 113 114 115 117
a 3 10 11 12 20 21 24 26 29 36 39 43 47 48 51 55 57 58 61 63 69 75 79 85 91 93 98 99 101 104 106 107 109 112 113 114 115 117
a 3 10 11 12 20 21 24 26 29 36 39 43 47 48 51 55 57 58 61 63 69 79 85 89 91 93 98 99 101 104 106 107 109 112 113 114 115 117
a 3 10 11 12 14 20 21 24 26 29 36 39 43 47 48 51 55 57 58 61 63 69 79 85 89 91 93 98 99 101 106 107 109 112 113 114 115 117
a 3 10 11 12 14 20 21 23 24 26 29 36 39 43 47 48 51 55 57 58 61 69 79 85 89 91 93 98 99 101 106 107 109 112 113 114 115 117
a 3 10 11 12 14 20 21 23 24 26 29 36 39 43 47 48 51 55 57 61 69 76 79 85 89 91 93 98 99 101 106 107 109 112 113 114 115 117
a 3 10 11 12 14 20 21 23 24 26 29 36 39 43 47 48 51 55 57 61 69 76 78 79 85 89 91 93 98 99 101 106 107 109 112 114 115 117
a 3 10 11 14 20 21 23 24 26 29 30 36 39 43 47 48 51 55 57 61 69 76 78 79 85 89 91 93 98 99 101 106 107 109 112 114 115 117
a 3 10 11 14 20 21 23 24 26 29 30 36 39 43 47 48 51 55 57 61 69 76 78 79 83 85 89 91 93 98 101 106 107 109 112 114 115 117
a 3 10 11 14 20 21 23 24 26 29 30 36 39 41 43 47 48 51 57 61 69 76 78 79 83 85 89 91 93 98 101 106 107 109 112 114 115 117
a 3 10 11 14 20 21 23 24 26 29 30 36 39 41 43 47 48 51 57 60 61 69 76 78 79 83 85 89 91 93 98 101 106 107 109 112 114 115
a 3 10 11 14 20 21 23 24 26 29 30 36 39 41 43 47 48 51 57 60 61 69 76 78 79 83 84 85 89 91 93 98 101 106 107 109 114 115
a 3 11 14 20 21 23 24 26 29 30 36 39 41 43 47 48 51 57 60 61 69 76 78 79 83 84 85 89 91 93 98 100 101 106 107 109 114 115
a 3 11 14 20 21 23 24 26 29 30 36 39 41 43 47 48 57 60 61 69 76 78 79 83 84 85 89 91 93 98 100 101 106 107 108 109 114 115
a 3 11 14 20 21 23 24 26 29 30 36 39 41 43 45 47 48 57 60 69 76 78 79 83 84 85 89 91 93 98 100 101 106 107 108 109 114 115
a 3 14 20 21 23 24 26 29 30 36 39 41 43 45 47 48 57 60 69 76 78 79 83 84 85 89 91 93 98 100 101 106 107 108 109 110 114 115
a 3 14 20 21 23 24 26 27 29 30 36 39 41 43 45 47 48 57 60 76 78 79 83 84 85 89 91 93 98 100 101 106 107 108 109 110 114 115
a 3 14 20 21 23 24 26 27 30 36 39 41 43 45 47 48 49 57 60 76 78 79 83 84 85 89 91 93 98 100 101 106 107 108 109 110 114 115
a 3 14 20 21 23 24 26 27 30 36 39 41 42 43 45 47 48 49 57 60 76 78 83 84 85 89 91 93 98 100 101 106 107 108 109 110 114 115
a 14 20 21 23 24 26 27 30 36 39 41 42 43 45 47 48 49 57 60 76 78 83 84 85 88 89 91 93 98 100 101 106 107 108 109 110 114 115
a 14 20 21 23 24 26 27 30 36 39 41 42 43 45 47 49 57 60 76 78 83 84 85 87 88 89 91 93 98 100 101 106 107 108 109 110 114 115
a 4 14 20 21 23 24 26 27 30 36 41 42 43 45 47 49 57 60 76 78 83 84 85 87 88 89 91 93 98 100 101 106 107 108 109 110 114 115
a 4 14 20 21 23 24 26 27 30 36 41 42 43 45 47 49 52 57 60 76 78 83 84 85 87 88 89 91 93 98 100 101 106 107 108 109 110 115
c Step: 32
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance009_graph002.col /benchmark/random_instance/random_instance009_graph002_01.dat"
	User time (seconds): 344.36
	System time (seconds): 8.03
	Percent of CPU this job got: 374%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:34.18
	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): 1735404
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 4
	Minor (reclaiming a frame) page faults: 482209
	Voluntary context switches: 2934848
	Involuntary context switches: 833
	Swaps: 0
	File system inputs: 320
	File system outputs: 288
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 11:45:38 2023]