#BEGIN: [Mon Sep  4 12:47:38 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent1
#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 /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): INTERRUPTED by signal!
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 29 37 38 39 44 45 50 57 58 61 64 70 73 74 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 57 58 61 64 70 73 74 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 45 50 57 58 61 64 70 73 74 81 83 85 86 87 88 93 103 106 107 110 116 118 120 129
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 45 50 57 58 61 64 70 73 74 81 83 85 86 87 88 93 103 106 107 110 116 118 120
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 45 50 57 58 61 64 70 73 74 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 57 58 61 64 70 73 74 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 45 50 57 58 61 64 70 71 73 74 81 83 85 87 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 45 50 57 58 61 64 70 71 73 74 81 83 85 86 87 93 103 106 107 110 116 118 120 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 71 73 81 83 85 86 87 93 103 106 107 110 116 118 120 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 73 81 83 85 86 87 88 93 103 106 107 110 116 118 120 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 21 22 23 24 26 37 38 39 44 45 50 57 58 61 64 70 72 73 81 83 85 86 87 88 93 103 104 106 107 110 116 118 129
a 2 5 6 7 14 21 22 23 24 26 37 38 39 44 45 50 55 57 58 61 64 70 72 73 81 83 85 86 87 88 93 103 104 106 107 110 116 118 129
a 2 5 6 7 14 21 22 23 24 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 6 7 14 22 23 24 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 6 7 9 14 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 6 7 9 14 22 23 26 38 39 44 45 49 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 6 7 9 14 22 23 26 38 39 44 45 49 50 55 57 58 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 116 118 127 129
a 2 5 7 9 14 16 22 23 26 38 39 44 45 49 50 55 57 58 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 116 118 127 129
a 2 5 7 9 14 16 19 22 23 26 38 39 44 49 50 55 57 58 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 116 118 127 129
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 90 93 103 104 106 107 108 116 118 127 129
a 2 5 7 9 14 16 19 22 23 26 38 39 44 49 50 55 57 61 64 68 70 72 81 83 85 87 88 90 93 103 104 106 107 108 115 116 118 127 129
a 2 7 9 14 16 19 22 23 26 38 39 44 49 50 53 55 57 61 64 68 70 72 81 83 85 87 88 90 93 103 104 106 107 108 115 116 118 127 129
a 2 7 9 14 16 19 22 23 26 38 39 44 48 49 50 53 55 57 61 64 68 70 72 81 83 85 88 90 93 103 104 106 107 108 115 116 118 127 129
a 2 7 9 14 16 19 22 23 26 38 39 44 48 49 50 53 55 57 61 64 68 70 72 81 83 85 88 90 93 99 103 104 107 108 115 116 118 127 129
a 2 7 9 14 16 19 22 23 26 38 39 44 48 49 50 53 55 57 61 68 70 72 81 83 85 88 90 93 98 99 103 104 107 108 115 116 118 127 129
a 2 7 9 14 16 19 22 23 26 38 39 44 48 49 50 53 55 57 61 68 72 81 83 85 88 90 93 98 99 103 104 105 107 108 115 116 118 127 129
a 2 7 9 14 16 19 22 23 26 38 39 44 48 49 53 55 57 61 68 72 81 83 85 88 90 93 98 99 103 104 105 107 108 115 116 118 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 44 48 49 53 55 57 68 72 81 83 85 88 90 93 98 99 103 104 105 107 108 115 116 118 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 93 98 99 103 104 105 107 108 115 116 118 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 /benchmark/random_instance/random_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat"
	User time (seconds): 60.14
	System time (seconds): 0.05
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.21
	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): 154804
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 55838
	Voluntary context switches: 24
	Involuntary context switches: 194
	Swaps: 0
	File system inputs: 0
	File system outputs: 120
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 12:48:38 2023]