c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/queen9_9.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/queen9_9_01.dat c array.sh: name: queen9_9_01 c array.sh: task: 179 c array.sh: host: c3n21 c array.sh: uname: Linux c3n21 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 02:10:16 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0010: solving existent 21701617-179-queen9_9_01 c 0.0030: Wrote /tmp/21701617-179-queen9_9_01.aag c 0.0080: Wrote /tmp/21701617-179-queen9_9_01.aig c 0.7990: Wrote /tmp/21701617-179-queen9_9_01.trace c 0.7990: Found solution, Length: 8 s 3 15 27 29 41 52 64 80 t 4 26 29 41 46 60 72 75 a YES a 3 15 27 29 41 52 64 80 a 4 15 27 29 41 52 64 80 a 4 15 29 41 52 63 64 80 a 4 15 29 41 52 63 64 75 a 4 15 26 29 41 52 63 75 a 4 15 26 29 41 46 63 75 a 4 15 26 29 41 46 72 75 a 4 26 29 41 46 60 72 75 c array.sh: end: Thu 24 Mar 2022 02:10:16 PM CET confaigeration /tmp/21701617-179-queen9_9_01.col /tmp/21701617-179-queen9_9_01.dat existent" User time (seconds): 0.95 System time (seconds): 0.19 Percent of CPU this job got: 137% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.83 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): 37052 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 40261 Voluntary context switches: 923 Involuntary context switches: 12 Swaps: 0 File system inputs: 0 File system outputs: 504 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0