c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_5a.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_5a_02.dat
c array.sh: name:     le450_5a_02
c array.sh: task:     114
c array.sh: host:     c3n17
c array.sh: uname:    Linux c3n17 5.4.0-104-generic #118-Ubuntu SMP Wed Mar 2 19:02:41 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux
c array.sh: start:    Thu 24 Mar 2022 12:52:17 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0070: solving existent 21701617-114-le450_5a_02
c 0.0170: Wrote /tmp/21701617-114-le450_5a_02.aag
c 0.0280: Wrote /tmp/21701617-114-le450_5a_02.aig
c 1.0110: Wrote /tmp/21701617-114-le450_5a_02.trace
c 1.0110: Found solution, Length: 2
s 4 9 19 20 24 31 34 39 44 45 49 54 59 64 69 74 83 88 93 99 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 200 203 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 290 294 299 304 308 313 315 318 324 329 334 339 344 354 359 364 369 379 380 384 389 394 399 404 405 409 414 419 423 428 434 444 449
t 4 9 19 20 24 29 31 34 39 44 45 49 54 59 64 69 74 83 88 93 99 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 200 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 290 294 299 304 308 313 315 318 324 329 334 339 344 354 359 364 369 379 380 384 389 394 399 404 405 409 414 419 423 428 434 444 449
a YES
a 4 9 19 20 24 31 34 39 44 45 49 54 59 64 69 74 83 88 93 99 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 200 203 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 290 294 299 304 308 313 315 318 324 329 334 339 344 354 359 364 369 379 380 384 389 394 399 404 405 409 414 419 423 428 434 444 449
a 4 9 19 20 24 29 31 34 39 44 45 49 54 59 64 69 74 83 88 93 99 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 200 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 290 294 299 304 308 313 315 318 324 329 334 339 344 354 359 364 369 379 380 384 389 394 399 404 405 409 414 419 423 428 434 444 449
c array.sh: end:      Thu 24 Mar 2022 12:52:18 PM CET
confaigeration /tmp/21701617-114-le450_5a_02.col /tmp/21701617-114-le450_5a_02.dat existent"
	User time (seconds): 0.82
	System time (seconds): 0.20
	Percent of CPU this job got: 97%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.04
	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): 43048
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 50961
	Voluntary context switches: 916
	Involuntary context switches: 21
	Swaps: 0
	File system inputs: 16
	File system outputs: 2432
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0