Trace number 3309906

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587SAT 156.4 19.9344

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 benchmark1.12283
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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309906-1304014434/watcher-3309906-1304014434 -o /tmp/evaluation-result-3309906-1304014434/solver-3309906-1304014434 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309906-1304014434.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.55 7.86 7.93 1/170 27161
/proc/meminfo: memFree=16749696/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=9744 CPUtime=0 cores=0-7
/proc/27161/stat : 27161 (plingeling) R 27159 27161 26251 0 -1 4202496 520 1253 0 0 0 0 0 0 23 0 1 0 513041889 9977856 450 33554432000 4194304 4417332 140736615413824 18446744073709551615 210204341199 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27161/statm: 2436 450 147 55 0 322 0

[startup+0.00832601 s]
/proc/loadavg: 7.55 7.86 7.93 1/170 27161
/proc/meminfo: memFree=16749696/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=10096 CPUtime=0 cores=0-7
/proc/27161/stat : 27161 (plingeling) R 27159 27161 26251 0 -1 4202496 600 1253 0 0 0 0 0 0 23 0 1 0 513041889 10338304 530 33554432000 4194304 4417332 140736615413824 18446744073709551615 4260118 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27161/statm: 2524 530 147 55 0 410 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10096

[startup+0.10029 s]
/proc/loadavg: 7.55 7.86 7.93 1/170 27161
/proc/meminfo: memFree=16749696/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=26064 CPUtime=0.08 cores=0-7
/proc/27161/stat : 27161 (plingeling) R 27159 27161 26251 0 -1 4202496 4849 1253 0 0 8 0 0 0 23 0 1 0 513041889 26689536 4539 33554432000 4194304 4417332 140736615413824 18446744073709551615 4227850 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27161/statm: 6516 4539 148 55 0 4402 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26064

[startup+0.300258 s]
/proc/loadavg: 7.55 7.86 7.93 1/170 27161
/proc/meminfo: memFree=16749696/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=79312 CPUtime=0.29 cores=0-7
/proc/27161/stat : 27161 (plingeling) R 27159 27161 26251 0 -1 4202496 18161 1253 0 0 27 2 0 0 25 0 1 0 513041889 81215488 17851 33554432000 4194304 4417332 140736615413824 18446744073709551615 4323180 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27161/statm: 19828 17851 148 55 0 17714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79312

[startup+0.70015 s]
/proc/loadavg: 7.55 7.86 7.93 1/170 27161
/proc/meminfo: memFree=16749696/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=224864 CPUtime=2.91 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 21051 1253 0 0 289 2 0 0 18 0 9 0 513041889 230260736 17469 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 56216 17469 175 55 0 54102 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 224864

[startup+1.50102 s]
/proc/loadavg: 7.55 7.86 7.93 9/179 27175
/proc/meminfo: memFree=16676952/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=255540 CPUtime=9.32 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 29558 1253 0 0 927 5 0 0 18 0 9 0 513041889 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 63885 25199 179 55 0 61771 0
[pid=27161/tid=27168] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 1313 1253 0 0 111 0 0 0 19 0 9 0 513041926 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4277442 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 1212 1253 0 0 111 0 0 0 25 0 9 0 513041926 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4295209 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 1270 1253 0 0 111 0 0 0 25 0 9 0 513041926 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4282356 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 1979 1253 0 0 111 0 0 0 19 0 9 0 513041926 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4237180 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 1380 1253 0 0 111 0 0 0 19 0 9 0 513041926 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 1407 1253 0 0 111 0 0 0 22 0 9 0 513041926 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=255540 CPUtime=1.1 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 1322 1253 0 0 110 0 0 0 22 0 9 0 513041927 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=255540 CPUtime=1.11 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 1498 1253 0 0 111 0 0 0 22 0 9 0 513041927 261672960 25199 33554432000 4194304 4417332 140736615413824 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 255540

[startup+3.10075 s]
/proc/loadavg: 7.55 7.86 7.93 9/179 27175
/proc/meminfo: memFree=16647440/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=274116 CPUtime=22.1 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 37751 1253 0 0 2203 7 0 0 18 0 9 0 513041889 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 68529 29876 181 55 0 66415 0
[pid=27161/tid=27168] ppid=27159 vsize=274116 CPUtime=2.71 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 2510 1253 0 0 271 0 0 0 23 0 9 0 513041926 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249909 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=274116 CPUtime=2.71 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 2218 1253 0 0 271 0 0 0 25 0 9 0 513041926 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=274116 CPUtime=2.71 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 1374 1253 0 0 271 0 0 0 25 0 9 0 513041926 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=274116 CPUtime=2.72 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 4714 1253 0 0 271 1 0 0 23 0 9 0 513041926 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4357136 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=274116 CPUtime=2.71 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 2300 1253 0 0 271 0 0 0 23 0 9 0 513041926 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=274116 CPUtime=2.71 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 2206 1253 0 0 271 0 0 0 25 0 9 0 513041926 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4250082 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=274116 CPUtime=2.7 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 1748 1253 0 0 270 0 0 0 25 0 9 0 513041927 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=274116 CPUtime=2.71 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 2504 1253 0 0 271 0 0 0 25 0 9 0 513041927 280694784 29876 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.1
Current children cumulated vsize (KiB) 274116

[startup+6.30122 s]
/proc/loadavg: 7.59 7.86 7.93 9/179 27175
/proc/meminfo: memFree=16616080/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=299632 CPUtime=47.69 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 47982 1253 0 0 4760 9 0 0 18 0 9 0 513041889 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 74908 36184 181 55 0 72794 0
[pid=27161/tid=27168] ppid=27159 vsize=299632 CPUtime=5.91 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 2889 1253 0 0 591 0 0 0 25 0 9 0 513041926 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=299632 CPUtime=5.9 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 3410 1253 0 0 590 0 0 0 25 0 9 0 513041926 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364473 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=299632 CPUtime=5.91 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 2867 1253 0 0 591 0 0 0 25 0 9 0 513041926 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=299632 CPUtime=5.91 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 8231 1253 0 0 590 1 0 0 25 0 9 0 513041926 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=299632 CPUtime=5.91 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 3058 1253 0 0 590 1 0 0 25 0 9 0 513041926 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4346418 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=299632 CPUtime=5.91 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 3465 1253 0 0 591 0 0 0 25 0 9 0 513041926 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4306084 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=299632 CPUtime=5.88 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 2421 1253 0 0 588 0 0 0 25 0 9 0 513041927 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4253542 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=299632 CPUtime=5.91 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 3464 1253 0 0 591 0 0 0 25 0 9 0 513041927 306823168 36184 33554432000 4194304 4417332 140736615413824 18446744073709551615 4265411 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.69
Current children cumulated vsize (KiB) 299632

[startup+12.7012 s]
/proc/loadavg: 7.62 7.86 7.93 9/179 27175
/proc/meminfo: memFree=16605100/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=303652 CPUtime=98.85 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 75281 1253 0 0 9871 14 0 0 18 0 9 0 513041889 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 75913 37212 181 55 0 73799 0
[pid=27161/tid=27168] ppid=27159 vsize=303652 CPUtime=12.31 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 4383 1253 0 0 1231 0 0 0 25 0 9 0 513041926 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4237214 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=303652 CPUtime=12.31 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 5998 1253 0 0 1230 1 0 0 25 0 9 0 513041926 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=303652 CPUtime=12.31 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 6935 1253 0 0 1230 1 0 0 25 0 9 0 513041926 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=303652 CPUtime=12.31 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 16825 1253 0 0 1228 3 0 0 25 0 9 0 513041926 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4250938 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=303652 CPUtime=12.31 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 5651 1253 0 0 1230 1 0 0 25 0 9 0 513041926 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=303652 CPUtime=12.31 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 5978 1253 0 0 1230 1 0 0 25 0 9 0 513041926 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364365 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=303652 CPUtime=12.25 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 6220 1253 0 0 1224 1 0 0 25 0 9 0 513041927 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=303652 CPUtime=12.3 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 5114 1253 0 0 1230 0 0 0 25 0 9 0 513041927 310939648 37212 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.85
Current children cumulated vsize (KiB) 303652

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

[startup+15.9006 s]
/proc/loadavg: 7.65 7.86 7.93 9/179 27175
/proc/meminfo: memFree=16598900/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=299548 CPUtime=124.44 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 87408 1253 0 0 12426 18 0 0 18 0 9 0 513041889 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 74887 36194 181 55 0 72773 0
[pid=27161/tid=27168] ppid=27159 vsize=299548 CPUtime=15.51 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 5344 1253 0 0 1550 1 0 0 25 0 9 0 513041926 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=299548 CPUtime=15.51 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 7235 1253 0 0 1550 1 0 0 25 0 9 0 513041926 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4331666 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=299548 CPUtime=15.51 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 8132 1253 0 0 1550 1 0 0 25 0 9 0 513041926 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364990 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=299548 CPUtime=15.5 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 20472 1253 0 0 1546 4 0 0 25 0 9 0 513041926 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=299548 CPUtime=15.5 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 6513 1253 0 0 1549 1 0 0 25 0 9 0 513041926 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=299548 CPUtime=15.51 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 7934 1253 0 0 1550 1 0 0 18 0 9 0 513041926 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=299548 CPUtime=15.43 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 7391 1253 0 0 1542 1 0 0 25 0 9 0 513041927 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=299548 CPUtime=15.51 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 6210 1253 0 0 1550 1 0 0 25 0 9 0 513041927 306737152 36194 33554432000 4194304 4417332 140736615413824 18446744073709551615 4248897 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 124.44
Current children cumulated vsize (KiB) 299548

[startup+17.5004 s]
/proc/loadavg: 7.65 7.86 7.93 9/179 27175
/proc/meminfo: memFree=16594816/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=314648 CPUtime=137.26 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 93802 1253 0 0 13707 19 0 0 18 0 9 0 513041889 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 78662 39977 181 55 0 76548 0
[pid=27161/tid=27168] ppid=27159 vsize=314648 CPUtime=17.12 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 6173 1253 0 0 1711 1 0 0 25 0 9 0 513041926 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364706 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=314648 CPUtime=17.11 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 7659 1253 0 0 1710 1 0 0 25 0 9 0 513041926 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=314648 CPUtime=17.11 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 9111 1253 0 0 1710 1 0 0 25 0 9 0 513041926 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4356899 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=314648 CPUtime=17.11 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 21556 1253 0 0 1707 4 0 0 25 0 9 0 513041926 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4250447 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=314648 CPUtime=17.12 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 7489 1253 0 0 1710 2 0 0 25 0 9 0 513041926 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4236755 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=314648 CPUtime=17.11 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 8510 1253 0 0 1710 1 0 0 21 0 9 0 513041926 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4353484 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=314648 CPUtime=17.03 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 8296 1253 0 0 1701 2 0 0 25 0 9 0 513041927 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=314648 CPUtime=17.11 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 6831 1253 0 0 1710 1 0 0 25 0 9 0 513041927 322199552 39977 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 137.26
Current children cumulated vsize (KiB) 314648

[startup+19.1011 s]
/proc/loadavg: 7.76 7.88 7.94 9/179 27175
/proc/meminfo: memFree=16599032/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=316308 CPUtime=150.02 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 104020 1253 0 0 14981 21 0 0 18 0 9 0 513041889 323899392 40392 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 79077 40392 181 55 0 76963 0
[pid=27161/tid=27168] ppid=27159 vsize=316308 CPUtime=18.71 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 6998 1253 0 0 1870 1 0 0 25 0 9 0 513041926 323899392 40392 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364899 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=316308 CPUtime=18.7 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 8371 1253 0 0 1869 1 0 0 25 0 9 0 513041926 323899392 40392 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=316308 CPUtime=18.7 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 10169 1253 0 0 1869 1 0 0 25 0 9 0 513041926 323899392 40391 33554432000 4194304 4417332 140736615413824 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=316308 CPUtime=18.71 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 23616 1253 0 0 1866 5 0 0 25 0 9 0 513041926 323899392 40391 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=316308 CPUtime=18.71 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 9176 1253 0 0 1869 2 0 0 25 0 9 0 513041926 323899392 40391 33554432000 4194304 4417332 140736615413824 18446744073709551615 4366081 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=316308 CPUtime=18.71 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 10246 1253 0 0 1869 2 0 0 25 0 9 0 513041926 323899392 40391 33554432000 4194304 4417332 140736615413824 18446744073709551615 4366058 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=316308 CPUtime=18.62 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 9725 1253 0 0 1860 2 0 0 25 0 9 0 513041927 323899392 40391 33554432000 4194304 4417332 140736615413824 18446744073709551615 4357822 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=316308 CPUtime=18.71 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 7542 1253 0 0 1870 1 0 0 25 0 9 0 513041927 323899392 40391 33554432000 4194304 4417332 140736615413824 18446744073709551615 210204690791 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (KiB) 316308

[startup+19.501 s]
/proc/loadavg: 7.76 7.88 7.94 9/179 27175
/proc/meminfo: memFree=16599032/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=323100 CPUtime=153.22 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 107743 1253 0 0 15300 22 0 0 18 0 9 0 513041889 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 80775 42100 181 55 0 78661 0
[pid=27161/tid=27168] ppid=27159 vsize=323100 CPUtime=19.11 cores=0-7
/proc/27161/task/27168/stat : 27168 (plingeling) R 27159 27161 26251 0 -1 4202560 6998 1253 0 0 1910 1 0 0 25 0 9 0 513041926 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27161/tid=27169] ppid=27159 vsize=323100 CPUtime=19.1 cores=0-7
/proc/27161/task/27169/stat : 27169 (plingeling) R 27159 27161 26251 0 -1 4202560 8371 1253 0 0 1909 1 0 0 25 0 9 0 513041926 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27161/tid=27170] ppid=27159 vsize=323100 CPUtime=19.11 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 11748 1253 0 0 1909 2 0 0 25 0 9 0 513041926 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27171] ppid=27159 vsize=323100 CPUtime=19.11 cores=0-7
/proc/27161/task/27171/stat : 27171 (plingeling) R 27159 27161 26251 0 -1 4202560 23874 1253 0 0 1906 5 0 0 25 0 9 0 513041926 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27161/tid=27172] ppid=27159 vsize=323100 CPUtime=19.11 cores=0-7
/proc/27161/task/27172/stat : 27172 (plingeling) R 27159 27161 26251 0 -1 4202560 9912 1253 0 0 1909 2 0 0 25 0 9 0 513041926 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4259634 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=323100 CPUtime=19.11 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 10518 1253 0 0 1909 2 0 0 25 0 9 0 513041926 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=323100 CPUtime=19.01 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 10379 1253 0 0 1899 2 0 0 25 0 9 0 513041927 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27161/tid=27175] ppid=27159 vsize=323100 CPUtime=19.11 cores=0-7
/proc/27161/task/27175/stat : 27175 (plingeling) R 27159 27161 26251 0 -1 4202560 7766 1253 0 0 1910 1 0 0 25 0 9 0 513041927 330854400 42100 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 153.22
Current children cumulated vsize (KiB) 323100

[startup+19.901 s]
/proc/loadavg: 7.76 7.88 7.94 9/179 27175
/proc/meminfo: memFree=16577580/32951124 swapFree=67111528/67111528
[pid=27161] ppid=27159 vsize=330444 CPUtime=156.33 cores=0-7
/proc/27161/stat : 27161 (plingeling) S 27159 27161 26251 0 -1 4202496 112222 1253 0 0 15610 23 0 0 17 0 4 0 513041889 338374656 43937 33554432000 4194304 4417332 140736615413824 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27161/statm: 82611 43937 182 55 0 80497 0
[pid=27161/tid=27170] ppid=27159 vsize=330444 CPUtime=19.51 cores=0-7
/proc/27161/task/27170/stat : 27170 (plingeling) R 27159 27161 26251 0 -1 4202560 11748 1253 0 0 1949 2 0 0 25 0 4 0 513041926 338374656 43937 33554432000 4194304 4417332 140736615413824 18446744073709551615 4354392 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27161/tid=27173] ppid=27159 vsize=330444 CPUtime=19.51 cores=0-7
/proc/27161/task/27173/stat : 27173 (plingeling) R 27159 27161 26251 0 -1 4202560 11479 1253 0 0 1949 2 0 0 25 0 4 0 513041926 338374656 43937 33554432000 4194304 4417332 140736615413824 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27161/tid=27174] ppid=27159 vsize=330444 CPUtime=19.41 cores=0-7
/proc/27161/task/27174/stat : 27174 (plingeling) R 27159 27161 26251 0 -1 4202560 10753 1253 0 0 1939 2 0 0 25 0 4 0 513041927 338374656 43937 33554432000 4194304 4417332 140736615413824 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 156.33
Current children cumulated vsize (KiB) 330444

Child status: 10
Real time (s): 19.9344
CPU time (s): 156.4
CPU user time (s): 156.148
CPU system time (s): 0.251961
CPU usage (%): 784.573
Max. virtual memory (cumulated for all children) (KiB): 331964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.148
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113586
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= 278
involuntary context switches= 687

runsolver used 0.034994 second user time and 0.073988 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-28 20:13:54
IDJOB=3309906
IDBENCH=83445
IDSOLVER=1695
FILE ID=node130/3309906-1304014434
RUNJOBID= node130-1304008132-26265
PBS_JOBID= 13168841
Free space on /tmp= 71992 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309906-1304014434/watcher-3309906-1304014434 -o /tmp/evaluation-result-3309906-1304014434/solver-3309906-1304014434 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3309906-1304014434.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1855101556

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16749728 kB
Buffers:       2125916 kB
Cached:       13453748 kB
SwapCached:          0 kB
Active:        7416272 kB
Inactive:      8227028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16749728 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4180 kB
Writeback:           0 kB
AnonPages:       63976 kB
Mapped:          14888 kB
Slab:           490184 kB
PageTables:       5256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189820 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71992 MiB
End job on node130 at 2011-04-28 20:14:14