Trace number 3290687

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio seqSAT 25.17 25.2088

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.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290687-1303778770/watcher-3290687-1303778770 -o /tmp/evaluation-result-3290687-1303778770/solver-3290687-1303778770 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3290687-1303778770.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.38 3.87 3.80 9/192 11788
/proc/meminfo: memFree=25578224/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) R 11786 11788 10526 0 -1 4202496 484 0 0 0 0 0 0 0 21 0 1 0 489474713 18763776 392 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687495573 0 0 4096 65536 0 0 0 17 0 0 0 0
/proc/11788/statm: 4581 392 343 23 0 91 0

[startup+0.0242141 s]
/proc/loadavg: 3.38 3.87 3.80 9/192 11788
/proc/meminfo: memFree=25578224/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 23 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.10123 s]
/proc/loadavg: 3.38 3.87 3.80 9/192 11788
/proc/meminfo: memFree=25578224/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 23 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.301193 s]
/proc/loadavg: 3.38 3.87 3.80 9/192 11788
/proc/meminfo: memFree=25578224/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 22 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.701117 s]
/proc/loadavg: 3.38 3.87 3.80 9/192 11788
/proc/meminfo: memFree=25578224/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 22 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50097 s]
/proc/loadavg: 3.38 3.87 3.80 13/202 11801
/proc/meminfo: memFree=25419424/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 22 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=33424 CPUtime=0.54 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 4096 0 0 0 54 0 0 0 25 0 1 0 489474713 34226176 3852 33554432000 4194304 4587354 140733257198864 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 8356 3852 307 96 0 4918 0
[pid=11790] ppid=11788 vsize=26688 CPUtime=0.43 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 4612 0 0 0 43 0 0 0 25 0 1 0 489474713 27328512 3954 33554432000 4194304 4785740 140733383247920 18446744073709551615 4495561 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 6672 3954 319 145 0 3717 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=0.5 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 50 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 544312

[startup+3.10067 s]
/proc/loadavg: 3.38 3.87 3.80 13/202 11801
/proc/meminfo: memFree=25382108/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 22 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=33560 CPUtime=1.04 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 4112 0 0 0 104 0 0 0 25 0 1 0 489474713 34365440 3868 33554432000 4194304 4587354 140733257198864 18446744073709551615 4230306 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 8390 3868 307 96 0 4952 0
[pid=11790] ppid=11788 vsize=26688 CPUtime=1.02 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 4613 0 0 0 102 0 0 0 25 0 1 0 489474713 27328512 3955 33554432000 4194304 4785740 140733383247920 18446744073709551615 4482824 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 6672 3955 320 145 0 3717 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=1.01 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 101 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524677 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 544448

[startup+6.30107 s]
/proc/loadavg: 3.91 3.97 3.84 13/202 11831
/proc/meminfo: memFree=25246548/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478989396044939264 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=53936 CPUtime=2.14 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 13534 0 0 0 212 2 0 0 25 0 1 0 489474713 55230464 7433 33554432000 4194304 4587354 140733257198864 18446744073709551615 4232272 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 13484 7433 323 96 0 10046 0
[pid=11790] ppid=11788 vsize=32168 CPUtime=2.03 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 6293 0 0 0 203 0 0 0 25 0 1 0 489474713 32940032 5388 33554432000 4194304 4785740 140733383247920 18446744073709551615 4552626 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 8042 5388 341 145 0 5087 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=2.1 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 210 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 570304

[startup+12.7009 s]
/proc/loadavg: 4.56 4.10 3.88 13/202 11831
/proc/meminfo: memFree=25198976/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478988708850171904 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=953936 CPUtime=4.24 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 16468 0 0 0 421 3 0 0 25 0 1 0 489474713 976830464 7716 33554432000 4194304 4587354 140733257198864 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 238484 7716 333 96 0 235046 0
[pid=11790] ppid=11788 vsize=41184 CPUtime=4.21 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 8420 0 0 0 421 0 0 0 25 0 1 0 489474713 42172416 7515 33554432000 4194304 4785740 140733383247920 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 10296 7515 341 145 0 7341 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=4.21 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 421 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1479320

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

[startup+19.1007 s]
/proc/loadavg: 5.16 4.23 3.92 13/202 11831
/proc/meminfo: memFree=25151228/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478990220678660096 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=972028 CPUtime=6.36 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 21008 0 0 0 633 3 0 0 25 0 1 0 489474713 995356672 12251 33554432000 4194304 4587354 140733257198864 18446744073709551615 4364854 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 243007 12251 338 96 0 239569 0
[pid=11790] ppid=11788 vsize=46276 CPUtime=6.32 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 9678 0 0 0 631 1 0 0 25 0 1 0 489474713 47386624 8773 33554432000 4194304 4785740 140733383247920 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 11569 8773 341 145 0 8614 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=6.4 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 640 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 1502504

[startup+22.3011 s]
/proc/loadavg: 5.70 4.36 3.97 13/202 11831
/proc/meminfo: memFree=25156708/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478988296533311488 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=972028 CPUtime=7.44 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 21060 0 0 0 741 3 0 0 25 0 1 0 489474713 995356672 12301 33554432000 4194304 4587354 140733257198864 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 243007 12301 338 96 0 239569 0
[pid=11790] ppid=11788 vsize=48692 CPUtime=7.42 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 10226 0 0 0 741 1 0 0 25 0 1 0 489474713 49860608 9321 33554432000 4194304 4785740 140733383247920 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 12173 9321 341 145 0 9218 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=7.41 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 741 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 22.27
Current children cumulated vsize (KiB) 1504920

[startup+23.9008 s]
/proc/loadavg: 5.70 4.36 3.97 13/202 11831
/proc/meminfo: memFree=25151500/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478988296533311488 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=972028 CPUtime=7.96 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 21061 0 0 0 793 3 0 0 25 0 1 0 489474713 995356672 12302 33554432000 4194304 4587354 140733257198864 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 243007 12302 338 96 0 239569 0
[pid=11790] ppid=11788 vsize=49220 CPUtime=7.91 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 10359 0 0 0 790 1 0 0 25 0 1 0 489474713 50401280 9454 33554432000 4194304 4785740 140733383247920 18446744073709551615 4549583 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 12305 9454 341 145 0 9350 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=8 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 800 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 23.87
Current children cumulated vsize (KiB) 1505448

[startup+24.7006 s]
/proc/loadavg: 5.70 4.36 3.97 13/202 11831
/proc/meminfo: memFree=25149516/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478988296533311488 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=972028 CPUtime=8.24 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 21062 0 0 0 821 3 0 0 25 0 1 0 489474713 995356672 12303 33554432000 4194304 4587354 140733257198864 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 243007 12303 338 96 0 239569 0
[pid=11790] ppid=11788 vsize=49220 CPUtime=8.21 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 10360 0 0 0 820 1 0 0 25 0 1 0 489474713 50401280 9455 33554432000 4194304 4785740 140733383247920 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 12305 9455 341 145 0 9350 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=8.21 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 821 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 1505448

[startup+25.1006 s]
/proc/loadavg: 5.70 4.36 3.97 13/202 11831
/proc/meminfo: memFree=25149516/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) S 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 4478988296533311488 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=972028 CPUtime=8.36 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4202496 21062 0 0 0 833 3 0 0 25 0 1 0 489474713 995356672 12303 33554432000 4194304 4587354 140733257198864 18446744073709551615 4237677 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 243007 12303 338 96 0 239569 0
[pid=11790] ppid=11788 vsize=49220 CPUtime=8.31 cores=0
/proc/11790/stat : 11790 (clasp) R 11788 11788 10526 0 -1 4202496 10360 0 0 0 830 1 0 0 25 0 1 0 489474713 50401280 9455 33554432000 4194304 4785740 140733383247920 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/11790/statm: 12305 9455 341 145 0 9350 0
[pid=11791] ppid=11788 vsize=465876 CPUtime=8.4 cores=0
/proc/11791/stat : 11791 (TNM) R 11788 11788 10526 0 -1 4202496 4276 0 0 0 840 0 0 0 25 0 1 0 489474713 477057024 4173 33554432000 134512640 134534564 4293960592 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11791/statm: 116469 4173 91 6 0 115135 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 1505448

[startup+25.2005 s]
/proc/loadavg: 6.21 4.49 4.01 13/202 11831
/proc/meminfo: memFree=25140836/32951124 swapFree=67111524/67111528
[pid=11788] ppid=11786 vsize=18324 CPUtime=0 cores=0,2
/proc/11788/stat : 11788 (ppfolio) R 11786 11788 10526 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 489474713 18763776 394 33554432000 4194304 4287625 140735253814752 18446744073709551615 212687695375 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/11788/statm: 4581 394 345 23 0 91 0
[pid=11789] ppid=11788 vsize=0 CPUtime=8.44 cores=0
/proc/11789/stat : 11789 (cryptominisat) R 11788 11788 10526 0 -1 4203524 21063 0 0 0 841 3 0 0 25 0 1 0 489474713 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11789/statm: 0 0 0 0 0 0 0
[pid=11790] ppid=11788 vsize=0 CPUtime=8.33 cores=0
/proc/11790/stat : 11790 (clasp) Z 11788 11788 10526 0 -1 4202524 10380 0 0 0 832 1 0 0 25 0 1 0 489474713 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/11790/statm: 0 0 0 0 0 0 0
[pid=11791] ppid=11788 vsize=0 CPUtime=8.4 cores=0
/proc/11791/stat : 11791 (TNM) Z 11788 11788 10526 0 -1 4203548 4276 0 0 0 840 0 0 0 25 0 1 0 489474713 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11791/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 18324

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11788 and gives
#  childrusage.ru_utime.tv_sec=16
#  childrusage.ru_utime.tv_usec=744454
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=52991
# CPU time returned by wait4() is 16.7974
# while last known CPU time is 25.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 25.2088
CPU time (s): 25.17
CPU user time (s): 25.13
CPU system time (s): 0.04
CPU usage (%): 99.8461
Max. virtual memory (cumulated for all children) (KiB): 1505448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7445
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31961
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= 58
involuntary context switches= 191

runsolver used 0.050992 second user time and 0.097985 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-26 02:46:10
IDJOB=3290687
IDBENCH=83445
IDSOLVER=1613
FILE ID=node139/3290687-1303778770
RUNJOBID= node139-1303778769-11746
PBS_JOBID= 13157184
Free space on /tmp= 72372 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290687-1303778770/watcher-3290687-1303778770 -o /tmp/evaluation-result-3290687-1303778770/solver-3290687-1303778770 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3290687-1303778770.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1399935976

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25578256 kB
Buffers:       1916948 kB
Cached:        4843640 kB
SwapCached:          4 kB
Active:         243884 kB
Inactive:      6612408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25578256 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           47500 kB
Writeback:          52 kB
AnonPages:       95124 kB
Mapped:          16552 kB
Slab:           451388 kB
PageTables:       5612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1168128 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= 72344 MiB
End job on node139 at 2011-04-26 02:46:35