c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_15a.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_15a_02.dat
c array.sh: name:     le450_15a_02
c array.sh: task:     98
c array.sh: host:     c3n17
c array.sh: uname:    Linux c3n17 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:04 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0100: solving existent 21701617-98-le450_15a_02
c 0.0230: Wrote /tmp/21701617-98-le450_15a_02.aag
c 0.0360: Wrote /tmp/21701617-98-le450_15a_02.aig
c 1.1590: Wrote /tmp/21701617-98-le450_15a_02.trace
c 1.1600: Found solution, Length: 5
s 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448
t 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
a YES
a 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448
a 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 252 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448
a 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 252 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 239 252 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
c array.sh: end:      Thu 24 Mar 2022 12:52:05 PM CET
confaigeration /tmp/21701617-98-le450_15a_02.col /tmp/21701617-98-le450_15a_02.dat existent"
	User time (seconds): 1.25
	System time (seconds): 0.25
	Percent of CPU this job got: 126%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.19
	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): 45508
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 60845
	Voluntary context switches: 939
	Involuntary context switches: 13
	Swaps: 0
	File system inputs: 16
	File system outputs: 2840
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0