c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen040x040.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen040x040_03_7037.dat c array.sh: name: queen040x040_03_7037 c array.sh: task: 293 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:46:28 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.1250: solving existent 21701617-293-queen040x040_03_7037 c 0.2580: Wrote /tmp/21701617-293-queen040x040_03_7037.aag c 0.3580: Wrote /tmp/21701617-293-queen040x040_03_7037.aig c 15.1780: Wrote /tmp/21701617-293-queen040x040_03_7037.trace c 15.1790: Found solution, Length: 23 s 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1595 t 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595 a YES a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1595 a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1270 1285 1360 1361 1412 1450 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1270 1285 1360 1366 1412 1450 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1205 1270 1360 1366 1412 1450 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 209 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1047 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 209 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 209 277 301 343 371 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 49 104 146 180 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 49 104 151 180 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595 a 27 49 104 151 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595 a 27 49 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595 a 27 49 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1316 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1316 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595 a 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595 c array.sh: end: Thu 24 Mar 2022 04:46:43 PM CET confaigeration /tmp/21701617-293-queen040x040_03_7037.col /tmp/21701617-293-queen040x040_03_7037.dat existent" User time (seconds): 85.13 System time (seconds): 4.82 Percent of CPU this job got: 590% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.22 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): 396384 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 503002 Voluntary context switches: 981 Involuntary context switches: 139 Swaps: 0 File system inputs: 8 File system outputs: 28296 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0