3.07/3.18 c COMMAND LINE: portfolio_solver.py -t 2400 -s 623208689 HOME/instance-3260591-1303508554.cnf
3.07/3.18 c tmpdir WORKING-DIR
3.07/3.18 c timelimit 2400
3.07/3.18 c seed 623208689
3.07/3.18 c verbosity 0
3.07/3.18 c Parsed command line and set default values...
3.07/3.18 c Starting *WALL CLOCK* TIMER
3.07/3.18 c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
3.07/3.18 c indicating coach-executables-test.sh was run successfully earlier
3.07/3.18 c Making sure all necessary files and folders are present...
3.07/3.18 c Checking for ./features OK
3.07/3.18 c Checking for COACH/coach OK
3.07/3.18 c Checking for preprocessors/SatELite_v1.0_linux OK
3.07/3.18 c Checking for solvers/adaptg2wsat2009 OK
3.07/3.18 c Checking for solvers/adaptg2wsat2009++ OK
3.07/3.18 c Checking for solvers/clasp-1.3.6-x86-linux OK
3.07/3.18 c Checking for solvers/cryptominisat OK
3.07/3.18 c Checking for solvers/glucose_static OK
3.07/3.18 c Checking for solvers/gnovelty+2 OK
3.07/3.18 c Checking for solvers/gnovelty+2-H OK
3.07/3.18 c Checking for solvers/hybridGM3 OK
3.07/3.18 c Checking for solvers/kcnfs04SAT07 OK
3.07/3.18 c Checking for solvers/lingeling OK
3.07/3.18 c Checking for solvers/LySATc OK
3.07/3.18 c Checking for solvers/LySATi OK
3.07/3.18 c Checking for solvers/march_hi OK
3.07/3.18 c Checking for solvers/march_nn OK
3.07/3.18 c Checking for solvers/minisat_static OK
3.07/3.18 c Checking for solvers/mxc-sat09 OK
3.07/3.18 c Checking for solvers/picosat OK
3.07/3.18 c Checking for solvers/precosat OK
3.07/3.18 c Checking for solvers/SATenstein OK
3.07/3.18 c Checking for solvers/TNM OK
3.07/3.18 c Checking for solvers/ubcsatOrig OK
3.07/3.18 c Checking for utilities/timerun OK
3.07/3.18 c Checking for folder COACH/DATA OK
3.07/3.18 c Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
3.07/3.18 c Check successful
3.07/3.18 c TIMER: 0.0 sec total, 0.0 sec since previous report
3.07/3.18 c Computing instance features...
3.07/3.18 c ./features HOME/instance-3260591-1303508554.cnf
3.07/3.18 c Features found: 6384 23817 0.268043834 0.000394178859 2.94596855 8.39736323e-05 0.00654994332 1.82768769 0.000394178859 0.198586159 0.000313283208 0.000469924812 0.692606678 0.643112063 0.5267434 0 1 0.750985041 0.346476656 0.324753917 0 1 1.59643157 0 0.483562161 1 0.000393626401 2.94293325 8.39736323e-05 0.00654994332 1.82714366 0.998236554 0.000577752796 2.51721182 0.000167947265 0.0104547172 0.110503597 0.000288761829 2.99906667 0 0.0125960448 2.04438451 0.395818891 0.428652016 0 1 2.01845116 0.294676259
3.07/3.18 c TIMER: 2.82 sec total, 2.82 sec since previous report
3.07/3.18 c Computing most promising solver to run...
3.07/3.18 c COACH/coach 6384 23817 0.268043834 0.000394178859 2.94596855 8.39736323e-05 0.00654994332 1.82768769 0.000394178859 0.198586159 0.000313283208 0.000469924812 0.692606678 0.643112063 0.5267434 0 1 0.750985041 0.346476656 0.324753917 0 1 1.59643157 0 0.483562161 1 0.000393626401 2.94293325 8.39736323e-05 0.00654994332 1.82714366 0.998236554 0.000577752796 2.51721182 0.000167947265 0.0104547172 0.110503597 0.000288761829 2.99906667 0 0.0125960448 2.04438451 0.395818891 0.428652016 0 1 2.01845116 0.294676259 COACH/DATA/ 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER cryptominisat 21 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER precosat 128 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER march_hi 121 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER hybridGM3 34 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER gnovelty+2 38 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER TNM 62 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER AshiHgen 8 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
3.07/3.18 c PORTFOLIO-SUGGESTION SOLVER march_hi 100000 0
3.07/3.18 c TIMER: 3.16 sec total, 0.34 sec since previous report
3.07/3.18 c Preprocessing OFF
3.07/3.18 c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
54.53/54.62 c cryptominisat 21 False
54.53/54.62 c adaptg2wsat2009 4 False
54.53/54.62 c precosat 128 False
54.53/54.62 c march_hi 121 False
54.53/54.62 c hybridGM3 34 False
54.53/54.62 c lingeling 4 False
54.53/54.62 c gnovelty+2 38 False
54.53/54.62 c TNM 62 False
54.53/54.62 c AshiHgen 8 False
54.53/54.62 c mxc-sat09 4 False
54.53/54.62 c march_hi 100000 False
54.53/54.62 c Default solver to fall back on, in case everything fails:
54.53/54.62 c lingeling no limit False
54.53/54.62 c Running cryptominisat for 21 seconds on HOME/instance-3260591-1303508554.cnf
54.53/54.62 c utilities/timerun 21 solvers/cryptominisat HOME/instance-3260591-1303508554.cnf
54.53/54.62 c TIMER: 24.16 sec total, 21.01 sec since previous report
54.53/54.62 c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3260591-1303508554.cnf
54.53/54.62 c utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3260591-1303508554.cnf
54.53/54.62 c TIMER: 28.17 sec total, 4.0 sec since previous report
54.53/54.62 c Running precosat for 128 seconds on HOME/instance-3260591-1303508554.cnf
54.53/54.62 c utilities/timerun 128 solvers/precosat HOME/instance-3260591-1303508554.cnf
54.53/54.62 c TIMER: 54.59 sec total, 26.42 sec since previous report
54.53/54.62 c Instance solved!
54.53/54.62 s SATISFIABLE
54.53/54.62 v 1 2 3 4 5 6 7 8 -9 10 11 12 -13 -14 15 16 -17 18 -19 20
54.53/54.62 v -21 22 23 24 -25 -26 -27 -28 29 30 31 32 33 34 35 -36 -37 38 39 40
54.53/54.62 v -41 -42 43 44 45 46 47 48 49 -50 -51 -52 53 54 55 56 -57 58 59 60
54.53/54.62 v 61 -62 63 64 65 66 67 68 69 70 71 72 -73 74 75 -76 77 78 79 -80
54.53/54.62 v 81 82 83 84 85 -86 87 88 -89 -90 -91 -92 93 94 -95 96 97 98 99 -100
54.53/54.62 v -101 -102 -103 -104 105 106 -107 -108 109 -110 111 112 -113 -114 -115 116 117 118 -119 -120
54.53/54.62 v 121 122 123 124 125 126 127 -128 129 -130 131 132 133 134 135 136 -137 138 -139 140
54.53/54.62 v 141 142 -143 144 145 146 147 -148 149 -150 151 -152 153 -154 155 156 157 -158 -159 -160
54.53/54.62 v -161 -162 -163 -164 165 166 -167 -168 -169 -170 171 -172 -173 174 175 -176 -177 178 179 -180
54.53/54.62 v 181 -182 183 -184 -185 186 187 188 189 190 191 -192 193 194 -195 196 -197 -198 199 200
54.53/54.62 v -201 202 203 -204 205 206 -207 208 209 210 211 -212 -213 214 215 216 217 218 219 220
54.53/54.62 v -221 222 -223 -224 -225 226 227 228 229 -230 -231 -232 233 -234 235 236 237 238 -239 240
54.53/54.62 v -241 -242 -243 244 -245 246 247 248 249 -250 251 252 -253 254 -255 256 -257 -258 259 -260
54.53/54.62 v 261 -262 263 264 265 266 267 268 -269 270 -271 272 273 274 275 -276 277 -278 -279 -280
54.53/54.62 v 281 282 283 284 285 286 -287 -288 -289 290 291 -292 -293 294 295 -296 297 298 299 300
54.53/54.62 v 301 302 303 304 305 -306 307 308 -309 -310 -311 -312 -313 -314 315 316 -317 -318 -319 320
54.53/54.62 v -321 -322 -323 324 -325 -326 -327 -328 329 330 331 332 333 334 -335 -336 -337 338 -339 340
54.53/54.62 v -341 -342 343 344 345 346 347 348 349 350 -351 -352 353 354 355 356 -357 358 359 -360
54.53/54.62 v 361 -362 363 -364 365 366 367 -368 369 -370 371 372 -373 374 375 -376 377 378 379 -380
54.53/54.62 v 381 -382 383 -384 385 -386 387 388 -389 -390 -391 -392 393 394 -395 396 397 -398 399 -400
54.53/54.62 v -401 -402 -403 -404 405 406 -407 -408 409 -410 411 412 -413 -414 -415 416 417 418 -419 -420
54.53/54.62 v -421 422 423 424 -425 426 427 -428 -429 -430 431 432 433 434 435 -436 -437 438 -439 440
54.53/54.62 v 441 442 -443 444 445 446 447 -448 449 -450 451 -452 453 -454 455 -456 457 458 -459 -460
54.53/54.62 v -461 -462 -463 -464 -465 466 -467 -468 -469 -470 471 -472 -473 474 475 -476 -477 478 479 -480
54.53/54.62 v 481 -482 483 -484 -485 486 487 488 -489 490 -491 -492 493 494 -495 -496 -497 -498 499 500
54.53/54.62 v -501 502 503 -504 505 506 -507 508 509 -510 511 -512 -513 -514 515 516 517 518 519 -520
54.53/54.62 v -521 522 -523 524 -525 526 527 528 529 -530 -531 -532 533 534 535 536 537 538 -539 540
54.53/54.62 v -541 -542 -543 544 -545 546 -547 -548 549 -550 551 552 -553 -554 -555 -556 -557 -558 559 -560
54.53/54.62 v 561 -562 563 564 565 566 567 568 -569 -570 -571 572 573 574 -575 -576 577 -578 -579 -580
54.53/54.62 v 581 -582 583 584 -585 586 -587 588 -589 590 591 592 -593 594 595 -596 597 -598 599 -600
54.53/54.62 v -601 -602 -603 -604 605 -606 607 608 -609 -610 -611 -612 -613 -614 -615 616 -617 -618 -619 -620
54.53/54.62 v -621 -622 -623 624 625 -626 -627 628 629 -630 -631 -632 633 -634 -635 636 -637 638 639 640
54.53/54.62 v -641 -642 643 644 -645 -646 647 -648 649 650 -651 652 653 -654 655 656 657 658 659 660
54.53/54.62 v 661 -662 -663 -664 665 666 -667 668 669 670 -671 672 -673 674 -675 676 677 678 679 -680
54.53/54.62 v -681 -682 -683 -684 685 -686 687 -688 -689 690 -691 -692 -693 694 -695 696 -697 -698 -699 -700
54.53/54.62 v 701 -702 -703 -704 -705 706 707 -708 709 -710 711 -712 713 714 715 716 717 718 -719 -720
54.53/54.62 v -721 722 723 -724 725 -726 727 -728 -729 -730 731 -732 733 734 735 736 -737 738 -739 -740
54.53/54.62 v 741 -742 -743 744 -745 -746 747 748 749 750 -751 -752 753 754 -755 -756 757 -758 -759 -760
54.53/54.62 v -761 -762 -763 -764 765 766 -767 -768 -769 770 -771 -772 -773 -774 -775 -776 -777 -778 779 -780
54.53/54.62 v -781 782 783 -784 -785 -786 -787 788 789 790 -791 -792 -793 794 795 796 797 -798 -799 800
54.53/54.62 v -801 -802 803 804 805 806 -807 -808 809 -810 -811 -812 813 -814 815 816 -817 -818 -819 820
54.53/54.62 v -821 -822 -823 824 825 -826 -827 828 -829 -830 831 -832 833 834 835 -836 837 838 -839 -840
54.53/54.62 v -841 -842 843 844 -845 846 -847 -848 849 -850 -851 -852 -853 -854 -855 856 -857 -858 859 -860
54.53/54.62 v -861 862 -863 -864 -865 -866 -867 868 -869 -870 -871 872 873 874 -875 876 877 -878 -879 -880
54.53/54.62 v -881 882 883 884 -885 -886 -887 -888 -889 890 891 892 -893 894 895 896 897 -898 -899 -900
54.53/54.62 v -901 -902 -903 904 -905 -906 -907 908 -909 -910 -911 -912 -913 -914 915 916 -917 -918 -919 920
54.53/54.62 v -921 922 -923 924 -925 -926 -927 -928 -929 -930 -931 932 -933 -934 935 -936 -937 938 -939 -940
54.53/54.62 v -941 -942 -943 944 945 946 947 948 -949 -950 -951 -952 -953 -954 955 -956 -957 -958 -959 -960
54.53/54.62 v -961 -962 963 -964 965 -966 -967 -968 969 -970 971 972 -973 974 975 -976 -977 978 979 -980
54.53/54.62 v 981 982 983 984 -985 -986 -987 988 -989 -990 -991 -992 -993 994 -995 996 997 -998 -999 -1000
54.53/54.62 v -1001 -1002 -1003 -1004 1005 1006 -1007 -1008 -1009 -1010 1011 1012 -1013 -1014 -1015 1016 1017 1018 -1019 -1020
54.53/54.62 v -1021 1022 -1023 -1024 -1025 -1026 1027 -1028 1029 -1030 -1031 -1032 -1033 -1034 1035 -1036 -1037 1038 -1039 1040
54.53/54.62 v -1041 1042 -1043 -1044 1045 -1046 1047 -1048 -1049 -1050 1051 -1052 1053 -1054 1055 -1056 1057 -1058 -1059 -1060
54.53/54.62 v -1061 -1062 -1063 -1064 -1065 1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 1074 -1075 -1076 -1077 -1078 -1079 -1080
54.53/54.62 v 1081 -1082 1083 -1084 -1085 -1086 1087 1088 -1089 -1090 -1091 -1092 -1093 1094 -1095 -1096 1097 -1098 -1099 1100
54.53/54.62 v -1101 -1102 -1103 -1104 1105 -1106 -1107 -1108 1109 1110 1111 -1112 -1113 -1114 1115 -1116 1117 1118 1119 1120
54.53/54.62 v -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 1129 -1130 -1131 -1132 1133 -1134 -1135 1136 1137 -1138 -1139 -1140
54.53/54.62 v -1141 -1142 -1143 -1144 -1145 -1146 -1147 1148 1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 1159 -1160
54.53/54.62 v -1161 1162 1163 1164 -1165 1166 1167 1168 -1169 1170 -1171 -1172 1173 -1174 -1175 -1176 1177 -1178 -1179 -1180
54.53/54.62 v 1181 -1182 1183 -1184 -1185 1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 1194 1195 -1196 1197 -1198 -1199 -1200
54.53/54.62 v -1201 -1202 1203 -1204 -1205 -1206 1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
54.53/54.62 v -1221 -1222 -1223 -1224 1225 -1226 -1227 1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 1238 -1239 -1240
54.53/54.62 v 1241 -1242 1243 -1244 -1245 -1246 -1247 -1248 1249 1250 -1251 -1252 -1253 -1254 -1255 1256 -1257 -1258 1259 -1260
54.53/54.62 v 1261 -1262 -1263 -1264 -1265 -1266 1267 1268 1269 1270 -1271 -1272 -1273 -1274 -1275 1276 -1277 -1278 -1279 -1280
54.53/54.62 v -1281 -1282 -1283 1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 1294 -1295 -1296 -1297 -1298 -1299 -1300
54.53/54.62 v 1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 1309 -1310 -1311 -1312 -1313 1314 1315 1316 -1317 -1318 -1319 -1320
54.53/54.62 v -1321 1322 1323 -1324 -1325 -1326 1327 -1328 -1329 -1330 1331 1332 1333 1334 -1335 1336 -1337 1338 -1339 -1340
54.53/54.62 v -1341 -1342 -1343 1344 -1345 -1346 -1347 1348 1349 1350 -1351 -1352 -1353 -1354 -1355 -1356 1357 1358 -1359 -1360
54.53/54.62 v -1361 -1362 -1363 -1364 -1365 1366 -1367 -1368 -1369 -1370 1371 -1372 -1373 1374 -1375 -1376 -1377 1378 1379 -1380
54.53/54.62 v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 1393 -1394 -1395 -1396 -1397 -1398 1399 -1400
54.53/54.62 v -1401 -1402 1403 -1404 1405 -1406 -1407 -1408 1409 1410 1411 -1412 -1413 -1414 -1415 1416 -1417 -1418 -1419 -1420
54.53/54.62 v -1421 -1422 -1423 -1424 -1425 -1426 1427 1428 -1429 -1430 -1431 -1432 -1433 -1434 1435 -1436 1437 -1438 -1439 -1440
54.53/54.62 v -1441 -1442 -1443 1444 -1445 1446 -1447 -1448 -1449 -1450 1451 -1452 -1453 -1454 -1455 -1456 1457 -1458 -1459 -1460
54.53/54.62 v -1461 -1462 1463 1464 1465 -1466 -1467 -1468 -1469 -1470 -1471 1472 -1473 1474 -1475 -1476 -1477 -1478 -1479 -1480
54.53/54.62 v -1481 1482 1483 1484 -1485 -1486 -1487 1488 -1489 1490 -1491 -1492 -1493 1494 -1495 -1496 -1497 1498 -1499 1500
54.53/54.62 v -1501 -1502 -1503 1504 -1505 -1506 -1507 1508 -1509 -1510 -1511 -1512 -1513 -1514 1515 1516 -1517 -1518 -1519 -1520
54.53/54.62 v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 1538 -1539 -1540
54.53/54.62 v -1541 -1542 -1543 -1544 1545 -1546 -1547 1548 -1549 -1550 -1551 -1552 1553 -1554 -1555 -1556 -1557 -1558 1559 -1560
54.53/54.62 v -1561 -1562 1563 -1564 1565 -1566 -1567 -1568 1569 1570 -1571 -1572 -1573 1574 -1575 -1576 -1577 1578 -1579 -1580
54.53/54.62 v 1581 -1582 -1583 -1584 1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 1593 -1594 -1595 1596 1597 -1598 -1599 -1600
54.53/54.62 v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
54.53/54.62 v -1621 1622 1623 1624 -1625 1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 1634 -1635 -1636 -1637 1638 -1639 1640
54.53/54.62 v -1641 1642 -1643 1644 -1645 1646 1647 -1648 -1649 -1650 1651 -1652 1653 -1654 1655 -1656 1657 -1658 -1659 -1660
54.53/54.62 v -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 1674 -1675 -1676 -1677 -1678 -1679 -1680
54.53/54.62 v 1681 -1682 -1683 -1684 -1685 1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 1699 -1700
54.53/54.62 v -1701 -1702 1703 -1704 1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 1715 1716 -1717 1718 1719 1720
54.53/54.62 v -1721 1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 1736 1737 1738 -1739 1740
54.53/54.62 v -1741 -1742 -1743 -1744 -1745 1746 -1747 -1748 1749 -1750 -1751 1752 -1753 -1754 -1755 -1756 -1757 -1758 1759 -1760
54.53/54.62 v -1761 1762 1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
54.53/54.62 v -1781 1782 1783 -1784 -1785 1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 1794 -1795 -1796 1797 -1798 -1799 -1800
54.53/54.62 v 1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 1816 -1817 -1818 -1819 1820
54.53/54.62 v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 1833 1834 -1835 -1836 -1837 1838 1839 -1840
54.53/54.62 v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 1853 -1854 1855 1856 -1857 -1858 -1859 -1860
54.53/54.62 v -1861 -1862 -1863 -1864 1865 1866 -1867 -1868 1869 -1870 -1871 -1872 -1873 1874 -1875 -1876 -1877 -1878 1879 -1880
54.53/54.62 v 1881 -1882 -1883 -1884 -1885 -1886 -1887 1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 1897 -1898 1899 -1900
54.53/54.62 v -1901 -1902 -1903 -1904 -1905 1906 -1907 -1908 1909 -1910 1911 1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
54.53/54.62 v -1921 -1922 1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 1934 -1935 -1936 -1937 -1938 -1939 1940
54.53/54.62 v -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 1951 -1952 -1953 -1954 -1955 -1956 1957 1958 -1959 -1960
54.53/54.62 v -1961 -1962 -1963 -1964 -1965 1966 -1967 -1968 -1969 1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
54.53/54.62 v -1981 -1982 -1983 -1984 -1985 -1986 -1987 1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 1996 1997 -1998 -1999 -2000
54.53/54.62 v -2001 -2002 -2003 -2004 2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
54.53/54.62 v -2021 -2022 -2023 -2024 -2025 -2026 -2027 2028 2029 -2030 -2031 -2032 2033 -2034 -2035 -2036 -2037 2038 -2039 -2040
54.53/54.62 v -2041 -2042 -2043 -2044 -2045 2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 2059 -2060
54.53/54.62 v 2061 2062 -2063 -2064 -2065 -2066 -2067 2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080
54.53/54.62 v -2081 -2082 -2083 -2084 -2085 -2086 -2087 2088 -2089 2090 -2091 -2092 -2093 -2094 2095 -2096 -2097 -2098 2099 -2100
54.53/54.62 v 2101 -2102 2103 -2104 2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120
54.53/54.62 v -2121 -2122 -2123 2124 -2125 -2126 -2127 2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 2137 2138 -2139 -2140
54.53/54.62 v -2141 -2142 -2143 2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
54.53/54.62 v 2161 -2162 -2163 -2164 2165 -2166 -2167 -2168 -2169 2170 -2171 -2172 -2173 -2174 -2175 2176 -2177 -2178 -2179 -2180
54.53/54.62 v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
54.53/54.62 v 2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 2216 2217 -2218 -2219 -2220
54.53/54.62 v -2221 -2222 2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 2231 -2232 2233 -2234 -2235 2236 -2237 -2238 -2239 -2240
54.53/54.62 v -2241 -2242 -2243 2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 2258 -2259 -2260
54.53/54.62 v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
54.53/54.62 v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 2299 2300
54.53/54.62 v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
54.53/54.62 v -2321 -2322 -2323 -2324 -2325 2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 2337 -2338 -2339 2340
54.53/54.62 v -2341 -2342 -2343 2344 -2345 2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 2357 -2358 2359 -2360
54.53/54.62 v -2361 -2362 -2363 2364 2365 -2366 -2367 -2368 -2369 -2370 -2371 2372 -2373 -2374 -2375 -2376 2377 -2378 -2379 -2380
54.53/54.62 v -2381 2382 2383 2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 2399 2400
54.53/54.62 v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 2415 -2416 -2417 -2418 -2419 2420
54.53/54.62 v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 2429 -2430 -2431 2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
54.53/54.62 v -2441 -2442 -2443 2444 2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 2453 -2454 -2455 -2456 -2457 -2458 2459 -2460
54.53/54.62 v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 2469 -2470 -2471 -2472 -2473 2474 -2475 -2476 -2477 -2478 -2479 -2480
54.53/54.62 v 2481 -2482 -2483 -2484 2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
54.53/54.62 v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
54.53/54.62 v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 2540
54.53/54.62 v -2541 2542 -2543 -2544 -2545 2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 2554 -2555 -2556 -2557 -2558 -2559 -2560
54.53/54.62 v -2561 -2562 -2563 -2564 -2565 2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
54.53/54.62 v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 2597 -2598 -2599 -2600
54.53/54.62 v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 2619 -2620
54.53/54.62 v 2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 2632 2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640
54.53/54.62 v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 2659 -2660
54.53/54.62 v -2661 2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 2672 -2673 -2674 -2675 -2676 2677 -2678 2679 -2680
54.53/54.62 v -2681 -2682 -2683 -2684 2685 -2686 -2687 2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
54.53/54.62 v -2701 -2702 2703 -2704 -2705 -2706 2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
54.53/54.62 v -2721 -2722 -2723 2724 -2725 -2726 -2727 2728 -2729 -2730 -2731 -2732 2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
54.53/54.62 v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 2759 -2760
54.53/54.62 v 2761 -2762 -2763 -2764 -2765 -2766 2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
54.53/54.62 v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 2799 -2800
54.53/54.62 v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 2813 -2814 -2815 -2816 -2817 -2818 -2819 2820
54.53/54.62 v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 2836 -2837 -2838 -2839 -2840
54.53/54.62 v -2841 -2842 -2843 2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 2858 -2859 -2860
54.53/54.62 v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
54.53/54.62 v 2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 2896 -2897 -2898 -2899 -2900
54.53/54.62 v -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 2913 -2914 2915 -2916 2917 -2918 -2919 -2920
54.53/54.62 v -2921 -2922 -2923 -2924 -2925 -2926 -2927 2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 2938 -2939 -2940
54.53/54.62 v -2941 -2942 -2943 -2944 -2945 -2946 2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960
54.53/54.62 v 2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 2972 2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
54.53/54.62 v -2981 -2982 -2983 2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 2994 -2995 2996 -2997 -2998 -2999 -3000
54.53/54.62 v 3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
54.53/54.62 v -3021 -3022 -3023 -3024 3025 -3026 -3027 -3028 -3029 -3030 3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
54.53/54.62 v -3041 -3042 3043 3044 -3045 -3046 -3047 -3048 3049 -3050 -3051 -3052 -3053 -3054 3055 -3056 -3057 -3058 -3059 -3060
54.53/54.62 v -3061 -3062 -3063 -3064 3065 3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
54.53/54.62 v -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100
54.53/54.62 v -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 3109 -3110 -3111 -3112 3113 -3114 -3115 -3116 3117 -3118 -3119 -3120
54.53/54.62 v -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140
54.53/54.62 v -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 3151 -3152 3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
54.53/54.62 v -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180
54.53/54.62 v -3181 -3182 -3183 -3184 -3185 -3186 -3187 3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 3197 -3198 -3199 -3200
54.53/54.62 v -3201 -3202 3203 3204 3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 3216 -3217 -3218 -3219 -3220
54.53/54.62 v -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
54.53/54.62 v -3241 -3242 3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
54.53/54.62 v -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
54.53/54.62 v -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
54.53/54.62 v 3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 3316 -3317 -3318 -3319 -3320
54.53/54.62 v -3321 3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 3338 -3339 -3340
54.53/54.62 v -3341 -3342 -3343 -3344 -3345 -3346 3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
54.53/54.62 v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
54.53/54.62 v -3381 -3382 -3383 3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 3396 3397 -3398 -3399 -3400
54.53/54.62 v -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 3412 -3413 -3414 -3415 -3416 -3417 3418 -3419 -3420
54.53/54.62 v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 3440
54.53/54.62 v -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 3453 -3454 3455 -3456 -3457 -3458 -3459 -3460
54.53/54.62 v -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480
54.53/54.62 v 3481 -3482 -3483 -3484 -3485 -3486 -3487 3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
54.53/54.62 v -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520
54.53/54.62 v -3521 -3522 -3523 -3524 -3525 3526 -3527 -3528 3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
54.53/54.62 v -3541 -3542 -3543 -3544 -3545 -3546 -3547 3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
54.53/54.62 v -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580
54.53/54.62 v -3581 -3582 3583 -3584 -3585 3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600
54.53/54.62 v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
54.53/54.62 v -3621 -3622 -3623 -3624 3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
54.53/54.62 v 3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660
54.53/54.62 v 3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680
54.53/54.62 v -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 3696 -3697 -3698 -3699 -3700
54.53/54.62 v -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 3715 3716 -3717 -3718 -3719 -3720
54.53/54.62 v -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 3733 -3734 -3735 -3736 -3737 -3738 -3739 3740
54.53/54.62 v -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 3749 3750 -3751 -3752 -3753 -3754 3755 -3756 -3757 -3758 -3759 -3760
54.53/54.62 v -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
54.53/54.62 v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
54.53/54.62 v -3801 -3802 3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
54.53/54.62 v -3821 -3822 -3823 -3824 -3825 -3826 -3827 3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 3837 -3838 -3839 -3840
54.53/54.62 v -3841 -3842 -3843 3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
54.53/54.62 v -3861 -3862 -3863 3864 3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 3874 -3875 -3876 -3877 -3878 -3879 -3880
54.53/54.62 v -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900
54.53/54.62 v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 3915 3916 -3917 -3918 -3919 -3920
54.53/54.62 v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
54.53/54.62 v -3941 -3942 -3943 -3944 3945 -3946 -3947 3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
54.53/54.62 v -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980
54.53/54.62 v 3981 -3982 -3983 -3984 -3985 -3986 3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 3999 -4000
54.53/54.62 v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020
54.53/54.62 v -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040
54.53/54.62 v -4041 4042 -4043 -4044 -4045 -4046 4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060
54.53/54.62 v -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
54.53/54.62 v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
54.53/54.62 v -4101 -4102 -4103 -4104 4105 4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 4116 -4117 4118 4119 4120
54.53/54.62 v -4121 4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 4136 -4137 -4138 -4139 -4140
54.53/54.62 v -4141 -4142 -4143 -4144 -4145 4146 -4147 -4148 4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
54.53/54.62 v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180
54.53/54.62 v -4181 -4182 -4183 -4184 -4185 4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 4197 -4198 -4199 -4200
54.53/54.62 v -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
54.53/54.62 v -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 4233 -4234 -4235 -4236 -4237 4238 -4239 -4240
54.53/54.62 v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
54.53/54.62 v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 4274 -4275 -4276 -4277 -4278 -4279 -4280
54.53/54.62 v -4281 -4282 -4283 -4284 -4285 -4286 -4287 4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
54.53/54.62 v -4301 -4302 -4303 -4304 -4305 4306 -4307 -4308 4309 -4310 4311 4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320
54.53/54.62 v -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
54.53/54.62 v -4341 -4342 -4343 -4344 4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 4357 -4358 -4359 -4360
54.53/54.62 v -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
54.53/54.62 v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 4394 -4395 -4396 -4397 -4398 -4399 -4400
54.53/54.62 v -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
54.53/54.62 v -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 4429 -4430 -4431 -4432 4433 -4434 -4435 -4436 -4437 4438 -4439 -4440
54.53/54.62 v -4441 -4442 -4443 -4444 -4445 4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460
54.53/54.62 v -4461 4462 -4463 -4464 -4465 -4466 4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
54.53/54.62 v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 4494 -4495 -4496 -4497 -4498 -4499 -4500
54.53/54.62 v -4501 -4502 -4503 -4504 -4505 -4506 -4507 4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
54.53/54.62 v -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 4535 -4536 -4537 -4538 -4539 -4540
54.53/54.62 v -4541 -4542 -4543 -4544 -4545 4546 4547 -4548 -4549 -4550 -4551 -4552 -4553 4554 -4555 -4556 -4557 -4558 -4559 -4560
54.53/54.62 v -4561 -4562 -4563 -4564 4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 4574 -4575 -4576 -4577 4578 4579 -4580
54.53/54.62 v -4581 -4582 -4583 -4584 -4585 -4586 -4587 4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
54.53/54.62 v -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620
54.53/54.62 v -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
54.53/54.62 v -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
54.53/54.62 v -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
54.53/54.62 v -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 4694 -4695 -4696 -4697 -4698 -4699 -4700
54.53/54.62 v -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 4715 -4716 -4717 -4718 -4719 -4720
54.53/54.62 v -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740
54.53/54.62 v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 4759 -4760
54.53/54.62 v -4761 -4762 -4763 -4764 -4765 4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780
54.53/54.62 v -4781 -4782 -4783 4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
54.53/54.62 v -4801 -4802 -4803 4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
54.53/54.62 v -4821 -4822 -4823 -4824 -4825 -4826 -4827 4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840
54.53/54.62 v -4841 -4842 -4843 -4844 -4845 -4846 4847 -4848 -4849 4850 -4851 -4852 -4853 -4854 4855 -4856 -4857 -4858 -4859 -4860
54.53/54.62 v 4861 -4862 -4863 -4864 -4865 4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880
54.53/54.62 v -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900
54.53/54.62 v -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 4909 -4910 -4911 -4912 -4913 4914 -4915 -4916 -4917 -4918 -4919 -4920
54.53/54.62 v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940
54.53/54.62 v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960
54.53/54.62 v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980
54.53/54.62 v -4981 4982 -4983 -4984 -4985 -4986 -4987 4988 -4989 -4990 -4991 -4992 -4993 -4994 4995 -4996 -4997 -4998 -4999 -5000
54.53/54.62 v -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 5019 -5020
54.53/54.62 v -5021 -5022 -5023 -5024 -5025 -5026 -5027 5028 -5029 -5030 -5031 -5032 -5033 5034 -5035 -5036 -5037 -5038 -5039 -5040
54.53/54.62 v -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060
54.53/54.62 v -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
54.53/54.62 v -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 5096 -5097 -5098 -5099 -5100
54.53/54.62 v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
54.53/54.62 v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140
54.53/54.62 v -5141 -5142 -5143 -5144 -5145 -5146 5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
54.53/54.62 v -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
54.53/54.62 v -5181 5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 5196 -5197 -5198 -5199 -5200
54.53/54.62 v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
54.53/54.62 v -5221 -5222 -5223 -5224 -5225 -5226 5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 5235 -5236 -5237 -5238 -5239 -5240
54.53/54.62 v -5241 -5242 -5243 -5244 -5245 -5246 5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
54.53/54.62 v -5261 5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280
54.53/54.62 v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 5294 -5295 -5296 -5297 -5298 -5299 -5300
54.53/54.62 v -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320
54.53/54.62 v -5321 -5322 -5323 5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 5334 -5335 -5336 -5337 -5338 -5339 -5340
54.53/54.62 v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
54.53/54.62 v -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
54.53/54.62 v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
54.53/54.62 v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
54.53/54.62 v -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440
54.53/54.62 v -5441 -5442 -5443 -5444 -5445 -5446 5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
54.53/54.62 v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480
54.53/54.62 v -5481 -5482 5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500
54.53/54.62 v -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 5512 -5513 -5514 -5515 -5516 -5517 5518 -5519 -5520
54.53/54.62 v -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
54.53/54.62 v -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
54.53/54.62 v -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
54.53/54.62 v -5581 -5582 -5583 -5584 -5585 -5586 -5587 5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
54.53/54.62 v -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620
54.53/54.62 v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
54.53/54.62 v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
54.53/54.62 v -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680
54.53/54.62 v -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
54.53/54.62 v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
54.53/54.62 v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
54.53/54.62 v -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
54.53/54.62 v -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
54.53/54.62 v -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 5796 5797 -5798 -5799 -5800
54.53/54.62 v -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
54.53/54.62 v -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 5840
54.53/54.62 v -5841 -5842 -5843 -5844 -5845 5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 5855 -5856 -5857 -5858 -5859 -5860
54.53/54.62 v -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880
54.53/54.62 v 5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900
54.53/54.62 v -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
54.53/54.62 v -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
54.53/54.62 v -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
54.53/54.62 v -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
54.53/54.62 v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
54.53/54.62 v -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020
54.53/54.62 v -6021 -6022 -6023 -6024 6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040
54.53/54.62 v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
54.53/54.62 v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
54.53/54.62 v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
54.53/54.62 v -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
54.53/54.62 v -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
54.53/54.62 v -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160
54.53/54.62 v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180
54.53/54.62 v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
54.53/54.62 v -6201 -6202 6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
54.53/54.62 v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
54.53/54.62 v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
54.53/54.62 v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
54.53/54.62 v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
54.53/54.62 v 6301 -6302 -6303 6304 6305 -6306 -6307 6308 -6309 6310 6311 -6312 6313 -6314 -6315 6316 -6317 6318 -6319 6320
54.53/54.62 v 6321 -6322 -6323 6324 6325 -6326 6327 -6328 -6329 6330 -6331 6332 6333 -6334 6335 -6336 -6337 6338 6339 -6340
54.53/54.62 v -6341 6342 6343 -6344 6345 -6346 -6347 6348 -6349 6350 -6351 6352 6353 -6354 -6355 6356 6357 -6358 6359 -6360
54.53/54.62 v 6361 -6362 -6363 6364 -6365 6366 6367 -6368 6369 -6370 6371 -6372 6373 -6374 -6375 6376 6377 -6378 -6379 6380
54.53/54.62 v -6381 6382 -6383 6384 0
54.53/54.62 c TIMER: 54.59 sec total, 0.0 sec since previous report
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3260591-1303508554/watcher-3260591-1303508554 -o /tmp/evaluation-result-3260591-1303508554/solver-3260591-1303508554 -C 2400 -W 1300 -M 7680 python portfolio_solver.py -t 2400 -s 623208689 HOME/instance-3260591-1303508554.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.16 4.03 3.45 4/202 23867
/proc/meminfo: memFree=11850128/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=15440 CPUtime=0 cores=1,3
/proc/23867/stat : 23867 (python) R 23865 23867 22942 0 -1 4202496 817 0 0 0 0 0 0 0 18 0 1 0 462453560 15810560 705 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335890432 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/23867/statm: 3860 705 344 379 0 333 0
[startup+0.0144771 s]
/proc/loadavg: 4.16 4.03 3.45 4/202 23867
/proc/meminfo: memFree=11850128/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=16296 CPUtime=0 cores=1,3
/proc/23867/stat : 23867 (python) R 23865 23867 22942 0 -1 4202496 1044 0 0 0 0 0 0 0 17 0 1 0 462453560 16687104 919 33554432000 4194304 5745468 140736369655776 18446744073709551615 4547183 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23867/statm: 4074 919 393 379 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16296
[startup+0.100505 s]
/proc/loadavg: 4.16 4.03 3.45 4/202 23867
/proc/meminfo: memFree=11850128/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=21952 CPUtime=0.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 462453560 22478848 1366 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952
[startup+0.300459 s]
/proc/loadavg: 4.16 4.03 3.45 4/202 23867
/proc/meminfo: memFree=11850128/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=21952 CPUtime=0.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 462453560 22478848 1366 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952
[startup+1.47325 s]
/proc/loadavg: 4.16 4.03 3.45 4/202 23867
/proc/meminfo: memFree=11850128/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=21952 CPUtime=0.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 462453560 22478848 1366 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952
[startup+1.50024 s]
/proc/loadavg: 4.16 4.03 3.45 4/202 23867
/proc/meminfo: memFree=11850128/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=21952 CPUtime=0.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 462453560 22478848 1366 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952
[startup+3.10096 s]
/proc/loadavg: 4.31 4.06 3.47 5/205 23901
/proc/meminfo: memFree=11772028/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=21956 CPUtime=0.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 1617 0 0 0 1 0 0 0 18 0 1 0 462453560 22482944 1370 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 5489 1370 465 379 0 930 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=8920 CPUtime=0.25 cores=1,3
/proc/23901/stat : 23901 (coach) R 23867 23867 22942 0 -1 4202496 2099 0 0 0 25 0 0 0 20 0 1 0 462453845 9134080 1797 33554432000 134512640 134560588 4288006944 18446744073709551615 2352636 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/23901/statm: 2230 1797 229 12 0 1582 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30876
[startup+6.3004 s]
/proc/loadavg: 4.31 4.06 3.47 5/207 23904
/proc/meminfo: memFree=11759748/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=0.02 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2177 0 0 0 2 0 0 0 18 0 1 0 462453560 35278848 1426 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1426 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23902] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23902/stat : 23902 (timerun) S 23867 23867 22942 0 -1 4202496 761 0 0 0 0 0 0 0 17 0 1 0 462453879 8908800 248 33554432000 4194304 4922060 140737430070352 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/23902/statm: 2175 248 208 178 0 68 0
[pid=23903] ppid=23902 vsize=22108 CPUtime=3.09 cores=1,3
/proc/23903/stat : 23903 (cryptominisat) R 23902 23867 22942 0 -1 4202496 5236 0 0 0 309 0 0 0 25 0 1 0 462453879 22638592 2807 33554432000 134512640 134994940 4291022048 18446744073709551615 134642799 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23903/statm: 5527 2807 357 118 0 4712 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 65260
[startup+12.7003 s]
/proc/loadavg: 4.26 4.06 3.47 5/210 23907
/proc/meminfo: memFree=11681216/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=0.02 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2179 0 0 0 2 0 0 0 18 0 1 0 462453560 35278848 1426 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1426 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23902] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23902/stat : 23902 (timerun) S 23867 23867 22942 0 -1 4202496 761 0 0 0 0 0 0 0 17 0 1 0 462453879 8908800 248 33554432000 4194304 4922060 140737430070352 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/23902/statm: 2175 248 208 178 0 68 0
[pid=23903] ppid=23902 vsize=26616 CPUtime=9.49 cores=1,3
/proc/23903/stat : 23903 (cryptominisat) R 23902 23867 22942 0 -1 4202496 9567 0 0 0 948 1 0 0 25 0 1 0 462453879 27254784 4057 33554432000 134512640 134994940 4291022048 18446744073709551615 4294960144 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23903/statm: 6654 4057 357 118 0 5839 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 69768
[startup+25.501 s]
/proc/loadavg: 4.29 4.07 3.48 5/210 23915
/proc/meminfo: memFree=11810520/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=21.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2348 16521 0 0 2 0 2096 3 19 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23914] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23914/stat : 23914 (timerun) S 23867 23867 22942 0 -1 4202496 751 0 0 0 0 0 0 0 18 0 1 0 462455979 8908800 247 33554432000 4194304 4922060 140735535721520 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23914/statm: 2175 247 208 178 0 68 0
[pid=23915] ppid=23914 vsize=418836 CPUtime=1.3 cores=1,3
/proc/23915/stat : 23915 (adaptg2wsat2009) R 23914 23867 22942 0 -1 4194304 1075 0 0 0 130 0 0 0 25 0 1 0 462455979 428888064 1017 33554432000 134512640 134546244 4287156144 18446744073709551615 134534892 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/23915/statm: 104709 1017 108 9 0 103373 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 461988
[startup+51.1004 s]
/proc/loadavg: 4.19 4.06 3.49 5/210 23924
/proc/meminfo: memFree=11787364/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=25.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2492 18359 0 0 2 0 2496 3 18 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23920] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23920/stat : 23920 (timerun) S 23867 23867 22942 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 462456379 8908800 248 33554432000 4194304 4922060 140734387197536 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23920/statm: 2175 248 208 178 0 68 0
[pid=23921] ppid=23920 vsize=10720 CPUtime=22.89 cores=1,3
/proc/23921/stat : 23921 (precosat) R 23920 23867 22942 0 -1 4202496 2706 0 0 0 2289 0 0 0 25 0 1 0 462456380 10977280 2528 33554432000 134512640 135142049 4294690928 18446744073709551615 134555679 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23921/statm: 2680 2528 82 154 0 2524 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 53872
Solver just ended. Dumping a history of the last processes samples
[startup+52.1013 s]
/proc/loadavg: 4.18 4.06 3.50 5/210 23924
/proc/meminfo: memFree=11787364/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=25.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2492 18359 0 0 2 0 2496 3 18 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23920] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23920/stat : 23920 (timerun) S 23867 23867 22942 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 462456379 8908800 248 33554432000 4194304 4922060 140734387197536 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23920/statm: 2175 248 208 178 0 68 0
[pid=23921] ppid=23920 vsize=10720 CPUtime=23.89 cores=1,3
/proc/23921/stat : 23921 (precosat) R 23920 23867 22942 0 -1 4202496 2706 0 0 0 2389 0 0 0 25 0 1 0 462456380 10977280 2528 33554432000 134512640 135142049 4294690928 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23921/statm: 2680 2528 82 154 0 2524 0
Current children cumulated CPU time (s) 52.03
Current children cumulated vsize (KiB) 53872
[startup+53.701 s]
/proc/loadavg: 4.18 4.06 3.50 5/210 23924
/proc/meminfo: memFree=11786124/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=25.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2492 18359 0 0 2 0 2496 3 18 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23920] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23920/stat : 23920 (timerun) S 23867 23867 22942 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 462456379 8908800 248 33554432000 4194304 4922060 140734387197536 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23920/statm: 2175 248 208 178 0 68 0
[pid=23921] ppid=23920 vsize=10720 CPUtime=25.5 cores=1,3
/proc/23921/stat : 23921 (precosat) R 23920 23867 22942 0 -1 4202496 2706 0 0 0 2550 0 0 0 25 0 1 0 462456380 10977280 2528 33554432000 134512640 135142049 4294690928 18446744073709551615 134550003 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23921/statm: 2680 2528 82 154 0 2524 0
Current children cumulated CPU time (s) 53.64
Current children cumulated vsize (KiB) 53872
[startup+54.1009 s]
/proc/loadavg: 4.18 4.06 3.50 5/210 23924
/proc/meminfo: memFree=11786124/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=25.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2492 18359 0 0 2 0 2496 3 18 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23920] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23920/stat : 23920 (timerun) S 23867 23867 22942 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 462456379 8908800 248 33554432000 4194304 4922060 140734387197536 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23920/statm: 2175 248 208 178 0 68 0
[pid=23921] ppid=23920 vsize=10984 CPUtime=25.89 cores=1,3
/proc/23921/stat : 23921 (precosat) R 23920 23867 22942 0 -1 4202496 2770 0 0 0 2589 0 0 0 25 0 1 0 462456380 11247616 2592 33554432000 134512640 135142049 4294690928 18446744073709551615 134608484 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23921/statm: 2746 2592 82 154 0 2590 0
Current children cumulated CPU time (s) 54.03
Current children cumulated vsize (KiB) 54136
[startup+54.5008 s]
/proc/loadavg: 4.18 4.06 3.50 5/210 23924
/proc/meminfo: memFree=11786124/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=25.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2492 18359 0 0 2 0 2496 3 18 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23920] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23920/stat : 23920 (timerun) S 23867 23867 22942 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 462456379 8908800 248 33554432000 4194304 4922060 140734387197536 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23920/statm: 2175 248 208 178 0 68 0
[pid=23921] ppid=23920 vsize=10984 CPUtime=26.29 cores=1,3
/proc/23921/stat : 23921 (precosat) R 23920 23867 22942 0 -1 4202496 2770 0 0 0 2629 0 0 0 25 0 1 0 462456380 11247616 2592 33554432000 134512640 135142049 4294690928 18446744073709551615 134555770 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23921/statm: 2746 2592 82 154 0 2590 0
Current children cumulated CPU time (s) 54.43
Current children cumulated vsize (KiB) 54136
[startup+54.6008 s]
/proc/loadavg: 4.18 4.06 3.50 5/210 23924
/proc/meminfo: memFree=11786124/32951124 swapFree=67111528/67111528
[pid=23867] ppid=23865 vsize=34452 CPUtime=25.01 cores=1,3
/proc/23867/stat : 23867 (python) S 23865 23867 22942 0 -1 4202496 2492 18359 0 0 2 0 2496 3 18 0 1 0 462453560 35278848 1428 33554432000 4194304 5745468 140736369655776 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/23867/statm: 8613 1428 488 379 0 933 0
[pid=23869] ppid=23867 vsize=0 CPUtime=2.81 cores=1,3
/proc/23869/stat : 23869 (features) Z 23867 23867 22942 0 -1 4202524 2926 0 0 0 272 9 0 0 25 0 1 0 462453563 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23869/statm: 0 0 0 0 0 0 0
[pid=23901] ppid=23867 vsize=0 CPUtime=0.32 cores=1,3
/proc/23901/stat : 23901 (coach) Z 23867 23867 22942 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 462453845 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
[pid=23920] ppid=23867 vsize=8700 CPUtime=0 cores=1,3
/proc/23920/stat : 23920 (timerun) S 23867 23867 22942 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 462456379 8908800 248 33554432000 4194304 4922060 140734387197536 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23920/statm: 2175 248 208 178 0 68 0
[pid=23921] ppid=23920 vsize=10984 CPUtime=26.39 cores=1,3
/proc/23921/stat : 23921 (precosat) R 23920 23867 22942 0 -1 4202496 2770 0 0 0 2639 0 0 0 25 0 1 0 462456380 11247616 2592 33554432000 134512640 135142049 4294690928 18446744073709551615 134609429 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/23921/statm: 2746 2592 82 154 0 2590 0
Current children cumulated CPU time (s) 54.53
Current children cumulated vsize (KiB) 54136
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23867 and gives
# childrusage.ru_utime.tv_sec=28
# childrusage.ru_utime.tv_usec=47736
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=146977
# CPU time returned by wait4() is 28.1947
# while last known CPU time is 54.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 54.6232
CPU time (s): 54.53
CPU user time (s): 54.41
CPU system time (s): 0.12
CPU usage (%): 99.8294
Max. virtual memory (cumulated for all children) (KiB): 461988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.0477
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294
involuntary context switches= 258
runsolver used 0.112982 second user time and 0.209968 second system time
The end
Begin job on node132 at 2011-04-22 23:42:34
IDJOB=3260591
IDBENCH=83188
IDSOLVER=1618
FILE ID=node132/3260591-1303508554
RUNJOBID= node132-1303507230-23354
PBS_JOBID= 13134237
Free space on /tmp= 71556 MiB
SOLVER NAME= Coach 2011-03-18
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_150_42_s.cnf
COMMAND LINE= python portfolio_solver.py -t TIMELIMIT -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260591-1303508554/watcher-3260591-1303508554 -o /tmp/evaluation-result-3260591-1303508554/solver-3260591-1303508554 -C 2400 -W 1300 -M 7680 python portfolio_solver.py -t 2400 -s 623208689 HOME/instance-3260591-1303508554.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4177e06821060b0db9493e3e34514fae
RANDOM SEED=623208689
node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 11850284 kB
Buffers: 1416340 kB
Cached: 18957408 kB
SwapCached: 0 kB
Active: 8719200 kB
Inactive: 11826912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 11850284 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 163472 kB
Writeback: 0 kB
AnonPages: 172224 kB
Mapped: 18636 kB
Slab: 489116 kB
PageTables: 5900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 392028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71520 MiB
End job on node132 at 2011-04-22 23:43:29