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_01.dat
c array.sh: name:     DSJC1000.1_01
c array.sh: task:     1
c array.sh: host:     c3n16
c array.sh: uname:    Linux c3n16 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:19 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0610: solving shortest 21950140-1-DSJC1000_1_01
c 0.1290: Wrote /tmp/21950140-1-DSJC1000_1_01.aag
c 0.2000: Wrote /tmp/21950140-1-DSJC1000_1_01.aig
c 0.2510: Wrote /tmp/21950140-1-DSJC1000_1_01.trace
c 0.2510: Found solution, Length: 2
s 17 24 41 63 69 83 102 135 155 158 169 197 218 240 246 250 255 279 309 324 338 341 344 345 355 365 408 447 456 460 464 469 486 524 535 537 597 617 639 666 668 675 688 691 700 712 713 720 734 753 759 821 851 855 878 910 923 929 933 935 940 959 962 978 989 991
t 17 24 41 63 69 83 102 135 155 158 169 197 218 240 246 250 255 279 309 324 338 341 344 345 355 365 408 447 456 460 464 469 486 524 535 537 597 617 639 666 668 675 688 691 700 712 713 720 734 753 759 821 851 855 857 910 923 929 933 935 940 959 962 978 989 991
a YES
a 17 24 41 63 69 83 102 135 155 158 169 197 218 240 246 250 255 279 309 324 338 341 344 345 355 365 408 447 456 460 464 469 486 524 535 537 597 617 639 666 668 675 688 691 700 712 713 720 734 753 759 821 851 855 878 910 923 929 933 935 940 959 962 978 989 991
a 17 24 41 63 69 83 102 135 155 158 169 197 218 240 246 250 255 279 309 324 338 341 344 345 355 365 408 447 456 460 464 469 486 524 535 537 597 617 639 666 668 675 688 691 700 712 713 720 734 753 759 821 851 855 857 910 923 929 933 935 940 959 962 978 989 991
c array.sh: end:      Fri 27 May 2022 03:13:19 PM CEST
ration/reconfaigeration /tmp/21950140-1-DSJC1000.1_01.col /tmp/21950140-1-DSJC1000.1_01.dat shortest"
	User time (seconds): 0.24
	System time (seconds): 0.03
	Percent of CPU this job got: 91%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.29
	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): 15652
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 5
	Minor (reclaiming a frame) page faults: 8887
	Voluntary context switches: 207
	Involuntary context switches: 8
	Swaps: 0
	File system inputs: 1680
	File system outputs: 4824
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0