#BEGIN: [Mon Sep  4 14:08:48 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent3
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.000 seconds
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 12 14 21 25 29 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 12 14 21 25 29 31 34 35 39 41 43 52 56 57 58 60 61 62 64 65 67 71 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 58 60 61 62 64 65 67 71 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 112 113 114 119 121 123 125 126 128 130
a 2 3 4 6 12 14 21 25 29 31 34 35 39 41 43 52 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 112 113 114 119 121 123 125 126 128 130
a 2 3 4 6 12 14 21 25 29 31 34 35 39 41 43 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 112 113 114 119 121 123 125 126 128 129 130
a 2 3 4 6 12 21 25 29 31 34 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 112 113 114 119 121 123 125 126 128 129 130
a 2 3 4 6 9 12 21 25 31 34 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 112 113 114 119 121 123 125 126 128 129 130
a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 112 113 114 119 121 125 126 128 129 130
a 2 3 4 6 9 12 14 21 25 31 34 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 111 112 113 114 119 121 125 126 128 129
a 2 3 4 6 9 12 14 21 25 31 35 39 41 43 45 56 57 58 60 61 62 64 65 67 71 80 82 102 105 110 111 112 113 114 119 121 125 126 127 128 129
a 2 3 4 6 8 9 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 3 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 127 128 129
a 2 3 4 6 8 9 10 12 14 21 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 65 67 71 80 82 105 110 111 112 113 119 121 125 127 128 129
a 2 3 4 6 8 9 10 12 14 21 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 127 128 129
a 2 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 56 57 58 60 61 62 64 65 67 71 82 89 105 110 111 112 113 116 119 121 125 127 128 129
a 2 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 57 58 60 61 62 64 65 67 71 82 83 89 105 110 111 112 113 116 119 121 125 127 128 129
a 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 57 58 60 61 62 64 65 67 71 82 83 89 105 109 110 111 112 113 116 119 121 125 127 128 129
a 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 57 58 60 61 62 64 65 67 71 82 83 87 89 105 109 111 112 113 116 119 121 125 127 128 129
a 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 57 58 60 61 62 64 65 67 71 82 83 87 89 98 105 109 111 112 116 119 121 125 127 128 129
a 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 109 111 112 116 119 121 125 127 128 129
a 1 3 4 6 8 9 10 12 14 21 25 31 35 43 45 48 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 109 111 112 116 119 121 125 127 128 129
a 1 3 4 8 9 10 12 14 21 25 31 35 37 43 45 48 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 109 111 112 116 119 121 125 127 128 129
a 1 3 4 8 9 10 12 14 15 21 25 31 35 37 43 45 48 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 109 111 116 119 121 125 127 128 129
a 1 4 8 9 10 12 14 15 21 25 31 35 37 43 44 45 48 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 109 111 116 119 121 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 43 44 45 48 57 58 60 61 62 64 67 70 71 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 60 61 62 64 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 59 60 61 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 61 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 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 -t4 /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat"
	User time (seconds): 327.83
	System time (seconds): 4.38
	Percent of CPU this job got: 362%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:31.70
	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): 2568572
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1
	Minor (reclaiming a frame) page faults: 751934
	Voluntary context switches: 941692
	Involuntary context switches: 855
	Swaps: 0
	File system inputs: 0
	File system outputs: 248
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 14:10:20 2023]