c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25a.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25a_01.dat
c array.sh: name:     le450_25a_01
c array.sh: task:     105
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:10 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0100: solving existent 21701617-105-le450_25a_01
c 0.0230: Wrote /tmp/21701617-105-le450_25a_01.aag
c 0.0350: Wrote /tmp/21701617-105-le450_25a_01.aig
c 1.1580: Wrote /tmp/21701617-105-le450_25a_01.trace
c 1.1580: Found solution, Length: 5
s 2 10 18 24 27 32 35 41 47 55 56 59 66 72 86 87 108 110 117 121 124 134 135 137 148 151 154 161 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 430 431 434 435 436 445
t 2 10 18 24 27 32 35 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 161 162 166 167 176 177 179 180 184 186 203 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 359 360 362 365 373 380 387 391 393 403 408 412 415 424 430 431 434 435 436 445
a YES
a 2 10 18 24 27 32 35 41 47 55 56 59 66 72 86 87 108 110 117 121 124 134 135 137 148 151 154 161 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 430 431 434 435 436 445
a 2 10 18 24 27 32 35 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 161 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 430 431 434 435 436 445
a 2 10 18 24 27 32 35 41 47 48 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 161 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 403 408 412 415 424 430 431 434 435 436 445
a 2 10 18 24 27 32 35 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 161 162 166 167 168 176 177 179 180 184 186 203 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 403 408 412 415 424 430 431 434 435 436 445
a 2 10 18 24 27 32 35 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 161 162 166 167 176 177 179 180 184 186 203 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 359 360 362 365 373 380 387 391 393 403 408 412 415 424 430 431 434 435 436 445
c array.sh: end:      Thu 24 Mar 2022 12:52:11 PM CET
confaigeration /tmp/21701617-105-le450_25a_01.col /tmp/21701617-105-le450_25a_01.dat existent"
	User time (seconds): 1.24
	System time (seconds): 0.25
	Percent of CPU this job got: 125%
	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): 45116
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 59941
	Voluntary context switches: 916
	Involuntary context switches: 17
	Swaps: 0
	File system inputs: 16
	File system outputs: 2800
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0