Trace number 3372785

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 112.341 14.4476

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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372785-1305442436/watcher-3372785-1305442436 -o /tmp/evaluation-result-3372785-1305442436/solver-3372785-1305442436 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372785-1305442436.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.69 7.94 7.96 2/265 4156
/proc/meminfo: memFree=20834604/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=10624 CPUtime=0 cores=0-7
/proc/4156/stat : 4156 (plingeling) R 4154 4156 3701 0 -1 4202496 706 1260 0 0 0 0 0 0 21 0 1 0 655843320 10878976 636 33554432000 4194304 4417452 140734955662064 18446744073709551615 237278576848 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4156/statm: 2656 650 148 55 0 542 0

[startup+0.021074 s]
/proc/loadavg: 7.69 7.94 7.96 2/265 4156
/proc/meminfo: memFree=20834604/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=12828 CPUtime=0.01 cores=0-7
/proc/4156/stat : 4156 (plingeling) R 4154 4156 3701 0 -1 4202496 1341 1260 0 0 1 0 0 0 21 0 1 0 655843320 13135872 1231 33554432000 4194304 4417452 140734955662064 18446744073709551615 4236008 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4156/statm: 3207 1231 149 55 0 1093 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12828

[startup+0.101064 s]
/proc/loadavg: 7.69 7.94 7.96 2/265 4156
/proc/meminfo: memFree=20834604/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=26064 CPUtime=0.09 cores=0-7
/proc/4156/stat : 4156 (plingeling) R 4154 4156 3701 0 -1 4202496 4850 1260 0 0 9 0 0 0 21 0 1 0 655843320 26689536 4540 33554432000 4194304 4417452 140734955662064 18446744073709551615 4229136 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4156/statm: 6516 4540 149 55 0 4402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26064

[startup+0.301029 s]
/proc/loadavg: 7.69 7.94 7.96 2/265 4156
/proc/meminfo: memFree=20834604/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=79312 CPUtime=0.29 cores=0-7
/proc/4156/stat : 4156 (plingeling) R 4154 4156 3701 0 -1 4202496 18162 1260 0 0 27 2 0 0 22 0 1 0 655843320 81215488 17852 33554432000 4194304 4417452 140734955662064 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4156/statm: 19828 17852 149 55 0 17714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79312

[startup+1.23087 s]
/proc/loadavg: 7.69 7.94 7.96 2/265 4156
/proc/meminfo: memFree=20834604/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=229804 CPUtime=7.17 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 22846 1260 0 0 714 3 0 0 18 0 9 0 655843320 235319296 18706 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 57451 18706 177 55 0 55337 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 229804

[startup+1.50082 s]
/proc/loadavg: 7.69 7.94 7.96 2/265 4156
/proc/meminfo: memFree=20834604/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=256884 CPUtime=9.34 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 29792 1260 0 0 929 5 0 0 18 0 9 0 655843320 263049216 25479 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 64221 25479 180 55 0 62107 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 256884

[startup+3.10053 s]
/proc/loadavg: 7.72 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20714868/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=275464 CPUtime=22.12 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 37184 1260 0 0 2205 7 0 0 18 0 9 0 655843320 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 68866 30124 180 55 0 66752 0
[pid=4156/tid=4163] ppid=4154 vsize=275464 CPUtime=2.71 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 2330 1260 0 0 271 0 0 0 25 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=275464 CPUtime=2.71 cores=0-7
/proc/4156/task/4164/stat : 4164 (plingeling) R 4154 4156 3701 0 -1 4202560 2294 1260 0 0 271 0 0 0 25 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=275464 CPUtime=2.72 cores=0-7
/proc/4156/task/4165/stat : 4165 (plingeling) R 4154 4156 3701 0 -1 4202560 1561 1260 0 0 272 0 0 0 23 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=275464 CPUtime=2.72 cores=0-7
/proc/4156/task/4166/stat : 4166 (plingeling) R 4154 4156 3701 0 -1 4202560 4868 1260 0 0 271 1 0 0 23 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=275464 CPUtime=2.71 cores=0-7
/proc/4156/task/4167/stat : 4167 (plingeling) R 4154 4156 3701 0 -1 4202560 2008 1260 0 0 271 0 0 0 25 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249967 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=275464 CPUtime=2.69 cores=0-7
/proc/4156/task/4168/stat : 4168 (plingeling) R 4154 4156 3701 0 -1 4202560 2252 1260 0 0 269 0 0 0 23 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=275464 CPUtime=2.71 cores=0-7
/proc/4156/task/4169/stat : 4169 (plingeling) R 4154 4156 3701 0 -1 4202560 1157 1260 0 0 271 0 0 0 25 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4377468 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=275464 CPUtime=2.71 cores=0-7
/proc/4156/task/4170/stat : 4170 (plingeling) R 4154 4156 3701 0 -1 4202560 2536 1260 0 0 271 0 0 0 25 0 9 0 655843358 282075136 30124 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.12
Current children cumulated vsize (KiB) 275464

[startup+6.30996 s]
/proc/loadavg: 7.72 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20693292/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=295632 CPUtime=47.76 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 47425 1260 0 0 4768 8 0 0 18 0 9 0 655843320 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 73908 35166 180 55 0 71794 0
[pid=4156/tid=4163] ppid=4154 vsize=295632 CPUtime=5.92 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 3301 1260 0 0 592 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4309982 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=295632 CPUtime=5.92 cores=0-7
/proc/4156/task/4164/stat : 4164 (plingeling) R 4154 4156 3701 0 -1 4202560 2863 1260 0 0 592 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4301953 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=295632 CPUtime=5.93 cores=0-7
/proc/4156/task/4165/stat : 4165 (plingeling) R 4154 4156 3701 0 -1 4202560 2330 1260 0 0 593 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4377742 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=295632 CPUtime=5.93 cores=0-7
/proc/4156/task/4166/stat : 4166 (plingeling) R 4154 4156 3701 0 -1 4202560 8735 1260 0 0 591 2 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4250633 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=295632 CPUtime=5.92 cores=0-7
/proc/4156/task/4167/stat : 4167 (plingeling) R 4154 4156 3701 0 -1 4202560 3080 1260 0 0 592 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249978 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=295632 CPUtime=5.87 cores=0-7
/proc/4156/task/4168/stat : 4168 (plingeling) R 4154 4156 3701 0 -1 4202560 2727 1260 0 0 587 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=295632 CPUtime=5.92 cores=0-7
/proc/4156/task/4169/stat : 4169 (plingeling) R 4154 4156 3701 0 -1 4202560 2297 1260 0 0 592 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4377053 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=295632 CPUtime=5.91 cores=0-7
/proc/4156/task/4170/stat : 4170 (plingeling) R 4154 4156 3701 0 -1 4202560 3914 1260 0 0 591 0 0 0 25 0 9 0 655843358 302727168 35166 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.76
Current children cumulated vsize (KiB) 295632

[startup+12.7008 s]
/proc/loadavg: 7.74 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20696708/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=297664 CPUtime=98.85 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 71100 1260 0 0 9871 14 0 0 18 0 9 0 655843320 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 74416 35684 180 55 0 72302 0
[pid=4156/tid=4163] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 5613 1260 0 0 1231 0 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4164/stat : 4164 (plingeling) R 4154 4156 3701 0 -1 4202560 3924 1260 0 0 1231 0 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 18446744073699065918 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4165/stat : 4165 (plingeling) R 4154 4156 3701 0 -1 4202560 3490 1260 0 0 1231 0 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4250927 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4166/stat : 4166 (plingeling) R 4154 4156 3701 0 -1 4202560 17281 1260 0 0 1228 3 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4167/stat : 4167 (plingeling) R 4154 4156 3701 0 -1 4202560 5944 1260 0 0 1230 1 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=297664 CPUtime=12.22 cores=0-7
/proc/4156/task/4168/stat : 4168 (plingeling) R 4154 4156 3701 0 -1 4202560 4449 1260 0 0 1221 1 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4169/stat : 4169 (plingeling) R 4154 4156 3701 0 -1 4202560 4940 1260 0 0 1230 1 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=297664 CPUtime=12.31 cores=0-7
/proc/4156/task/4170/stat : 4170 (plingeling) R 4154 4156 3701 0 -1 4202560 7281 1260 0 0 1230 1 0 0 25 0 9 0 655843358 304807936 35684 33554432000 4194304 4417452 140734955662064 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.85
Current children cumulated vsize (KiB) 297664

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

[startup+13.5007 s]
/proc/loadavg: 7.74 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20691376/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=293956 CPUtime=105.24 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 74930 1260 0 0 10509 15 0 0 18 0 9 0 655843320 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 73489 34757 180 55 0 71375 0
[pid=4156/tid=4163] ppid=4154 vsize=293956 CPUtime=13.11 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 6086 1260 0 0 1311 0 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=293956 CPUtime=13.11 cores=0-7
/proc/4156/task/4164/stat : 4164 (plingeling) R 4154 4156 3701 0 -1 4202560 4128 1260 0 0 1311 0 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=293956 CPUtime=13.11 cores=0-7
/proc/4156/task/4165/stat : 4165 (plingeling) R 4154 4156 3701 0 -1 4202560 3490 1260 0 0 1311 0 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=293956 CPUtime=13.12 cores=0-7
/proc/4156/task/4166/stat : 4166 (plingeling) R 4154 4156 3701 0 -1 4202560 18078 1260 0 0 1308 4 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=293956 CPUtime=13.11 cores=0-7
/proc/4156/task/4167/stat : 4167 (plingeling) R 4154 4156 3701 0 -1 4202560 6971 1260 0 0 1310 1 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4312183 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=293956 CPUtime=13.01 cores=0-7
/proc/4156/task/4168/stat : 4168 (plingeling) R 4154 4156 3701 0 -1 4202560 4814 1260 0 0 1300 1 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=293956 CPUtime=13.11 cores=0-7
/proc/4156/task/4169/stat : 4169 (plingeling) R 4154 4156 3701 0 -1 4202560 5302 1260 0 0 1310 1 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=293956 CPUtime=13.11 cores=0-7
/proc/4156/task/4170/stat : 4170 (plingeling) R 4154 4156 3701 0 -1 4202560 7883 1260 0 0 1309 2 0 0 25 0 9 0 655843358 301010944 34757 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 105.24
Current children cumulated vsize (KiB) 293956

[startup+13.9006 s]
/proc/loadavg: 7.76 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20693980/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=295048 CPUtime=108.49 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 76575 1260 0 0 10834 15 0 0 18 0 9 0 655843320 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 73762 35064 180 55 0 71648 0
[pid=4156/tid=4163] ppid=4154 vsize=295048 CPUtime=13.52 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 6220 1260 0 0 1352 0 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=295048 CPUtime=13.52 cores=0-7
/proc/4156/task/4164/stat : 4164 (plingeling) R 4154 4156 3701 0 -1 4202560 5175 1260 0 0 1352 0 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=295048 CPUtime=13.52 cores=0-7
/proc/4156/task/4165/stat : 4165 (plingeling) R 4154 4156 3701 0 -1 4202560 3492 1260 0 0 1352 0 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=295048 CPUtime=13.53 cores=0-7
/proc/4156/task/4166/stat : 4166 (plingeling) R 4154 4156 3701 0 -1 4202560 18108 1260 0 0 1349 4 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=295048 CPUtime=13.52 cores=0-7
/proc/4156/task/4167/stat : 4167 (plingeling) R 4154 4156 3701 0 -1 4202560 6971 1260 0 0 1351 1 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=295048 CPUtime=13.41 cores=0-7
/proc/4156/task/4168/stat : 4168 (plingeling) R 4154 4156 3701 0 -1 4202560 4934 1260 0 0 1340 1 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=295048 CPUtime=13.52 cores=0-7
/proc/4156/task/4169/stat : 4169 (plingeling) R 4154 4156 3701 0 -1 4202560 5479 1260 0 0 1351 1 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4353711 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=295048 CPUtime=13.52 cores=0-7
/proc/4156/task/4170/stat : 4170 (plingeling) R 4154 4156 3701 0 -1 4202560 8018 1260 0 0 1350 2 0 0 25 0 9 0 655843358 302129152 35064 33554432000 4194304 4417452 140734955662064 18446744073709551615 4356831 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 108.49
Current children cumulated vsize (KiB) 295048

[startup+14.3005 s]
/proc/loadavg: 7.76 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20693980/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=298324 CPUtime=111.62 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 77971 1260 0 0 11147 15 0 0 18 0 9 0 655843320 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 74581 35883 180 55 0 72467 0
[pid=4156/tid=4163] ppid=4154 vsize=298324 CPUtime=13.91 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 6220 1260 0 0 1391 0 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4310328 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4156/tid=4164] ppid=4154 vsize=298324 CPUtime=13.91 cores=0-7
/proc/4156/task/4164/stat : 4164 (plingeling) R 4154 4156 3701 0 -1 4202560 5339 1260 0 0 1391 0 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4156/tid=4165] ppid=4154 vsize=298324 CPUtime=13.91 cores=0-7
/proc/4156/task/4165/stat : 4165 (plingeling) R 4154 4156 3701 0 -1 4202560 3492 1260 0 0 1391 0 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4156/tid=4166] ppid=4154 vsize=298324 CPUtime=13.92 cores=0-7
/proc/4156/task/4166/stat : 4166 (plingeling) R 4154 4156 3701 0 -1 4202560 18789 1260 0 0 1388 4 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4354515 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4156/tid=4167] ppid=4154 vsize=298324 CPUtime=13.91 cores=0-7
/proc/4156/task/4167/stat : 4167 (plingeling) R 4154 4156 3701 0 -1 4202560 6971 1260 0 0 1390 1 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4156/tid=4168] ppid=4154 vsize=298324 CPUtime=13.8 cores=0-7
/proc/4156/task/4168/stat : 4168 (plingeling) R 4154 4156 3701 0 -1 4202560 5100 1260 0 0 1379 1 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4156/tid=4169] ppid=4154 vsize=298324 CPUtime=13.91 cores=0-7
/proc/4156/task/4169/stat : 4169 (plingeling) R 4154 4156 3701 0 -1 4202560 5724 1260 0 0 1390 1 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4310345 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4156/tid=4170] ppid=4154 vsize=298324 CPUtime=13.91 cores=0-7
/proc/4156/task/4170/stat : 4170 (plingeling) R 4154 4156 3701 0 -1 4202560 8158 1260 0 0 1389 2 0 0 25 0 9 0 655843358 305483776 35883 33554432000 4194304 4417452 140734955662064 18446744073709551615 4236670 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 111.62
Current children cumulated vsize (KiB) 298324

[startup+14.4005 s]
/proc/loadavg: 7.76 7.94 7.96 9/274 4170
/proc/meminfo: memFree=20693980/32950904 swapFree=67057400/67111528
[pid=4156] ppid=4154 vsize=298000 CPUtime=112.27 cores=0-7
/proc/4156/stat : 4156 (plingeling) S 4154 4156 3701 0 -1 4202496 78080 1260 0 0 11212 15 0 0 18 0 2 0 655843320 305152000 35803 33554432000 4194304 4417452 140734955662064 18446744073709551615 237290682341 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4156/statm: 74500 35803 181 55 0 72386 0
[pid=4156/tid=4163] ppid=4154 vsize=298000 CPUtime=14.01 cores=0-7
/proc/4156/task/4163/stat : 4163 (plingeling) R 4154 4156 3701 0 -1 4202560 6220 1260 0 0 1401 0 0 0 25 0 2 0 655843358 305152000 35803 33554432000 4194304 4417452 140734955662064 18446744073709551615 4308416 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 112.27
Current children cumulated vsize (KiB) 298000

Child status: 10
Real time (s): 14.4476
CPU time (s): 112.341
CPU user time (s): 112.168
CPU system time (s): 0.172973
CPU usage (%): 777.574
Max. virtual memory (cumulated for all children) (KiB): 303096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112.168
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79354
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= 312
involuntary context switches= 493

runsolver used 0.035994 second user time and 0.084987 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-15 08:53:56
IDJOB=3372785
IDBENCH=83445
IDSOLVER=1851
FILE ID=node121/3372785-1305442436
RUNJOBID= node121-1305437356-3715
PBS_JOBID= 13324770
Free space on /tmp= 73492 MiB

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

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=630373488

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.84
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.817
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.77
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20834644 kB
Buffers:        308392 kB
Cached:        6085436 kB
SwapCached:       7656 kB
Active:        6448340 kB
Inactive:      5315200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20834644 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:            4120 kB
Writeback:           0 kB
AnonPages:     5367704 kB
Mapped:          21724 kB
Slab:           263784 kB
PageTables:      23600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30639232 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= 73492 MiB
End job on node121 at 2011-05-15 08:54:10