c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/queen/queen020x020.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/queen/queen020x020_04_0961.dat
c array.sh: name:     queen020x020_04_0961
c array.sh: task:     286
c array.sh: host:     c3n07
c array.sh: uname:    Linux c3n07 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 04:46:14 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0150: solving existent 21701617-286-queen020x020_04_0961
c 0.0320: Wrote /tmp/21701617-286-queen020x020_04_0961.aag
c 0.0490: Wrote /tmp/21701617-286-queen020x020_04_0961.aig
c 92.5200: Wrote /tmp/21701617-286-queen020x020_04_0961.trace
c 92.5210: Found solution, Length: 38
s 9 52 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 362 397
t 16 31 49 72 86 108 138 147 179 193 237 260 270 285 303 321 344 362 394
a YES
a 9 52 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 362 397
a 9 35 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 362 397
a 9 35 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 372 397
a 9 42 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 372 397
a 9 22 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 372 397
a 9 22 55 68 91 107 138 146 179 193 216 234 260 270 285 303 344 372 397
a 9 22 55 68 91 107 138 146 179 193 216 234 260 270 285 301 344 372 397
a 9 22 55 68 91 107 138 146 179 193 216 223 260 270 285 301 344 372 397
a 9 22 55 68 91 107 138 146 179 193 216 223 260 270 285 301 344 372 394
a 9 22 55 68 91 107 138 146 179 193 216 223 260 270 285 301 332 344 394
a 9 22 55 68 91 107 138 179 193 216 223 260 270 285 301 332 344 377 394
a 9 22 55 68 91 107 138 179 193 216 223 246 270 285 301 332 344 377 394
a 9 22 55 68 91 120 138 179 193 216 223 246 270 285 301 332 344 377 394
a 9 22 55 68 91 120 138 147 179 193 216 246 270 285 301 332 344 377 394
a 9 22 55 68 91 103 138 147 179 193 216 246 270 285 301 332 344 377 394
a 9 22 55 68 91 103 138 147 179 193 216 260 270 285 301 332 344 377 394
a 9 22 55 68 86 103 138 147 179 193 216 260 270 285 301 332 344 377 394
a 9 22 55 68 86 103 138 147 179 193 216 260 270 285 301 332 344 371 394
a 9 22 55 77 86 103 138 147 179 193 216 260 270 285 301 332 344 371 394
a 9 22 55 77 86 103 138 147 179 193 216 221 260 270 285 332 344 371 394
a 9 22 55 77 86 138 147 179 193 216 221 260 270 285 303 332 344 371 394
a 22 55 77 86 108 138 147 179 193 216 221 260 270 285 303 332 344 371 394
a 15 22 77 86 108 138 147 179 193 216 221 260 270 285 303 332 344 371 394
a 15 22 49 77 86 108 138 147 179 193 216 221 260 270 285 303 332 344 371
a 22 49 77 86 108 138 147 179 193 216 221 260 270 285 303 332 344 371 394
a 16 22 49 77 86 108 138 147 179 193 221 260 270 285 303 332 344 371 394
a 16 22 49 77 86 138 147 179 193 215 221 260 270 285 303 332 344 371 394
a 16 22 49 77 86 108 138 147 179 193 215 221 260 270 285 303 332 344 394
a 16 22 49 86 108 138 147 179 193 215 221 260 270 285 303 332 344 377 394
a 16 22 49 72 86 108 138 147 179 193 215 221 260 270 285 303 344 377 394
a 16 22 49 72 86 108 138 147 179 193 215 221 260 285 303 330 344 377 394
a 16 22 49 72 86 108 138 147 179 193 215 221 260 285 303 330 344 377 391
a 16 22 49 72 86 108 138 147 179 193 215 221 260 270 285 303 344 377 391
a 16 22 49 72 86 108 138 147 179 193 215 260 270 285 303 321 344 377 391
a 16 22 49 72 86 108 138 147 179 193 215 260 270 285 303 321 344 377 394
a 16 31 49 72 86 108 138 147 179 193 215 260 270 285 303 321 344 377 394
a 16 31 49 72 86 108 138 147 179 193 215 237 260 270 285 303 321 344 394
a 16 31 49 72 86 108 138 147 179 193 237 260 270 285 303 321 344 362 394
c array.sh: end:      Thu 24 Mar 2022 04:47:47 PM CET
confaigeration /tmp/21701617-286-queen020x020_04_0961.col /tmp/21701617-286-queen020x020_04_0961.dat existent"
	User time (seconds): 836.55
	System time (seconds): 3.37
	Percent of CPU this job got: 907%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:32.55
	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): 203768
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 320563
	Voluntary context switches: 1102
	Involuntary context switches: 1014
	Swaps: 0
	File system inputs: 16
	File system outputs: 4992
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0