#BEGIN: [Mon Aug 28 22:06:49 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap05a.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap05a_02.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/2022benchmark/benchmark/color04/wap05a.col /benchmark/2022benchmark/benchmark/color04/wap05a_02.dat
c /benchmark/2022benchmark/benchmark/color04/wap05a.col
c /benchmark/2022benchmark/benchmark/color04/wap05a_02.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.010 seconds
s 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
t 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 435 445 464 588 686
a YES
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 343 349 445 464 553 588
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 260 343 349 445 464 553 588
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 260 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 252 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 130 131 133 134 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 252 310 343 349 435 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 435 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 310 343 349 435 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 435 445 464 553 588
a 5 7 15 16 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 435 445 464 553 588
a 5 7 15 16 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 435 445 464 588 686
a 5 7 15 16 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 5 7 16 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 5 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 5 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 5 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 94 95 99 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 93 95 99 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 93 95 99 107 108 110 119 120 121 123 126 127 128 130 131 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 93 95 99 107 108 110 119 120 121 123 126 127 128 130 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 313 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 93 95 99 107 108 110 119 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 313 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 85 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 313 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 57 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 7 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 184 185 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 181 185 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 133 134 136 145 148 149 152 153 154 155 159 160 167 180 181 182 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 110 117 120 121 123 126 127 128 129 132 134 136 145 148 149 152 153 154 155 159 160 167 180 181 182 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 109 117 120 121 123 126 127 128 129 132 134 136 145 148 149 152 153 154 155 159 160 167 180 181 182 190 193 203 206 207 213 220 222 224 247 294 313 343 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 108 109 117 120 121 123 126 127 128 129 132 134 136 145 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 145 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 435 445 464 588 686
a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 435 445 464 588 686
c Step: 32
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/2022benchmark/benchmark/color04/wap05a.col /benchmark/2022benchmark/benchmark/color04/wap05a_02.dat"
	User time (seconds): 551.78
	System time (seconds): 8.48
	Percent of CPU this job got: 151%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:10.90
	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): 27336968
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 9453775
	Voluntary context switches: 599
	Involuntary context switches: 2559
	Swaps: 0
	File system inputs: 0
	File system outputs: 1552
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Aug 28 22:13:00 2023]