c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_5b.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_5b_01.dat
c array.sh: name:     le450_5b_01
c array.sh: task:     115
c array.sh: host:     c3n15
c array.sh: uname:    Linux c3n15 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 12:52:17 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0070: solving existent 21701617-115-le450_5b_01
c 0.0170: Wrote /tmp/21701617-115-le450_5b_01.aag
c 0.0280: Wrote /tmp/21701617-115-le450_5b_01.aig
c 1.0190: Wrote /tmp/21701617-115-le450_5b_01.trace
c 1.0190: Found solution, Length: 2
s 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100 105 110 115 120 125 130 135 140 145 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 385 390 395 400 405 410 415 420 425 430 435 440 445 450
t 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100 105 110 115 120 125 130 135 145 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 380 385 390 395 400 405 410 415 420 425 430 435 440 445 450
a YES
a 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100 105 110 115 120 125 130 135 140 145 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 385 390 395 400 405 410 415 420 425 430 435 440 445 450
a 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100 105 110 115 120 125 130 135 145 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 380 385 390 395 400 405 410 415 420 425 430 435 440 445 450
c array.sh: end:      Thu 24 Mar 2022 12:52:18 PM CET
confaigeration /tmp/21701617-115-le450_5b_01.col /tmp/21701617-115-le450_5b_01.dat existent"
	User time (seconds): 0.89
	System time (seconds): 0.19
	Percent of CPU this job got: 103%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.05
	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): 43020
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 51869
	Voluntary context switches: 911
	Involuntary context switches: 15
	Swaps: 0
	File system inputs: 8
	File system outputs: 2608
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0