c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25d.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25d_02.dat
c array.sh: name:     le450_25d_02
c array.sh: task:     112
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:15 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0210: solving existent 21701617-112-le450_25d_02
c 0.0440: Wrote /tmp/21701617-112-le450_25d_02.aag
c 0.0650: Wrote /tmp/21701617-112-le450_25d_02.aig
c 1.4970: Wrote /tmp/21701617-112-le450_25d_02.trace
c 1.4970: Found solution, Length: 4
s 10 11 38 47 48 61 74 76 80 90 113 122 138 162 167 189 191 198 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445
t 10 38 47 48 61 74 76 80 90 113 122 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445
a YES
a 10 11 38 47 48 61 74 76 80 90 113 122 138 162 167 189 191 198 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445
a 10 38 47 48 61 74 76 80 90 113 122 138 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445
a 10 38 47 48 61 74 76 80 90 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445
a 10 38 47 48 61 74 76 80 90 113 122 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445
c array.sh: end:      Thu 24 Mar 2022 12:52:17 PM CET
confaigeration /tmp/21701617-112-le450_25d_02.col /tmp/21701617-112-le450_25d_02.dat existent"
	User time (seconds): 1.84
	System time (seconds): 0.27
	Percent of CPU this job got: 138%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.53
	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): 49832
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 71148
	Voluntary context switches: 918
	Involuntary context switches: 16
	Swaps: 0
	File system inputs: 16
	File system outputs: 4680
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0