Trace number 3310344

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
ppfolio parSAT 44.3933 5.64344

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 

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

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-3310344-1304014428/watcher-3310344-1304014428 -o /tmp/evaluation-result-3310344-1304014428/solver-3310344-1304014428 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3310344-1304014428.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.51 7.85 7.93 2/170 27119
/proc/meminfo: memFree=16741920/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 6 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0

[startup+0.070748 s]
/proc/loadavg: 7.51 7.85 7.93 2/170 27119
/proc/meminfo: memFree=16741920/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.10074 s]
/proc/loadavg: 7.51 7.85 7.93 2/170 27119
/proc/meminfo: memFree=16741920/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300675 s]
/proc/loadavg: 7.51 7.85 7.93 2/170 27119
/proc/meminfo: memFree=16741920/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700609 s]
/proc/loadavg: 7.51 7.85 7.93 2/170 27119
/proc/meminfo: memFree=16741920/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 25 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50047 s]
/proc/loadavg: 7.51 7.85 7.93 9/180 27134
/proc/meminfo: memFree=16611640/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 17 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
[pid=27120] ppid=27119 vsize=53428 CPUtime=1.49 cores=0
/proc/27120/stat : 27120 (cryptominisat) R 27119 27119 26251 0 -1 4202496 11498 0 0 0 148 1 0 0 25 0 1 0 513041275 54710272 8552 33554432000 4194304 4587354 140736539213520 18446744073709551615 4388279 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27120/statm: 13357 8552 316 96 0 9919 0
[pid=27121] ppid=27119 vsize=31496 CPUtime=1.48 cores=1
/proc/27121/stat : 27121 (clasp) R 27119 27119 26251 0 -1 4202496 6138 0 0 0 148 0 0 0 20 0 1 0 513041275 32251904 5233 33554432000 4194304 4785740 140736215930768 18446744073709551615 4553366 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27121/statm: 7874 5233 341 145 0 4919 0
[pid=27122] ppid=27119 vsize=465876 CPUtime=1.48 cores=2
/proc/27122/stat : 27122 (TNM) R 27119 27119 26251 0 -1 4202496 4275 0 0 0 148 0 0 0 20 0 1 0 513041275 477057024 4172 33554432000 134512640 134534564 4292764656 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27122/statm: 116469 4172 91 6 0 115135 0
[pid=27123] ppid=27119 vsize=59608 CPUtime=1.48 cores=3
/proc/27123/stat : 27123 (march_hi) R 27119 27119 26251 0 -1 4202496 29807 0 0 0 144 4 0 0 20 0 1 0 513041275 61038592 10750 33554432000 4194304 4331988 140736433926608 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27123/statm: 14902 10750 151 34 0 13344 0
[pid=27124] ppid=27119 vsize=172124 CPUtime=5.37 cores=4-7
/proc/27124/stat : 27124 (plingeling) S 27119 27119 26251 0 -1 4202496 18054 1249 0 0 535 2 0 0 18 0 5 0 513041275 176254976 15073 33554432000 4194304 4356188 140737335275680 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27124/statm: 43031 15073 162 40 0 41575 0
[pid=27124/tid=27131] ppid=27119 vsize=172124 CPUtime=1.29 cores=4-7
/proc/27124/task/27131/stat : 27131 (plingeling) R 27119 27119 26251 0 -1 4202560 2237 1249 0 0 129 0 0 0 19 0 5 0 513041295 176254976 15073 33554432000 4194304 4356188 140737335275680 18446744073709551615 4208868 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27124/tid=27132] ppid=27119 vsize=172124 CPUtime=1.29 cores=4-7
/proc/27124/task/27132/stat : 27132 (plingeling) R 27119 27119 26251 0 -1 4202560 2406 1249 0 0 129 0 0 0 25 0 5 0 513041295 176254976 15073 33554432000 4194304 4356188 140737335275680 18446744073709551615 4271312 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27124/tid=27133] ppid=27119 vsize=172124 CPUtime=1.29 cores=4-7
/proc/27124/task/27133/stat : 27133 (plingeling) R 27119 27119 26251 0 -1 4202560 2285 1249 0 0 129 0 0 0 22 0 5 0 513041295 176254976 15073 33554432000 4194304 4356188 140737335275680 18446744073709551615 4271335 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27124/tid=27134] ppid=27119 vsize=172124 CPUtime=1.29 cores=4-7
/proc/27124/task/27134/stat : 27134 (plingeling) R 27119 27119 26251 0 -1 4202560 1968 1249 0 0 129 0 0 0 22 0 5 0 513041295 176254976 15073 33554432000 4194304 4356188 140737335275680 18446744073709551615 4234300 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.3
Current children cumulated vsize (KiB) 800856

[startup+3.10121 s]
/proc/loadavg: 7.51 7.85 7.93 9/180 27134
/proc/meminfo: memFree=16550136/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
[pid=27120] ppid=27119 vsize=49040 CPUtime=3.09 cores=0
/proc/27120/stat : 27120 (cryptominisat) R 27119 27119 26251 0 -1 4202496 14661 0 0 0 308 1 0 0 25 0 1 0 513041275 50216960 7978 33554432000 4194304 4587354 140736539213520 18446744073709551615 4420384 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27120/statm: 12260 7978 327 96 0 8822 0
[pid=27121] ppid=27119 vsize=38560 CPUtime=3.09 cores=1
/proc/27121/stat : 27121 (clasp) R 27119 27119 26251 0 -1 4202496 7820 0 0 0 308 1 0 0 25 0 1 0 513041275 39485440 6915 33554432000 4194304 4785740 140736215930768 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27121/statm: 9640 6915 341 145 0 6685 0
[pid=27122] ppid=27119 vsize=465876 CPUtime=3.08 cores=2
/proc/27122/stat : 27122 (TNM) R 27119 27119 26251 0 -1 4202496 4275 0 0 0 308 0 0 0 25 0 1 0 513041275 477057024 4172 33554432000 134512640 134534564 4292764656 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27122/statm: 116469 4172 91 6 0 115135 0
[pid=27123] ppid=27119 vsize=115720 CPUtime=3.09 cores=3
/proc/27123/stat : 27123 (march_hi) R 27119 27119 26251 0 -1 4202496 43806 0 0 0 302 7 0 0 25 0 1 0 513041275 118497280 24749 33554432000 4194304 4331988 140736433926608 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27123/statm: 28930 24749 151 34 0 27372 0
[pid=27124] ppid=27119 vsize=173484 CPUtime=11.77 cores=4-7
/proc/27124/stat : 27124 (plingeling) S 27119 27119 26251 0 -1 4202496 19875 1249 0 0 1174 3 0 0 18 0 5 0 513041275 177647616 15413 33554432000 4194304 4356188 140737335275680 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27124/statm: 43371 15413 162 40 0 41915 0
[pid=27124/tid=27131] ppid=27119 vsize=173484 CPUtime=2.89 cores=4-7
/proc/27124/task/27131/stat : 27131 (plingeling) R 27119 27119 26251 0 -1 4202560 2589 1249 0 0 289 0 0 0 24 0 5 0 513041295 177647616 15413 33554432000 4194304 4356188 140737335275680 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27124/tid=27132] ppid=27119 vsize=173484 CPUtime=2.89 cores=4-7
/proc/27124/task/27132/stat : 27132 (plingeling) R 27119 27119 26251 0 -1 4202560 2739 1249 0 0 289 0 0 0 25 0 5 0 513041295 177647616 15413 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27124/tid=27133] ppid=27119 vsize=173484 CPUtime=2.89 cores=4-7
/proc/27124/task/27133/stat : 27133 (plingeling) R 27119 27119 26251 0 -1 4202560 2756 1249 0 0 289 0 0 0 25 0 5 0 513041295 177647616 15413 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27124/tid=27134] ppid=27119 vsize=173484 CPUtime=2.88 cores=4-7
/proc/27124/task/27134/stat : 27134 (plingeling) R 27119 27119 26251 0 -1 4202560 2633 1249 0 0 288 0 0 0 25 0 5 0 513041295 177647616 15413 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 861004

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

[startup+4.70094 s]
/proc/loadavg: 7.55 7.86 7.93 9/180 27134
/proc/meminfo: memFree=16452776/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
[pid=27120] ppid=27119 vsize=1215440 CPUtime=4.69 cores=0
/proc/27120/stat : 27120 (cryptominisat) R 27119 27119 26251 0 -1 4202496 16677 0 0 0 467 2 0 0 25 0 1 0 513041275 1244610560 7920 33554432000 4194304 4587354 140736539213520 18446744073709551615 4230288 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27120/statm: 303860 7920 338 96 0 300422 0
[pid=27121] ppid=27119 vsize=44300 CPUtime=4.69 cores=1
/proc/27121/stat : 27121 (clasp) R 27119 27119 26251 0 -1 4202496 9204 0 0 0 468 1 0 0 25 0 1 0 513041275 45363200 8299 33554432000 4194304 4785740 140736215930768 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27121/statm: 11075 8299 341 145 0 8120 0
[pid=27122] ppid=27119 vsize=465876 CPUtime=4.68 cores=2
/proc/27122/stat : 27122 (TNM) R 27119 27119 26251 0 -1 4202496 4275 0 0 0 468 0 0 0 25 0 1 0 513041275 477057024 4172 33554432000 134512640 134534564 4292764656 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27122/statm: 116469 4172 91 6 0 115135 0
[pid=27123] ppid=27119 vsize=191116 CPUtime=4.68 cores=3
/proc/27123/stat : 27123 (march_hi) R 27119 27119 26251 0 -1 4202496 59890 0 0 0 460 8 0 0 25 0 1 0 513041275 195702784 40833 33554432000 4194304 4331988 140736433926608 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27123/statm: 47779 40833 151 34 0 46221 0
[pid=27124] ppid=27119 vsize=174816 CPUtime=18.15 cores=4-7
/proc/27124/stat : 27124 (plingeling) S 27119 27119 26251 0 -1 4202496 20938 1249 0 0 1812 3 0 0 18 0 5 0 513041275 179011584 15746 33554432000 4194304 4356188 140737335275680 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27124/statm: 43704 15746 162 40 0 42248 0
[pid=27124/tid=27131] ppid=27119 vsize=174816 CPUtime=4.49 cores=4-7
/proc/27124/task/27131/stat : 27131 (plingeling) R 27119 27119 26251 0 -1 4202560 2863 1249 0 0 449 0 0 0 25 0 5 0 513041295 179011584 15746 33554432000 4194304 4356188 140737335275680 18446744073709551615 4322041 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27124/tid=27132] ppid=27119 vsize=174816 CPUtime=4.49 cores=4-7
/proc/27124/task/27132/stat : 27132 (plingeling) R 27119 27119 26251 0 -1 4202560 3528 1249 0 0 449 0 0 0 25 0 5 0 513041295 179011584 15746 33554432000 4194304 4356188 140737335275680 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27124/tid=27133] ppid=27119 vsize=174816 CPUtime=4.48 cores=4-7
/proc/27124/task/27133/stat : 27133 (plingeling) R 27119 27119 26251 0 -1 4202560 2756 1249 0 0 448 0 0 0 25 0 5 0 513041295 179011584 15746 33554432000 4194304 4356188 140737335275680 18446744073709551615 4311611 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27124/tid=27134] ppid=27119 vsize=174816 CPUtime=4.46 cores=4-7
/proc/27124/task/27134/stat : 27134 (plingeling) R 27119 27119 26251 0 -1 4202560 2633 1249 0 0 446 0 0 0 25 0 5 0 513041295 179011584 15746 33554432000 4194304 4356188 140737335275680 18446744073709551615 4323547 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 36.89
Current children cumulated vsize (KiB) 2109872

[startup+5.10087 s]
/proc/loadavg: 7.55 7.86 7.93 9/180 27134
/proc/meminfo: memFree=16452776/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
[pid=27120] ppid=27119 vsize=1215440 CPUtime=5.09 cores=0
/proc/27120/stat : 27120 (cryptominisat) R 27119 27119 26251 0 -1 4202496 16685 0 0 0 507 2 0 0 25 0 1 0 513041275 1244610560 7928 33554432000 4194304 4587354 140736539213520 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27120/statm: 303860 7928 338 96 0 300422 0
[pid=27121] ppid=27119 vsize=45524 CPUtime=5.09 cores=1
/proc/27121/stat : 27121 (clasp) R 27119 27119 26251 0 -1 4202496 9494 0 0 0 508 1 0 0 25 0 1 0 513041275 46616576 8589 33554432000 4194304 4785740 140736215930768 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27121/statm: 11381 8589 341 145 0 8426 0
[pid=27122] ppid=27119 vsize=465876 CPUtime=5.08 cores=2
/proc/27122/stat : 27122 (TNM) R 27119 27119 26251 0 -1 4202496 4275 0 0 0 508 0 0 0 25 0 1 0 513041275 477057024 4172 33554432000 134512640 134534564 4292764656 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27122/statm: 116469 4172 91 6 0 115135 0
[pid=27123] ppid=27119 vsize=202072 CPUtime=5.08 cores=3
/proc/27123/stat : 27123 (march_hi) R 27119 27119 26251 0 -1 4202496 63361 0 0 0 500 8 0 0 25 0 1 0 513041275 206921728 44304 33554432000 4194304 4331988 140736433926608 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27123/statm: 50518 44304 151 34 0 48960 0
[pid=27124] ppid=27119 vsize=178272 CPUtime=19.75 cores=4-7
/proc/27124/stat : 27124 (plingeling) S 27119 27119 26251 0 -1 4202496 21802 1249 0 0 1972 3 0 0 18 0 5 0 513041275 182550528 16610 33554432000 4194304 4356188 140737335275680 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27124/statm: 44568 16610 162 40 0 43112 0
[pid=27124/tid=27131] ppid=27119 vsize=178272 CPUtime=4.89 cores=4-7
/proc/27124/task/27131/stat : 27131 (plingeling) R 27119 27119 26251 0 -1 4202560 3587 1249 0 0 489 0 0 0 25 0 5 0 513041295 182550528 16610 33554432000 4194304 4356188 140737335275680 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27124/tid=27132] ppid=27119 vsize=178272 CPUtime=4.89 cores=4-7
/proc/27124/task/27132/stat : 27132 (plingeling) R 27119 27119 26251 0 -1 4202560 3528 1249 0 0 489 0 0 0 25 0 5 0 513041295 182550528 16610 33554432000 4194304 4356188 140737335275680 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27124/tid=27133] ppid=27119 vsize=178272 CPUtime=4.88 cores=4-7
/proc/27124/task/27133/stat : 27133 (plingeling) R 27119 27119 26251 0 -1 4202560 2756 1249 0 0 488 0 0 0 25 0 5 0 513041295 182550528 16610 33554432000 4194304 4356188 140737335275680 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27124/tid=27134] ppid=27119 vsize=178272 CPUtime=4.86 cores=4-7
/proc/27124/task/27134/stat : 27134 (plingeling) R 27119 27119 26251 0 -1 4202560 2773 1249 0 0 486 0 0 0 25 0 5 0 513041295 182550528 16610 33554432000 4194304 4356188 140737335275680 18446744073709551615 4211027 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40.09
Current children cumulated vsize (KiB) 2125508

[startup+5.5068 s]
/proc/loadavg: 7.55 7.86 7.93 9/180 27135
/proc/meminfo: memFree=16397100/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
[pid=27120] ppid=27119 vsize=1233532 CPUtime=5.49 cores=0
/proc/27120/stat : 27120 (cryptominisat) R 27119 27119 26251 0 -1 4202496 21008 0 0 0 547 2 0 0 25 0 1 0 513041275 1263136768 12251 33554432000 4194304 4587354 140736539213520 18446744073709551615 4359602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27120/statm: 308383 12251 338 96 0 304945 0
[pid=27121] ppid=27119 vsize=46560 CPUtime=5.49 cores=1
/proc/27121/stat : 27121 (clasp) R 27119 27119 26251 0 -1 4202496 9772 0 0 0 548 1 0 0 25 0 1 0 513041275 47677440 8867 33554432000 4194304 4785740 140736215930768 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27121/statm: 11640 8867 341 145 0 8685 0
[pid=27122] ppid=27119 vsize=465876 CPUtime=5.49 cores=2
/proc/27122/stat : 27122 (TNM) R 27119 27119 26251 0 -1 4202496 4275 0 0 0 549 0 0 0 25 0 1 0 513041275 477057024 4172 33554432000 134512640 134534564 4292764656 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27122/statm: 116469 4172 91 6 0 115135 0
[pid=27123] ppid=27119 vsize=213952 CPUtime=5.49 cores=3
/proc/27123/stat : 27123 (march_hi) R 27119 27119 26251 0 -1 4202496 67133 0 0 0 540 9 0 0 25 0 1 0 513041275 219086848 48076 33554432000 4194304 4331988 140736433926608 18446744073709551615 4271412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27123/statm: 53488 48077 151 34 0 51930 0
[pid=27124] ppid=27119 vsize=179148 CPUtime=21.37 cores=4-7
/proc/27124/stat : 27124 (plingeling) S 27119 27119 26251 0 -1 4202496 22021 1249 0 0 2134 3 0 0 18 0 5 0 513041275 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27124/statm: 44787 16829 162 40 0 43331 0
[pid=27124/tid=27131] ppid=27119 vsize=179148 CPUtime=5.29 cores=4-7
/proc/27124/task/27131/stat : 27131 (plingeling) R 27119 27119 26251 0 -1 4202560 3587 1249 0 0 529 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27124/tid=27132] ppid=27119 vsize=179148 CPUtime=5.29 cores=4-7
/proc/27124/task/27132/stat : 27132 (plingeling) R 27119 27119 26251 0 -1 4202560 3528 1249 0 0 529 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4280034 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27124/tid=27133] ppid=27119 vsize=179148 CPUtime=5.29 cores=4-7
/proc/27124/task/27133/stat : 27133 (plingeling) R 27119 27119 26251 0 -1 4202560 2820 1249 0 0 529 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4332327 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27124/tid=27134] ppid=27119 vsize=179148 CPUtime=5.26 cores=4-7
/proc/27124/task/27134/stat : 27134 (plingeling) R 27119 27119 26251 0 -1 4202560 2928 1249 0 0 526 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 43.33
Current children cumulated vsize (KiB) 2157392

[startup+5.60079 s]
/proc/loadavg: 7.55 7.86 7.93 9/180 27135
/proc/meminfo: memFree=16397100/32951124 swapFree=67111528/67111528
[pid=27119] ppid=27117 vsize=18324 CPUtime=0 cores=0-7
/proc/27119/stat : 27119 (ppfolio) S 27117 27119 26251 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 513041275 18763776 389 33554432000 4194304 4287625 140735923396688 18446744073709551615 210204667407 0 0 4096 65536 13937734990864318463 0 0 17 4 0 0 0
/proc/27119/statm: 4581 389 341 23 0 91 0
[pid=27120] ppid=27119 vsize=1233532 CPUtime=5.58 cores=0
/proc/27120/stat : 27120 (cryptominisat) R 27119 27119 26251 0 -1 4202496 21008 0 0 0 556 2 0 0 25 0 1 0 513041275 1263136768 12251 33554432000 4194304 4587354 140736539213520 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27120/statm: 308383 12251 338 96 0 304945 0
[pid=27121] ppid=27119 vsize=46872 CPUtime=5.59 cores=1
/proc/27121/stat : 27121 (clasp) R 27119 27119 26251 0 -1 4202496 9823 0 0 0 558 1 0 0 25 0 1 0 513041275 47996928 8918 33554432000 4194304 4785740 140736215930768 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27121/statm: 11718 8918 341 145 0 8763 0
[pid=27122] ppid=27119 vsize=465876 CPUtime=5.58 cores=2
/proc/27122/stat : 27122 (TNM) R 27119 27119 26251 0 -1 4202496 4275 0 0 0 558 0 0 0 25 0 1 0 513041275 477057024 4172 33554432000 134512640 134534564 4292764656 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27122/statm: 116469 4172 91 6 0 115135 0
[pid=27123] ppid=27119 vsize=216988 CPUtime=5.59 cores=3
/proc/27123/stat : 27123 (march_hi) R 27119 27119 26251 0 -1 4202496 68082 0 0 0 549 10 0 0 25 0 1 0 513041275 222195712 49025 33554432000 4194304 4331988 140736433926608 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27123/statm: 54247 49025 151 34 0 52689 0
[pid=27124] ppid=27119 vsize=179148 CPUtime=21.75 cores=4-7
/proc/27124/stat : 27124 (plingeling) S 27119 27119 26251 0 -1 4202496 22021 1249 0 0 2172 3 0 0 18 0 5 0 513041275 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27124/statm: 44787 16829 162 40 0 43331 0
[pid=27124/tid=27131] ppid=27119 vsize=179148 CPUtime=5.39 cores=4-7
/proc/27124/task/27131/stat : 27131 (plingeling) R 27119 27119 26251 0 -1 4202560 3587 1249 0 0 539 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4281654 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27124/tid=27132] ppid=27119 vsize=179148 CPUtime=5.39 cores=4-7
/proc/27124/task/27132/stat : 27132 (plingeling) R 27119 27119 26251 0 -1 4202560 3528 1249 0 0 539 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27124/tid=27133] ppid=27119 vsize=179148 CPUtime=5.38 cores=4-7
/proc/27124/task/27133/stat : 27133 (plingeling) R 27119 27119 26251 0 -1 4202560 2820 1249 0 0 538 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27124/tid=27134] ppid=27119 vsize=179148 CPUtime=5.36 cores=4-7
/proc/27124/task/27134/stat : 27134 (plingeling) R 27119 27119 26251 0 -1 4202560 2928 1249 0 0 536 0 0 0 25 0 5 0 513041295 183447552 16829 33554432000 4194304 4356188 140737335275680 18446744073709551615 4279481 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 44.09
Current children cumulated vsize (KiB) 2160740

Child status: 0
Real time (s): 5.64344
CPU time (s): 44.3933
CPU user time (s): 44.1813
CPU system time (s): 0.211967
CPU usage (%): 786.635
Max. virtual memory (cumulated for all children) (KiB): 2160740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.1813
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127599
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= 313
involuntary context switches= 242

runsolver used 0.010998 second user time and 0.028995 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-28 20:13:48
IDJOB=3310344
IDBENCH=83445
IDSOLVER=1638
FILE ID=node130/3310344-1304014428
RUNJOBID= node130-1304008132-26265
PBS_JOBID= 13168841
Free space on /tmp= 71992 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3310344-1304014428/watcher-3310344-1304014428 -o /tmp/evaluation-result-3310344-1304014428/solver-3310344-1304014428 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310344-1304014428.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1995198149

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:      16742200 kB
Buffers:       2125908 kB
Cached:       13463492 kB
SwapCached:          0 kB
Active:        7425652 kB
Inactive:      8227376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16742200 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14144 kB
Writeback:           0 kB
AnonPages:       63504 kB
Mapped:          15116 kB
Slab:           489448 kB
PageTables:       4260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186008 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= 71980 MiB
End job on node130 at 2011-04-28 20:13:53