Trace number 3309978

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587SAT 545.705 70.0478

General information on the benchmark

NameSAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
MD5SUM65c5a1442ec07e466934f093e50229c2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.0374
Satisfiable
(Un)Satisfiability was proved
Number of variables6228
Number of clauses484871
Sum of the clauses size3850952
Maximum clause length8
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 24651
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5480204

Solver Data 

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

Verifier Data 

OK

Watcher Data 

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-3309978-1304019068/watcher-3309978-1304019068 -o /tmp/evaluation-result-3309978-1304019068/solver-3309978-1304019068 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309978-1304019068.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 20023
/proc/meminfo: memFree=18947596/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=10644 CPUtime=0 cores=0-7
/proc/20023/stat : 20023 (plingeling) R 20021 20023 19997 0 -1 4202496 724 1252 0 0 0 0 0 0 23 0 1 0 513503558 10899456 652 33554432000 4194304 4417332 140735955644816 18446744073709551615 4320914 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20023/statm: 2661 652 147 55 0 547 0

[startup+0.055832 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 20023
/proc/meminfo: memFree=18947596/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=23332 CPUtime=0.05 cores=0-7
/proc/20023/stat : 20023 (plingeling) R 20021 20023 19997 0 -1 4202496 3977 1252 0 0 5 0 0 0 23 0 1 0 513503558 23891968 3857 33554432000 4194304 4417332 140735955644816 18446744073709551615 254500691712 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20023/statm: 5833 3857 148 55 0 3719 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23332

[startup+0.100816 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 20023
/proc/meminfo: memFree=18947596/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=27428 CPUtime=0.09 cores=0-7
/proc/20023/stat : 20023 (plingeling) R 20021 20023 19997 0 -1 4202496 5001 1252 0 0 9 0 0 0 23 0 1 0 513503558 28086272 4881 33554432000 4194304 4417332 140735955644816 18446744073709551615 254500310590 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20023/statm: 6857 4881 148 55 0 4743 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27428

[startup+0.300783 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 20023
/proc/meminfo: memFree=18947596/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=60196 CPUtime=0.29 cores=0-7
/proc/20023/stat : 20023 (plingeling) R 20021 20023 19997 0 -1 4202496 13193 1252 0 0 28 1 0 0 24 0 1 0 513503558 61640704 13073 33554432000 4194304 4417332 140735955644816 18446744073709551615 4323180 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20023/statm: 15049 13073 148 55 0 12935 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60196

[startup+0.700704 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 20023
/proc/meminfo: memFree=18947596/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=143040 CPUtime=0.68 cores=0-7
/proc/20023/stat : 20023 (plingeling) R 20021 20023 19997 0 -1 4202496 33904 1252 0 0 65 3 0 0 25 0 1 0 513503558 146472960 33784 33554432000 4194304 4417332 140735955644816 18446744073709551615 4209666 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20023/statm: 35760 33784 148 55 0 33646 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 143040

[startup+1.50056 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 20029
/proc/meminfo: memFree=18746832/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=275904 CPUtime=1.49 cores=0-7
/proc/20023/stat : 20023 (plingeling) R 20021 20023 19997 0 -1 4202496 67126 1252 0 0 141 8 0 0 25 0 1 0 513503558 282525696 67000 33554432000 4194304 4417332 140735955644816 18446744073709551615 254500691712 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/20023/statm: 68976 67000 148 55 0 66862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 275904

[startup+3.10115 s]
/proc/loadavg: 0.00 0.00 0.00 9/179 20037
/proc/meminfo: memFree=18673360/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=529352 CPUtime=12.45 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 127290 1252 0 0 1225 20 0 0 18 0 9 0 513503558 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 132338 93556 177 55 0 130224 0
[pid=20023/tid=20030] ppid=20021 vsize=529352 CPUtime=1.33 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 4223 1252 0 0 133 0 0 0 25 0 9 0 513503733 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=529352 CPUtime=1.33 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 4726 1252 0 0 132 1 0 0 25 0 9 0 513503733 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=529352 CPUtime=1.33 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 4259 1252 0 0 132 1 0 0 25 0 9 0 513503733 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=529352 CPUtime=1.33 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 1295 1252 0 0 133 0 0 0 23 0 9 0 513503733 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 18446744073699066094 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=529352 CPUtime=1.33 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 4232 1252 0 0 132 1 0 0 20 0 9 0 513503733 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=529352 CPUtime=1.33 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 123 1252 0 0 133 0 0 0 22 0 9 0 513503734 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4259603 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=529352 CPUtime=1.32 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 4292 1252 0 0 131 1 0 0 22 0 9 0 513503734 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=529352 CPUtime=1.32 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 4230 1252 0 0 131 1 0 0 23 0 9 0 513503734 542056448 93556 33554432000 4194304 4417332 140735955644816 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 529352

[startup+6.3005 s]
/proc/loadavg: 0.64 0.13 0.04 9/179 20037
/proc/meminfo: memFree=18579124/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=522500 CPUtime=38.02 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 138915 1252 0 0 3780 22 0 0 18 0 9 0 513503558 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 130625 91833 181 55 0 128511 0
[pid=20023/tid=20030] ppid=20021 vsize=522500 CPUtime=4.53 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 4893 1252 0 0 453 0 0 0 25 0 9 0 513503733 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4248567 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=522500 CPUtime=4.53 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 4968 1252 0 0 452 1 0 0 25 0 9 0 513503733 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=522500 CPUtime=4.53 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 4263 1252 0 0 452 1 0 0 25 0 9 0 513503733 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=522500 CPUtime=4.52 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 5993 1252 0 0 451 1 0 0 25 0 9 0 513503733 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4265473 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=522500 CPUtime=4.52 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 5094 1252 0 0 451 1 0 0 25 0 9 0 513503733 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4235359 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=522500 CPUtime=4.53 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 4633 1252 0 0 453 0 0 0 25 0 9 0 513503734 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=522500 CPUtime=4.52 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 4292 1252 0 0 451 1 0 0 25 0 9 0 513503734 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4248574 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=522500 CPUtime=4.5 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 4869 1252 0 0 449 1 0 0 25 0 9 0 513503734 535040000 91833 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38.02
Current children cumulated vsize (KiB) 522500

[startup+12.7012 s]
/proc/loadavg: 1.23 0.26 0.09 9/179 20037
/proc/meminfo: memFree=18556384/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=544352 CPUtime=89.2 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 154431 1252 0 0 8894 26 0 0 18 0 9 0 513503558 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 136088 97181 181 55 0 133974 0
[pid=20023/tid=20030] ppid=20021 vsize=544352 CPUtime=10.93 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 4893 1252 0 0 1093 0 0 0 25 0 9 0 513503733 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=544352 CPUtime=10.93 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 4968 1252 0 0 1092 1 0 0 25 0 9 0 513503733 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=544352 CPUtime=10.93 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 4754 1252 0 0 1092 1 0 0 25 0 9 0 513503733 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4308160 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=544352 CPUtime=10.92 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 21012 1252 0 0 1088 4 0 0 25 0 9 0 513503733 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=544352 CPUtime=10.92 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 5094 1252 0 0 1091 1 0 0 25 0 9 0 513503733 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=544352 CPUtime=10.93 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 4639 1252 0 0 1093 0 0 0 25 0 9 0 513503734 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=544352 CPUtime=10.92 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 4292 1252 0 0 1091 1 0 0 25 0 9 0 513503734 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4344093 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=544352 CPUtime=10.87 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 4869 1252 0 0 1086 1 0 0 25 0 9 0 513503734 557416448 97181 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 89.2
Current children cumulated vsize (KiB) 544352

[startup+25.5007 s]
/proc/loadavg: 2.73 0.64 0.21 9/179 20037
/proc/meminfo: memFree=18546664/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=555564 CPUtime=191.53 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 181913 1252 0 0 19124 29 0 0 18 0 9 0 513503558 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 138891 100190 181 55 0 136777 0
[pid=20023/tid=20030] ppid=20021 vsize=555564 CPUtime=23.73 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 5511 1252 0 0 2373 0 0 0 25 0 9 0 513503733 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4258436 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=555564 CPUtime=23.73 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 4977 1252 0 0 2372 1 0 0 25 0 9 0 513503733 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=555564 CPUtime=23.73 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 9034 1252 0 0 2372 1 0 0 25 0 9 0 513503733 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4253524 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=555564 CPUtime=23.72 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 38840 1252 0 0 2366 6 0 0 25 0 9 0 513503733 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4366419 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=555564 CPUtime=23.73 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 5333 1252 0 0 2371 2 0 0 25 0 9 0 513503733 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=555564 CPUtime=23.73 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 4888 1252 0 0 2373 0 0 0 25 0 9 0 513503734 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=555564 CPUtime=23.73 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 8313 1252 0 0 2371 2 0 0 25 0 9 0 513503734 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364776 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=555564 CPUtime=23.6 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5107 1252 0 0 2359 1 0 0 25 0 9 0 513503734 568897536 100190 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 191.53
Current children cumulated vsize (KiB) 555564

[startup+51.1006 s]
/proc/loadavg: 4.53 1.23 0.42 9/179 20038
/proc/meminfo: memFree=18529208/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=579596 CPUtime=396.2 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 224217 1252 0 0 39584 36 0 0 18 0 9 0 513503558 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 144899 106199 181 55 0 142785 0
[pid=20023/tid=20030] ppid=20021 vsize=579596 CPUtime=49.34 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 7085 1252 0 0 4933 1 0 0 25 0 9 0 513503733 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=579596 CPUtime=49.33 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 6778 1252 0 0 4932 1 0 0 25 0 9 0 513503733 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=579596 CPUtime=49.33 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 9458 1252 0 0 4932 1 0 0 25 0 9 0 513503733 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=579596 CPUtime=49.32 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 67143 1252 0 0 4921 11 0 0 25 0 9 0 513503733 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4236644 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=579596 CPUtime=49.33 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 8235 1252 0 0 4931 2 0 0 25 0 9 0 513503733 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=579596 CPUtime=49.33 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 6433 1252 0 0 4933 0 0 0 25 0 9 0 513503734 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4346257 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=579596 CPUtime=49.32 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 14068 1252 0 0 4930 2 0 0 25 0 9 0 513503734 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249519 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=579596 CPUtime=49.07 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5107 1252 0 0 4906 1 0 0 25 0 9 0 513503734 593506304 106199 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364792 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 396.2
Current children cumulated vsize (KiB) 579596

Solver just ended. Dumping a history of the last processes samples

[startup+57.5013 s]
/proc/loadavg: 4.80 1.34 0.46 9/179 20038
/proc/meminfo: memFree=18520532/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=584048 CPUtime=447.37 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 243096 1252 0 0 44697 40 0 0 18 0 9 0 513503558 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 146012 107336 181 55 0 143898 0
[pid=20023/tid=20030] ppid=20021 vsize=584048 CPUtime=55.74 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 8303 1252 0 0 5573 1 0 0 25 0 9 0 513503733 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=584048 CPUtime=55.73 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 9974 1252 0 0 5571 2 0 0 25 0 9 0 513503733 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4305912 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=584048 CPUtime=55.73 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 12029 1252 0 0 5571 2 0 0 25 0 9 0 513503733 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4330461 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=584048 CPUtime=55.72 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 76564 1252 0 0 5559 13 0 0 25 0 9 0 513503733 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=584048 CPUtime=55.73 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 9226 1252 0 0 5571 2 0 0 25 0 9 0 513503733 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=584048 CPUtime=55.73 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 7915 1252 0 0 5572 1 0 0 25 0 9 0 513503734 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249958 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=584048 CPUtime=55.72 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 14068 1252 0 0 5570 2 0 0 25 0 9 0 513503734 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4259719 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=584048 CPUtime=55.44 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5107 1252 0 0 5543 1 0 0 25 0 9 0 513503734 598065152 107336 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 447.37
Current children cumulated vsize (KiB) 584048

[startup+63.901 s]
/proc/loadavg: 5.30 1.56 0.54 9/179 20038
/proc/meminfo: memFree=18521540/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=582748 CPUtime=498.53 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 258639 1252 0 0 49810 43 0 0 18 0 9 0 513503558 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 145687 107010 181 55 0 143573 0
[pid=20023/tid=20030] ppid=20021 vsize=582748 CPUtime=62.14 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 9294 1252 0 0 6213 1 0 0 25 0 9 0 513503733 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364887 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=582748 CPUtime=62.13 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 12049 1252 0 0 6210 3 0 0 25 0 9 0 513503733 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=582748 CPUtime=62.13 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 12029 1252 0 0 6211 2 0 0 25 0 9 0 513503733 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=582748 CPUtime=62.11 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 87489 1252 0 0 6196 15 0 0 25 0 9 0 513503733 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=582748 CPUtime=62.13 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 10473 1252 0 0 6211 2 0 0 25 0 9 0 513503733 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=582748 CPUtime=62.13 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 8220 1252 0 0 6212 1 0 0 25 0 9 0 513503734 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=582748 CPUtime=62.12 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 14068 1252 0 0 6210 2 0 0 25 0 9 0 513503734 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4302912 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=582748 CPUtime=61.8 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5107 1252 0 0 6179 1 0 0 25 0 9 0 513503734 596733952 107010 33554432000 4194304 4417332 140735955644816 18446744073709551615 4365869 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 498.53
Current children cumulated vsize (KiB) 582748

[startup+67.1064 s]
/proc/loadavg: 5.30 1.56 0.54 9/179 20038
/proc/meminfo: memFree=18520424/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=585020 CPUtime=524.16 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 270619 1252 0 0 52371 45 0 0 18 0 9 0 513503558 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 146255 107578 181 55 0 144141 0
[pid=20023/tid=20030] ppid=20021 vsize=585020 CPUtime=65.34 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 9851 1252 0 0 6533 1 0 0 25 0 9 0 513503733 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=585020 CPUtime=65.34 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 13780 1252 0 0 6531 3 0 0 25 0 9 0 513503733 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=585020 CPUtime=65.33 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 12481 1252 0 0 6531 2 0 0 25 0 9 0 513503733 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=585020 CPUtime=65.32 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 94243 1252 0 0 6516 16 0 0 25 0 9 0 513503733 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=585020 CPUtime=65.33 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 11096 1252 0 0 6531 2 0 0 25 0 9 0 513503733 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4366303 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=585020 CPUtime=65.34 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 10083 1252 0 0 6533 1 0 0 25 0 9 0 513503734 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=585020 CPUtime=65.33 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 14068 1252 0 0 6531 2 0 0 25 0 9 0 513503734 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=585020 CPUtime=64.99 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5107 1252 0 0 6498 1 0 0 25 0 9 0 513503734 599060480 107578 33554432000 4194304 4417332 140735955644816 18446744073709551615 4344071 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 524.16
Current children cumulated vsize (KiB) 585020

[startup+68.701 s]
/proc/loadavg: 5.30 1.56 0.54 9/179 20039
/proc/meminfo: memFree=18510872/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=599592 CPUtime=536.91 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 276247 1252 0 0 53644 47 0 0 18 0 9 0 513503558 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 149898 111222 181 55 0 147784 0
[pid=20023/tid=20030] ppid=20021 vsize=599592 CPUtime=66.94 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 10450 1252 0 0 6692 2 0 0 25 0 9 0 513503733 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=599592 CPUtime=66.93 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 13780 1252 0 0 6690 3 0 0 25 0 9 0 513503733 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=599592 CPUtime=66.93 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 13014 1252 0 0 6691 2 0 0 25 0 9 0 513503733 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=599592 CPUtime=66.92 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 97017 1252 0 0 6675 17 0 0 25 0 9 0 513503733 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4357555 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=599592 CPUtime=66.93 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 11417 1252 0 0 6691 2 0 0 25 0 9 0 513503733 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=599592 CPUtime=66.93 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 10911 1252 0 0 6692 1 0 0 25 0 9 0 513503734 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=599592 CPUtime=66.92 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 14068 1252 0 0 6690 2 0 0 25 0 9 0 513503734 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=599592 CPUtime=66.58 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5680 1252 0 0 6657 1 0 0 25 0 9 0 513503734 613982208 111222 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 536.91
Current children cumulated vsize (KiB) 599592

[startup+69.5009 s]
/proc/loadavg: 5.51 1.67 0.58 9/179 20039
/proc/meminfo: memFree=18522404/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=580780 CPUtime=543.31 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 278009 1252 0 0 54283 48 0 0 18 0 9 0 513503558 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 145195 106519 181 55 0 143081 0
[pid=20023/tid=20030] ppid=20021 vsize=580780 CPUtime=67.74 cores=0-7
/proc/20023/task/20030/stat : 20030 (plingeling) R 20021 20023 19997 0 -1 4202560 10775 1252 0 0 6772 2 0 0 25 0 9 0 513503733 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4259681 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20023/tid=20031] ppid=20021 vsize=580780 CPUtime=67.73 cores=0-7
/proc/20023/task/20031/stat : 20031 (plingeling) R 20021 20023 19997 0 -1 4202560 14124 1252 0 0 6770 3 0 0 25 0 9 0 513503733 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4365963 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20023/tid=20032] ppid=20021 vsize=580780 CPUtime=67.73 cores=0-7
/proc/20023/task/20032/stat : 20032 (plingeling) R 20021 20023 19997 0 -1 4202560 13424 1252 0 0 6771 2 0 0 25 0 9 0 513503733 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20023/tid=20033] ppid=20021 vsize=580780 CPUtime=67.71 cores=0-7
/proc/20023/task/20033/stat : 20033 (plingeling) R 20021 20023 19997 0 -1 4202560 97274 1252 0 0 6754 17 0 0 25 0 9 0 513503733 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4265473 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20023/tid=20034] ppid=20021 vsize=580780 CPUtime=67.73 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 11583 1252 0 0 6771 2 0 0 25 0 9 0 513503733 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4331716 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20023/tid=20035] ppid=20021 vsize=580780 CPUtime=67.73 cores=0-7
/proc/20023/task/20035/stat : 20035 (plingeling) R 20021 20023 19997 0 -1 4202560 11171 1252 0 0 6772 1 0 0 25 0 9 0 513503734 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20023/tid=20036] ppid=20021 vsize=580780 CPUtime=67.72 cores=0-7
/proc/20023/task/20036/stat : 20036 (plingeling) R 20021 20023 19997 0 -1 4202560 14068 1252 0 0 6770 2 0 0 25 0 9 0 513503734 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20023/tid=20037] ppid=20021 vsize=580780 CPUtime=67.37 cores=0-7
/proc/20023/task/20037/stat : 20037 (plingeling) R 20021 20023 19997 0 -1 4202560 5680 1252 0 0 6736 1 0 0 25 0 9 0 513503734 594718720 106519 33554432000 4194304 4417332 140735955644816 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 543.31
Current children cumulated vsize (KiB) 580780

[startup+69.9009 s]
/proc/loadavg: 5.51 1.67 0.58 9/179 20039
/proc/meminfo: memFree=18522404/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=569428 CPUtime=545.55 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 278752 1252 0 0 54507 48 0 0 18 0 2 0 513503558 583094272 106241 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 142357 106241 182 55 0 140243 0
[pid=20023/tid=20034] ppid=20021 vsize=569428 CPUtime=68.13 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 11583 1252 0 0 6811 2 0 0 25 0 2 0 513503733 583094272 106241 33554432000 4194304 4417332 140735955644816 18446744073709551615 4254980 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 545.55
Current children cumulated vsize (KiB) 569428

[startup+70.0009 s]
/proc/loadavg: 5.51 1.67 0.58 9/179 20039
/proc/meminfo: memFree=18522404/32950928 swapFree=67111528/67111528
[pid=20023] ppid=20021 vsize=569428 CPUtime=545.65 cores=0-7
/proc/20023/stat : 20023 (plingeling) S 20021 20023 19997 0 -1 4202496 278752 1252 0 0 54517 48 0 0 18 0 2 0 513503558 583094272 106241 33554432000 4194304 4417332 140735955644816 18446744073709551615 254512494565 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/20023/statm: 142357 106241 182 55 0 140243 0
[pid=20023/tid=20034] ppid=20021 vsize=569428 CPUtime=68.23 cores=0-7
/proc/20023/task/20034/stat : 20034 (plingeling) R 20021 20023 19997 0 -1 4202560 11583 1252 0 0 6821 2 0 0 25 0 2 0 513503733 583094272 106241 33554432000 4194304 4417332 140735955644816 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 545.65
Current children cumulated vsize (KiB) 569428

Child status: 10
Real time (s): 70.0478
CPU time (s): 545.705
CPU user time (s): 545.201
CPU system time (s): 0.503923
CPU usage (%): 779.047
Max. virtual memory (cumulated for all children) (KiB): 599604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 545.201
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280018
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= 173
involuntary context switches= 2519

runsolver used 0.116982 second user time and 0.251961 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-28 21:31:09
IDJOB=3309978
IDBENCH=84806
IDSOLVER=1695
FILE ID=node149/3309978-1304019068
RUNJOBID= node149-1304019068-20011
PBS_JOBID= 13170273
Free space on /tmp= 71912 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309978-1304019068/watcher-3309978-1304019068 -o /tmp/evaluation-result-3309978-1304019068/solver-3309978-1304019068 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3309978-1304019068.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 65c5a1442ec07e466934f093e50229c2
RANDOM SEED=953821652

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.75
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.806
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.806
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:     32950928 kB
MemFree:      18948008 kB
Buffers:       2199368 kB
Cached:       11199816 kB
SwapCached:          0 kB
Active:        4516744 kB
Inactive:      8946240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18948008 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20624 kB
Writeback:           0 kB
AnonPages:       63488 kB
Mapped:          14404 kB
Slab:           475704 kB
PageTables:       4640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71912 MiB
End job on node149 at 2011-04-28 21:32:19