c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen060x060.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen060x060_03_1394.dat c array.sh: name: queen060x060_03_1394 c array.sh: task: 301 c array.sh: host: c3n10 c array.sh: uname: Linux c3n10 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 04:47:03 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.4330: solving existent 21701617-301-queen060x060_03_1394 c 0.8850: Wrote /tmp/21701617-301-queen060x060_03_1394.aag c 1.2250: Wrote /tmp/21701617-301-queen060x060_03_1394.aig c 105.6370: Wrote /tmp/21701617-301-queen060x060_03_1394.trace c 105.6380: Found solution, Length: 10 s 50 108 156 224 282 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 t 50 108 156 224 282 340 398 429 486 563 649 690 725 804 866 933 962 1045 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a YES a 50 108 156 224 282 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 804 866 933 965 1030 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 804 866 933 1030 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 804 866 933 962 1030 1098 1199 1235 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 804 866 933 962 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 725 804 866 933 962 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 649 690 725 804 866 933 962 1045 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 725 804 866 933 962 1045 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 725 804 866 933 962 1045 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 c array.sh: end: Thu 24 Mar 2022 04:48:49 PM CET confaigeration /tmp/21701617-301-queen060x060_03_1394.col /tmp/21701617-301-queen060x060_03_1394.dat existent" User time (seconds): 807.29 System time (seconds): 28.56 Percent of CPU this job got: 790% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:45.70 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): 1152252 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1919347 Voluntary context switches: 1185 Involuntary context switches: 939 Swaps: 0 File system inputs: 16 File system outputs: 122472 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0