c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen060x060.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen060x060_04_3799.dat c array.sh: name: queen060x060_04_3799 c array.sh: task: 302 c array.sh: host: c3n14 c array.sh: uname: Linux c3n14 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:21 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.4330: solving existent 21701617-302-queen060x060_04_3799 c 0.8820: Wrote /tmp/21701617-302-queen060x060_04_3799.aag c 1.2220: Wrote /tmp/21701617-302-queen060x060_04_3799.aig c 24.4550: Wrote /tmp/21701617-302-queen060x060_04_3799.trace c 24.4560: Found solution, Length: 12 s 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1084 1199 1223 1262 1337 1440 1497 1551 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 t 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 a YES a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1084 1199 1223 1262 1337 1440 1497 1551 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1199 1223 1262 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 649 690 725 804 866 933 975 1031 1105 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 564 649 690 725 866 933 975 1031 1105 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 564 649 690 725 796 866 933 975 1031 1105 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 564 649 690 725 796 866 933 975 1105 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 564 649 690 725 796 866 933 975 1045 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 c array.sh: end: Thu 24 Mar 2022 04:47:46 PM CET confaigeration /tmp/21701617-302-queen060x060_04_3799.col /tmp/21701617-302-queen060x060_04_3799.dat existent" User time (seconds): 85.70 System time (seconds): 6.93 Percent of CPU this job got: 377% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.51 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): 635572 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1114826 Voluntary context switches: 1234 Involuntary context switches: 169 Swaps: 0 File system inputs: 16 File system outputs: 83184 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0