c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.1.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.1_01.dat
c array.sh: name:     DSJC500.1_01
c array.sh: task:     19
c array.sh: host:     c3n20
c array.sh: uname:    Linux c3n20 5.4.0-110-generic #124-Ubuntu SMP Thu Apr 14 19:46:19 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux
c array.sh: start:    Fri 27 May 2022 03:13:07 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0260: solving existent 21950101-19-DSJC500_1_01
c 0.0550: Wrote /tmp/21950101-19-DSJC500_1_01.aag
c 0.1230: Wrote /tmp/21950101-19-DSJC500_1_01.aig
c 3.6520: Wrote /tmp/21950101-19-DSJC500_1_01.trace
c 3.6520: Found solution, Length: 4
s 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
t 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a YES
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 146 152 157 169 174 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 435 442 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 377 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
a 9 15 30 50 64 72 86 94 95 103 107 110 124 125 132 133 152 157 169 174 178 210 214 218 226 245 261 267 275 278 279 297 298 299 301 327 354 362 368 373 375 412 419 424 427 435 445 458 461 463 467 469 472 474 480 487 490
c array.sh: end:      Fri 27 May 2022 03:13:10 PM CEST
ration/reconfaigeration /tmp/21950101-19-DSJC500.1_01.col /tmp/21950101-19-DSJC500.1_01.dat existent"
	User time (seconds): 2.21
	System time (seconds): 0.39
	Percent of CPU this job got: 70%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.70
	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): 47096
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 142
	Minor (reclaiming a frame) page faults: 65006
	Voluntary context switches: 2993
	Involuntary context switches: 65
	Swaps: 0
	File system inputs: 38784
	File system outputs: 3856
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0