c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen050x050.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen050x050_04_9047.dat c array.sh: name: queen050x050_04_9047 c array.sh: task: 298 c array.sh: host: c3n22 c array.sh: uname: Linux c3n22 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:46:38 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.2470: solving existent 21701617-298-queen050x050_04_9047 c 0.4960: Wrote /tmp/21701617-298-queen050x050_04_9047.aag c 0.6920: Wrote /tmp/21701617-298-queen050x050_04_9047.aig c 555.8890: Wrote /tmp/21701617-298-queen050x050_04_9047.trace c 555.8900: Found solution, Length: 13 s 40 85 132 186 233 280 321 374 434 469 528 553 606 670 716 764 847 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 t 40 132 186 233 280 321 374 434 466 528 572 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a YES a 40 85 132 186 233 280 321 374 434 469 528 553 606 670 716 764 847 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 553 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2003 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 606 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 606 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 572 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 132 186 233 280 321 374 434 466 528 572 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 c array.sh: end: Thu 24 Mar 2022 04:55:54 PM CET confaigeration /tmp/21701617-298-queen050x050_04_9047.col /tmp/21701617-298-queen050x050_04_9047.dat existent" User time (seconds): 4299.33 System time (seconds): 48.13 Percent of CPU this job got: 781% Elapsed (wall clock) time (h:mm:ss or m:ss): 9:15.94 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): 587188 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2761651 Voluntary context switches: 1582 Involuntary context switches: 5615 Swaps: 0 File system inputs: 16 File system outputs: 169408 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0