c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25b.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25b_02.dat c array.sh: name: le450_25b_02 c array.sh: task: 108 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:12 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0100: solving existent 21701617-108-le450_25b_02 c 0.0230: Wrote /tmp/21701617-108-le450_25b_02.aag c 0.0360: Wrote /tmp/21701617-108-le450_25b_02.aig c 1.2470: Wrote /tmp/21701617-108-le450_25b_02.trace c 1.2470: Found solution, Length: 13 s 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442 t 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442 a YES a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 79 82 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 412 414 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 44 47 49 55 58 64 68 79 82 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 412 414 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 414 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 386 387 388 392 406 410 414 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 414 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 221 225 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 152 153 160 174 179 182 187 189 192 193 209 211 213 214 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 438 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 152 153 157 160 174 179 182 187 189 192 193 209 211 213 214 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 153 157 160 162 174 179 182 187 189 192 193 209 211 213 214 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 99 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442 a 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442 c array.sh: end: Thu 24 Mar 2022 12:52:13 PM CET confaigeration /tmp/21701617-108-le450_25b_02.col /tmp/21701617-108-le450_25b_02.dat existent" User time (seconds): 2.09 System time (seconds): 0.33 Percent of CPU this job got: 188% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.28 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): 52912 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 64062 Voluntary context switches: 914 Involuntary context switches: 15 Swaps: 0 File system inputs: 16 File system outputs: 2832 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0