0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
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.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4098126-1466119873.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
1.59/1.11	c ... done. Wall clock time 1.007s.
1.59/1.11	c declared #vars     8556
1.59/1.11	c #constraints  41961
1.59/1.11	c constraints type 
1.59/1.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25116
1.59/1.11	c org.sat4j.specs.Constr$1 => 4
1.59/1.11	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
1.59/1.11	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1.59/1.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16835
1.59/1.11	c 41961 constraints processed.
4.81/4.09	c cleaning 2500 clauses out of 5000 with flag 28369/5000
7.88/7.08	c cleaning 4251 clauses out of 8501 with flag 88440/11001
11.47/10.67	c cleaning 5625 clauses out of 11254 with flag 144738/18005
15.78/14.94	c cleaning 6811 clauses out of 13625 with flag 215245/26001
16.79/15.90	c SATISFIABLE
16.79/15.90	c starts		: 38
16.79/15.90	c conflicts		: 28488
16.79/15.90	c decisions		: 455164
16.79/15.90	c propagations		: 23082660
16.79/15.90	c inspects		: 154979132
16.79/15.90	c shortcuts		: 0
16.79/15.90	c learnt literals	: 0
16.79/15.90	c learnt binary clauses	: 0
16.79/15.90	c learnt ternary clauses	: 16
16.79/15.90	c learnt constraints	: 28488
16.79/15.90	c ignored constraints	: 0
16.79/15.90	c root simplifications	: 0
16.79/15.90	c removed literals (reason simplification)	: 0
16.79/15.90	c reason swapping (by a shorter reason)	: 0
16.79/15.90	c Calls to reduceDB	: 4
16.79/15.90	c Number of update (reduction) of LBD	: 15164
16.79/15.90	c Imported unit clauses	: 0
16.79/15.90	c number of reductions to clauses (during analyze)	: 0
16.79/15.90	c number of learned constraints concerned by reduction	: 0
16.79/15.90	c number of learning phase by resolution	: 0
16.79/15.90	c number of learning phase by cutting planes	: 0
16.79/15.90	c speed (assignments/second)	: 1560904.787665675
16.79/15.90	c non guided choices	5795
16.79/15.91	c learnt constraints type 
16.79/15.91	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 9301
16.79/15.91	s SATISFIABLE
16.79/15.91	c Found 1 solution(s)
16.79/15.92	v x1 x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 x71 x72 x73 -x74 x75 x76 -x77 x78 x79 x80 x81 x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 x255 -x256 -x257 -x258 x259 -x260 -x261 x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 x1882 -x1883 x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 x2061 x2062 x2063 x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 x2954 x2955 -x2956 -x2957 x2958 x2959 -x2960 x2961 -x2962 x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 x4128 x4129 -x4130 x4131 x4132 x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4149 -x4150 x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 x4844 x4845 -x4846 -x4847 -x4848 x4849 -x4850 -x4851 x4852 -x4853 -x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 x4867 x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 x4894 x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 x6383 x6384 x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 x6742 x6743 x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 x6956 -x6957 x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 x7004 -x7005 -x7006 -x7007 x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 x7224 -x7225 -x7226 -x7227 x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 x7314 -x7315 x7316 -x7317 x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 x7404 -x7405 -x7406 -x7407 x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 x7911 -x7912 -x7913 -x7914 x7915 x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 
16.79/15.93	c Total wall clock time (in seconds): 15.83

OK	0

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4098126-1466119873/watcher-4098126-1466119873 -o /tmp/evaluation-result-4098126-1466119873/solver-4098126-1466119873 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466116222-11904 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4098126-1466119873.opb 

pid=13487
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.34 2.22 2.19 3/194 13490
/proc/meminfo: memFree=30352752/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 14035981 98570240 978 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 24065 978 744 9 0 16771 0
[pid=13490/tid=13491] ppid=13487 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 14035981 98570240 978 33554432000 1073741824 1073778376 140734931183648 140097716469288 272886482304 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.34 2.22 2.19 3/194 13490
/proc/meminfo: memFree=30352752/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 4500 0 1 0 10 1 0 0 20 0 18 0 14035981 9787879424 6137 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2389619 6137 2157 9 0 2380296 0
[pid=13490/tid=13491] ppid=13487 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2382 0 1 0 6 1 0 0 20 0 18 0 14035981 9787879424 6137 33554432000 1073741824 1073778376 140734931183648 140097716472736 272886107979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200273 s]
/proc/loadavg: 2.34 2.22 2.19 3/194 13490
/proc/meminfo: memFree=30352752/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 5983 0 1 0 29 2 0 0 20 0 18 0 14035981 9787879424 7951 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2389619 7951 2221 9 0 2380296 0
[pid=13490/tid=13491] ppid=13487 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2401 0 1 0 16 1 0 0 20 0 18 0 14035981 9787879424 7951 33554432000 1073741824 1073778376 140734931183648 140097716472736 140097555110197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300372 s]
/proc/loadavg: 2.34 2.22 2.19 3/194 13490
/proc/meminfo: memFree=30352752/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 7113 0 1 0 55 2 0 0 20 0 18 0 14035981 9787879424 11679 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2389619 11679 2238 9 0 2380296 0
[pid=13490/tid=13491] ppid=13487 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2407 0 1 0 26 2 0 0 20 0 18 0 14035981 9787879424 11679 33554432000 1073741824 1073778376 140734931183648 140097716473976 140097555451610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700317 s]
/proc/loadavg: 2.34 2.22 2.19 3/194 13490
/proc/meminfo: memFree=30352752/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9558476 CPUtime=1.01 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 7259 0 1 0 98 3 0 0 20 0 18 0 14035981 9787879424 39928 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2389619 39928 2257 9 0 2380296 0
[pid=13490/tid=13491] ppid=13487 vsize=9558476 CPUtime=0.66 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2465 0 1 0 64 2 0 0 20 0 18 0 14035981 9787879424 39928 33554432000 1073741824 1073778376 140734931183648 140097716465584 140097555504096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9558476

[startup+1.50082 s]
/proc/loadavg: 2.34 2.22 2.19 3/212 13508
/proc/meminfo: memFree=30194304/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 9654 0 1 0 216 5 0 0 20 0 19 0 14035981 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2406260 42342 2276 9 0 2396937 0
[pid=13490/tid=13491] ppid=13487 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2481 0 1 0 143 3 0 0 20 0 19 0 14035981 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097716474136 140097555683696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13493] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097677966120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13494] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7556 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097676913320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3531 0 0 0 36 0 0 0 20 0 19 0 14035985 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2274 0 0 0 31 0 0 0 20 0 19 0 14035985 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13507/stat : 13507 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140096930032248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13508] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13508/stat : 13508 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42342 33554432000 1073741824 1073778376 140734931183648 140096928979656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.34 2.22 2.19 3/213 13509
/proc/meminfo: memFree=30190264/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 10337 0 1 0 383 5 0 0 20 0 19 0 14035981 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2406260 42346 2279 9 0 2396937 0
[pid=13490/tid=13491] ppid=13487 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2482 0 1 0 303 3 0 0 20 0 19 0 14035981 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097716472896 140097555787673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13493] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097677966120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13494] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7556 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097676913320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3531 0 0 0 39 0 0 0 20 0 19 0 14035985 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2955 0 0 0 36 0 0 0 20 0 19 0 14035985 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13507/stat : 13507 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096930032248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13508] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13508/stat : 13508 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096928979656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13509] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13509/stat : 13509 (java) S 13487 13490 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14036093 9856040960 42346 33554432000 1073741824 1073778376 140734931183648 140096927925672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.32 2.22 2.19 3/213 13509
/proc/meminfo: memFree=30190024/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 10395 0 1 0 708 6 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2406260 42336 2284 9 0 2396937 0
[pid=13490/tid=13491] ppid=13487 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2484 0 1 0 622 3 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097716474184 140097555746893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13493] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097677966120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13494] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7556 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097676913320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3545 0 0 0 44 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2997 0 0 0 37 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7

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

[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3545 0 0 0 47 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2997 0 0 0 40 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13507/stat : 13507 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096930032248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13508] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13508/stat : 13508 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096928979656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13509] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13509/stat : 13509 (java) S 13487 13490 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14036093 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096927925672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.09
Current children cumulated vsize (KiB) 9625040

[startup+15.6008 s]
/proc/loadavg: 2.27 2.21 2.19 3/213 13509
/proc/meminfo: memFree=30190344/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9625040 CPUtime=16.49 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 10396 0 1 0 1643 6 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2406260 42336 2284 9 0 2396937 0
[pid=13490/tid=13491] ppid=13487 vsize=9625040 CPUtime=15.54 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2485 0 1 0 1551 3 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097716474136 140097555683696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13493] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097677966120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13494] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7556 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097676913320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3545 0 0 0 47 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2997 0 0 0 40 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13507/stat : 13507 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096930032248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13508] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13508/stat : 13508 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096928979656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13509] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13509/stat : 13509 (java) S 13487 13490 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14036093 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096927925672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.49
Current children cumulated vsize (KiB) 9625040

[startup+15.8009 s]
/proc/loadavg: 2.27 2.21 2.19 3/213 13509
/proc/meminfo: memFree=30190344/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9625040 CPUtime=16.69 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 10396 0 1 0 1663 6 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2406260 42336 2284 9 0 2396937 0
[pid=13490/tid=13491] ppid=13487 vsize=9625040 CPUtime=15.74 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2485 0 1 0 1571 3 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097716474136 140097555679906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13493] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097677966120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13494] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7556 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097676913320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3545 0 0 0 47 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2997 0 0 0 40 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13507/stat : 13507 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096930032248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13508] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13508/stat : 13508 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096928979656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13509] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13509/stat : 13509 (java) S 13487 13490 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14036093 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096927925672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 9625040

[startup+15.901 s]
/proc/loadavg: 2.27 2.21 2.19 3/213 13509
/proc/meminfo: memFree=30190344/32872528 swapFree=1243920/1391088
[pid=13490] ppid=13487 vsize=9625040 CPUtime=16.79 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7556 0 -1 4202496 10396 0 1 0 1673 6 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140734931174784 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13490/statm: 2406260 42336 2284 9 0 2396937 0
[pid=13490/tid=13491] ppid=13487 vsize=9625040 CPUtime=15.84 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13487 13490 7556 0 -1 4202560 2485 0 1 0 1581 3 0 0 20 0 19 0 14035981 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097716474136 140097555683691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13493] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097677966120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13494] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7556 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097676913320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13495] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7556 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097675861032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13496] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7556 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097674808232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13497] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097673754920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13498] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097554999464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13499] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097553947176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13490/tid=13500] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7556 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14035982 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097552894376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13501] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7556 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097540696808 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13502] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7556 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140097539642872 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13503] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14035983 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096934242056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13504] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096933190544 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13505] ppid=13487 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7556 0 -1 4202560 3545 0 0 0 47 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096932137144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13490/tid=13506] ppid=13487 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13490/task/13506/stat : 13506 (java) S 13487 13490 7556 0 -1 4202560 2997 0 0 0 40 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096931084344 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13507] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13507/stat : 13507 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096930032248 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13490/tid=13508] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13508/stat : 13508 (java) S 13487 13490 7556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14035985 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096928979656 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13490/tid=13509] ppid=13487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13509/stat : 13509 (java) S 13487 13490 7556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14036093 9856040960 42336 33554432000 1073741824 1073778376 140734931183648 140096927925672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.79
Current children cumulated vsize (KiB) 9625040

Child status: 10
Real time (s): 15.9377
CPU time (s): 16.8504
CPU user time (s): 16.7575
CPU system time (s): 0.092985
CPU usage (%): 105.727
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7575
system time used= 0.092985
maximum resident set size= 171136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10416
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 666
involuntary context switches= 490

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103984 second user time and 0.116982 second system time

The end

Begin job on node119 at 2016-06-17 01:31:14
IDJOB=4098126
IDBENCH=107855
IDSOLVER=2546
FILE ID=node119/4098126-1466119873
RUNJOBID= node119-1466116222-11904
PBS_JOBID= 19904129
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_28.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098126-1466119873/watcher-4098126-1466119873 -o /tmp/evaluation-result-4098126-1466119873/solver-4098126-1466119873 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466116222-11904 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4098126-1466119873.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1ca77ae56bd382d667ab95b29a70f15a
RANDOM SEED=1344547481

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30353076 kB
Buffers:           70796 kB
Cached:           118928 kB
SwapCached:         1048 kB
Active:           303340 kB
Inactive:         116136 kB
Active(anon):     230796 kB
Inactive(anon):     1560 kB
Active(file):      72544 kB
Inactive(file):   114576 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:              6648 kB
Writeback:             0 kB
AnonPages:       1626124 kB
Mapped:            15272 kB
Shmem:                 0 kB
Slab:             572496 kB
SReclaimable:      16164 kB
SUnreclaim:       556332 kB
KernelStack:        1600 kB
PageTables:         7480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2094292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node119 at 2016-06-17 01:31:30