c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/qg.order40.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/qg.order40_01.dat c array.sh: name: qg.order40_01 c array.sh: task: 35 c array.sh: host: c3n05 c array.sh: uname: Linux c3n05 5.4.0-110-generic #124-Ubuntu SMP Thu Apr 14 19:46:19 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux c array.sh: start: Fri 27 May 2022 03:13:12 PM CEST c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.1020: solving existent 21950101-35-qg_order40_01 c 0.1890: Wrote /tmp/21950101-35-qg_order40_01.aag c 0.2920: Wrote /tmp/21950101-35-qg_order40_01.aig c 14.9760: Wrote /tmp/21950101-35-qg_order40_01.trace c 14.9800: Found solution, Length: 97 s 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 t 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a YES a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1529 1595 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1529 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1372 1401 1472 1520 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1275 1319 1347 1372 1401 1472 1520 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1555 1588 a 7 42 114 141 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1372 1401 1472 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1372 1401 1472 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1372 1401 1472 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1372 1401 1472 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1372 1401 1472 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1401 1472 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1401 1452 1520 1555 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1249 1319 1347 1401 1452 1520 1552 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1275 1319 1347 1401 1452 1520 1552 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1395 1401 1452 1520 1552 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1369 1401 1452 1520 1552 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1275 1319 1347 1369 1401 1452 1552 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1275 1319 1369 1401 1452 1507 1552 1588 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1275 1319 1360 1369 1401 1452 1507 1552 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1275 1319 1360 1369 1452 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1360 1369 1435 1452 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1360 1369 1428 1452 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1360 1369 1428 1475 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1252 1319 1360 1369 1475 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1252 1319 1348 1369 1475 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1252 1348 1369 1439 1475 1507 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1252 1307 1348 1369 1439 1475 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1252 1320 1348 1369 1439 1475 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1218 1252 1320 1348 1369 1439 1475 1495 1552 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1192 1218 1252 1320 1348 1369 1439 1475 1495 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1192 1227 1252 1320 1348 1369 1439 1475 1495 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1158 1192 1227 1252 1320 1348 1369 1439 1475 1495 1553 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1115 1158 1192 1227 1252 1320 1348 1369 1439 1495 1553 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1098 1158 1192 1227 1252 1320 1348 1369 1439 1495 1553 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1098 1192 1227 1252 1320 1348 1369 1439 1478 1495 1553 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1495 1553 1561 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1041 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1495 1553 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1495 1553 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1001 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1495 1553 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1001 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1015 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 1015 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1506 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 961 1015 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1348 1369 1439 1478 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1336 1369 1439 1478 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1369 1439 1478 1496 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 908 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1369 1439 1478 1496 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 860 908 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1577 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 817 860 908 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 837 860 908 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 837 908 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1580 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 777 837 908 946 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1580 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 777 837 844 908 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1580 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 648 710 726 777 837 844 908 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1580 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 648 710 726 777 837 844 908 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1574 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 648 710 726 777 837 844 908 934 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 648 710 777 837 844 908 934 961 1015 1075 1098 1149 1192 1227 1252 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 648 710 732 777 837 844 908 934 961 1015 1075 1098 1149 1192 1227 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 648 732 777 837 844 908 934 961 1015 1075 1098 1149 1192 1227 1270 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 660 732 777 837 844 908 934 961 1015 1075 1098 1149 1192 1227 1270 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 626 660 732 777 837 844 908 934 961 1015 1075 1098 1149 1168 1227 1270 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 512 525 573 626 660 732 777 837 844 908 934 961 1015 1075 1098 1149 1168 1227 1270 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 512 525 573 626 660 732 777 837 844 908 934 961 1036 1075 1098 1149 1168 1227 1270 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 512 525 626 660 693 732 777 837 844 908 934 961 1036 1075 1098 1149 1168 1227 1270 1320 1342 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 512 525 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1098 1149 1168 1227 1270 1320 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 502 525 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1098 1149 1168 1227 1270 1320 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 502 552 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1098 1149 1168 1227 1270 1320 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 502 552 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1085 1149 1168 1227 1270 1320 1369 1439 1478 1496 1553 1566 a 7 42 114 141 171 231 263 305 323 379 410 464 502 552 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 141 171 231 263 305 323 379 410 464 502 552 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 379 410 502 552 575 626 660 693 732 777 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 379 410 458 502 552 575 626 660 693 732 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 379 410 457 502 552 575 626 660 693 732 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 379 418 457 502 552 575 626 660 693 732 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 379 418 457 502 552 575 626 660 693 770 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1478 1496 1553 1566 a 7 42 104 141 171 231 263 305 323 398 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1496 1553 1566 a 7 42 104 141 171 231 263 305 332 398 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1149 1168 1227 1270 1320 1325 1369 1439 1496 1553 1566 a 7 42 104 141 171 231 263 305 332 398 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1168 1227 1270 1320 1325 1369 1439 1443 1496 1553 1566 a 7 42 104 141 171 231 263 332 398 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1320 1325 1369 1439 1443 1496 1553 1566 a 7 42 104 141 171 231 263 296 332 398 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1320 1325 1369 1439 1443 1553 1566 a 7 42 104 141 171 231 296 332 398 418 457 502 552 575 626 660 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1320 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 171 231 260 296 332 398 418 457 502 552 575 626 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1320 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 171 260 296 332 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1320 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 171 229 260 296 332 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 171 240 260 296 332 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 240 260 296 332 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 172 240 260 296 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 141 189 240 260 296 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 132 189 240 260 296 398 418 457 502 552 575 626 671 693 739 770 837 844 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 42 104 132 189 240 260 296 398 418 457 502 552 575 626 671 693 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 42 84 132 189 240 260 296 398 418 457 502 552 575 626 671 693 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 84 132 189 240 260 296 322 398 418 457 502 552 575 626 671 693 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 7 53 84 132 189 240 260 296 322 398 418 457 502 552 575 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 575 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 c array.sh: end: Fri 27 May 2022 03:13:27 PM CEST ration/reconfaigeration /tmp/21950101-35-qg.order40_01.col /tmp/21950101-35-qg.order40_01.dat existent" User time (seconds): 84.74 System time (seconds): 3.49 Percent of CPU this job got: 586% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.03 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): 247996 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 276678 Voluntary context switches: 945 Involuntary context switches: 158 Swaps: 0 File system inputs: 16 File system outputs: 19752 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0