Trace number 3290823

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 162.138 160.722

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.06/0.10	c --- Begin Solver configuration ---
0.06/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.06/0.10	c Learn all clauses as in MiniSAT
0.06/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.10	c Expensive reason simplification
0.06/0.10	c Armin Biere (Picosat) restarts strategy
0.06/0.10	c Glucose learned constraints deletion strategy
0.06/0.10	c timeout=2147483647s
0.06/0.10	c DB Simplification allowed=true
0.06/0.10	c --- End Solver configuration ---
0.06/0.10	c solving HOME/instance-3290823-1303790004.cnf
0.06/0.10	c reading problem ... 
1.22/1.03	c ... done. Wall clock time 0.936s.
1.22/1.03	c #vars     10420
1.22/1.03	c #constraints  483373
1.22/1.03	c constraints type 
1.22/1.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 456273
1.22/1.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27066
4.67/3.96	c cleaning 2498 clauses out of 4999 with flag 5000/5000
8.29/7.15	c cleaning 4242 clauses out of 8501 with flag 11000/11000
11.80/10.65	c cleaning 5605 clauses out of 11258 with flag 18000/18000
16.02/14.81	c cleaning 6822 clauses out of 13655 with flag 26002/26002
20.43/19.26	c cleaning 7906 clauses out of 15831 with flag 35000/35000
25.44/24.28	c cleaning 8961 clauses out of 17926 with flag 45001/45001
30.73/29.50	c cleaning 9949 clauses out of 19964 with flag 56000/56000
34.84/33.68	c cleaning 11005 clauses out of 22014 with flag 68001/68001
39.15/37.94	c cleaning 11994 clauses out of 24000 with flag 81002/81002
45.35/44.11	c cleaning 12974 clauses out of 25998 with flag 95001/95001
50.46/49.27	c cleaning 14010 clauses out of 28022 with flag 110003/110003
55.18/53.94	c cleaning 14997 clauses out of 30013 with flag 126004/126004
59.97/58.70	c cleaning 15973 clauses out of 31962 with flag 143002/143002
65.18/63.94	c cleaning 16973 clauses out of 33990 with flag 161003/161003
71.49/70.27	c cleaning 17998 clauses out of 36015 with flag 180001/180001
79.59/78.38	c cleaning 18987 clauses out of 38013 with flag 200002/200002
85.80/84.55	c cleaning 20012 clauses out of 40026 with flag 221003/221003
93.81/92.53	c cleaning 21003 clauses out of 42009 with flag 243001/243001
100.71/99.40	c cleaning 21989 clauses out of 44004 with flag 266000/266000
108.72/107.44	c cleaning 22971 clauses out of 46017 with flag 290002/290002
120.13/118.86	c cleaning 24003 clauses out of 48039 with flag 315001/315001
129.53/128.23	c cleaning 24983 clauses out of 50031 with flag 341001/341001
138.04/136.72	c cleaning 25933 clauses out of 51992 with flag 368000/368000
151.96/150.63	c cleaning 26996 clauses out of 54060 with flag 396001/396001
161.56/160.25	c cleaning 28016 clauses out of 56065 with flag 425002/425002
161.98/160.64	c starts		: 811
161.98/160.64	c conflicts		: 425561
161.98/160.64	c decisions		: 1054908
161.98/160.64	c propagations		: 159899997
161.98/160.64	c inspects		: 1198071848
161.98/160.64	c shortcuts		: 0
161.98/160.64	c learnt literals	: 22
161.98/160.64	c learnt binary clauses	: 2048
161.98/160.64	c learnt ternary clauses	: 5769
161.98/160.64	c learnt constraints	: 425539
161.98/160.64	c ignored constraints	: 0
161.98/160.64	c root simplifications	: 833
161.98/160.64	c removed literals (reason simplification)	: 12126585
161.98/160.64	c reason swapping (by a shorter reason)	: 0
161.98/160.64	c Calls to reduceDB	: 25
161.98/160.64	c speed (assignments/second)	: 1001804.3568152771
161.98/160.64	c non guided choices	4249
161.98/160.65	c learnt constraints type 
161.98/160.65	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2016
161.98/160.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26592
161.98/160.65	c constraints type 
161.98/160.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 456273
161.98/160.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27066
161.98/160.65	s SATISFIABLE
161.98/160.66	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
161.98/160.69	c Total wall clock time (in seconds) : 160.548

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

running on 2 cores: 4,6

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: 4.11 4.03 3.93 5/243 26590
/proc/meminfo: memFree=14887408/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=11800 CPUtime=0 cores=4,6
/proc/26590/stat : 26590 (runsolver) R 26588 26590 26130 0 -1 4202560 45 0 0 0 0 0 0 0 23 0 1 0 490600223 12083200 54 33554432000 4194304 5434984 140737069933904 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/26590/statm: 2950 54 34 303 0 2644 0

[startup+0.093896 s]
/proc/loadavg: 4.11 4.03 3.93 5/243 26590
/proc/meminfo: memFree=14887408/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7569940 CPUtime=0.06 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 9607 0 1 0 6 0 0 0 23 0 18 0 490600223 7751618560 9303 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1892485 9313 1764 9 0 1883223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.100893 s]
/proc/loadavg: 4.11 4.03 3.93 5/243 26590
/proc/meminfo: memFree=14887408/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7635932 CPUtime=0.09 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 10191 0 1 0 8 1 0 0 23 0 18 0 490600223 7819194368 9887 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1908983 9889 2061 9 0 1899721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7635932

[startup+0.300858 s]
/proc/loadavg: 4.11 4.03 3.93 5/243 26590
/proc/meminfo: memFree=14887408/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7637316 CPUtime=0.48 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 14731 0 1 0 46 2 0 0 23 0 18 0 490600223 7820611584 13155 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1909329 13155 2197 9 0 1900067 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7637316

[startup+0.700787 s]
/proc/loadavg: 4.11 4.03 3.93 5/243 26590
/proc/meminfo: memFree=14887408/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7637316 CPUtime=0.92 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 21222 0 1 0 90 2 0 0 23 0 18 0 490600223 7820611584 19646 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1909329 19646 2203 9 0 1900067 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 7637316

[startup+1.50065 s]
/proc/loadavg: 4.10 4.03 3.93 6/261 26608
/proc/meminfo: memFree=14796444/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7638984 CPUtime=2.16 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 31957 0 1 0 212 4 0 0 23 0 19 0 490600223 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1909746 28656 2220 9 0 1900484 0
[pid=26590/tid=26592] ppid=26588 vsize=7638984 CPUtime=1.46 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) R 26588 26590 26130 0 -1 4202560 23665 0 1 0 143 3 0 0 25 0 19 0 490600224 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 46912505179392 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) S 26588 26590 26130 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 490600227 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490600227 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600227 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26604] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26604/stat : 26604 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7638984 CPUtime=0.25 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) R 26588 26590 26130 0 -1 4202560 1053 0 0 0 25 0 0 0 18 0 19 0 490600229 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 47268383614360 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7638984 CPUtime=0.43 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) R 26588 26590 26130 0 -1 4202560 6077 0 0 0 42 1 0 0 19 0 19 0 490600229 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 47268383611249 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26608] ppid=26588 vsize=7638984 CPUtime=0 cores=4,6
/proc/26590/task/26608/stat : 26608 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490600229 7822319616 28656 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 7638984

[startup+3.10136 s]
/proc/loadavg: 4.10 4.03 3.93 6/262 26609
/proc/meminfo: memFree=14772248/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7639392 CPUtime=3.86 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 34724 0 1 0 382 4 0 0 23 0 19 0 490600223 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1909848 31422 2225 9 0 1900586 0
[pid=26590/tid=26592] ppid=26588 vsize=7639392 CPUtime=3.04 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) R 26588 26590 26130 0 -1 4202560 26319 0 1 0 301 3 0 0 25 0 19 0 490600224 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 46912505833812 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600225 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) S 26588 26590 26130 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 490600227 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490600227 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600227 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26604] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26604/stat : 26604 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7639392 CPUtime=0.31 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) S 26588 26590 26130 0 -1 4202560 1155 0 0 0 31 0 0 0 15 0 19 0 490600229 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7639392 CPUtime=0.49 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) S 26588 26590 26130 0 -1 4202560 6087 0 0 0 48 1 0 0 15 0 19 0 490600229 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26608] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26608/stat : 26608 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490600229 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26609] ppid=26588 vsize=7639392 CPUtime=0 cores=4,6
/proc/26590/task/26609/stat : 26609 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600331 7822737408 31422 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 7639392

[startup+6.30086 s]
/proc/loadavg: 4.10 4.03 3.93 6/262 26609
/proc/meminfo: memFree=14632460/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7654100 CPUtime=7.48 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 70467 0 1 0 740 8 0 0 23 0 19 0 490600223 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1913525 64181 2251 9 0 1904263 0
[pid=26590/tid=26592] ppid=26588 vsize=7654100 CPUtime=5.88 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) R 26588 26590 26130 0 -1 4202560 26805 0 1 0 585 3 0 0 25 0 19 0 490600224 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 46912505724768 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7654100 CPUtime=0.05 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 6277 0 0 0 5 0 0 0 18 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7654100 CPUtime=0.05 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 6485 0 0 0 5 0 0 0 18 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1271 0 0 0 0 0 0 0 18 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 424 0 0 0 0 0 0 0 18 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490600225 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7654100 CPUtime=0.18 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) S 26588 26590 26130 0 -1 4202560 14369 0 0 0 17 1 0 0 15 0 19 0 490600227 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26604] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26604/stat : 26604 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7654100 CPUtime=0.76 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) S 26588 26590 26130 0 -1 4202560 7590 0 0 0 75 1 0 0 16 0 19 0 490600229 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7654100 CPUtime=0.49 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) S 26588 26590 26130 0 -1 4202560 6090 0 0 0 48 1 0 0 15 0 19 0 490600229 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26608] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26608/stat : 26608 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490600229 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26609] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26609/stat : 26609 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600331 7837798400 64181 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 7654100

[startup+12.7007 s]
/proc/loadavg: 4.08 4.03 3.93 6/262 26609
/proc/meminfo: memFree=14625552/32950928 swapFree=67111528/67111528

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

[pid=26590] ppid=26588 vsize=7654100 CPUtime=159.67 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 75952 0 1 0 15958 9 0 0 23 0 19 0 490600223 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1913525 69622 2253 9 0 1904263 0
[pid=26590/tid=26592] ppid=26588 vsize=7654100 CPUtime=153.96 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) R 26588 26590 26130 0 -1 4202560 26832 0 1 0 15393 3 0 0 25 0 19 0 490600224 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 46912505712653 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7654100 CPUtime=0.1 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 6283 0 0 0 10 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7654100 CPUtime=0.11 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 6488 0 0 0 11 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1275 0 0 0 6 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7654100 CPUtime=0.04 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 875 0 0 0 4 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7654100 CPUtime=0.04 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 4 0 0 0 4 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 389 0 0 0 6 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7654100 CPUtime=0.01 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7654100 CPUtime=0.02 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 491 0 0 0 2 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7654100 CPUtime=3.85 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) S 26588 26590 26130 0 -1 4202560 18470 0 0 0 384 1 0 0 15 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26604] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26604/stat : 26604 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7654100 CPUtime=0.84 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) S 26588 26590 26130 0 -1 4202560 7594 0 0 0 83 1 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7654100 CPUtime=0.49 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) S 26588 26590 26130 0 -1 4202560 6090 0 0 0 48 1 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26608] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26608/stat : 26608 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26609] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26609/stat : 26609 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600331 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 159.67
Current children cumulated vsize (KiB) 7654100

[startup+159.901 s]
/proc/loadavg: 4.00 4.01 3.93 6/262 26613
/proc/meminfo: memFree=14611360/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7654100 CPUtime=161.26 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 75952 0 1 0 16117 9 0 0 23 0 19 0 490600223 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1913525 69622 2253 9 0 1904263 0
[pid=26590/tid=26592] ppid=26588 vsize=7654100 CPUtime=155.55 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) R 26588 26590 26130 0 -1 4202560 26832 0 1 0 15552 3 0 0 25 0 19 0 490600224 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 46912505833326 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7654100 CPUtime=0.1 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 6283 0 0 0 10 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7654100 CPUtime=0.11 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 6488 0 0 0 11 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1275 0 0 0 6 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7654100 CPUtime=0.04 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 875 0 0 0 4 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7654100 CPUtime=0.04 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 4 0 0 0 4 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 389 0 0 0 6 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7654100 CPUtime=0.01 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7654100 CPUtime=0.02 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 491 0 0 0 2 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7654100 CPUtime=3.85 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) S 26588 26590 26130 0 -1 4202560 18470 0 0 0 384 1 0 0 15 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26604] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26604/stat : 26604 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7654100 CPUtime=0.84 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) S 26588 26590 26130 0 -1 4202560 7594 0 0 0 83 1 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7654100 CPUtime=0.49 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) S 26588 26590 26130 0 -1 4202560 6090 0 0 0 48 1 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26608] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26608/stat : 26608 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26609] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26609/stat : 26609 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600331 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 161.26
Current children cumulated vsize (KiB) 7654100

[startup+160.302 s]
/proc/loadavg: 4.00 4.01 3.93 6/262 26613
/proc/meminfo: memFree=14611360/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7654100 CPUtime=161.67 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 75953 0 1 0 16158 9 0 0 23 0 19 0 490600223 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1913525 69622 2253 9 0 1904263 0
[pid=26590/tid=26592] ppid=26588 vsize=7654100 CPUtime=155.9 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 26130 0 -1 4202560 26833 0 1 0 15587 3 0 0 25 0 19 0 490600224 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7654100 CPUtime=0.1 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 6283 0 0 0 10 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7654100 CPUtime=0.11 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 6488 0 0 0 11 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1275 0 0 0 6 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7654100 CPUtime=0.05 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 875 0 0 0 5 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7654100 CPUtime=0.04 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 389 0 0 0 6 0 0 0 16 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7654100 CPUtime=0.01 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7654100 CPUtime=0.02 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 491 0 0 0 2 0 0 0 15 0 19 0 490600225 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7654100 CPUtime=3.89 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) R 26588 26590 26130 0 -1 4202560 18470 0 0 0 388 1 0 0 15 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 47268385623183 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490600227 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26604] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26604/stat : 26604 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101521841 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7654100 CPUtime=0.84 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) S 26588 26590 26130 0 -1 4202560 7594 0 0 0 83 1 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7654100 CPUtime=0.49 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) S 26588 26590 26130 0 -1 4202560 6090 0 0 0 48 1 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26608] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26608/stat : 26608 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 490600229 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26609] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26609/stat : 26609 (java) S 26588 26590 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490600331 7837798400 69622 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 7654100

[startup+160.702 s]
/proc/loadavg: 4.00 4.01 3.93 6/262 26613
/proc/meminfo: memFree=14611236/32950928 swapFree=67111528/67111528
[pid=26590] ppid=26588 vsize=7654100 CPUtime=162.11 cores=4,6
/proc/26590/stat : 26590 (java) S 26588 26590 26130 0 -1 4202496 75969 0 1 0 16202 9 0 0 23 0 16 0 490600223 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/26590/statm: 1913525 69636 2257 9 0 1904263 0
[pid=26590/tid=26592] ppid=26588 vsize=7654100 CPUtime=156.15 cores=4,6
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 26130 0 -1 4202560 26836 0 1 0 15612 3 0 0 25 0 16 0 490600224 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=7654100 CPUtime=0.1 cores=4,6
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 26130 0 -1 4202560 6283 0 0 0 10 0 0 0 15 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=7654100 CPUtime=0.11 cores=4,6
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 26130 0 -1 4202560 6488 0 0 0 11 0 0 0 15 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 26130 0 -1 4202560 1275 0 0 0 6 0 0 0 15 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=7654100 CPUtime=0.05 cores=4,6
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 26130 0 -1 4202560 875 0 0 0 5 0 0 0 16 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=7654100 CPUtime=0.04 cores=4,6
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 26130 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=7654100 CPUtime=0.06 cores=4,6
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 26130 0 -1 4202560 389 0 0 0 6 0 0 0 16 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26599] ppid=26588 vsize=7654100 CPUtime=0.01 cores=4,6
/proc/26590/task/26599/stat : 26599 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26600] ppid=26588 vsize=7654100 CPUtime=0.02 cores=4,6
/proc/26590/task/26600/stat : 26600 (java) S 26588 26590 26130 0 -1 4202560 491 0 0 0 2 0 0 0 15 0 16 0 490600225 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26601] ppid=26588 vsize=7654100 CPUtime=3.99 cores=4,6
/proc/26590/task/26601/stat : 26601 (java) S 26588 26590 26130 0 -1 4202560 18470 0 0 0 398 1 0 0 15 0 16 0 490600227 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514752 0 0 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26602] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26602/stat : 26602 (java) S 26588 26590 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 16 0 490600227 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26603] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26603/stat : 26603 (java) S 26588 26590 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 16 0 490600227 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
[pid=26590/tid=26605] ppid=26588 vsize=7654100 CPUtime=0.87 cores=4,6
/proc/26590/task/26605/stat : 26605 (java) S 26588 26590 26130 0 -1 4202560 7598 0 0 0 86 1 0 0 15 0 16 0 490600229 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26606] ppid=26588 vsize=7654100 CPUtime=0.51 cores=4,6
/proc/26590/task/26606/stat : 26606 (java) S 26588 26590 26130 0 -1 4202560 6090 0 0 0 50 1 0 0 15 0 16 0 490600229 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 4 0 0 0
[pid=26590/tid=26607] ppid=26588 vsize=7654100 CPUtime=0 cores=4,6
/proc/26590/task/26607/stat : 26607 (java) S 26588 26590 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 490600229 7837798400 69636 33554432000 1073741824 1073778376 140733733641552 18446744073709551615 248101514137 0 4 0 16800975 18446604446473511360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 7654100

Child status: 10
Real time (s): 160.722
CPU time (s): 162.138
CPU user time (s): 162.025
CPU system time (s): 0.112982
CPU usage (%): 100.881
Max. virtual memory (cumulated for all children) (KiB): 7658564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.025
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75969
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4277
involuntary context switches= 1366

runsolver used 0.25996 second user time and 0.625904 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-26 05:53:24
IDJOB=3290823
IDBENCH=83450
IDSOLVER=1611
FILE ID=node123/3290823-1303790004
RUNJOBID= node123-1303789113-26149
PBS_JOBID= 13157259
Free space on /tmp= 72900 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.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-3290823-1303790004/watcher-3290823-1303790004 -o /tmp/evaluation-result-3290823-1303790004/solver-3290823-1303790004 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3290823-1303790004.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1400607390

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14887440 kB
Buffers:       2171096 kB
Cached:       15030428 kB
SwapCached:          0 kB
Active:        8559480 kB
Inactive:      8957844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14887440 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           22096 kB
Writeback:           0 kB
AnonPages:      315388 kB
Mapped:          23404 kB
Slab:           479936 kB
PageTables:       6208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 22049068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72900 MiB
End job on node123 at 2011-04-26 05:56:05