| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | MSAT (TO) | 1800.09 | 1796.36 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo |
| MD5SUM | b42a0c18226ee2c23d631dce3f98019c |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best cost obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 7542 |
| Total number of constraints | 1065451 |
| Number of soft constraints | 1065251 |
| Number of constraints which are clauses | 1065251 |
| Number of constraints which are cardinality constraints (but not clauses) | 200 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 476244 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 266649860 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4090400-1466073466.wbo 0.09/0.12 c reading problem ... 7.31/5.12 c ... done. Wall clock time 5.0s. 7.31/5.12 c declared #vars 7542 7.31/5.15 c internal #vars 1072793 7.31/5.15 c #constraints 1065651 7.31/5.15 c constraints type 7.31/5.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1065451 7.31/5.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 200 7.31/5.15 c 1065651 constraints processed. 7.31/5.15 c objective function length is 1065251 literals 18.99/16.44 c SATISFIABLE 18.99/16.44 c OPTIMIZING... 18.99/16.44 c Got one! Elapsed wall clock time (in seconds):16.319 18.99/16.44 o 56138 383.11/379.48 c cleaning 2843 clauses out of 5688 with flag 49163/5688 769.71/766.05 c cleaning 4421 clauses out of 8845 with flag 122953/11688 1258.18/1254.41 c cleaning 5707 clauses out of 11424 with flag 246925/18688 1800.09/1796.31 c starts : 64 1800.09/1796.31 c conflicts : 25685 1800.09/1796.31 c decisions : 27884940 1800.09/1796.31 c propagations : 4619034220 1800.09/1796.31 c inspects : 71459305 1800.09/1796.31 c shortcuts : 0 1800.09/1796.31 c learnt literals : 0 1800.09/1796.31 c learnt binary clauses : 0 1800.09/1796.31 c learnt ternary clauses : 0 1800.09/1796.31 c learnt constraints : 25684 1800.09/1796.31 c ignored constraints : 0 1800.09/1796.31 c root simplifications : 0 1800.09/1796.31 c removed literals (reason simplification) : 0 1800.09/1796.31 c reason swapping (by a shorter reason) : 0 1800.09/1796.31 c Calls to reduceDB : 3 1800.09/1796.31 c Number of update (reduction) of LBD : 6456 1800.09/1796.31 c Imported unit clauses : 0 1800.09/1796.31 c number of reductions to clauses (during analyze) : 0 1800.09/1796.31 c number of learned constraints concerned by reduction : 0 1800.09/1796.31 c number of learning phase by resolution : 0 1800.09/1796.31 c number of learning phase by cutting planes : 0 1800.09/1796.31 c speed (assignments/second) : 2579085.729536929 1800.09/1796.31 c non guided choices 9455 1800.09/1796.31 c learnt constraints type 1800.09/1796.31 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12713 1800.09/1796.31 s SATISFIABLE 1800.09/1796.31 c Found 1 solution(s) 1800.09/1796.33 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 1800.09/1796.34 c objective function=56138 1800.09/1796.34 c Total wall clock time (in seconds): 1796.221
OK 48138
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-4090400-1466073466/watcher-4090400-1466073466 -o /tmp/evaluation-result-4090400-1466073466/solver-4090400-1466073466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466062123-8046 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090400-1466073466.wbo pid=14028 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.39 2.33 2.23 3/194 14031 /proc/meminfo: memFree=30406812/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/14031/stat : 14031 (java) D 14028 14031 8029 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 9393302 278528 33 33554432000 1073741824 1073778376 140737371956528 140737371953704 214528257319 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 68 33 25 9 0 25 0 [startup+0.100159 s] /proc/loadavg: 2.39 2.33 2.23 3/194 14031 /proc/meminfo: memFree=30406812/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 9393302 9787879424 6035 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2389619 6035 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200334 s] /proc/loadavg: 2.39 2.33 2.23 3/194 14031 /proc/meminfo: memFree=30406812/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 5196 0 1 0 26 1 0 0 20 0 18 0 9393302 9787879424 8254 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2389619 8254 2210 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300339 s] /proc/loadavg: 2.39 2.33 2.23 3/194 14031 /proc/meminfo: memFree=30406812/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9558476 CPUtime=0.52 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 7332 0 1 0 50 2 0 0 20 0 18 0 9393302 9787879424 13041 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2389619 13041 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558476 [startup+0.700342 s] /proc/loadavg: 2.39 2.33 2.23 3/194 14031 /proc/meminfo: memFree=30406812/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9558476 CPUtime=1.31 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 8859 0 1 0 125 6 0 0 20 0 18 0 9393302 9787879424 44715 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2389619 44715 2266 9 0 2380296 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9558476 [startup+1.50088 s] /proc/loadavg: 2.44 2.34 2.24 3/212 14049 /proc/meminfo: memFree=30193872/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9558476 CPUtime=2.54 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 9653 0 1 0 234 20 0 0 20 0 18 0 9393302 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2389619 98505 2266 9 0 2380296 0 [pid=14031/tid=14033] ppid=14028 vsize=9558476 CPUtime=1.27 cores=1,3,5,7 /proc/14031/task/14033/stat : 14033 (java) R 14028 14031 8029 0 -1 4202560 2525 0 1 0 123 4 0 0 20 0 18 0 9393304 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139837052608448 214540805389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14034] ppid=14028 vsize=9558476 CPUtime=0.14 cores=1,3,5,7 /proc/14031/task/14034/stat : 14034 (java) S 14028 14031 8029 0 -1 4202560 155 0 0 0 11 3 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139837025069224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14035] ppid=14028 vsize=9558476 CPUtime=0.06 cores=1,3,5,7 /proc/14031/task/14035/stat : 14035 (java) S 14028 14031 8029 0 -1 4202560 114 0 0 0 4 2 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139837024016680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14036] ppid=14028 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/14031/task/14036/stat : 14036 (java) S 14028 14031 8029 0 -1 4202560 56 0 0 0 8 3 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139837022964136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14037] ppid=14028 vsize=9558476 CPUtime=0.06 cores=1,3,5,7 /proc/14031/task/14037/stat : 14037 (java) S 14028 14031 8029 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836893211176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14038] ppid=14028 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/14031/task/14038/stat : 14038 (java) S 14028 14031 8029 0 -1 4202560 98 0 0 0 5 2 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836892158632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14039] ppid=14028 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/14031/task/14039/stat : 14039 (java) S 14028 14031 8029 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836891106088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14040] ppid=14028 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/14031/task/14040/stat : 14040 (java) S 14028 14031 8029 0 -1 4202560 144 0 0 0 3 1 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836890053544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14041] ppid=14028 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/14031/task/14041/stat : 14041 (java) S 14028 14031 8029 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 18 0 9393305 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836889001000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14042] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14042/stat : 14042 (java) S 14028 14031 8029 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 9393306 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836406487144 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14043] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14043/stat : 14043 (java) S 14028 14031 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 9393306 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836405433464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14044] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14044/stat : 14044 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 9393307 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836404380808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14045] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14045/stat : 14045 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9393309 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836403329552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14046] ppid=14028 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/14031/task/14046/stat : 14046 (java) S 14028 14031 8029 0 -1 4202560 2725 0 0 0 28 0 0 0 20 0 18 0 9393309 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836402276920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14047] ppid=14028 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/14031/task/14047/stat : 14047 (java) S 14028 14031 8029 0 -1 4202560 2278 0 0 0 25 0 0 0 20 0 18 0 9393309 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836401224376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14048] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14048/stat : 14048 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9393309 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836400172024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14049] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14049/stat : 14049 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9393309 9787879424 98505 33554432000 1073741824 1073778376 140735470384992 139836399119688 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 9558476 [startup+3.10081 s] /proc/loadavg: 2.44 2.34 2.24 3/212 14049 /proc/meminfo: memFree=29951552/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9558476 CPUtime=4.83 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 11019 0 1 0 442 41 0 0 20 0 18 0 9393302 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2389619 198792 2266 9 0 2380296 0 [pid=14031/tid=14033] ppid=14028 vsize=9558476 CPUtime=2.62 cores=1,3,5,7 /proc/14031/task/14033/stat : 14033 (java) R 14028 14031 8029 0 -1 4202560 2813 0 1 0 255 7 0 0 20 0 18 0 9393304 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139837052616136 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14034] ppid=14028 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/14031/task/14034/stat : 14034 (java) S 14028 14031 8029 0 -1 4202560 393 0 0 0 20 5 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139837025069224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14035] ppid=14028 vsize=9558476 CPUtime=0.19 cores=1,3,5,7 /proc/14031/task/14035/stat : 14035 (java) S 14028 14031 8029 0 -1 4202560 167 0 0 0 14 5 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139837024016680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14036] ppid=14028 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/14031/task/14036/stat : 14036 (java) S 14028 14031 8029 0 -1 4202560 100 0 0 0 18 5 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139837022964136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14037] ppid=14028 vsize=9558476 CPUtime=0.18 cores=1,3,5,7 /proc/14031/task/14037/stat : 14037 (java) S 14028 14031 8029 0 -1 4202560 106 0 0 0 14 4 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836893211176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14038] ppid=14028 vsize=9558476 CPUtime=0.2 cores=1,3,5,7 /proc/14031/task/14038/stat : 14038 (java) S 14028 14031 8029 0 -1 4202560 157 0 0 0 15 5 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836892158632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14039] ppid=14028 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/14031/task/14039/stat : 14039 (java) S 14028 14031 8029 0 -1 4202560 86 0 0 0 13 3 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836891106088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14040] ppid=14028 vsize=9558476 CPUtime=0.14 cores=1,3,5,7 /proc/14031/task/14040/stat : 14040 (java) S 14028 14031 8029 0 -1 4202560 183 0 0 0 10 4 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836890053544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14041] ppid=14028 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/14031/task/14041/stat : 14041 (java) S 14028 14031 8029 0 -1 4202560 209 0 0 0 14 3 0 0 20 0 18 0 9393305 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836889001000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14042] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14042/stat : 14042 (java) S 14028 14031 8029 0 -1 4202560 550 0 0 0 0 0 0 0 20 0 18 0 9393306 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836406487144 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14043] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14043/stat : 14043 (java) S 14028 14031 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 9393306 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836405433464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14044] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14044/stat : 14044 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 9393307 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836404380808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14045] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14045/stat : 14045 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9393309 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836403329552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14046] ppid=14028 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/14031/task/14046/stat : 14046 (java) S 14028 14031 8029 0 -1 4202560 2725 0 0 0 28 0 0 0 20 0 18 0 9393309 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836402276920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14047] ppid=14028 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/14031/task/14047/stat : 14047 (java) S 14028 14031 8029 0 -1 4202560 2278 0 0 0 25 0 0 0 20 0 18 0 9393309 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836401224376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14048] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14048/stat : 14048 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9393309 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836400172024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14049] ppid=14028 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14049/stat : 14049 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9393309 9787879424 198792 33554432000 1073741824 1073778376 140735470384992 139836399119688 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.83 Current children cumulated vsize (KiB) 9558476 [startup+6.30087 s] /proc/loadavg: 2.44 2.34 2.24 3/213 14050 /proc/meminfo: memFree=29321352/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9625040 CPUtime=8.84 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 12625 0 1 0 830 54 0 0 20 0 19 0 9393302 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2406260 272776 2282 9 0 2396937 0 [pid=14031/tid=14033] ppid=14028 vsize=9625040 CPUtime=5.65 cores=1,3,5,7 /proc/14031/task/14033/stat : 14033 (java) R 14028 14031 8029 0 -1 4202560 3386 0 1 0 554 11 0 0 20 0 19 0 9393304 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139837052617288 139836904920221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14034] ppid=14028 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/14031/task/14034/stat : 14034 (java) S 14028 14031 8029 0 -1 4202560 536 0 0 0 25 6 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139837025069224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14035] ppid=14028 vsize=9625040 CPUtime=0.27 cores=1,3,5,7 /proc/14031/task/14035/stat : 14035 (java) S 14028 14031 8029 0 -1 4202560 203 0 0 0 21 6 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139837024016680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14036] ppid=14028 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/14031/task/14036/stat : 14036 (java) S 14028 14031 8029 0 -1 4202560 131 0 0 0 24 6 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139837022964136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14037] ppid=14028 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/14031/task/14037/stat : 14037 (java) S 14028 14031 8029 0 -1 4202560 132 0 0 0 20 6 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836893211176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14038] ppid=14028 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/14031/task/14038/stat : 14038 (java) S 14028 14031 8029 0 -1 4202560 179 0 0 0 23 6 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836892158632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14039] ppid=14028 vsize=9625040 CPUtime=0.23 cores=1,3,5,7 /proc/14031/task/14039/stat : 14039 (java) S 14028 14031 8029 0 -1 4202560 536 0 0 0 19 4 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836891106088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14040] ppid=14028 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/14031/task/14040/stat : 14040 (java) S 14028 14031 8029 0 -1 4202560 205 0 0 0 16 5 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836890053544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14041] ppid=14028 vsize=9625040 CPUtime=0.28 cores=1,3,5,7 /proc/14031/task/14041/stat : 14041 (java) S 14028 14031 8029 0 -1 4202560 250 0 0 0 24 4 0 0 20 0 19 0 9393305 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836889001000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14042] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14042/stat : 14042 (java) S 14028 14031 8029 0 -1 4202560 562 0 0 0 0 0 0 0 20 0 19 0 9393306 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836406487144 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14043] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14043/stat : 14043 (java) S 14028 14031 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9393306 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836405433464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14044] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14044/stat : 14044 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393307 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836404380808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14045] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14045/stat : 14045 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836403329552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14046] ppid=14028 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/14031/task/14046/stat : 14046 (java) S 14028 14031 8029 0 -1 4202560 2730 0 0 0 48 0 0 0 20 0 19 0 9393309 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836402276920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14047] ppid=14028 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/14031/task/14047/stat : 14047 (java) S 14028 14031 8029 0 -1 4202560 2515 0 0 0 39 0 0 0 20 0 19 0 9393309 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836401224376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14048] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14048/stat : 14048 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836400172024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14049] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14049/stat : 14049 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836399119688 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14050] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14050/stat : 14050 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393838 9856040960 272776 33554432000 1073741824 1073778376 140735470384992 139836398064424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 8.84 Current children cumulated vsize (KiB) 9625040 [startup+12.7009 s] /proc/loadavg: 2.45 2.35 2.24 4/213 14050 /proc/meminfo: memFree=29321644/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9625040 CPUtime=15.27 cores=1,3,5,7 ################ # More data... # ################ /proc/14031/task/14050/stat : 14050 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393838 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836398064424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1726.09 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 1.04 1.09 1.34 2/188 14473 /proc/meminfo: memFree=28998732/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9625040 CPUtime=1786.08 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 52398 0 1 0 178477 131 0 0 20 0 19 0 9393302 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2406260 433710 2295 9 0 2396937 0 [pid=14031/tid=14033] ppid=14028 vsize=9625040 CPUtime=1774.2 cores=1,3,5,7 /proc/14031/task/14033/stat : 14033 (java) R 14028 14031 8029 0 -1 4202560 3528 0 1 0 177374 46 0 0 20 0 19 0 9393304 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837052608240 139836904243093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14034] ppid=14028 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/14031/task/14034/stat : 14034 (java) S 14028 14031 8029 0 -1 4202560 3846 0 0 0 39 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837025069224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14035] ppid=14028 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/14031/task/14035/stat : 14035 (java) S 14028 14031 8029 0 -1 4202560 4072 0 0 0 32 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837024016680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14036] ppid=14028 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/14031/task/14036/stat : 14036 (java) S 14028 14031 8029 0 -1 4202560 2541 0 0 0 37 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837022964136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14037] ppid=14028 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/14031/task/14037/stat : 14037 (java) S 14028 14031 8029 0 -1 4202560 3210 0 0 0 32 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836893211176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14038] ppid=14028 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/14031/task/14038/stat : 14038 (java) S 14028 14031 8029 0 -1 4202560 2678 0 0 0 35 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836892158632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14039] ppid=14028 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/14031/task/14039/stat : 14039 (java) S 14028 14031 8029 0 -1 4202560 3060 0 0 0 29 5 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836891106088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14040] ppid=14028 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/14031/task/14040/stat : 14040 (java) S 14028 14031 8029 0 -1 4202560 3382 0 0 0 34 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836890053544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14041] ppid=14028 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/14031/task/14041/stat : 14041 (java) S 14028 14031 8029 0 -1 4202560 3031 0 0 0 44 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836889001000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14042] ppid=14028 vsize=9625040 CPUtime=1.99 cores=1,3,5,7 /proc/14031/task/14042/stat : 14042 (java) S 14028 14031 8029 0 -1 4202560 16411 0 0 0 193 6 0 0 20 0 19 0 9393306 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836406487144 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14043] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14043/stat : 14043 (java) S 14028 14031 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9393306 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836405433464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14044] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14044/stat : 14044 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393307 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836404380808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14045] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14045/stat : 14045 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836403329552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14046] ppid=14028 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14031/task/14046/stat : 14046 (java) S 14028 14031 8029 0 -1 4202560 2749 0 0 0 67 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836402276920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14047] ppid=14028 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/14031/task/14047/stat : 14047 (java) S 14028 14031 8029 0 -1 4202560 2528 0 0 0 57 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836401224376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14048] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14048/stat : 14048 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836400172024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14049] ppid=14028 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/14031/task/14049/stat : 14049 (java) S 14028 14031 8029 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836399119688 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14050] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14050/stat : 14050 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393838 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836398064424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1786.08 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.3 s] /proc/loadavg: 1.03 1.09 1.34 2/188 14473 /proc/meminfo: memFree=28998732/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 52398 0 1 0 179878 131 0 0 20 0 19 0 9393302 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2406260 433710 2295 9 0 2396937 0 [pid=14031/tid=14033] ppid=14028 vsize=9625040 CPUtime=1788.17 cores=1,3,5,7 /proc/14031/task/14033/stat : 14033 (java) R 14028 14031 8029 0 -1 4202560 3528 0 1 0 178770 47 0 0 20 0 19 0 9393304 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837052608240 139836905159318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14034] ppid=14028 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/14031/task/14034/stat : 14034 (java) S 14028 14031 8029 0 -1 4202560 3846 0 0 0 39 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837025069224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14035] ppid=14028 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/14031/task/14035/stat : 14035 (java) S 14028 14031 8029 0 -1 4202560 4072 0 0 0 32 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837024016680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14036] ppid=14028 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/14031/task/14036/stat : 14036 (java) S 14028 14031 8029 0 -1 4202560 2541 0 0 0 37 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837022964136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14037] ppid=14028 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/14031/task/14037/stat : 14037 (java) S 14028 14031 8029 0 -1 4202560 3210 0 0 0 32 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836893211176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14038] ppid=14028 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/14031/task/14038/stat : 14038 (java) S 14028 14031 8029 0 -1 4202560 2678 0 0 0 35 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836892158632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14039] ppid=14028 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/14031/task/14039/stat : 14039 (java) S 14028 14031 8029 0 -1 4202560 3060 0 0 0 29 5 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836891106088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14040] ppid=14028 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/14031/task/14040/stat : 14040 (java) S 14028 14031 8029 0 -1 4202560 3382 0 0 0 34 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836890053544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14041] ppid=14028 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/14031/task/14041/stat : 14041 (java) S 14028 14031 8029 0 -1 4202560 3031 0 0 0 44 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836889001000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14042] ppid=14028 vsize=9625040 CPUtime=1.99 cores=1,3,5,7 /proc/14031/task/14042/stat : 14042 (java) S 14028 14031 8029 0 -1 4202560 16411 0 0 0 193 6 0 0 20 0 19 0 9393306 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836406487144 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14043] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14043/stat : 14043 (java) S 14028 14031 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9393306 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836405433464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14044] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14044/stat : 14044 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393307 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836404380808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14045] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14045/stat : 14045 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836403329552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14046] ppid=14028 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14031/task/14046/stat : 14046 (java) S 14028 14031 8029 0 -1 4202560 2749 0 0 0 67 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836402276920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14047] ppid=14028 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/14031/task/14047/stat : 14047 (java) S 14028 14031 8029 0 -1 4202560 2528 0 0 0 57 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836401224376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14048] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14048/stat : 14048 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836400172024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14049] ppid=14028 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/14031/task/14049/stat : 14049 (java) S 14028 14031 8029 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836399119688 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14050] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14050/stat : 14050 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393838 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836398064424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 14031 sig 9 ??? kill -14031 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1796.3 s] /proc/loadavg: 1.03 1.09 1.34 2/188 14473 /proc/meminfo: memFree=28998732/32872528 swapFree=1190796/1305260 [pid=14031] ppid=14028 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7 /proc/14031/stat : 14031 (java) S 14028 14031 8029 0 -1 4202496 52398 0 1 0 179878 131 0 0 20 0 19 0 9393302 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 140735470376128 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14031/statm: 2406260 433710 2295 9 0 2396937 0 [pid=14031/tid=14033] ppid=14028 vsize=9625040 CPUtime=1788.17 cores=1,3,5,7 /proc/14031/task/14033/stat : 14033 (java) R 14028 14031 8029 0 -1 4202560 3528 0 1 0 178770 47 0 0 20 0 19 0 9393304 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837052608240 139836905159318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14034] ppid=14028 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/14031/task/14034/stat : 14034 (java) S 14028 14031 8029 0 -1 4202560 3846 0 0 0 39 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837025069224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14035] ppid=14028 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/14031/task/14035/stat : 14035 (java) S 14028 14031 8029 0 -1 4202560 4072 0 0 0 32 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837024016680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14036] ppid=14028 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/14031/task/14036/stat : 14036 (java) S 14028 14031 8029 0 -1 4202560 2541 0 0 0 37 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139837022964136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14037] ppid=14028 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/14031/task/14037/stat : 14037 (java) S 14028 14031 8029 0 -1 4202560 3210 0 0 0 32 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836893211176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14038] ppid=14028 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/14031/task/14038/stat : 14038 (java) S 14028 14031 8029 0 -1 4202560 2678 0 0 0 35 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836892158632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14039] ppid=14028 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/14031/task/14039/stat : 14039 (java) S 14028 14031 8029 0 -1 4202560 3060 0 0 0 29 5 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836891106088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14031/tid=14040] ppid=14028 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/14031/task/14040/stat : 14040 (java) S 14028 14031 8029 0 -1 4202560 3382 0 0 0 34 8 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836890053544 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14041] ppid=14028 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/14031/task/14041/stat : 14041 (java) S 14028 14031 8029 0 -1 4202560 3031 0 0 0 44 9 0 0 20 0 19 0 9393305 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836889001000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14031/tid=14042] ppid=14028 vsize=9625040 CPUtime=1.99 cores=1,3,5,7 /proc/14031/task/14042/stat : 14042 (java) S 14028 14031 8029 0 -1 4202560 16411 0 0 0 193 6 0 0 20 0 19 0 9393306 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836406487144 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14043] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14043/stat : 14043 (java) S 14028 14031 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9393306 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836405433464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14044] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14044/stat : 14044 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393307 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836404380808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14045] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14045/stat : 14045 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836403329552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14046] ppid=14028 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14031/task/14046/stat : 14046 (java) S 14028 14031 8029 0 -1 4202560 2749 0 0 0 67 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836402276920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14047] ppid=14028 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/14031/task/14047/stat : 14047 (java) S 14028 14031 8029 0 -1 4202560 2528 0 0 0 57 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836401224376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14048] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14048/stat : 14048 (java) S 14028 14031 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836400172024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14031/tid=14049] ppid=14028 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/14031/task/14049/stat : 14049 (java) S 14028 14031 8029 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 9393309 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836399119688 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14031/tid=14050] ppid=14028 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14031/task/14050/stat : 14050 (java) S 14028 14031 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9393838 9856040960 433710 33554432000 1073741824 1073778376 140735470384992 139836398064424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14031 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=199240 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=732736 # CPU time returned by wait4() is 1795.93 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.36 CPU time (s): 1800.09 CPU user time (s): 1798.78 CPU system time (s): 1.31 CPU usage (%): 100.208 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.2 system time used= 1.73274 maximum resident set size= 1787108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52440 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39457 involuntary context switches= 30897 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5424 second user time and 13.8919 second system time The end
Begin job on node127 at 2016-06-16 12:37:47 IDJOB=4090400 IDBENCH=79645 IDSOLVER=2551 FILE ID=node127/4090400-1466073466 RUNJOBID= node127-1466062123-8046 PBS_JOBID= 19904012 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090400-1466073466/watcher-4090400-1466073466 -o /tmp/evaluation-result-4090400-1466073466/solver-4090400-1466073466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466062123-8046 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090400-1466073466.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b42a0c18226ee2c23d631dce3f98019c RANDOM SEED=259870783 node127.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.769 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 : 5333.53 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.769 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.769 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.56 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.769 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.56 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.769 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.55 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.769 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.769 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.769 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: 30407348 kB Buffers: 18364 kB Cached: 84020 kB SwapCached: 34664 kB Active: 360608 kB Inactive: 76480 kB Active(anon): 301672 kB Inactive(anon): 35596 kB Active(file): 58936 kB Inactive(file): 40884 kB Unevictable: 1305260 kB Mlocked: 1190796 kB SwapTotal: 67108856 kB SwapFree: 67066084 kB Dirty: 33548 kB Writeback: 0 kB AnonPages: 1629300 kB Mapped: 15324 kB Shmem: 0 kB Slab: 567472 kB SReclaimable: 11376 kB SUnreclaim: 556096 kB KernelStack: 1576 kB PageTables: 7324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2037716 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 411648 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= 71708 MiB End job on node127 at 2016-06-16 13:07:43