c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.1.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.1_01.dat
c array.sh: name:     DSJR500.1_01
c array.sh: task:     25
c array.sh: host:     c3n05
c array.sh: uname:    Linux c3n05 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:11 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0070: solving existent 21950101-25-DSJR500_1_01
c 0.0230: Wrote /tmp/21950101-25-DSJR500_1_01.aag
c 0.0420: Wrote /tmp/21950101-25-DSJR500_1_01.aig
c 1.2640: Wrote /tmp/21950101-25-DSJR500_1_01.trace
c 1.2650: Found solution, Length: 9
s 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
t 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a YES
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 249 255 262 269 298 301 306 309 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 249 255 262 269 270 298 306 309 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 249 255 269 270 298 306 309 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
c array.sh: end:      Fri 27 May 2022 03:13:12 PM CEST
ration/reconfaigeration /tmp/21950101-25-DSJR500.1_01.col /tmp/21950101-25-DSJR500.1_01.dat existent"
	User time (seconds): 1.39
	System time (seconds): 0.31
	Percent of CPU this job got: 131%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.30
	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): 43132
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1
	Minor (reclaiming a frame) page faults: 53157
	Voluntary context switches: 932
	Involuntary context switches: 35
	Swaps: 0
	File system inputs: 240
	File system outputs: 2088
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0