c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25c.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_25c_01.dat c array.sh: name: le450_25c_01 c array.sh: task: 109 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:12 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0210: solving existent 21701617-109-le450_25c_01 c 0.0440: Wrote /tmp/21701617-109-le450_25c_01.aag c 0.0650: Wrote /tmp/21701617-109-le450_25c_01.aig c 1.4880: Wrote /tmp/21701617-109-le450_25c_01.trace c 1.4880: Found solution, Length: 4 s 11 14 15 18 25 44 73 77 85 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 t 11 14 15 18 25 44 73 77 85 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448 a YES a 11 14 15 18 25 44 73 77 85 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 a 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448 a 11 14 15 18 25 44 73 77 85 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448 c array.sh: end: Thu 24 Mar 2022 12:52:14 PM CET confaigeration /tmp/21701617-109-le450_25c_01.col /tmp/21701617-109-le450_25c_01.dat existent" User time (seconds): 2.00 System time (seconds): 0.35 Percent of CPU this job got: 153% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.53 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): 51884 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 72355 Voluntary context switches: 915 Involuntary context switches: 22 Swaps: 0 File system inputs: 16 File system outputs: 4336 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0