c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_15d.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_15d_01.dat
c array.sh: name:     le450_15d_01
c array.sh: task:     103
c array.sh: host:     c3n15
c array.sh: uname:    Linux c3n15 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:08 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0200: solving existent 21701617-103-le450_15d_01
c 0.0420: Wrote /tmp/21701617-103-le450_15d_01.aag
c 0.0620: Wrote /tmp/21701617-103-le450_15d_01.aig
c 1.4910: Wrote /tmp/21701617-103-le450_15d_01.trace
c 1.4910: Found solution, Length: 3
s 7 12 14 27 31 42 63 75 84 95 100 134 152 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 308 320 331 347 352 360 379 389 398 401 409 420
t 7 12 27 31 42 63 75 84 95 100 134 149 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 304 308 320 331 347 352 360 379 389 398 401 409 420
a YES
a 7 12 14 27 31 42 63 75 84 95 100 134 152 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 308 320 331 347 352 360 379 389 398 401 409 420
a 7 12 27 31 42 63 75 84 95 100 134 149 152 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 308 320 331 347 352 360 379 389 398 401 409 420
a 7 12 27 31 42 63 75 84 95 100 134 149 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 304 308 320 331 347 352 360 379 389 398 401 409 420
c array.sh: end:      Thu 24 Mar 2022 12:52:10 PM CET
confaigeration /tmp/21701617-103-le450_15d_01.col /tmp/21701617-103-le450_15d_01.dat existent"
	User time (seconds): 1.94
	System time (seconds): 0.26
	Percent of CPU this job got: 144%
	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): 52020
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 70931
	Voluntary context switches: 914
	Involuntary context switches: 22
	Swaps: 0
	File system inputs: 16
	File system outputs: 4776
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0