#BEGIN: [Mon Sep  4 14:08:51 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance010_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph002_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_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat
c /benchmark/random_instance/random_instance010_graph002.col
c /benchmark/random_instance/random_instance010_graph002_01.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.001 seconds
s 120 127 29 24 85 21 116 83 58 74 27 107 5 37 106 73 7 50 2 118 110 39 103 38 93 87 61 22 6 26 64 12 70 88 125 76 14 44 81
t 105 19 99 83 55 22 72 2 118 121 26 108 49 122 9 98 14 85 16 57 103 88 23 129 46 104 115 130 48 68 90 53 38 39 127 107 116 81 7
a YES
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 45 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 127
a 2 5 6 7 12 14 21 22 24 26 27 37 38 39 44 45 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 127 129
a 2 5 6 7 12 14 21 22 24 26 27 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127 129
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 86 87 88 93 103 106 107 110 116 118 120 125
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 103 106 107 110 116 118 125
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 45 50 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 103 106 107 110 116 118
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 45 50 57 58 61 64 70 72 73 74 81 83 85 86 87 88 93 103 106 107 110 116 118
a 2 5 6 7 12 14 21 22 24 26 27 37 38 39 44 45 50 57 58 61 64 70 72 73 74 81 83 85 86 87 88 93 103 106 107 110 116 118 129
a 2 5 6 7 12 14 21 22 23 24 26 27 37 38 39 44 45 50 57 58 61 64 70 72 73 81 83 85 86 87 88 93 103 106 107 110 116 118 129
a 2 5 6 7 12 14 20 21 22 23 24 26 27 37 38 39 44 45 50 57 58 61 64 70 72 73 81 83 85 86 87 88 93 103 106 110 116 118 129
a 2 5 6 7 12 14 20 21 22 23 24 26 27 37 38 39 44 45 50 57 58 61 64 70 72 73 81 83 85 87 88 93 103 106 110 116 118 127 129
a 2 5 6 7 12 14 21 22 23 24 26 27 37 38 39 44 45 50 57 58 61 64 70 72 73 81 83 85 87 88 93 103 106 107 110 116 118 127 129
a 2 5 6 7 9 12 14 21 22 23 26 27 37 38 39 44 45 50 57 58 61 64 70 72 73 81 83 85 87 88 93 103 106 107 110 116 118 127 129
a 2 5 6 7 9 14 21 22 23 26 27 37 38 39 44 45 50 55 57 58 61 64 70 72 73 81 83 85 87 88 93 103 106 107 110 116 118 127 129
a 2 5 6 7 9 14 21 22 23 26 37 38 39 44 45 50 55 57 58 61 64 70 72 73 81 83 85 87 88 93 103 104 106 107 110 116 118 127 129
a 2 5 7 9 14 16 21 22 23 26 37 38 39 44 45 50 55 57 58 61 64 70 72 73 81 83 85 87 88 93 103 104 106 107 110 116 118 127 129
a 2 5 7 9 14 16 22 23 26 37 38 39 44 45 50 55 57 58 61 64 68 70 72 73 81 83 85 87 88 93 103 104 106 107 110 116 118 127 129
a 2 5 7 9 14 16 22 23 26 37 38 39 44 45 50 55 57 61 64 68 70 72 73 81 83 85 87 88 93 103 104 106 107 110 115 116 118 127 129
a 2 5 7 9 14 16 22 23 26 37 38 39 44 45 50 55 57 61 64 68 70 72 73 81 83 85 87 88 93 98 103 104 107 110 115 116 118 127 129
a 2 5 7 9 14 16 22 23 26 38 39 44 45 50 55 57 61 64 68 70 72 73 81 83 85 87 88 93 98 103 104 107 110 115 116 118 127 129 130
a 2 5 7 9 14 16 22 23 26 38 39 44 45 49 50 55 57 61 64 68 70 72 73 81 83 85 87 88 98 103 104 107 110 115 116 118 127 129 130
a 2 5 7 9 14 16 22 23 26 38 39 44 49 50 55 57 61 64 68 70 72 73 81 83 85 87 88 98 99 103 104 107 110 115 116 118 127 129 130
a 2 5 7 9 14 16 19 22 23 26 38 39 44 49 50 55 57 61 64 68 70 72 73 81 83 85 87 88 98 99 103 104 107 115 116 118 127 129 130
a 2 5 7 9 14 16 19 22 23 26 38 39 44 49 55 57 61 64 68 70 72 73 81 83 85 87 88 90 98 99 103 104 107 115 116 118 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 44 49 55 57 61 64 68 70 72 73 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 49 55 57 61 64 68 70 72 73 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 121 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 49 55 57 64 68 70 72 73 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 55 57 64 68 70 72 73 81 83 85 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 55 57 64 68 70 72 81 83 85 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 70 72 81 83 85 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 72 81 83 85 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
c Step: 32
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat"
	User time (seconds): 252.29
	System time (seconds): 2.74
	Percent of CPU this job got: 357%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:11.38
	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): 2263364
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1
	Minor (reclaiming a frame) page faults: 677364
	Voluntary context switches: 487417
	Involuntary context switches: 567
	Swaps: 0
	File system inputs: 0
	File system outputs: 192
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 14:10:02 2023]