Trace number 3372786

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 587f (fixed)SAT 188.113 8.78861

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark188.113
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

187.84/8.78	s SATISFIABLE
187.84/8.78	v -1 -2 -3 -4 5 -6 -7
187.84/8.78	v -8 9 -10 -11 12 13 -14 -15
187.84/8.78	v -16 -17 -18 -19 -20 -21 -22 -23
187.84/8.78	v -24 25 -26 -27 28 -29 -30 -31
187.84/8.78	v -32 -33 -34 -35 -36 37 -38 39
187.84/8.78	v -40 -41 42 -43 -44 -45 -46 -47
187.84/8.78	v -48 -49 -50 -51 -52 -53 54 -55
187.84/8.78	v -56 57 -58 -59 -60 -61 -62 -63
187.84/8.78	v 64 -65 -66 67 -68 -69 70 71
187.84/8.78	v -72 -73 -74 75 -76 -77 -78 79
187.84/8.78	v -80 -81 82 83 -84 -85 -86 -87
187.84/8.78	v 88 -89 90 91 92 93 94 95
187.84/8.78	v 96 97 98 -99 -100 -101 -102 103
187.84/8.78	v -104 -105 -106 107 -108 -109 -110 -111
187.84/8.78	v -112 -113 -114 -115 -116 -117 -118 -119
187.84/8.78	v 120 121 -122 -123 -124 125 -126 127
187.84/8.78	v -128 129 130 -131 -132 -133 -134 -135
187.84/8.78	v -136 -137 -138 139 140 141 142 143
187.84/8.78	v -144 -145 -146 147 148 -149 -150 -151
187.84/8.78	v -152 -153 154 -155 156 157 -158 159
187.84/8.78	v 160 161 -162 163 164 -165 -166 -167
187.84/8.78	v 168 -169 -170 171 172 173 174 175
187.84/8.78	v 176 177 -178 179 180 -181 182 183
187.84/8.78	v 184 185 186 187 -188 189 -190 191
187.84/8.78	v -192 193 -194 -195 196 197 198 199
187.84/8.78	v 200 201 202 203 204 205 206 -207
187.84/8.78	v 208 209 -210 211 212 213 214 215
187.84/8.78	v 216 -217 218 219 -220 221 222 -223
187.84/8.78	v -224 -225 226 -227 -228 -229 230 -231
187.84/8.78	v -232 -233 234 -235 -236 -237 238 -239
187.84/8.78	v 240 -241 242 -243 -244 -245 -246 -247
187.84/8.78	v -248 -249 -250 -251 252 -253 254 255
187.84/8.78	v -256 257 258 259 -260 261 -262 263
187.84/8.78	v 264 -265 -266 -267 268 -269 -270 -271
187.84/8.78	v -272 -273 -274 275 -276 277 -278 279
187.84/8.78	v -280 -281 -282 -283 -284 -285 -286 -287
187.84/8.78	v -288 289 -290 -291 -292 -293 -294 -295
187.84/8.78	v -296 297 -298 299 -300 -301 302 -303
187.84/8.78	v -304 305 -306 -307 -308 309 -310 -311
187.84/8.78	v -312 -313 -314 -315 -316 -317 -318 -319
187.84/8.78	v -320 -321 -322 -323 -324 325 -326 -327
187.84/8.78	v -328 -329 -330 -331 -332 -333 -334 -335
187.84/8.78	v -336 -337 -338 -339 -340 -341 -342 -343
187.84/8.78	v -344 -345 -346 -347 -348 349 350 -351
187.84/8.78	v -352 -353 -354 -355 -356 -357 -358 -359
187.84/8.78	v -360 -361 362 -363 -364 -365 -366 -367
187.84/8.78	v -368 -369 -370 -371 -372 -373 -374 -375
187.84/8.78	v -376 -377 -378 -379 -380 -381 382 -383
187.84/8.78	v -384 -385 -386 -387 -388 -389 -390 -391
187.84/8.78	v -392 -393 -394 -395 -396 -397 -398 399
187.84/8.78	v -400 -401 -402 -403 -404 -405 -406 -407
187.84/8.78	v -408 -409 -410 -411 -412 -413 -414 -415
187.84/8.78	v -416 -417 418 419 420 421 -422 -423
187.84/8.78	v -424 -425 -426 -427 -428 -429 -430 -431
187.84/8.78	v -432 -433 -434 -435 -436 -437 438 -439
187.84/8.78	v -440 -441 -442 -443 -444 -445 -446 -447
187.84/8.78	v -448 -449 -450 -451 -452 -453 -454 -455
187.84/8.78	v -456 -457 458 -459 -460 -461 -462 -463
187.84/8.78	v -464 -465 -466 -467 -468 469 470 471
187.84/8.78	v 472 -473 -474 -475 -476 -477 -478 -479
187.84/8.78	v -480 -481 -482 -483 -484 -485 -486 -487
187.84/8.78	v -488 -489 -490 491 -492 -493 -494 -495
187.84/8.78	v -496 -497 -498 -499 -500 -501 -502 -503
187.84/8.78	v -504 -505 -506 -507 -508 -509 -510 511
187.84/8.78	v -512 -513 -514 -515 -516 -517 -518 -519
187.84/8.78	v -520 -521 -522 523 524 525 526 527
187.84/8.78	v 528 -529 -530 -531 -532 -533 -534 -535
187.84/8.78	v -536 -537 -538 -539 -540 -541 -542 543
187.84/8.78	v 544 -545 -546 -547 -548 -549 -550 -551
187.84/8.78	v -552 -553 -554 -555 -556 -557 -558 -559
187.84/8.78	v -560 -561 -562 563 -564 -565 -566 -567
187.84/8.78	v -568 -569 -570 -571 -572 -573 -574 -575
187.84/8.78	v -576 -577 -578 -579 -580 581 -582 -583
187.84/8.78	v -584 -585 -586 -587 -588 -589 -590 -591
187.84/8.78	v -592 -593 -594 -595 -596 -597 -598 -599
187.84/8.78	v 600 -601 -602 -603 -604 -605 -606 -607
187.84/8.78	v -608 -609 -610 -611 -612 -613 -614 -615
187.84/8.78	v 616 -617 -618 -619 -620 -621 -622 -623
187.84/8.78	v -624 -625 -626 -627 -628 -629 -630 -631
187.84/8.78	v -632 -633 -634 -635 -636 637 638 639
187.84/8.78	v -640 -641 -642 -643 -644 -645 -646 -647
187.84/8.78	v -648 -649 -650 651 652 653 654 655
187.84/8.78	v 656 657 -658 -659 -660 -661 -662 -663
187.84/8.78	v -664 -665 -666 667 668 669 670 671
187.84/8.78	v -672 -673 -674 -675 -676 -677 -678 -679
187.84/8.78	v -680 -681 -682 -683 -684 -685 -686 687
187.84/8.78	v 688 689 690 691 692 693 -694 -695
187.84/8.78	v -696 -697 -698 -699 -700 -701 -702 -703
187.84/8.78	v -704 -705 -706 -707 708 709 710 -711
187.84/8.78	v -712 -713 -714 -715 -716 -717 -718 -719
187.84/8.78	v -720 -721 -722 -723 -724 725 726 -727
187.84/8.78	v -728 -729 -730 -731 -732 -733 -734 -735
187.84/8.78	v -736 -737 -738 -739 -740 -741 -742 -743
187.84/8.78	v -744 -745 -746 747 -748 -749 -750 -751
187.84/8.78	v -752 -753 -754 -755 -756 -757 -758 -759
187.84/8.78	v 760 761 762 763 764 -765 -766 -767
187.84/8.78	v -768 -769 -770 -771 -772 -773 -774 -775
187.84/8.78	v -776 -777 -778 -779 -780 781 782 783
187.84/8.78	v -784 -785 -786 -787 -788 -789 -790 -791
187.84/8.78	v -792 -793 794 -795 -796 -797 -798 -799
187.84/8.78	v -800 -801 -802 -803 -804 -805 -806 -807
187.84/8.78	v -808 -809 -810 -811 -812 -813 -814 -815
187.84/8.78	v -816 -817 818 -819 -820 -821 -822 -823
187.84/8.78	v -824 -825 -826 -827 -828 -829 -830 -831
187.84/8.78	v -832 -833 834 835 836 -837 -838 -839
187.84/8.78	v -840 -841 -842 -843 -844 -845 -846 847
187.84/8.78	v -848 -849 -850 -851 -852 -853 -854 -855
187.84/8.78	v -856 -857 -858 -859 -860 -861 -862 -863
187.84/8.78	v -864 -865 -866 867 868 -869 -870 -871
187.84/8.78	v -872 -873 -874 -875 -876 -877 -878 -879
187.84/8.78	v -880 -881 -882 -883 884 885 886 -887
187.84/8.78	v -888 -889 -890 -891 -892 -893 -894 -895
187.84/8.78	v -896 -897 -898 -899 -900 -901 -902 -903
187.84/8.78	v -904 905 906 907 -908 -909 -910 -911
187.84/8.78	v -912 -913 -914 -915 -916 -917 -918 -919
187.84/8.78	v 920 921 -922 -923 -924 -925 -926 -927
187.84/8.78	v -928 -929 -930 -931 -932 -933 -934 -935
187.84/8.78	v -936 -937 -938 -939 -940 941 -942 -943
187.84/8.78	v -944 -945 -946 -947 -948 -949 -950 -951
187.84/8.78	v -952 -953 -954 -955 -956 -957 -958 -959
187.84/8.78	v -960 -961 -962 -963 -964 -965 -966 -967
187.84/8.78	v -968 -969 -970 -971 -972 -973 -974 -975
187.84/8.78	v -976 -977 -978 -979 -980 -981 -982 -983
187.84/8.78	v -984 -985 -986 -987 -988 -989 -990 -991
187.84/8.78	v -992 -993 -994 -995 -996 -997 -998 -999
187.84/8.78	v -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
187.84/8.78	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015
187.84/8.78	v -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023
187.84/8.78	v -1024 -1025 -1026 -1027 -1028 1029 -1030 -1031
187.84/8.78	v -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039
187.84/8.78	v -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047
187.84/8.78	v -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055
187.84/8.78	v -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063
187.84/8.78	v -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071
187.84/8.78	v -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079
187.84/8.78	v -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087
187.84/8.78	v -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095
187.84/8.78	v -1096 -1097 -1098 -1099 -1100 1101 -1102 -1103
187.84/8.78	v -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111
187.84/8.78	v -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119
187.84/8.78	v -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
187.84/8.78	v -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135
187.84/8.78	v -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143
187.84/8.78	v -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151
187.84/8.78	v -1152 -1153 -1154 1155 -1156 -1157 -1158 -1159
187.84/8.78	v -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167
187.84/8.78	v -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175
187.84/8.78	v -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183
187.84/8.78	v -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191
187.84/8.78	v -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199
187.84/8.78	v -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207
187.84/8.78	v -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215
187.84/8.78	v -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223
187.84/8.78	v -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231
187.84/8.78	v -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239
187.84/8.78	v -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247
187.84/8.78	v -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255
187.84/8.78	v -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263
187.84/8.78	v -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271
187.84/8.78	v -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279
187.84/8.78	v -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287
187.84/8.78	v -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295
187.84/8.78	v -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303
187.84/8.78	v -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311
187.84/8.78	v -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319
187.84/8.78	v -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327
187.84/8.78	v -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335
187.84/8.78	v -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343
187.84/8.78	v -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351
187.84/8.78	v -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359
187.84/8.78	v -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367
187.84/8.78	v -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375
187.84/8.78	v -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383
187.84/8.78	v -1384 -1385 -1386 1387 -1388 -1389 -1390 -1391
187.84/8.78	v -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399
187.84/8.78	v -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407
187.84/8.78	v -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415
187.84/8.78	v -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423
187.84/8.78	v -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431
187.84/8.78	v -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439
187.84/8.78	v -1440 1441 -1442 -1443 -1444 -1445 -1446 -1447
187.84/8.78	v -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455
187.84/8.78	v -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463
187.84/8.78	v -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471
187.84/8.78	v -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479
187.84/8.78	v -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487
187.84/8.78	v -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495
187.84/8.78	v -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503
187.84/8.78	v -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511
187.84/8.78	v -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519
187.84/8.78	v -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527
187.84/8.78	v -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535
187.84/8.78	v -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543
187.84/8.78	v -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551
187.84/8.78	v -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559
187.84/8.78	v -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567
187.84/8.78	v -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575
187.84/8.78	v -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583
187.84/8.78	v -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591
187.84/8.78	v -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599
187.84/8.78	v -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607
187.84/8.78	v -1608 1609 -1610 -1611 -1612 -1613 -1614 -1615
187.84/8.78	v -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623
187.84/8.78	v -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631
187.84/8.78	v -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639
187.84/8.78	v -1640 -1641 -1642 -1643 -1644 -1645 1646 -1647
187.84/8.78	v -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655
187.84/8.78	v -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663
187.84/8.78	v -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671
187.84/8.78	v -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679
187.84/8.78	v -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687
187.84/8.78	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695
187.84/8.78	v -1696 -1697 -1698 1699 -1700 -1701 -1702 -1703
187.84/8.78	v -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711
187.84/8.78	v -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719
187.84/8.78	v -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727
187.84/8.78	v -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735
187.84/8.78	v -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743
187.84/8.78	v -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751
187.84/8.78	v -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759
187.84/8.78	v -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767
187.84/8.78	v -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775
187.84/8.78	v -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783
187.84/8.78	v -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791
187.84/8.78	v -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799
187.84/8.78	v -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807
187.84/8.78	v -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815
187.84/8.78	v -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823
187.84/8.78	v -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831
187.84/8.78	v -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839
187.84/8.78	v -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847
187.84/8.78	v -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855
187.84/8.78	v -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863
187.84/8.78	v -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871
187.84/8.78	v -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879
187.84/8.78	v -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887
187.84/8.78	v -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
187.84/8.78	v -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903
187.84/8.78	v -1904 -1905 -1906 -1907 -1908 -1909 1910 -1911
187.84/8.78	v -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919
187.84/8.78	v -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927
187.84/8.78	v -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935
187.84/8.78	v -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943
187.84/8.78	v -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951
187.84/8.78	v -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959
187.84/8.78	v -1960 -1961 -1962 -1963 1964 -1965 -1966 -1967
187.84/8.78	v -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975
187.84/8.78	v -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983
187.84/8.78	v -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991
187.84/8.78	v -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999
187.84/8.78	v -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007
187.84/8.78	v -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015
187.84/8.78	v -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023
187.84/8.78	v -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031
187.84/8.78	v -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039
187.84/8.78	v -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047
187.84/8.78	v -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055
187.84/8.78	v -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063
187.84/8.78	v -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071
187.84/8.78	v -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079
187.84/8.78	v -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087
187.84/8.78	v -2088 -2089 -2090 -2091 2092 -2093 -2094 -2095
187.84/8.78	v -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103
187.84/8.78	v -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111
187.84/8.78	v -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119
187.84/8.78	v -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127
187.84/8.78	v -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135
187.84/8.78	v -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143
187.84/8.78	v -2144 -2145 2146 -2147 -2148 -2149 -2150 -2151
187.84/8.78	v -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159
187.84/8.78	v -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167
187.84/8.78	v -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175
187.84/8.78	v -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183
187.84/8.78	v -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191
187.84/8.78	v -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199
187.84/8.78	v 2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207
187.84/8.78	v -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215
187.84/8.78	v -2216 -2217 2218 -2219 -2220 -2221 -2222 -2223
187.84/8.78	v -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231
187.84/8.78	v -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239
187.84/8.78	v -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247
187.84/8.78	v -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255
187.84/8.78	v -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263
187.84/8.78	v -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271
187.84/8.78	v -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279
187.84/8.78	v -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287
187.84/8.78	v -2288 -2289 2290 -2291 -2292 -2293 -2294 -2295
187.84/8.78	v -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303
187.84/8.78	v -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311
187.84/8.78	v -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319
187.84/8.78	v -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327
187.84/8.78	v -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335
187.84/8.78	v -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343
187.84/8.78	v -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351
187.84/8.78	v -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359
187.84/8.78	v -2360 2361 -2362 -2363 -2364 -2365 -2366 -2367
187.84/8.78	v -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375
187.84/8.78	v -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383
187.84/8.78	v -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391
187.84/8.78	v -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399
187.84/8.78	v -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407
187.84/8.78	v -2408 -2409 -2410 -2411 -2412 -2413 -2414 2415
187.84/8.78	v -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423
187.84/8.78	v -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431
187.84/8.78	v -2432 2433 -2434 -2435 -2436 -2437 -2438 -2439
187.84/8.78	v -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447
187.84/8.78	v -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455
187.84/8.78	v -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463
187.84/8.78	v -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471
187.84/8.78	v -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479
187.84/8.78	v -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487
187.84/8.78	v -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495
187.84/8.78	v -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503
187.84/8.78	v -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511
187.84/8.78	v -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
187.84/8.78	v -2520 -2521 -2522 -2523 -2524 -2525 2526 -2527
187.84/8.78	v -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535
187.84/8.78	v -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543
187.84/8.78	v -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551
187.84/8.78	v -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559
187.84/8.78	v 2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567
187.84/8.78	v -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575
187.84/8.78	v -2576 -2577 -2578 2579 -2580 -2581 -2582 -2583
187.84/8.78	v -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591
187.84/8.78	v -2592 -2593 -2594 -2595 -2596 -2597 -2598 2599
187.84/8.78	v -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607
187.84/8.78	v -2608 -2609 -2610 -2611 -2612 -2613 2614 2615
187.84/8.78	v 2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623
187.84/8.78	v -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631
187.84/8.78	v 2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639
187.84/8.78	v -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647
187.84/8.78	v -2648 -2649 -2650 2651 -2652 -2653 -2654 -2655
187.84/8.78	v -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663
187.84/8.78	v -2664 -2665 -2666 -2667 -2668 2669 -2670 -2671
187.84/8.78	v -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679
187.84/8.78	v -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687
187.84/8.78	v 2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695
187.84/8.78	v -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703
187.84/8.78	v 2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711
187.84/8.78	v -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719
187.84/8.78	v -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727
187.84/8.78	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735
187.84/8.78	v -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743
187.84/8.78	v -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751
187.84/8.78	v -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759
187.84/8.78	v -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767
187.84/8.78	v -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775
187.84/8.78	v -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783
187.84/8.78	v -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791
187.84/8.78	v -2792 -2793 -2794 -2795 2796 -2797 -2798 -2799
187.84/8.78	v -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807
187.84/8.78	v -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815
187.84/8.78	v -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823
187.84/8.78	v -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831
187.84/8.78	v -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839
187.84/8.78	v -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847
187.84/8.78	v -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855
187.84/8.78	v -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863
187.84/8.78	v -2864 -2865 -2866 -2867 2868 -2869 -2870 -2871
187.84/8.78	v -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879
187.84/8.78	v -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887
187.84/8.78	v -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895
187.84/8.78	v -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903
187.84/8.78	v -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911
187.84/8.78	v -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919
187.84/8.78	v -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927
187.84/8.78	v -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935
187.84/8.78	v -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943
187.84/8.78	v -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951
187.84/8.78	v -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959
187.84/8.78	v -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967
187.84/8.78	v -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975
187.84/8.78	v -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983
187.84/8.78	v -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991
187.84/8.78	v -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999
187.84/8.78	v -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007
187.84/8.78	v -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015
187.84/8.78	v -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023
187.84/8.78	v -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031
187.84/8.78	v -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039
187.84/8.78	v -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047
187.84/8.78	v -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055
187.84/8.78	v -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063
187.84/8.78	v -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071
187.84/8.78	v -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079
187.84/8.78	v -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087
187.84/8.78	v -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095
187.84/8.78	v -3096 3097 3098 3099 3100 -3101 -3102 -3103
187.84/8.78	v -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111
187.84/8.78	v -3112 -3113 -3114 -3115 -3116 3117 3118 -3119
187.84/8.78	v -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127
187.84/8.78	v -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135
187.84/8.78	v -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143
187.84/8.78	v -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151
187.84/8.78	v -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159
187.84/8.78	v -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167
187.84/8.78	v -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175
187.84/8.78	v -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183
187.84/8.78	v -3184 -3185 -3186 -3187 -3188 -3189 3190 -3191
187.84/8.78	v -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199
187.84/8.78	v -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207
187.84/8.78	v -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215
187.84/8.78	v -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223
187.84/8.78	v -3224 -3225 -3226 3227 -3228 -3229 -3230 -3231
187.84/8.78	v -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239
187.84/8.78	v -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247
187.84/8.78	v -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255
187.84/8.78	v -3256 -3257 -3258 -3259 -3260 -3261 -3262 3263
187.84/8.78	v -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271
187.84/8.78	v -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279
187.84/8.78	v -3280 3281 -3282 -3283 -3284 -3285 -3286 -3287
187.84/8.78	v -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295
187.84/8.78	v -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303
187.84/8.78	v -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311
187.84/8.78	v -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319
187.84/8.78	v -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327
187.84/8.78	v -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335
187.84/8.78	v -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343
187.84/8.78	v -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351
187.84/8.78	v -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359
187.84/8.78	v -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367
187.84/8.78	v -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375
187.84/8.78	v -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383
187.84/8.78	v -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391
187.84/8.78	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399
187.84/8.78	v -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407
187.84/8.78	v -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415
187.84/8.78	v -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423
187.84/8.78	v -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431
187.84/8.78	v -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439
187.84/8.78	v -3440 3441 3442 -3443 -3444 -3445 -3446 -3447
187.84/8.78	v -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455
187.84/8.78	v -3456 -3457 -3458 -3459 -3460 3461 -3462 -3463
187.84/8.78	v -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471
187.84/8.78	v -3472 -3473 -3474 -3475 -3476 -3477 -3478 3479
187.84/8.78	v -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487
187.84/8.78	v -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495
187.84/8.78	v -3496 -3497 3498 -3499 -3500 -3501 -3502 -3503
187.84/8.78	v -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511
187.84/8.78	v -3512 -3513 3514 -3515 -3516 -3517 -3518 -3519
187.84/8.78	v -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527
187.84/8.78	v -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535
187.84/8.78	v -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543
187.84/8.78	v -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551
187.84/8.78	v -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559
187.84/8.78	v -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567
187.84/8.78	v -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575
187.84/8.78	v -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583
187.84/8.78	v -3584 -3585 3586 -3587 -3588 -3589 -3590 -3591
187.84/8.78	v -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599
187.84/8.78	v -3600 -3601 -3602 -3603 -3604 3605 -3606 -3607
187.84/8.78	v -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615
187.84/8.78	v -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623
187.84/8.78	v -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631
187.84/8.78	v -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639
187.84/8.78	v -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647
187.84/8.78	v -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655
187.84/8.78	v -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663
187.84/8.78	v -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671
187.84/8.78	v -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679
187.84/8.78	v -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687
187.84/8.78	v -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695
187.84/8.78	v -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703
187.84/8.78	v -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711
187.84/8.78	v -3712 -3713 -3714 3715 3716 3717 -3718 -3719
187.84/8.78	v -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727
187.84/8.78	v -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735
187.84/8.78	v -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743
187.84/8.78	v -3744 -3745 -3746 -3747 -3748 -3749 -3750 3751
187.84/8.78	v 3752 3753 -3754 -3755 -3756 -3757 -3758 -3759
187.84/8.78	v -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767
187.84/8.78	v -3768 3769 3770 -3771 -3772 -3773 -3774 -3775
187.84/8.78	v -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783
187.84/8.78	v -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791
187.84/8.78	v -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799
187.84/8.78	v -3800 -3801 -3802 -3803 -3804 -3805 -3806 3807
187.84/8.78	v -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815
187.84/8.78	v -3816 -3817 -3818 -3819 -3820 -3821 -3822 3823
187.84/8.78	v 3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831
187.84/8.78	v -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839
187.84/8.78	v -3840 3841 3842 3843 -3844 -3845 -3846 -3847
187.84/8.78	v -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855
187.84/8.78	v -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863
187.84/8.78	v -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871
187.84/8.78	v -3872 -3873 -3874 -3875 -3876 -3877 3878 -3879
187.84/8.78	v -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887
187.84/8.78	v -3888 -3889 -3890 -3891 -3892 -3893 -3894 3895
187.84/8.78	v 3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903
187.84/8.78	v -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911
187.84/8.78	v -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919
187.84/8.78	v -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927
187.84/8.78	v -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935
187.84/8.78	v -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943
187.84/8.78	v -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951
187.84/8.78	v -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959
187.84/8.78	v -3960 -3961 -3962 -3963 -3964 -3965 -3966 3967
187.84/8.78	v -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975
187.84/8.78	v -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983
187.84/8.78	v -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991
187.84/8.78	v -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999
187.84/8.78	v -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007
187.84/8.78	v -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015
187.84/8.78	v -4016 4017 4018 4019 -4020 -4021 -4022 -4023
187.84/8.78	v -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031
187.84/8.78	v -4032 -4033 -4034 4035 4036 4037 4038 4039
187.84/8.78	v 4040 4041 -4042 -4043 -4044 -4045 -4046 -4047
187.84/8.78	v -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055
187.84/8.78	v 4056 4057 4058 -4059 -4060 -4061 -4062 -4063
187.84/8.78	v -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071
187.84/8.78	v -4072 4073 4074 -4075 -4076 -4077 -4078 -4079
187.84/8.78	v -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087
187.84/8.78	v -4088 -4089 -4090 -4091 -4092 -4093 -4094 4095
187.84/8.78	v -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103
187.84/8.78	v -4104 -4105 -4106 -4107 4108 4109 4110 4111
187.84/8.78	v 4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119
187.84/8.78	v -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127
187.84/8.78	v -4128 4129 4130 4131 -4132 -4133 -4134 -4135
187.84/8.78	v -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143
187.84/8.78	v -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151
187.84/8.78	v -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159
187.84/8.78	v -4160 -4161 -4162 -4163 -4164 -4165 4166 -4167
187.84/8.78	v -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175
187.84/8.78	v -4176 -4177 -4178 -4179 -4180 -4181 4182 4183
187.84/8.78	v 4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191
187.84/8.78	v -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199
187.84/8.78	v -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207
187.84/8.78	v -4208 -4209 -4210 -4211 -4212 -4213 -4214 4215
187.84/8.78	v 4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223
187.84/8.78	v -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231
187.84/8.78	v -4232 4233 4234 -4235 -4236 -4237 -4238 -4239
187.84/8.78	v -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247
187.84/8.78	v -4248 -4249 -4250 -4251 -4252 4253 4254 4255
187.84/8.78	v -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263
187.84/8.78	v -4264 -4265 -4266 -4267 -4268 4269 -4270 -4271
187.84/8.78	v -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279
187.84/8.78	v -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287
187.84/8.78	v -4288 4289 -4290 -4291 -4292 -4293 -4294 -4295
187.84/8.78	v -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303
187.84/8.78	v -4304 4305 4306 4307 -4308 -4309 -4310 -4311
187.84/8.78	v -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319
187.84/8.78	v -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327
187.84/8.78	v -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335
187.84/8.78	v -4336 -4337 -4338 -4339 -4340 -4341 -4342 4343
187.84/8.78	v -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351
187.84/8.78	v -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359
187.84/8.78	v -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367
187.84/8.78	v -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375
187.84/8.78	v -4376 -4377 4378 4379 -4380 -4381 -4382 -4383
187.84/8.78	v -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391
187.84/8.78	v -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399
187.84/8.78	v -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407
187.84/8.78	v -4408 -4409 -4410 -4411 4412 -4413 -4414 -4415
187.84/8.78	v -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423
187.84/8.78	v -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431
187.84/8.78	v -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439
187.84/8.78	v -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447
187.84/8.78	v -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455
187.84/8.78	v -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463
187.84/8.78	v -4464 4465 -4466 -4467 -4468 -4469 -4470 -4471
187.84/8.78	v -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479
187.84/8.78	v -4480 -4481 -4482 -4483 -4484 4485 4486 -4487
187.84/8.78	v -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495
187.84/8.78	v -4496 -4497 -4498 -4499 -4500 -4501 4502 4503
187.84/8.78	v 4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511
187.84/8.78	v -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519
187.84/8.78	v -4520 -4521 -4522 4523 -4524 -4525 -4526 -4527
187.84/8.78	v -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535
187.84/8.78	v -4536 -4537 4538 4539 -4540 -4541 -4542 -4543
187.84/8.78	v -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551
187.84/8.78	v -4552 -4553 -4554 -4555 -4556 -4557 -4558 4559
187.84/8.78	v -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567
187.84/8.78	v -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575
187.84/8.78	v -4576 -4577 4578 4579 4580 -4581 -4582 -4583
187.84/8.78	v -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591
187.84/8.78	v -4592 -4593 -4594 4595 4596 -4597 -4598 -4599
187.84/8.78	v -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607
187.84/8.78	v -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615
187.84/8.78	v -4616 4617 -4618 -4619 -4620 -4621 -4622 -4623
187.84/8.78	v -4624 -4625 -4626 -4627 -4628 -4629 4630 4631
187.84/8.78	v 4632 4633 4634 -4635 -4636 -4637 -4638 -4639
187.84/8.78	v -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647
187.84/8.78	v -4648 -4649 -4650 4651 4652 4653 -4654 -4655
187.84/8.78	v -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663
187.84/8.78	v -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671
187.84/8.78	v -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679
187.84/8.78	v -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687
187.84/8.78	v 4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695
187.84/8.78	v -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703
187.84/8.78	v 4704 4705 4706 -4707 -4708 -4709 -4710 -4711
187.84/8.78	v -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719
187.84/8.78	v -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727
187.84/8.78	v -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735
187.84/8.78	v -4736 4737 4738 -4739 -4740 -4741 -4742 -4743
187.84/8.78	v -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751
187.84/8.78	v -4752 -4753 -4754 4755 4756 -4757 -4758 -4759
187.84/8.78	v -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767
187.84/8.78	v -4768 -4769 -4770 -4771 -4772 -4773 -4774 4775
187.84/8.78	v 4776 4777 -4778 -4779 -4780 -4781 -4782 -4783
187.84/8.78	v -4784 -4785 -4786 -4787 -4788 -4789 -4790 4791
187.84/8.78	v -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799
187.84/8.78	v -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807
187.84/8.78	v -4808 -4809 -4810 4811 -4812 -4813 -4814 -4815
187.84/8.78	v -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823
187.84/8.78	v -4824 -4825 -4826 -4827 -4828 -4829 4830 -4831
187.84/8.78	v -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839
187.84/8.78	v -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847
187.84/8.78	v -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855
187.84/8.78	v -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863
187.84/8.78	v -4864 -4865 4866 4867 4868 -4869 -4870 -4871
187.84/8.78	v -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879
187.84/8.78	v -4880 -4881 -4882 -4883 -4884 4885 4886 -4887
187.84/8.78	v -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895
187.84/8.78	v -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903
187.84/8.78	v -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911
187.84/8.78	v -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919
187.84/8.78	v -4920 -4921 4922 -4923 -4924 -4925 -4926 -4927
187.84/8.78	v -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935
187.84/8.78	v -4936 -4937 4938 4939 4940 -4941 -4942 -4943
187.84/8.78	v -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951
187.84/8.78	v -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959
187.84/8.78	v -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967
187.84/8.78	v -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975
187.84/8.78	v -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983
187.84/8.78	v -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991
187.84/8.78	v -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999
187.84/8.78	v -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007
187.84/8.78	v -5008 -5009 5010 5011 -5012 -5013 -5014 -5015
187.84/8.78	v -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023
187.84/8.78	v -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031
187.84/8.78	v -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039
187.84/8.78	v -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047
187.84/8.78	v -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055
187.84/8.78	v -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063
187.84/8.78	v -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071
187.84/8.78	v -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079
187.84/8.78	v -5080 5081 5082 -5083 -5084 -5085 -5086 -5087
187.84/8.78	v -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095
187.84/8.78	v -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103
187.84/8.78	v -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111
187.84/8.78	v -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119
187.84/8.78	v -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127
187.84/8.78	v -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135
187.84/8.78	v -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143
187.84/8.78	v -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151
187.84/8.78	v -5152 -5153 5154 -5155 -5156 -5157 -5158 -5159
187.84/8.78	v -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167
187.84/8.78	v -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175
187.84/8.78	v -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183
187.84/8.78	v -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191
187.84/8.78	v -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199
187.84/8.78	v -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207
187.84/8.78	v -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215
187.84/8.78	v -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223
187.84/8.78	v -5224 5225 5226 -5227 -5228 -5229 -5230 -5231
187.84/8.78	v -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239
187.84/8.78	v -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247
187.84/8.78	v -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255
187.84/8.78	v -5256 -5257 -5258 -5259 -5260 5261 -5262 -5263
187.84/8.78	v -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271
187.84/8.78	v -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279
187.84/8.78	v -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287
187.84/8.78	v -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295
187.84/8.78	v -5296 -5297 -5298 -5299 -5300 5301 -5302 -5303
187.84/8.78	v -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311
187.84/8.78	v -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319
187.84/8.78	v -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327
187.84/8.78	v -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335
187.84/8.78	v -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343
187.84/8.78	v -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351
187.84/8.78	v -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359
187.84/8.78	v -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367
187.84/8.78	v -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375
187.84/8.78	v -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383
187.84/8.78	v -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391
187.84/8.78	v -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399
187.84/8.78	v -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407
187.84/8.78	v -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415
187.84/8.78	v -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423
187.84/8.78	v -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431
187.84/8.78	v -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439
187.84/8.78	v -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447
187.84/8.78	v -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455
187.84/8.78	v -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463
187.84/8.78	v -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471
187.84/8.78	v -5472 -5473 -5474 -5475 -5476 -5477 -5478 5479
187.84/8.78	v 5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487
187.84/8.78	v -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495
187.84/8.78	v -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503
187.84/8.78	v -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511
187.84/8.78	v -5512 -5513 -5514 -5515 5516 -5517 -5518 -5519
187.84/8.78	v -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527
187.84/8.78	v -5528 -5529 -5530 -5531 5532 5533 5534 -5535
187.84/8.78	v -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543
187.84/8.78	v -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551
187.84/8.78	v -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559
187.84/8.78	v -5560 -5561 -5562 -5563 -5564 -5565 5566 -5567
187.84/8.78	v -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575
187.84/8.78	v -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583
187.84/8.78	v 5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591
187.84/8.78	v -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599
187.84/8.78	v -5600 -5601 -5602 5603 5604 5605 -5606 -5607
187.84/8.78	v -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615
187.84/8.78	v -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623
187.84/8.78	v -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631
187.84/8.78	v -5632 -5633 -5634 -5635 -5636 -5637 -5638 5639
187.84/8.78	v -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647
187.84/8.79	v -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655
187.84/8.79	v -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663
187.84/8.79	v -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671
187.84/8.79	v -5672 -5673 -5674 -5675 -5676 -5677 5678 -5679
187.84/8.79	v -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687
187.84/8.79	v -5688 -5689 -5690 -5691 -5692 -5693 -5694 5695
187.84/8.79	v 5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703
187.84/8.79	v -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711
187.84/8.79	v -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719
187.84/8.79	v -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727
187.84/8.79	v -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735
187.84/8.79	v -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743
187.84/8.79	v -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751
187.84/8.79	v -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759
187.84/8.79	v -5760 -5761 -5762 -5763 -5764 -5765 -5766 5767
187.84/8.79	v -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775
187.84/8.79	v -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783
187.84/8.79	v -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791
187.84/8.79	v -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799
187.84/8.79	v -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807
187.84/8.79	v -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815
187.84/8.79	v -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823
187.84/8.79	v -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831
187.84/8.79	v -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839
187.84/8.79	v -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847
187.84/8.79	v -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855
187.84/8.79	v -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863
187.84/8.79	v -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871
187.84/8.79	v -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879
187.84/8.79	v -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887
187.84/8.79	v 5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895
187.84/8.79	v -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903
187.84/8.79	v -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911
187.84/8.79	v -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919
187.84/8.79	v -5920 -5921 -5922 -5923 5924 -5925 -5926 -5927
187.84/8.79	v -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935
187.84/8.79	v -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943
187.84/8.79	v -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951
187.84/8.79	v -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959
187.84/8.79	v -5960 -5961 -5962 -5963 -5964 -5965 5966 -5967
187.84/8.79	v -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975
187.84/8.79	v -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983
187.84/8.79	v -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991
187.84/8.79	v -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999
187.84/8.79	v -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007
187.84/8.79	v -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015
187.84/8.79	v -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023
187.84/8.79	v -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031
187.84/8.79	v -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039
187.84/8.79	v -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047
187.84/8.79	v -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055
187.84/8.79	v -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063
187.84/8.79	v -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071
187.84/8.79	v -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079
187.84/8.79	v -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087
187.84/8.79	v -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095
187.84/8.79	v -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103
187.84/8.79	v -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111
187.84/8.79	v -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119
187.84/8.79	v -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127
187.84/8.79	v -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135
187.84/8.79	v -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143
187.84/8.79	v 6144 6145 -6146 -6147 -6148 -6149 -6150 -6151
187.84/8.79	v -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159
187.84/8.79	v -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167
187.84/8.79	v -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175
187.84/8.79	v -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183
187.84/8.79	v -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191
187.84/8.79	v -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199
187.84/8.79	v -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207
187.84/8.79	v -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215
187.84/8.79	v -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223
187.84/8.79	v -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231
187.84/8.79	v -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239
187.84/8.79	v -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247
187.84/8.79	v -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255
187.84/8.79	v -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263
187.84/8.79	v -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271
187.84/8.79	v -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279
187.84/8.79	v -6280 -6281 -6282 -6283 -6284 6285 6286 -6287
187.84/8.79	v -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295
187.84/8.79	v -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303
187.84/8.79	v -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311
187.84/8.79	v -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319
187.84/8.79	v -6320 6321 -6322 -6323 -6324 -6325 -6326 -6327
187.84/8.79	v -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335
187.84/8.79	v -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343
187.84/8.79	v -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351
187.84/8.79	v -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359
187.84/8.79	v -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367
187.84/8.79	v -6368 -6369 -6370 -6371 -6372 -6373 6374 6375
187.84/8.79	v -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383
187.84/8.79	v -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391
187.84/8.79	v -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399
187.84/8.79	v -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407
187.84/8.79	v -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415
187.84/8.79	v -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423
187.84/8.79	v -6424 -6425 -6426 -6427 -6428 -6429 -6430 6431
187.84/8.79	v -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439
187.84/8.79	v -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447
187.84/8.79	v -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455
187.84/8.79	v -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463
187.84/8.79	v -6464 6465 -6466 -6467 -6468 -6469 -6470 -6471
187.84/8.79	v -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479
187.84/8.79	v -6480 6481 -6482 -6483 -6484 -6485 -6486 -6487
187.84/8.79	v -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495
187.84/8.79	v -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503
187.84/8.79	v -6504 6505 -6506 -6507 -6508 -6509 -6510 -6511
187.84/8.79	v -6512 -6513 -6514 -6515 -6516 -6517 6518 -6519
187.84/8.79	v -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527
187.84/8.79	v -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535
187.84/8.79	v -6536 -6537 6538 -6539 -6540 -6541 -6542 -6543
187.84/8.79	v -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551
187.84/8.79	v -6552 -6553 -6554 6555 -6556 -6557 -6558 -6559
187.84/8.79	v -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567
187.84/8.79	v -6568 -6569 -6570 -6571 -6572 -6573 6574 -6575
187.84/8.79	v -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583
187.84/8.79	v -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591
187.84/8.79	v -6592 -6593 6594 -6595 -6596 -6597 -6598 -6599
187.84/8.79	v -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607
187.84/8.79	v -6608 -6609 -6610 -6611 -6612 -6613 6614 -6615
187.84/8.79	v -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623
187.84/8.79	v -6624 6625 -6626 -6627 -6628 -6629 -6630 -6631
187.84/8.79	v -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639
187.84/8.79	v -6640 -6641 -6642 -6643 -6644 -6645 -6646 6647
187.84/8.79	v -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655
187.84/8.79	v -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663
187.84/8.79	v -6664 -6665 -6666 6667 -6668 -6669 -6670 -6671
187.84/8.79	v -6672 -6673 -6674 -6675 -6676 -6677 -6678 6679
187.84/8.79	v -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687
187.84/8.79	v -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695
187.84/8.79	v -6696 -6697 -6698 6699 -6700 -6701 -6702 -6703
187.84/8.79	v -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711
187.84/8.79	v -6712 -6713 -6714 -6715 -6716 -6717 -6718 6719
187.84/8.79	v -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727
187.84/8.79	v -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735
187.84/8.79	v -6736 6737 -6738 -6739 -6740 -6741 -6742 -6743
187.84/8.79	v -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751
187.84/8.79	v -6752 -6753 -6754 -6755 6756 -6757 -6758 -6759
187.84/8.79	v -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767
187.84/8.79	v -6768 -6769 -6770 -6771 6772 -6773 -6774 -6775
187.84/8.79	v -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783
187.84/8.79	v -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791
187.84/8.79	v -6792 6793 -6794 -6795 -6796 -6797 -6798 -6799
187.84/8.79	v -6800 -6801 -6802 -6803 -6804 -6805 -6806 6807
187.84/8.79	v -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815
187.84/8.79	v -6816 -6817 -6818 -6819 -6820 -6821 -6822 6823
187.84/8.79	v -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831
187.84/8.79	v -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839
187.84/8.79	v -6840 -6841 -6842 6843 -6844 -6845 -6846 -6847
187.84/8.79	v -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855
187.84/8.79	v -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863
187.84/8.79	v 6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871
187.84/8.79	v -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879
187.84/8.79	v -6880 6881 -6882 -6883 -6884 -6885 -6886 -6887
187.84/8.79	v -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895
187.84/8.79	v -6896 -6897 -6898 -6899 -6900 -6901 -6902 6903
187.84/8.79	v -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911
187.84/8.79	v -6912 -6913 -6914 -6915 6916 -6917 -6918 -6919
187.84/8.79	v -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927
187.84/8.79	v -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935
187.84/8.79	v -6936 6937 -6938 -6939 -6940 -6941 -6942 -6943
187.84/8.79	v -6944 -6945 -6946 -6947 -6948 -6949 6950 -6951
187.84/8.79	v -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959
187.84/8.79	v -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967
187.84/8.79	v -6968 -6969 -6970 -6971 -6972 -6973 6974 -6975
187.84/8.79	v -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983
187.84/8.79	v -6984 -6985 -6986 -6987 -6988 -6989 6990 -6991
187.84/8.79	v -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999
187.84/8.79	v -7000 -7001 -7002 7003 -7004 -7005 -7006 -7007
187.84/8.79	v -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015
187.84/8.79	v -7016 -7017 -7018 -7019 -7020 -7021 -7022 7023
187.84/8.79	v -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031
187.84/8.79	v -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039
187.84/8.79	v 7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047
187.84/8.79	v -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055
187.84/8.79	v -7056 -7057 -7058 -7059 -7060 7061 -7062 -7063
187.84/8.79	v -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071
187.84/8.79	v -7072 -7073 -7074 -7075 7076 -7077 -7078 -7079
187.84/8.79	v -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087
187.84/8.79	v -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095
187.84/8.79	v -7096 7097 -7098 -7099 -7100 -7101 -7102 -7103
187.84/8.79	v -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111
187.84/8.79	v -7112 7113 -7114 -7115 -7116 -7117 -7118 -7119
187.84/8.79	v -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127
187.84/8.79	v -7128 7129 -7130 -7131 -7132 -7133 -7134 -7135
187.84/8.79	v -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143
187.84/8.79	v -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151
187.84/8.79	v -7152 -7153 7154 -7155 -7156 -7157 -7158 -7159
187.84/8.79	v -7160 -7161 -7162 -7163 -7164 -7165 7166 -7167
187.84/8.79	v -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175
187.84/8.79	v -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183
187.84/8.79	v -7184 -7185 7186 -7187 -7188 -7189 -7190 -7191
187.84/8.79	v -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199
187.84/8.79	v -7200 -7201 -7202 7203 -7204 -7205 -7206 -7207
187.84/8.79	v -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215
187.84/8.79	v -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223
187.84/8.79	v -7224 7225 -7226 -7227 -7228 -7229 -7230 -7231
187.84/8.79	v -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239
187.84/8.79	v -7240 -7241 7242 -7243 -7244 -7245 -7246 -7247
187.84/8.79	v -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255
187.84/8.79	v -7256 -7257 -7258 -7259 -7260 -7261 7262 -7263
187.84/8.79	v -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271
187.84/8.79	v -7272 -7273 -7274 -7275 7276 -7277 -7278 -7279
187.84/8.79	v -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287
187.84/8.79	v -7288 -7289 -7290 -7291 -7292 -7293 -7294 7295
187.84/8.79	v -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303
187.84/8.79	v -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311
187.84/8.79	v -7312 -7313 -7314 7315 -7316 -7317 -7318 -7319
187.84/8.79	v -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327
187.84/8.79	v -7328 -7329 -7330 -7331 7332 -7333 -7334 -7335
187.84/8.79	v -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343
187.84/8.79	v -7344 -7345 -7346 -7347 7348 -7349 -7350 -7351
187.84/8.79	v -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359
187.84/8.79	v -7360 -7361 -7362 -7363 -7364 -7365 -7366 7367
187.84/8.79	v -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375
187.84/8.79	v -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383
187.84/8.79	v -7384 7385 -7386 -7387 -7388 -7389 -7390 -7391
187.84/8.79	v -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399
187.84/8.79	v -7400 -7401 -7402 -7403 7404 -7405 -7406 -7407
187.84/8.79	v -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415
187.84/8.79	v -7416 -7417 -7418 -7419 7420 -7421 -7422 -7423
187.84/8.79	v -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431
187.84/8.79	v -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439
187.84/8.79	v -7440 -7441 -7442 7443 -7444 -7445 -7446 -7447
187.84/8.79	v -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455
187.84/8.79	v -7456 -7457 -7458 -7459 -7460 7461 -7462 -7463
187.84/8.79	v -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471
187.84/8.79	v -7472 -7473 -7474 7475 -7476 -7477 -7478 -7479
187.84/8.79	v -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487
187.84/8.79	v -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495
187.84/8.79	v -7496 7497 -7498 -7499 -7500 -7501 -7502 -7503
187.84/8.79	v -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511
187.84/8.79	v -7512 -7513 7514 -7515 -7516 -7517 -7518 -7519
187.84/8.79	v -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527
187.84/8.79	v -7528 -7529 7530 -7531 -7532 -7533 -7534 -7535
187.84/8.79	v -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543
187.84/8.79	v -7544 -7545 -7546 -7547 -7548 -7549 -7550 7551
187.84/8.79	v -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559
187.84/8.79	v -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567
187.84/8.79	v 7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575
187.84/8.79	v -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583
187.84/8.79	v -7584 -7585 -7586 7587 -7588 -7589 -7590 -7591
187.84/8.79	v -7592 -7593 -7594 -7595 -7596 -7597 7598 -7599
187.84/8.79	v -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607
187.84/8.79	v -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615
187.84/8.79	v -7616 -7617 -7618 -7619 -7620 -7621 7622 -7623
187.84/8.79	v -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631
187.84/8.79	v -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639
187.84/8.79	v 7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647
187.84/8.79	v -7648 -7649 -7650 7651 -7652 -7653 -7654 -7655
187.84/8.79	v -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663
187.84/8.79	v -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671
187.84/8.79	v 7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679
187.84/8.79	v -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687
187.84/8.79	v -7688 -7689 7690 -7691 -7692 -7693 -7694 -7695
187.84/8.79	v -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703
187.84/8.79	v -7704 -7705 -7706 -7707 -7708 -7709 -7710 7711
187.84/8.79	v -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719
187.84/8.79	v -7720 -7721 -7722 -7723 -7724 7725 -7726 -7727
187.84/8.79	v -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735
187.84/8.79	v -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743
187.84/8.79	v -7744 7745 -7746 -7747 -7748 -7749 -7750 -7751
187.84/8.79	v -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759
187.84/8.79	v -7760 -7761 -7762 -7763 -7764 -7765 -7766 7767
187.84/8.79	v 7768 7769 7770 7771 7772 7773 7774 7775
187.84/8.79	v 7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783
187.84/8.79	v -7784 -7785 7786 7787 7788 7789 7790 7791
187.84/8.79	v 7792 7793 7794
187.84/8.79	v 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3372786-1306046185/watcher-3372786-1306046185 -o /tmp/evaluation-result-3372786-1306046185/solver-3372786-1306046185 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372786-1306046185.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 28.90 30.24 31.29 1/413 24217
/proc/meminfo: memFree=255482292/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=12732 CPUtime=0.03 cores=0-31
/proc/24217/stat : 24217 (plingeling) R 24215 24217 23801 0 -1 4202496 1241 1250 0 0 2 0 0 1 21 0 1 0 716104912 13037568 1172 268435456000 4194304 4417452 140735347813664 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24217/statm: 3183 1172 145 55 0 1069 0

[startup+0.0733771 s]
/proc/loadavg: 28.90 30.24 31.29 1/413 24217
/proc/meminfo: memFree=255482292/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=15936 CPUtime=0.06 cores=0-31
/proc/24217/stat : 24217 (plingeling) R 24215 24217 23801 0 -1 4202496 2074 1250 0 0 5 0 0 1 21 0 1 0 716104912 16318464 2005 268435456000 4194304 4417452 140735347813664 18446744073709551615 4274446 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24217/statm: 3984 2005 145 55 0 1870 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15936

[startup+0.100388 s]
/proc/loadavg: 28.90 30.24 31.29 1/413 24217
/proc/meminfo: memFree=255482292/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=15936 CPUtime=0.09 cores=0-31
/proc/24217/stat : 24217 (plingeling) R 24215 24217 23801 0 -1 4202496 2074 1250 0 0 8 0 0 1 21 0 1 0 716104912 16318464 2005 268435456000 4194304 4417452 140735347813664 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24217/statm: 3984 2005 145 55 0 1870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15936

[startup+0.300394 s]
/proc/loadavg: 28.90 30.24 31.29 1/413 24217
/proc/meminfo: memFree=255482292/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=28652 CPUtime=0.29 cores=0-31
/proc/24217/stat : 24217 (plingeling) R 24215 24217 23801 0 -1 4202496 5326 1250 0 0 27 1 0 1 22 0 1 0 716104912 29339648 5185 268435456000 4194304 4417452 140735347813664 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24217/statm: 7163 5185 146 55 0 5049 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28652

[startup+0.700409 s]
/proc/loadavg: 28.90 30.24 31.29 1/413 24217
/proc/meminfo: memFree=255482292/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=51752 CPUtime=0.69 cores=0-31
/proc/24217/stat : 24217 (plingeling) R 24215 24217 23801 0 -1 4202496 11221 1250 0 0 65 3 0 1 23 0 1 0 716104912 52994048 10952 268435456000 4194304 4417452 140735347813664 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24217/statm: 12938 10952 146 55 0 10824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51752

[startup+1.50047 s]
/proc/loadavg: 26.67 29.75 31.13 2/414 24223
/proc/meminfo: memFree=255411808/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=150300 CPUtime=1.49 cores=0-31
/proc/24217/stat : 24217 (plingeling) R 24215 24217 23801 0 -1 4202496 35711 1250 0 0 140 8 0 1 25 0 1 0 716104912 153907200 35442 268435456000 4194304 4417452 140735347813664 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24217/statm: 37575 35461 146 55 0 35461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150300

[startup+3.10035 s]
/proc/loadavg: 26.67 29.75 31.13 2/414 24223
/proc/meminfo: memFree=255262388/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=787048 CPUtime=13.04 cores=0-31
/proc/24217/stat : 24217 (plingeling) S 24215 24217 23801 0 -1 4202496 77198 1250 0 0 1281 22 0 1 19 0 33 0 716104912 805937152 64643 268435456000 4194304 4417452 140735347813664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/24217/statm: 196762 64643 170 55 0 194648 0
Current children cumulated CPU time (s) 13.04
Current children cumulated vsize (KiB) 787048

[startup+6.30153 s]
/proc/loadavg: 27.18 29.81 31.14 33/446 24255
/proc/meminfo: memFree=255073336/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=1050324 CPUtime=110.66 cores=0-31
/proc/24217/stat : 24217 (plingeling) S 24215 24217 23801 0 -1 4202496 135126 1250 0 0 10922 143 0 1 19 0 33 0 716104912 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/24217/statm: 262581 113508 175 55 0 260467 0
[pid=24217/tid=24224] ppid=24215 vsize=1050324 CPUtime=3.35 cores=0-31
/proc/24217/task/24224/stat : 24224 (plingeling) R 24215 24217 23801 0 -1 4202560 2499 1250 0 0 329 5 0 1 18 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24217/tid=24225] ppid=24215 vsize=1050324 CPUtime=3.33 cores=0-31
/proc/24217/task/24225/stat : 24225 (plingeling) R 24215 24217 23801 0 -1 4202560 1690 1250 0 0 328 4 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24217/tid=24226] ppid=24215 vsize=1050324 CPUtime=3.48 cores=0-31
/proc/24217/task/24226/stat : 24226 (plingeling) R 24215 24217 23801 0 -1 4202560 1283 1250 0 0 344 3 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24217/tid=24227] ppid=24215 vsize=1050324 CPUtime=3.41 cores=0-31
/proc/24217/task/24227/stat : 24227 (plingeling) R 24215 24217 23801 0 -1 4202560 2338 1250 0 0 337 3 0 1 20 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24217/tid=24228] ppid=24215 vsize=1050324 CPUtime=3.18 cores=0-31
/proc/24217/task/24228/stat : 24228 (plingeling) R 24215 24217 23801 0 -1 4202560 2084 1250 0 0 314 3 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24217/tid=24229] ppid=24215 vsize=1050324 CPUtime=3.5 cores=0-31
/proc/24217/task/24229/stat : 24229 (plingeling) R 24215 24217 23801 0 -1 4202560 1977 1250 0 0 344 5 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24217/tid=24230] ppid=24215 vsize=1050324 CPUtime=3.44 cores=0-31
/proc/24217/task/24230/stat : 24230 (plingeling) R 24215 24217 23801 0 -1 4202560 1447 1250 0 0 341 2 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24217/tid=24231] ppid=24215 vsize=1050324 CPUtime=3.37 cores=0-31
/proc/24217/task/24231/stat : 24231 (plingeling) R 24215 24217 23801 0 -1 4202560 1880 1250 0 0 333 3 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24217/tid=24232] ppid=24215 vsize=1050324 CPUtime=3.44 cores=0-31
/proc/24217/task/24232/stat : 24232 (plingeling) R 24215 24217 23801 0 -1 4202560 2283 1250 0 0 339 4 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4248897 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24217/tid=24233] ppid=24215 vsize=1050324 CPUtime=3.32 cores=0-31
/proc/24217/task/24233/stat : 24233 (plingeling) R 24215 24217 23801 0 -1 4202560 2377 1250 0 0 328 3 0 1 22 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239418 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24217/tid=24234] ppid=24215 vsize=1050324 CPUtime=3.47 cores=0-31
/proc/24217/task/24234/stat : 24234 (plingeling) R 24215 24217 23801 0 -1 4202560 1770 1250 0 0 343 3 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24217/tid=24235] ppid=24215 vsize=1050324 CPUtime=3.42 cores=0-31
/proc/24217/task/24235/stat : 24235 (plingeling) R 24215 24217 23801 0 -1 4202560 2159 1250 0 0 337 4 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4235359 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24217/tid=24236] ppid=24215 vsize=1050324 CPUtime=3.41 cores=0-31
/proc/24217/task/24236/stat : 24236 (plingeling) R 24215 24217 23801 0 -1 4202560 2241 1250 0 0 336 4 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24217/tid=24237] ppid=24215 vsize=1050324 CPUtime=3.37 cores=0-31
/proc/24217/task/24237/stat : 24237 (plingeling) R 24215 24217 23801 0 -1 4202560 2238 1250 0 0 331 5 0 1 22 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4330933 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24217/tid=24238] ppid=24215 vsize=1050324 CPUtime=3.46 cores=0-31
/proc/24217/task/24238/stat : 24238 (plingeling) R 24215 24217 23801 0 -1 4202560 1183 1250 0 0 344 1 0 1 25 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4258178 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24217/tid=24239] ppid=24215 vsize=1050324 CPUtime=3.32 cores=0-31
/proc/24217/task/24239/stat : 24239 (plingeling) R 24215 24217 23801 0 -1 4202560 2275 1250 0 0 327 4 0 1 18 0 33 0 716105189 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239408 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24217/tid=24240] ppid=24215 vsize=1050324 CPUtime=3.3 cores=0-31
/proc/24217/task/24240/stat : 24240 (plingeling) R 24215 24217 23801 0 -1 4202560 2076 1250 0 0 325 4 0 1 21 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239414 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24217/tid=24241] ppid=24215 vsize=1050324 CPUtime=3.32 cores=0-31
/proc/24217/task/24241/stat : 24241 (plingeling) R 24215 24217 23801 0 -1 4202560 2305 1250 0 0 325 6 0 1 22 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239418 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24217/tid=24242] ppid=24215 vsize=1050324 CPUtime=3.47 cores=0-31
/proc/24217/task/24242/stat : 24242 (plingeling) R 24215 24217 23801 0 -1 4202560 1238 1250 0 0 344 2 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24217/tid=24243] ppid=24215 vsize=1050324 CPUtime=3.31 cores=0-31
/proc/24217/task/24243/stat : 24243 (plingeling) R 24215 24217 23801 0 -1 4202560 2455 1250 0 0 326 4 0 1 18 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4331691 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24217/tid=24244] ppid=24215 vsize=1050324 CPUtime=3.34 cores=0-31
/proc/24217/task/24244/stat : 24244 (plingeling) R 24215 24217 23801 0 -1 4202560 2599 1250 0 0 330 3 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4330533 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24217/tid=24245] ppid=24215 vsize=1050324 CPUtime=3.37 cores=0-31
/proc/24217/task/24245/stat : 24245 (plingeling) R 24215 24217 23801 0 -1 4202560 2325 1250 0 0 330 6 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4247954 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24217/tid=24246] ppid=24215 vsize=1050324 CPUtime=3.48 cores=0-31
/proc/24217/task/24246/stat : 24246 (plingeling) R 24215 24217 23801 0 -1 4202560 1389 1250 0 0 344 3 0 1 18 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4377419 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24217/tid=24247] ppid=24215 vsize=1050324 CPUtime=3.33 cores=0-31
/proc/24217/task/24247/stat : 24247 (plingeling) D 24215 24217 23801 0 -1 4202560 1567 1250 0 0 329 3 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24217/tid=24248] ppid=24215 vsize=1050324 CPUtime=3.37 cores=0-31
/proc/24217/task/24248/stat : 24248 (plingeling) R 24215 24217 23801 0 -1 4202560 2252 1250 0 0 334 2 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24217/tid=24249] ppid=24215 vsize=1050324 CPUtime=3.34 cores=0-31
/proc/24217/task/24249/stat : 24249 (plingeling) R 24215 24217 23801 0 -1 4202560 2217 1250 0 0 331 2 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24217/tid=24250] ppid=24215 vsize=1050324 CPUtime=3.45 cores=0-31
/proc/24217/task/24250/stat : 24250 (plingeling) R 24215 24217 23801 0 -1 4202560 1224 1250 0 0 342 2 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4377322 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24217/tid=24251] ppid=24215 vsize=1050324 CPUtime=3.32 cores=0-31
/proc/24217/task/24251/stat : 24251 (plingeling) R 24215 24217 23801 0 -1 4202560 2380 1250 0 0 327 4 0 1 18 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239401 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24217/tid=24252] ppid=24215 vsize=1050324 CPUtime=3.23 cores=0-31
/proc/24217/task/24252/stat : 24252 (plingeling) R 24215 24217 23801 0 -1 4202560 2156 1250 0 0 318 4 0 1 25 0 33 0 716105190 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24217/tid=24253] ppid=24215 vsize=1050324 CPUtime=3.32 cores=0-31
/proc/24217/task/24253/stat : 24253 (plingeling) R 24215 24217 23801 0 -1 4202560 2650 1250 0 0 325 6 0 1 18 0 33 0 716105191 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24217/tid=24254] ppid=24215 vsize=1050324 CPUtime=3.47 cores=0-31
/proc/24217/task/24254/stat : 24254 (plingeling) R 24215 24217 23801 0 -1 4202560 1140 1250 0 0 343 3 0 1 25 0 33 0 716105191 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4377272 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24217/tid=24255] ppid=24215 vsize=1050324 CPUtime=3.23 cores=0-31
/proc/24217/task/24255/stat : 24255 (plingeling) R 24215 24217 23801 0 -1 4202560 1938 1250 0 0 320 2 0 1 25 0 33 0 716105191 1075531776 113508 268435456000 4194304 4417452 140735347813664 18446744073709551615 4258263 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 110.66
Current children cumulated vsize (KiB) 1050324

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

[startup+7.90152 s]
/proc/loadavg: 27.18 29.81 31.14 33/446 24255
/proc/meminfo: memFree=255006464/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=1069012 CPUtime=161.78 cores=0-31
/proc/24217/stat : 24217 (plingeling) S 24215 24217 23801 0 -1 4202496 142407 1250 0 0 16031 146 0 1 19 0 33 0 716104912 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/24217/statm: 267253 119195 175 55 0 265139 0
[pid=24217/tid=24224] ppid=24215 vsize=1069012 CPUtime=4.95 cores=0-31
/proc/24217/task/24224/stat : 24224 (plingeling) R 24215 24217 23801 0 -1 4202560 2499 1250 0 0 489 5 0 1 20 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24217/tid=24225] ppid=24215 vsize=1069012 CPUtime=4.93 cores=0-31
/proc/24217/task/24225/stat : 24225 (plingeling) R 24215 24217 23801 0 -1 4202560 2433 1250 0 0 487 5 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4259603 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24217/tid=24226] ppid=24215 vsize=1069012 CPUtime=5.08 cores=0-31
/proc/24217/task/24226/stat : 24226 (plingeling) R 24215 24217 23801 0 -1 4202560 1471 1250 0 0 504 3 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24217/tid=24227] ppid=24215 vsize=1069012 CPUtime=5 cores=0-31
/proc/24217/task/24227/stat : 24227 (plingeling) R 24215 24217 23801 0 -1 4202560 4220 1250 0 0 496 3 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24217/tid=24228] ppid=24215 vsize=1069012 CPUtime=4.78 cores=0-31
/proc/24217/task/24228/stat : 24228 (plingeling) R 24215 24217 23801 0 -1 4202560 2148 1250 0 0 474 3 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365446 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24217/tid=24229] ppid=24215 vsize=1069012 CPUtime=5.1 cores=0-31
/proc/24217/task/24229/stat : 24229 (plingeling) R 24215 24217 23801 0 -1 4202560 2229 1250 0 0 504 5 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24217/tid=24230] ppid=24215 vsize=1069012 CPUtime=5.04 cores=0-31
/proc/24217/task/24230/stat : 24230 (plingeling) R 24215 24217 23801 0 -1 4202560 1543 1250 0 0 501 2 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24217/tid=24231] ppid=24215 vsize=1069012 CPUtime=4.97 cores=0-31
/proc/24217/task/24231/stat : 24231 (plingeling) R 24215 24217 23801 0 -1 4202560 1880 1250 0 0 493 3 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24217/tid=24232] ppid=24215 vsize=1069012 CPUtime=5.04 cores=0-31
/proc/24217/task/24232/stat : 24232 (plingeling) R 24215 24217 23801 0 -1 4202560 2283 1250 0 0 499 4 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24217/tid=24233] ppid=24215 vsize=1069012 CPUtime=4.92 cores=0-31
/proc/24217/task/24233/stat : 24233 (plingeling) R 24215 24217 23801 0 -1 4202560 2441 1250 0 0 488 3 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24217/tid=24234] ppid=24215 vsize=1069012 CPUtime=5.07 cores=0-31
/proc/24217/task/24234/stat : 24234 (plingeling) R 24215 24217 23801 0 -1 4202560 3042 1250 0 0 503 3 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24217/tid=24235] ppid=24215 vsize=1069012 CPUtime=5.02 cores=0-31
/proc/24217/task/24235/stat : 24235 (plingeling) R 24215 24217 23801 0 -1 4202560 2442 1250 0 0 497 4 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24217/tid=24236] ppid=24215 vsize=1069012 CPUtime=5.01 cores=0-31
/proc/24217/task/24236/stat : 24236 (plingeling) R 24215 24217 23801 0 -1 4202560 2353 1250 0 0 496 4 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4355841 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24217/tid=24237] ppid=24215 vsize=1069012 CPUtime=4.97 cores=0-31
/proc/24217/task/24237/stat : 24237 (plingeling) R 24215 24217 23801 0 -1 4202560 2383 1250 0 0 491 5 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24217/tid=24238] ppid=24215 vsize=1069012 CPUtime=5.06 cores=0-31
/proc/24217/task/24238/stat : 24238 (plingeling) R 24215 24217 23801 0 -1 4202560 1361 1250 0 0 504 1 0 1 25 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24217/tid=24239] ppid=24215 vsize=1069012 CPUtime=4.92 cores=0-31
/proc/24217/task/24239/stat : 24239 (plingeling) R 24215 24217 23801 0 -1 4202560 2275 1250 0 0 487 4 0 1 20 0 33 0 716105189 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365894 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24217/tid=24240] ppid=24215 vsize=1069012 CPUtime=4.9 cores=0-31
/proc/24217/task/24240/stat : 24240 (plingeling) R 24215 24217 23801 0 -1 4202560 2076 1250 0 0 485 4 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4258389 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24217/tid=24241] ppid=24215 vsize=1069012 CPUtime=4.92 cores=0-31
/proc/24217/task/24241/stat : 24241 (plingeling) R 24215 24217 23801 0 -1 4202560 2305 1250 0 0 485 6 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4239248 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24217/tid=24242] ppid=24215 vsize=1069012 CPUtime=5.07 cores=0-31
/proc/24217/task/24242/stat : 24242 (plingeling) R 24215 24217 23801 0 -1 4202560 1334 1250 0 0 504 2 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236672 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24217/tid=24243] ppid=24215 vsize=1069012 CPUtime=4.91 cores=0-31
/proc/24217/task/24243/stat : 24243 (plingeling) R 24215 24217 23801 0 -1 4202560 2455 1250 0 0 486 4 0 1 20 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365857 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24217/tid=24244] ppid=24215 vsize=1069012 CPUtime=4.94 cores=0-31
/proc/24217/task/24244/stat : 24244 (plingeling) R 24215 24217 23801 0 -1 4202560 2615 1250 0 0 490 3 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24217/tid=24245] ppid=24215 vsize=1069012 CPUtime=4.97 cores=0-31
/proc/24217/task/24245/stat : 24245 (plingeling) R 24215 24217 23801 0 -1 4202560 2343 1250 0 0 490 6 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4232648 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24217/tid=24246] ppid=24215 vsize=1069012 CPUtime=5.08 cores=0-31
/proc/24217/task/24246/stat : 24246 (plingeling) R 24215 24217 23801 0 -1 4202560 1545 1250 0 0 504 3 0 1 20 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24217/tid=24247] ppid=24215 vsize=1069012 CPUtime=4.91 cores=0-31
/proc/24217/task/24247/stat : 24247 (plingeling) R 24215 24217 23801 0 -1 4202560 2277 1250 0 0 487 3 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4250072 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24217/tid=24248] ppid=24215 vsize=1069012 CPUtime=4.91 cores=0-31
/proc/24217/task/24248/stat : 24248 (plingeling) R 24215 24217 23801 0 -1 4202560 2497 1250 0 0 488 2 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24217/tid=24249] ppid=24215 vsize=1069012 CPUtime=4.94 cores=0-31
/proc/24217/task/24249/stat : 24249 (plingeling) R 24215 24217 23801 0 -1 4202560 2434 1250 0 0 491 2 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4356992 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24217/tid=24250] ppid=24215 vsize=1069012 CPUtime=5.05 cores=0-31
/proc/24217/task/24250/stat : 24250 (plingeling) R 24215 24217 23801 0 -1 4202560 1384 1250 0 0 502 2 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24217/tid=24251] ppid=24215 vsize=1069012 CPUtime=4.92 cores=0-31
/proc/24217/task/24251/stat : 24251 (plingeling) R 24215 24217 23801 0 -1 4202560 2444 1250 0 0 487 4 0 1 20 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24217/tid=24252] ppid=24215 vsize=1069012 CPUtime=4.83 cores=0-31
/proc/24217/task/24252/stat : 24252 (plingeling) R 24215 24217 23801 0 -1 4202560 2156 1250 0 0 478 4 0 1 25 0 33 0 716105190 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24217/tid=24253] ppid=24215 vsize=1069012 CPUtime=4.92 cores=0-31
/proc/24217/task/24253/stat : 24253 (plingeling) R 24215 24217 23801 0 -1 4202560 2650 1250 0 0 485 6 0 1 20 0 33 0 716105191 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4249184 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24217/tid=24254] ppid=24215 vsize=1069012 CPUtime=5.06 cores=0-31
/proc/24217/task/24254/stat : 24254 (plingeling) R 24215 24217 23801 0 -1 4202560 1332 1250 0 0 502 3 0 1 25 0 33 0 716105191 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24217/tid=24255] ppid=24215 vsize=1069012 CPUtime=4.83 cores=0-31
/proc/24217/task/24255/stat : 24255 (plingeling) R 24215 24217 23801 0 -1 4202560 2066 1250 0 0 480 2 0 1 25 0 33 0 716105191 1094668288 119195 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 161.78
Current children cumulated vsize (KiB) 1069012

[startup+8.30154 s]
/proc/loadavg: 27.18 29.81 31.14 33/446 24255
/proc/meminfo: memFree=255006464/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=1074620 CPUtime=174.56 cores=0-31
/proc/24217/stat : 24217 (plingeling) S 24215 24217 23801 0 -1 4202496 145231 1250 0 0 17308 147 0 1 19 0 33 0 716104912 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/24217/statm: 268655 121012 175 55 0 266541 0
[pid=24217/tid=24224] ppid=24215 vsize=1074620 CPUtime=5.35 cores=0-31
/proc/24217/task/24224/stat : 24224 (plingeling) R 24215 24217 23801 0 -1 4202560 2499 1250 0 0 529 5 0 1 21 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 18446744073699066063 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24217/tid=24225] ppid=24215 vsize=1074620 CPUtime=5.33 cores=0-31
/proc/24217/task/24225/stat : 24225 (plingeling) R 24215 24217 23801 0 -1 4202560 2433 1250 0 0 527 5 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4250977 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24217/tid=24226] ppid=24215 vsize=1074620 CPUtime=5.48 cores=0-31
/proc/24217/task/24226/stat : 24226 (plingeling) R 24215 24217 23801 0 -1 4202560 1673 1250 0 0 544 3 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4251187 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24217/tid=24227] ppid=24215 vsize=1074620 CPUtime=5.41 cores=0-31
/proc/24217/task/24227/stat : 24227 (plingeling) R 24215 24217 23801 0 -1 4202560 4956 1250 0 0 536 4 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24217/tid=24228] ppid=24215 vsize=1074620 CPUtime=5.18 cores=0-31
/proc/24217/task/24228/stat : 24228 (plingeling) R 24215 24217 23801 0 -1 4202560 2148 1250 0 0 514 3 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4353572 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24217/tid=24229] ppid=24215 vsize=1074620 CPUtime=5.5 cores=0-31
/proc/24217/task/24229/stat : 24229 (plingeling) R 24215 24217 23801 0 -1 4202560 2472 1250 0 0 544 5 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24217/tid=24230] ppid=24215 vsize=1074620 CPUtime=5.44 cores=0-31
/proc/24217/task/24230/stat : 24230 (plingeling) R 24215 24217 23801 0 -1 4202560 1543 1250 0 0 541 2 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4366450 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24217/tid=24231] ppid=24215 vsize=1074620 CPUtime=5.37 cores=0-31
/proc/24217/task/24231/stat : 24231 (plingeling) R 24215 24217 23801 0 -1 4202560 1880 1250 0 0 533 3 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24217/tid=24232] ppid=24215 vsize=1074620 CPUtime=5.44 cores=0-31
/proc/24217/task/24232/stat : 24232 (plingeling) R 24215 24217 23801 0 -1 4202560 2491 1250 0 0 539 4 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24217/tid=24233] ppid=24215 vsize=1074620 CPUtime=5.32 cores=0-31
/proc/24217/task/24233/stat : 24233 (plingeling) R 24215 24217 23801 0 -1 4202560 2441 1250 0 0 528 3 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236732 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24217/tid=24234] ppid=24215 vsize=1074620 CPUtime=5.47 cores=0-31
/proc/24217/task/24234/stat : 24234 (plingeling) R 24215 24217 23801 0 -1 4202560 3134 1250 0 0 543 3 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24217/tid=24235] ppid=24215 vsize=1074620 CPUtime=5.42 cores=0-31
/proc/24217/task/24235/stat : 24235 (plingeling) R 24215 24217 23801 0 -1 4202560 2520 1250 0 0 537 4 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4357621 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24217/tid=24236] ppid=24215 vsize=1074620 CPUtime=5.41 cores=0-31
/proc/24217/task/24236/stat : 24236 (plingeling) R 24215 24217 23801 0 -1 4202560 2370 1250 0 0 536 4 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24217/tid=24237] ppid=24215 vsize=1074620 CPUtime=5.37 cores=0-31
/proc/24217/task/24237/stat : 24237 (plingeling) R 24215 24217 23801 0 -1 4202560 2416 1250 0 0 531 5 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24217/tid=24238] ppid=24215 vsize=1074620 CPUtime=5.46 cores=0-31
/proc/24217/task/24238/stat : 24238 (plingeling) R 24215 24217 23801 0 -1 4202560 1540 1250 0 0 544 1 0 1 25 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4353636 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24217/tid=24239] ppid=24215 vsize=1074620 CPUtime=5.32 cores=0-31
/proc/24217/task/24239/stat : 24239 (plingeling) R 24215 24217 23801 0 -1 4202560 2275 1250 0 0 527 4 0 1 18 0 33 0 716105189 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4366806 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24217/tid=24240] ppid=24215 vsize=1074620 CPUtime=5.3 cores=0-31
/proc/24217/task/24240/stat : 24240 (plingeling) R 24215 24217 23801 0 -1 4202560 2092 1250 0 0 525 4 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24217/tid=24241] ppid=24215 vsize=1074620 CPUtime=5.32 cores=0-31
/proc/24217/task/24241/stat : 24241 (plingeling) R 24215 24217 23801 0 -1 4202560 2305 1250 0 0 525 6 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24217/tid=24242] ppid=24215 vsize=1074620 CPUtime=5.47 cores=0-31
/proc/24217/task/24242/stat : 24242 (plingeling) R 24215 24217 23801 0 -1 4202560 1418 1250 0 0 544 2 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24217/tid=24243] ppid=24215 vsize=1074620 CPUtime=5.31 cores=0-31
/proc/24217/task/24243/stat : 24243 (plingeling) R 24215 24217 23801 0 -1 4202560 2455 1250 0 0 526 4 0 1 21 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4264994 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24217/tid=24244] ppid=24215 vsize=1074620 CPUtime=5.34 cores=0-31
/proc/24217/task/24244/stat : 24244 (plingeling) R 24215 24217 23801 0 -1 4202560 2615 1250 0 0 530 3 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4344131 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24217/tid=24245] ppid=24215 vsize=1074620 CPUtime=5.37 cores=0-31
/proc/24217/task/24245/stat : 24245 (plingeling) R 24215 24217 23801 0 -1 4202560 2390 1250 0 0 530 6 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4245638 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24217/tid=24246] ppid=24215 vsize=1074620 CPUtime=5.48 cores=0-31
/proc/24217/task/24246/stat : 24246 (plingeling) R 24215 24217 23801 0 -1 4202560 1670 1250 0 0 544 3 0 1 21 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24217/tid=24247] ppid=24215 vsize=1074620 CPUtime=5.31 cores=0-31
/proc/24217/task/24247/stat : 24247 (plingeling) R 24215 24217 23801 0 -1 4202560 2277 1250 0 0 527 3 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24217/tid=24248] ppid=24215 vsize=1074620 CPUtime=5.31 cores=0-31
/proc/24217/task/24248/stat : 24248 (plingeling) R 24215 24217 23801 0 -1 4202560 2588 1250 0 0 528 2 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4357379 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24217/tid=24249] ppid=24215 vsize=1074620 CPUtime=5.34 cores=0-31
/proc/24217/task/24249/stat : 24249 (plingeling) R 24215 24217 23801 0 -1 4202560 2725 1250 0 0 531 2 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24217/tid=24250] ppid=24215 vsize=1074620 CPUtime=5.45 cores=0-31
/proc/24217/task/24250/stat : 24250 (plingeling) R 24215 24217 23801 0 -1 4202560 1463 1250 0 0 542 2 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24217/tid=24251] ppid=24215 vsize=1074620 CPUtime=5.32 cores=0-31
/proc/24217/task/24251/stat : 24251 (plingeling) R 24215 24217 23801 0 -1 4202560 2499 1250 0 0 527 4 0 1 21 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24217/tid=24252] ppid=24215 vsize=1074620 CPUtime=5.23 cores=0-31
/proc/24217/task/24252/stat : 24252 (plingeling) R 24215 24217 23801 0 -1 4202560 2156 1250 0 0 518 4 0 1 25 0 33 0 716105190 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24217/tid=24253] ppid=24215 vsize=1074620 CPUtime=5.32 cores=0-31
/proc/24217/task/24253/stat : 24253 (plingeling) R 24215 24217 23801 0 -1 4202560 2732 1250 0 0 525 6 0 1 21 0 33 0 716105191 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24217/tid=24254] ppid=24215 vsize=1074620 CPUtime=5.46 cores=0-31
/proc/24217/task/24254/stat : 24254 (plingeling) R 24215 24217 23801 0 -1 4202560 1437 1250 0 0 542 3 0 1 25 0 33 0 716105191 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24217/tid=24255] ppid=24215 vsize=1074620 CPUtime=5.22 cores=0-31
/proc/24217/task/24255/stat : 24255 (plingeling) R 24215 24217 23801 0 -1 4202560 2127 1250 0 0 519 2 0 1 25 0 33 0 716105191 1100410880 121012 268435456000 4194304 4417452 140735347813664 18446744073709551615 258650718336 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 174.56
Current children cumulated vsize (KiB) 1074620

[startup+8.70155 s]
/proc/loadavg: 27.18 29.81 31.14 33/446 24255
/proc/meminfo: memFree=254983224/264257624 swapFree=67111528/67111528
[pid=24217] ppid=24215 vsize=1087376 CPUtime=187.84 cores=0-31
/proc/24217/stat : 24217 (plingeling) S 24215 24217 23801 0 -1 4202496 148654 1250 0 0 18635 148 0 1 17 0 15 0 716104912 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/24217/statm: 271844 124391 176 55 0 269730 0
[pid=24217/tid=24226] ppid=24215 vsize=1087376 CPUtime=5.9 cores=0-31
/proc/24217/task/24226/stat : 24226 (plingeling) R 24215 24217 23801 0 -1 4202560 2019 1250 0 0 586 3 0 1 25 0 15 0 716105189 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4353699 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24217/tid=24229] ppid=24215 vsize=1087376 CPUtime=5.92 cores=0-31
/proc/24217/task/24229/stat : 24229 (plingeling) R 24215 24217 23801 0 -1 4202560 2657 1250 0 0 586 5 0 1 25 0 15 0 716105189 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24217/tid=24233] ppid=24215 vsize=1087376 CPUtime=5.73 cores=0-31
/proc/24217/task/24233/stat : 24233 (plingeling) R 24215 24217 23801 0 -1 4202560 2441 1250 0 0 569 3 0 1 25 0 15 0 716105189 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24217/tid=24235] ppid=24215 vsize=1087376 CPUtime=5.84 cores=0-31
/proc/24217/task/24235/stat : 24235 (plingeling) R 24215 24217 23801 0 -1 4202560 2845 1250 0 0 579 4 0 1 25 0 15 0 716105189 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24217/tid=24237] ppid=24215 vsize=1087376 CPUtime=5.79 cores=0-31
/proc/24217/task/24237/stat : 24237 (plingeling) R 24215 24217 23801 0 -1 4202560 2416 1250 0 0 573 5 0 1 25 0 15 0 716105189 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4320859 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24217/tid=24239] ppid=24215 vsize=1087376 CPUtime=5.74 cores=0-31
/proc/24217/task/24239/stat : 24239 (plingeling) R 24215 24217 23801 0 -1 4202560 2275 1250 0 0 569 4 0 1 18 0 15 0 716105189 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24217/tid=24241] ppid=24215 vsize=1087376 CPUtime=5.74 cores=0-31
/proc/24217/task/24241/stat : 24241 (plingeling) R 24215 24217 23801 0 -1 4202564 2305 1250 0 0 567 6 0 1 25 0 15 0 716105190 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 258662754232 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24217/tid=24242] ppid=24215 vsize=1087376 CPUtime=5.89 cores=0-31
/proc/24217/task/24242/stat : 24242 (plingeling) R 24215 24217 23801 0 -1 4202560 1545 1250 0 0 586 2 0 1 25 0 14 0 716105190 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24217/tid=24243] ppid=24215 vsize=1087376 CPUtime=5.73 cores=0-31
/proc/24217/task/24243/stat : 24243 (plingeling) R 24215 24217 23801 0 -1 4202560 2455 1250 0 0 568 4 0 1 22 0 14 0 716105190 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365155 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24217/tid=24245] ppid=24215 vsize=1087376 CPUtime=5.79 cores=0-31
/proc/24217/task/24245/stat : 24245 (plingeling) R 24215 24217 23801 0 -1 4202560 2390 1250 0 0 572 6 0 1 25 0 14 0 716105190 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24217/tid=24246] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/24217/task/24246/stat : -- couldn't open stat file --[pid=24217/tid=24253] ppid=24215 vsize=1087376 CPUtime=5.74 cores=0-31
/proc/24217/task/24253/stat : 24253 (plingeling) R 24215 24217 23801 0 -1 4202560 2803 1250 0 0 567 6 0 1 22 0 13 0 716105191 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 258650614736 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24217/tid=24254] ppid=24215 vsize=1087376 CPUtime=5.88 cores=0-31
/proc/24217/task/24254/stat : 24254 (plingeling) R 24215 24217 23801 0 -1 4202560 1614 1250 0 0 584 3 0 1 25 0 13 0 716105191 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24217/tid=24255] ppid=24215 vsize=1087376 CPUtime=5.64 cores=0-31
/proc/24217/task/24255/stat : 24255 (plingeling) R 24215 24217 23801 0 -1 4202560 2286 1250 0 0 561 2 0 1 25 0 13 0 716105191 1113473024 124391 268435456000 4194304 4417452 140735347813664 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 187.84
Current children cumulated vsize (KiB) 1087376

Child status: 10
Real time (s): 8.78861
CPU time (s): 188.113
CPU user time (s): 186.567
CPU system time (s): 1.54676
CPU usage (%): 2140.42
Max. virtual memory (cumulated for all children) (KiB): 1087376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.567
system time used= 1.54676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150004
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= 1526
involuntary context switches= 475

runsolver used 0.06499 second user time and 0.242963 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 08:36:25
IDJOB=3372786
IDBENCH=83445
IDSOLVER=1852
FILE ID=node200/3372786-1306046185
RUNJOBID= node200-1306045988-23815
PBS_JOBID= 13387806
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372786-1306046185/watcher-3372786-1306046185 -o /tmp/evaluation-result-3372786-1306046185/solver-3372786-1306046185 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372786-1306046185.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1219930954

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255482448 kB
Buffers:        454620 kB
Cached:        7902296 kB
SwapCached:          0 kB
Active:        7430740 kB
Inactive:       995116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255482448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4148 kB
Writeback:           0 kB
AnonPages:       69092 kB
Mapped:          14484 kB
Slab:           252764 kB
PageTables:       4372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   180100 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-22 08:36:34