Trace number 3291191

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06SAT 140.89 139.618

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		6997539544
0.02/0.08	c Max memory 		7034241024
0.02/0.08	c Total memory 		7034241024
0.02/0.08	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3291191-1303790686.cnf
0.09/0.10	c reading problem ... 
0.99/1.05	c ... done. Wall clock time 0.947s.
0.99/1.05	c #vars     10420
0.99/1.05	c #constraints  480926
0.99/1.05	c constraints type 
0.99/1.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 453839
0.99/1.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27066
4.15/3.74	c cleaning 2494 clauses out of 4997 with flag 5001/5001
7.32/6.36	c cleaning 4246 clauses out of 8501 with flag 11000/11000
10.13/9.13	c cleaning 5627 clauses out of 11257 with flag 18002/18002
13.74/12.72	c cleaning 6809 clauses out of 13629 with flag 26001/26001
17.17/16.18	c cleaning 7905 clauses out of 15818 with flag 35000/35000
19.97/18.95	c cleaning 8949 clauses out of 17906 with flag 45000/45000
23.88/22.89	c cleaning 9972 clauses out of 19956 with flag 56000/56000
27.78/26.73	c cleaning 10979 clauses out of 21972 with flag 68000/68000
31.79/30.77	c cleaning 11987 clauses out of 23993 with flag 81001/81001
35.80/34.79	c cleaning 12982 clauses out of 25989 with flag 95002/95002
40.50/39.45	c cleaning 14000 clauses out of 28003 with flag 110000/110000
45.81/44.74	c cleaning 14995 clauses out of 30005 with flag 126002/126002
51.91/50.84	c cleaning 15999 clauses out of 32009 with flag 143001/143001
58.52/57.43	c cleaning 16995 clauses out of 34011 with flag 161002/161002
65.52/64.45	c cleaning 18001 clauses out of 36016 with flag 180002/180002
72.43/71.39	c cleaning 18975 clauses out of 38011 with flag 200000/200000
79.74/78.63	c cleaning 20014 clauses out of 40037 with flag 221001/221001
87.55/86.48	c cleaning 21008 clauses out of 42023 with flag 243001/243001
95.55/94.50	c cleaning 21984 clauses out of 44010 with flag 266000/266000
104.26/103.14	c cleaning 23012 clauses out of 46030 with flag 290004/290004
113.47/112.34	c cleaning 24002 clauses out of 48011 with flag 315002/315002
123.28/122.20	c cleaning 24972 clauses out of 50010 with flag 341003/341003
133.68/132.59	c cleaning 25999 clauses out of 52035 with flag 368000/368000
140.69/139.52	c starts		: 773
140.69/139.52	c conflicts		: 386774
140.69/139.52	c decisions		: 905473
140.69/139.52	c propagations		: 156257888
140.69/139.52	c inspects		: 1055425974
140.69/139.52	c shortcuts		: 0
140.69/139.52	c learnt literals	: 18
140.69/139.52	c learnt binary clauses	: 1291
140.69/139.52	c learnt ternary clauses	: 6196
140.69/139.52	c learnt constraints	: 386756
140.69/139.52	c ignored constraints	: 0
140.69/139.52	c root simplifications	: 791
140.69/139.52	c removed literals (reason simplification)	: 12375515
140.69/139.52	c reason swapping (by a shorter reason)	: 0
140.69/139.52	c Calls to reduceDB	: 23
140.69/139.52	c speed (assignments/second)	: 1128468.3792040097
140.69/139.52	c non guided choices	3949
140.69/139.54	c learnt constraints type 
140.69/139.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1278
140.69/139.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 43532
140.69/139.54	c constraints type 
140.69/139.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 453839
140.69/139.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27066
140.69/139.54	s SATISFIABLE
140.69/139.55	v -1 -2 -3 4 5 6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 23 24 25 -26 27 -28 29 30 -31 32 33 34 -35 36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 52 -53 -54 -55 -56 57 -58 59 60 -61 -62 -63 64 -65 -66 67 -68 -69 70 71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 100 101 102 103 104 105 106 107 108 109 -110 111 112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 129 -130 -131 -132 -133 -134 135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 155 -156 -157 -158 -159 -160 161 -162 -163 -164 -165 -166 -167 168 -169 -170 -171 -172 -173 -174 175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 187 -188 -189 -190 -191 192 193 -194 -195 -196 197 -198 199 200 -201 202 -203 204 205 -206 -207 208 209 210 -211 212 -213 -214 -215 216 -217 218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229 -230 -231 232 233 234 235 236 -237 -238 239 -240 -241 -242 243 244 -245 246 -247 -248 -249 -250 251 -252 253 -254 -255 256 -257 258 -259 -260 -261 -262 263 264 265 266 267 -268 -269 270 -271 -272 -273 274 275 -276 -277 -278 -279 280 -281 282 283 -284 285 286 287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 300 -301 -302 303 304 305 306 -307 -308 309 -310 -311 -312 313 314 315 316 317 -318 -319 320 -321 -322 -323 -324 -325 326 327 -328 -329 330 -331 -332 -333 334 335 336 337 338 339 340 341 342 343 344 -345 -346 347 -348 -349 -350 -351 -352 353 -354 355 356 357 -358 -359 -360 361 362 363 -364 -365 -366 -367 -368 369 370 371 372 -373 -374 375 -376 -377 -378 -379 380 -381 -382 -383 -384 -385 -386 -387 388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 404 405 406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 442 443 444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 487 488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 501 502 503 504 505 506 507 508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 703 704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 762 763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 821 822 823 824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 845 846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 862 863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 886 887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 922 923 924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 941 942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 962 963 964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 981 982 983 984 985 986 987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 1025 1026 1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 1062 1063 1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 1085 1086 1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 1126 1127 1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 1143 1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 1163 1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 1644 1645 1646 1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 2302 2303 2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 2503 2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 2562 2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 2887 2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 3343 3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 3402 3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 5164 5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 5741 5742 5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 5802 5803 5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 5821 5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 5842 5843 5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 5861 5862 5863 5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 5942 5943 5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 6023 6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 6043 6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 6185 6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 6225 6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 6285 6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 6422 6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 6441 6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 6462 6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 6481 6482 6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 6562 6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 6766 6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 6806 6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825 -6826 6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 6866 6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 6906 6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 7242 7243 7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 7262 7263 7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 7342 7343 7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 7423 7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 7443 7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 7481 7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 7682 7683 7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 7762 7763 7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 7843 7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 -7862 7863 7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 7905 7906 7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 7942 7943 7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 7965 7966 7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 8006 8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 8023 8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 -8042 8043 8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 8265 8266 8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 8306 8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 8543 8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 8563 8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 8606 8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 8763 8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 -8787 8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 -8961 -8962 -8963 8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 -9003 -9004 9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 -9023 -9024 9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 9042 -9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 -9065 9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 9086 -9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181 -9182 -9183 9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 9201 -9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 -9285 9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 -9307 9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 -9422 -9423 -9424 9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 -9444 -9445 -9446 9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 -9587 9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 9904 -9905 -9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 9985 -9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 -10106 -10107 10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 -10245 -10246 10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 -10285 -10286 10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 -10304 -10305 -10306 10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 10390 10391 10392 10393 10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 10409 10410 10411 10412 10413 10414 10415 10416 10417 10418 10419 10420 0
140.69/139.58	c Total wall clock time (in seconds) : 139.416

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-3291191-1303790686/watcher-3291191-1303790686 -o /tmp/evaluation-result-3291191-1303790686/solver-3291191-1303790686 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291191-1303790686.cnf 

running on 2 cores: 5,7

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.13 3.80 3.71 5/207 2632
/proc/meminfo: memFree=26164844/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=11800 CPUtime=0 cores=5,7
/proc/2632/stat : 2632 (runsolver) R 2629 2632 2468 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 1 0 490666841 12083200 52 33554432000 4194304 5434984 140734387250128 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/2632/statm: 2950 52 31 303 0 2644 0

[startup+0.030657 s]
/proc/loadavg: 3.13 3.80 3.71 5/207 2632
/proc/meminfo: memFree=26164844/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7564352 CPUtime=0.02 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 8587 0 1 0 2 0 0 0 21 0 13 0 490666841 7745896448 8286 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1891088 8286 1635 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352

[startup+0.108663 s]
/proc/loadavg: 3.13 3.80 3.71 5/207 2632
/proc/meminfo: memFree=26164844/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7570804 CPUtime=0.09 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 10248 0 1 0 8 1 0 0 21 0 18 0 490666841 7752503296 9945 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1892701 9945 2088 9 0 1883439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570804

[startup+0.300628 s]
/proc/loadavg: 3.13 3.80 3.71 5/207 2632
/proc/meminfo: memFree=26164844/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7572432 CPUtime=0.28 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 11982 0 1 0 27 1 0 0 21 0 18 0 490666841 7754170368 11557 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1893108 11557 2197 9 0 1883846 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7572432

[startup+0.700595 s]
/proc/loadavg: 3.13 3.80 3.71 5/207 2632
/proc/meminfo: memFree=26164844/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7572724 CPUtime=0.69 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 18352 0 1 0 67 2 0 0 21 0 18 0 490666841 7754469376 17890 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1893181 17890 2203 9 0 1883919 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7572724

[startup+1.50145 s]
/proc/loadavg: 3.13 3.80 3.71 7/265 2692
/proc/meminfo: memFree=25952588/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7580000 CPUtime=1.85 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 28033 0 1 0 182 3 0 0 21 0 19 0 490666841 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1895000 26711 2223 9 0 1885738 0
[pid=2632/tid=2646] ppid=2629 vsize=7580000 CPUtime=1.35 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) R 2629 2632 2468 0 -1 4202560 23152 0 1 0 133 2 0 0 19 0 19 0 490666842 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666843 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) S 2629 2632 2468 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 490666844 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 0 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 490666845 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 490666845 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666847 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347716017 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7580000 CPUtime=0.37 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) S 2629 2632 2468 0 -1 4202560 2983 0 0 0 37 0 0 0 15 0 19 0 490666847 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7580000 CPUtime=0.11 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) S 2629 2632 2468 0 -1 4202560 737 0 0 0 11 0 0 0 17 0 19 0 490666847 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2684] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2684/stat : 2684 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490666847 7761920000 26711 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 7580000

[startup+3.10117 s]
/proc/loadavg: 3.13 3.80 3.71 6/266 2693
/proc/meminfo: memFree=25871156/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7580000 CPUtime=3.55 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 30183 0 1 0 351 4 0 0 21 0 19 0 490666841 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1895000 28860 2226 9 0 1885738 0
[pid=2632/tid=2646] ppid=2629 vsize=7580000 CPUtime=2.95 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) R 2629 2632 2468 0 -1 4202560 25277 0 1 0 292 3 0 0 23 0 19 0 490666842 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 46912505716322 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490666843 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) S 2629 2632 2468 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 490666844 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 0 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 490666845 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 490666845 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666847 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347716017 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7580000 CPUtime=0.42 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) S 2629 2632 2468 0 -1 4202560 2995 0 0 0 42 0 0 0 15 0 19 0 490666847 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7580000 CPUtime=0.15 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) S 2629 2632 2468 0 -1 4202560 750 0 0 0 15 0 0 0 15 0 19 0 490666847 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2684] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2684/stat : 2684 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490666847 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2693] ppid=2629 vsize=7580000 CPUtime=0 cores=5,7
/proc/2632/task/2693/stat : 2693 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 490666948 7761920000 28860 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 7580000

[startup+6.3016 s]
/proc/loadavg: 3.20 3.81 3.71 5/266 2693
/proc/meminfo: memFree=25737772/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7583892 CPUtime=7.32 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 63966 0 1 0 725 7 0 0 21 0 19 0 490666841 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1895973 57686 2254 9 0 1886711 0
[pid=2632/tid=2646] ppid=2629 vsize=7583892 CPUtime=5.9 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) R 2629 2632 2468 0 -1 4202560 25622 0 1 0 587 3 0 0 25 0 19 0 490666842 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 46912505627632 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 4867 0 0 0 6 0 0 0 18 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 8452 0 0 0 6 0 0 0 18 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 441 0 0 0 0 0 0 0 17 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490666843 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7583892 CPUtime=0.17 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) S 2629 2632 2468 0 -1 4202560 13659 0 0 0 16 1 0 0 15 0 19 0 490666844 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 0 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666847 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347716017 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7583892 CPUtime=0.92 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) S 2629 2632 2468 0 -1 4202560 9018 0 0 0 91 1 0 0 15 0 19 0 490666847 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7583892 CPUtime=0.16 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) S 2629 2632 2468 0 -1 4202560 752 0 0 0 16 0 0 0 15 0 19 0 490666847 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2684] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2684/stat : 2684 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490666847 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2693] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2693/stat : 2693 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 490666948 7765905408 57686 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 7583892

[startup+12.7015 s]
/proc/loadavg: 3.26 3.81 3.71 5/266 2693
/proc/meminfo: memFree=25655724/32951124 swapFree=67111524/67111528

################
# More data... #
################

/proc/2632/statm: 1895973 63279 2254 9 0 1886711 0
[pid=2632/tid=2646] ppid=2629 vsize=7583892 CPUtime=133.73 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) R 2629 2632 2468 0 -1 4202560 25645 0 1 0 13370 3 0 0 25 0 19 0 490666842 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 46912505716327 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7583892 CPUtime=0.09 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 4868 0 0 0 9 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7583892 CPUtime=0.08 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 8847 0 0 0 8 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 470 0 0 0 6 0 0 0 16 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7583892 CPUtime=0.03 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7583892 CPUtime=0.02 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 100 0 0 0 2 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7583892 CPUtime=0.01 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 389 0 0 0 6 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7583892 CPUtime=0.05 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 599 0 0 0 5 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7583892 CPUtime=3.47 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) S 2629 2632 2468 0 -1 4202560 17744 0 0 0 346 1 0 0 15 0 19 0 490666844 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 0 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347716017 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7583892 CPUtime=0.95 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) S 2629 2632 2468 0 -1 4202560 9021 0 0 0 94 1 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7583892 CPUtime=0.16 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) S 2629 2632 2468 0 -1 4202560 752 0 0 0 16 0 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2684] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2684/stat : 2684 (java) S 2629 2632 2468 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2693] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2693/stat : 2693 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 490666948 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 138.8
Current children cumulated vsize (KiB) 7583892

[startup+138.401 s]
/proc/loadavg: 4.07 3.93 3.76 5/266 2743
/proc/meminfo: memFree=25712048/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7583892 CPUtime=139.59 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 69598 0 1 0 13951 8 0 0 21 0 19 0 490666841 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1895973 63279 2254 9 0 1886711 0
[pid=2632/tid=2646] ppid=2629 vsize=7583892 CPUtime=134.52 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) R 2629 2632 2468 0 -1 4202560 25645 0 1 0 13449 3 0 0 25 0 19 0 490666842 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 46912505716597 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7583892 CPUtime=0.09 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 4868 0 0 0 9 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7583892 CPUtime=0.08 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 8847 0 0 0 8 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 470 0 0 0 6 0 0 0 16 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7583892 CPUtime=0.03 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7583892 CPUtime=0.02 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 100 0 0 0 2 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7583892 CPUtime=0.01 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 389 0 0 0 6 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7583892 CPUtime=0.05 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 599 0 0 0 5 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7583892 CPUtime=3.47 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) S 2629 2632 2468 0 -1 4202560 17744 0 0 0 346 1 0 0 15 0 19 0 490666844 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 0 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347716017 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7583892 CPUtime=0.95 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) S 2629 2632 2468 0 -1 4202560 9021 0 0 0 94 1 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7583892 CPUtime=0.16 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) S 2629 2632 2468 0 -1 4202560 752 0 0 0 16 0 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2684] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2684/stat : 2684 (java) S 2629 2632 2468 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2693] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2693/stat : 2693 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 490666948 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 139.59
Current children cumulated vsize (KiB) 7583892

[startup+139.201 s]
/proc/loadavg: 4.06 3.93 3.77 5/266 2743
/proc/meminfo: memFree=25711676/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7583892 CPUtime=140.39 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 69598 0 1 0 14031 8 0 0 21 0 19 0 490666841 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1895973 63279 2254 9 0 1886711 0
[pid=2632/tid=2646] ppid=2629 vsize=7583892 CPUtime=135.32 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) R 2629 2632 2468 0 -1 4202560 25645 0 1 0 13529 3 0 0 25 0 19 0 490666842 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 46912505716322 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7583892 CPUtime=0.09 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 4868 0 0 0 9 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7583892 CPUtime=0.08 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 8847 0 0 0 8 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 470 0 0 0 6 0 0 0 16 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7583892 CPUtime=0.03 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7583892 CPUtime=0.02 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 100 0 0 0 2 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7583892 CPUtime=0.01 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 389 0 0 0 6 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7583892 CPUtime=0.05 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 599 0 0 0 5 0 0 0 15 0 19 0 490666843 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7583892 CPUtime=3.47 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) S 2629 2632 2468 0 -1 4202560 17744 0 0 0 346 1 0 0 15 0 19 0 490666844 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 0 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 490666845 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347716017 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7583892 CPUtime=0.95 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) S 2629 2632 2468 0 -1 4202560 9021 0 0 0 94 1 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7583892 CPUtime=0.16 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) S 2629 2632 2468 0 -1 4202560 752 0 0 0 16 0 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2684] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2684/stat : 2684 (java) S 2629 2632 2468 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490666847 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2693] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2693/stat : 2693 (java) S 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 490666948 7765905408 63279 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708928 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 140.39
Current children cumulated vsize (KiB) 7583892

[startup+139.602 s]
/proc/loadavg: 4.06 3.93 3.77 5/266 2743
/proc/meminfo: memFree=25711676/32951124 swapFree=67111524/67111528
[pid=2632] ppid=2629 vsize=7583892 CPUtime=140.86 cores=5,7
/proc/2632/stat : 2632 (java) S 2629 2632 2468 0 -1 4202496 69618 0 2 0 14078 8 0 0 21 0 17 0 490666841 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2632/statm: 1895973 63299 2260 9 0 1886711 0
[pid=2632/tid=2646] ppid=2629 vsize=7583892 CPUtime=135.64 cores=5,7
/proc/2632/task/2646/stat : 2646 (java) S 2629 2632 2468 0 -1 4202560 25648 0 1 0 13561 3 0 0 25 0 17 0 490666842 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 5 0 0 0
[pid=2632/tid=2652] ppid=2629 vsize=7583892 CPUtime=0.09 cores=5,7
/proc/2632/task/2652/stat : 2652 (java) S 2629 2632 2468 0 -1 4202560 4868 0 0 0 9 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2653] ppid=2629 vsize=7583892 CPUtime=0.08 cores=5,7
/proc/2632/task/2653/stat : 2653 (java) S 2629 2632 2468 0 -1 4202560 8847 0 0 0 8 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2654] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2654/stat : 2654 (java) S 2629 2632 2468 0 -1 4202560 470 0 0 0 6 0 0 0 16 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2655] ppid=2629 vsize=7583892 CPUtime=0.03 cores=5,7
/proc/2632/task/2655/stat : 2655 (java) S 2629 2632 2468 0 -1 4202560 3 0 0 0 3 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2656] ppid=2629 vsize=7583892 CPUtime=0.02 cores=5,7
/proc/2632/task/2656/stat : 2656 (java) S 2629 2632 2468 0 -1 4202560 100 0 0 0 2 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2657] ppid=2629 vsize=7583892 CPUtime=0.01 cores=5,7
/proc/2632/task/2657/stat : 2657 (java) S 2629 2632 2468 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2658] ppid=2629 vsize=7583892 CPUtime=0.06 cores=5,7
/proc/2632/task/2658/stat : 2658 (java) S 2629 2632 2468 0 -1 4202560 389 0 0 0 6 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2659] ppid=2629 vsize=7583892 CPUtime=0.05 cores=5,7
/proc/2632/task/2659/stat : 2659 (java) S 2629 2632 2468 0 -1 4202560 599 0 0 0 5 0 0 0 15 0 17 0 490666843 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2668] ppid=2629 vsize=7583892 CPUtime=3.47 cores=5,7
/proc/2632/task/2668/stat : 2668 (java) D 2629 2632 2468 0 -1 4202560 17744 0 0 0 346 1 0 0 16 0 17 0 490666844 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232335935671 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2675] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2675/stat : 2675 (java) S 2629 2632 2468 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 17 0 490666845 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2676] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2676/stat : 2676 (java) S 2629 2632 2468 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 17 0 490666845 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
[pid=2632/tid=2680] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2680/stat : 2680 (java) D 2629 2632 2468 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 490666847 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 47041415673983 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2632/tid=2681] ppid=2629 vsize=7583892 CPUtime=0.98 cores=5,7
/proc/2632/task/2681/stat : 2681 (java) D 2629 2632 2468 0 -1 4202560 9024 0 0 0 97 1 0 0 15 0 17 0 490666847 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 47041411932162 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2632/tid=2682] ppid=2629 vsize=7583892 CPUtime=0.22 cores=5,7
/proc/2632/task/2682/stat : 2682 (java) D 2629 2632 2468 0 -1 4202560 757 0 1 0 22 0 0 0 16 0 17 0 490666847 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 47041411145723 0 4 0 16800975 18446744071562234166 0 0 -1 5 0 0 0
[pid=2632/tid=2683] ppid=2629 vsize=7583892 CPUtime=0 cores=5,7
/proc/2632/task/2683/stat : 2683 (java) S 2629 2632 2468 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 490666847 7765905408 63299 33554432000 1073741824 1073778376 140734323573280 18446744073709551615 232347708313 0 4 0 16800975 18446604471147514560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 140.86
Current children cumulated vsize (KiB) 7583892

Child status: 10
Real time (s): 139.618
CPU time (s): 140.89
CPU user time (s): 140.789
CPU system time (s): 0.100984
CPU usage (%): 100.911
Max. virtual memory (cumulated for all children) (KiB): 7599564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.789
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69621
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3742
involuntary context switches= 987

runsolver used 0.245962 second user time and 0.599908 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-26 06:04:47
IDJOB=3291191
IDBENCH=83475
IDSOLVER=1611
FILE ID=node132/3291191-1303790686
RUNJOBID= node132-1303790686-2489
PBS_JOBID= 13157266
Free space on /tmp= 72040 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291191-1303790686/watcher-3291191-1303790686 -o /tmp/evaluation-result-3291191-1303790686/solver-3291191-1303790686 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291191-1303790686.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=2067307264

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:     32951124 kB
MemFree:      26169996 kB
Buffers:        697400 kB
Cached:        5479600 kB
SwapCached:          4 kB
Active:         672632 kB
Inactive:      5615480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26169996 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           34156 kB
Writeback:           0 kB
AnonPages:      111268 kB
Mapped:          21168 kB
Slab:           425596 kB
PageTables:       5332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14674976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72048 MiB
End job on node132 at 2011-04-26 06:07:07