c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC1000.1.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC1000.1_02.dat
c array.sh: name:     DSJC1000.1_02
c array.sh: task:     2
c array.sh: host:     c3n10
c array.sh: uname:    Linux c3n10 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:06 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0860: solving existent 21950101-2-DSJC1000_1_02
c 0.2120: Wrote /tmp/21950101-2-DSJC1000_1_02.aag
c 0.3220: Wrote /tmp/21950101-2-DSJC1000_1_02.aig
c 5.9410: Wrote /tmp/21950101-2-DSJC1000_1_02.trace
c 5.9410: Found solution, Length: 4
s 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989
t 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 855 872 930 959 965 973 988 989
a YES
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 768 796 830 835 851 855 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 855 872 930 959 965 973 988 989
c array.sh: end:      Fri 27 May 2022 03:13:13 PM CEST
ration/reconfaigeration /tmp/21950101-2-DSJC1000.1_02.col /tmp/21950101-2-DSJC1000.1_02.dat existent"
	User time (seconds): 7.40
	System time (seconds): 0.79
	Percent of CPU this job got: 136%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.98
	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): 83068
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 140
	Minor (reclaiming a frame) page faults: 146030
	Voluntary context switches: 2960
	Involuntary context switches: 36
	Swaps: 0
	File system inputs: 38784
	File system outputs: 12920
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0