Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j Resolution 2.3.0 | SAT | 14.3748 | 12.9462 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb |
MD5SUM | 16e382d24044cea3204cbf333685cccd |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 6.77897 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 2559501 |
Number of constraints which are clauses | 2554450 |
Number of constraints which are cardinality constraints (but not clauses) | 101 |
Number of constraints which are nor clauses,nor cardinality constraints | 4950 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 450 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2049 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 12995394264 0.05/0.09 c Max memory 13063553024 0.05/0.09 c Total memory 13063553024 0.05/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3459298-1307634125.opb 0.10/0.12 c reading problem ... 13.55/12.54 c ... done. Wall clock time 12.424s. 13.55/12.54 c #vars 4500 13.55/12.54 c #constraints 2559602 13.55/12.54 c constraints type 13.55/12.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2552550 13.55/12.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 13.55/12.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000 13.55/12.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4950 14.00/12.78 c starts : 3 14.00/12.78 c conflicts : 224 14.00/12.78 c decisions : 14704 14.00/12.78 c propagations : 25667 14.00/12.78 c inspects : 573556 14.00/12.78 c shortcuts : 0 14.00/12.78 c learnt literals : 0 14.00/12.78 c learnt binary clauses : 0 14.00/12.78 c learnt ternary clauses : 0 14.00/12.78 c learnt constraints : 224 14.00/12.78 c ignored constraints : 0 14.00/12.78 c root simplifications : 0 14.00/12.78 c removed literals (reason simplification) : 526 14.00/12.78 c reason swapping (by a shorter reason) : 0 14.00/12.78 c Calls to reduceDB : 0 14.00/12.78 c number of reductions to clauses (during analyze) : 0 14.00/12.78 c number of learned constraints concerned by reduction : 0 14.00/12.78 c number of learning phase by resolution : 0 14.00/12.78 c number of learning phase by cutting planes : 0 14.00/12.78 c speed (assignments/second) : 104337.39837398374 14.00/12.78 c non guided choices 6285 14.00/12.78 c learnt constraints type 14.00/12.78 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224 14.00/12.78 c constraints type 14.00/12.78 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2552550 14.00/12.78 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 14.00/12.78 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000 14.00/12.78 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4950 14.00/12.78 s SATISFIABLE 14.00/12.80 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 14.22/12.80 c Total wall clock time (in seconds): 12.689
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3459298-1307634125/watcher-3459298-1307634125 -o /tmp/evaluation-result-3459298-1307634125/solver-3459298-1307634125 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459298-1307634125.opb running on 4 cores: 0,2,4,6 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.02 1.89 1.23 3/195 26876 /proc/meminfo: memFree=32041852/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=27172 CPUtime=0 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 875015547 27824128 906 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 6793 906 688 9 0 381 0 [pid=26876/tid=26877] ppid=26874 vsize=28384 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 64 0 0 0 0 0 0 0 25 0 2 0 875015547 29065216 906 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218366036832 0 0 4096 0 0 0 0 -1 2 0 0 0 [startup+0.063642 s] /proc/loadavg: 2.02 1.89 1.23 3/195 26876 /proc/meminfo: memFree=32041852/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13620340 CPUtime=0.05 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 14142 0 1 0 4 1 0 0 25 0 18 0 875015547 13947228160 13838 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3405085 13840 1730 9 0 3395826 0 [pid=26876/tid=26877] ppid=26874 vsize=13620340 CPUtime=0.05 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 12970 0 1 0 4 1 0 0 19 0 18 0 875015547 13947228160 13841 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 47161235372995 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13620340 [startup+0.10064 s] /proc/loadavg: 2.02 1.89 1.23 3/195 26876 /proc/meminfo: memFree=32041852/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13621528 CPUtime=0.1 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 15518 0 1 0 9 1 0 0 25 0 18 0 875015547 13948444672 15171 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3405382 15172 2093 9 0 3396116 0 [pid=26876/tid=26877] ppid=26874 vsize=13621528 CPUtime=0.08 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 13568 0 1 0 7 1 0 0 19 0 18 0 875015547 13948444672 15172 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 47161236912147 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621528 [startup+0.301712 s] /proc/loadavg: 2.02 1.89 1.23 3/195 26876 /proc/meminfo: memFree=32041852/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13621956 CPUtime=0.46 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 17948 0 1 0 44 2 0 0 25 0 18 0 875015547 13948882944 17370 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3405489 17370 2198 9 0 3396223 0 [pid=26876/tid=26877] ppid=26874 vsize=13621956 CPUtime=0.28 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 15188 0 1 0 27 1 0 0 19 0 18 0 875015547 13948882944 17371 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 47161239010100 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 13621956 [startup+0.700582 s] /proc/loadavg: 2.02 1.89 1.23 3/195 26876 /proc/meminfo: memFree=32041852/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13625296 CPUtime=1.17 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 51458 0 1 0 112 5 0 0 25 0 18 0 875015547 13952303104 49221 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3406324 49225 2214 9 0 3397058 0 [pid=26876/tid=26877] ppid=26874 vsize=13625296 CPUtime=0.68 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 45339 0 1 0 63 5 0 0 19 0 18 0 875015547 13952303104 49228 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 46912505609179 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 13625296 [startup+1.50145 s] /proc/loadavg: 2.02 1.89 1.23 3/213 26894 /proc/meminfo: memFree=31728508/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13625296 CPUtime=1.98 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 134038 0 1 0 181 17 0 0 25 0 18 0 875015547 13952303104 131801 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3406324 131806 2214 9 0 3397058 0 [pid=26876/tid=26877] ppid=26874 vsize=13625296 CPUtime=1.49 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 127920 0 1 0 132 17 0 0 21 0 18 0 875015547 13952303104 131809 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26876/tid=26879] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26879/stat : 26879 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131812 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26880] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26880/stat : 26880 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131815 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26881] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26881/stat : 26881 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131817 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26882] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26882/stat : 26882 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131820 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26883] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26883/stat : 26883 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131823 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26884] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26884/stat : 26884 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131825 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26885] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26885/stat : 26885 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131828 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26886] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26886/stat : 26886 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 131831 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26887] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26887/stat : 26887 (java) S 26874 26876 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875015550 13952303104 131834 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26888] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26888/stat : 26888 (java) S 26874 26876 26276 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 875015551 13952303104 131837 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0 [pid=26876/tid=26889] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26889/stat : 26889 (java) S 26874 26876 26276 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 875015551 13952303104 131839 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26890] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26890/stat : 26890 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 875015553 13952303104 131842 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26891] ppid=26874 vsize=13625296 CPUtime=0.22 cores=0,2,4,6 /proc/26876/task/26891/stat : 26891 (java) S 26874 26876 26276 0 -1 4202560 2464 0 0 0 22 0 0 0 16 0 18 0 875015553 13952303104 131845 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26892] ppid=26874 vsize=13625296 CPUtime=0.26 cores=0,2,4,6 /proc/26876/task/26892/stat : 26892 (java) S 26874 26876 26276 0 -1 4202560 2510 0 0 0 26 0 0 0 16 0 18 0 875015553 13952303104 131848 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 [pid=26876/tid=26893] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26893/stat : 26893 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 875015553 13952303104 131850 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26894] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26894/stat : 26894 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875015553 13952303104 131853 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 13625296 [startup+3.10115 s] /proc/loadavg: 2.02 1.89 1.23 3/213 26894 /proc/meminfo: memFree=31266980/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13625296 CPUtime=3.58 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 301424 0 1 0 320 38 0 0 25 0 18 0 875015547 13952303104 299187 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3406324 299192 2214 9 0 3397058 0 [pid=26876/tid=26877] ppid=26874 vsize=13625296 CPUtime=3.08 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 295305 0 1 0 271 37 0 0 25 0 18 0 875015547 13952303104 299194 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 46912505581431 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26876/tid=26879] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26879/stat : 26879 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299197 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26880] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26880/stat : 26880 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299200 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26881] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26881/stat : 26881 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299203 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26882] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26882/stat : 26882 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299206 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26883] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26883/stat : 26883 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299207 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26884] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26884/stat : 26884 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299208 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26885] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26885/stat : 26885 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299211 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26886] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26886/stat : 26886 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 299213 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26887] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26887/stat : 26887 (java) S 26874 26876 26276 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 875015550 13952303104 299216 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26888] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26888/stat : 26888 (java) S 26874 26876 26276 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 875015551 13952303104 299219 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0 [pid=26876/tid=26889] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26889/stat : 26889 (java) S 26874 26876 26276 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 875015551 13952303104 299222 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26890] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26890/stat : 26890 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 875015553 13952303104 299225 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26891] ppid=26874 vsize=13625296 CPUtime=0.22 cores=0,2,4,6 /proc/26876/task/26891/stat : 26891 (java) S 26874 26876 26276 0 -1 4202560 2464 0 0 0 22 0 0 0 16 0 18 0 875015553 13952303104 299228 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26892] ppid=26874 vsize=13625296 CPUtime=0.26 cores=0,2,4,6 /proc/26876/task/26892/stat : 26892 (java) S 26874 26876 26276 0 -1 4202560 2510 0 0 0 26 0 0 0 15 0 18 0 875015553 13952303104 299230 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 [pid=26876/tid=26893] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26893/stat : 26893 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 875015553 13952303104 299233 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26894] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26894/stat : 26894 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 875015553 13952303104 299236 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.58 Current children cumulated vsize (KiB) 13625296 [startup+6.30159 s] /proc/loadavg: 2.02 1.89 1.24 3/213 26894 /proc/meminfo: memFree=29817300/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13625296 CPUtime=6.77 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 666828 0 1 0 593 84 0 0 25 0 18 0 875015547 13952303104 664476 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3406324 664482 2218 9 0 3397058 0 [pid=26876/tid=26877] ppid=26874 vsize=13625296 CPUtime=6.29 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 660706 0 1 0 545 84 0 0 21 0 18 0 875015547 13952303104 664484 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 46912505628081 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26876/tid=26879] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26879/stat : 26879 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664488 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26880] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26880/stat : 26880 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664491 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26881] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26881/stat : 26881 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664495 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26882] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26882/stat : 26882 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664498 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26883] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26883/stat : 26883 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664501 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26884] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26884/stat : 26884 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664505 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26885] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26885/stat : 26885 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664508 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26886] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26886/stat : 26886 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 875015549 13952303104 664511 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26887] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26887/stat : 26887 (java) S 26874 26876 26276 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 875015550 13952303104 664515 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26888] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26888/stat : 26888 (java) S 26874 26876 26276 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 875015551 13952303104 664520 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 0 0 0 0 [pid=26876/tid=26889] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26889/stat : 26889 (java) S 26874 26876 26276 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 875015551 13952303104 664524 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26890] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26890/stat : 26890 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 875015553 13952303104 664527 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26891] ppid=26874 vsize=13625296 CPUtime=0.22 cores=0,2,4,6 /proc/26876/task/26891/stat : 26891 (java) S 26874 26876 26276 0 -1 4202560 2464 0 0 0 22 0 0 0 16 0 18 0 875015553 13952303104 664530 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26892] ppid=26874 vsize=13625296 CPUtime=0.26 cores=0,2,4,6 /proc/26876/task/26892/stat : 26892 (java) S 26874 26876 26276 0 -1 4202560 2512 0 0 0 26 0 0 0 15 0 18 0 875015553 13952303104 664534 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 [pid=26876/tid=26893] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26893/stat : 26893 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 875015553 13952303104 664537 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26894] ppid=26874 vsize=13625296 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26894/stat : 26894 (java) S 26874 26876 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 875015553 13952303104 664540 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 6.77 Current children cumulated vsize (KiB) 13625296 [startup+12.7014 s] /proc/loadavg: 2.02 1.89 1.24 3/213 26894 /proc/meminfo: memFree=28532036/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=13626460 CPUtime=14 cores=0,2,4,6 /proc/26876/stat : 26876 (java) S 26874 26876 26276 0 -1 4202496 881656 0 1 0 1289 111 0 0 25 0 19 0 875015547 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 3406615 878523 2248 9 0 3397349 0 [pid=26876/tid=26877] ppid=26874 vsize=13626460 CPUtime=12.54 cores=0,2,4,6 /proc/26876/task/26877/stat : 26877 (java) R 26874 26876 26276 0 -1 4202560 845526 0 1 0 1147 107 0 0 25 0 19 0 875015547 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 46912505193351 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26876/tid=26879] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26879/stat : 26879 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26880] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26880/stat : 26880 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26881] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26881/stat : 26881 (java) S 26874 26876 26276 0 -1 4202560 198 0 0 0 0 0 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26882] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26882/stat : 26882 (java) S 26874 26876 26276 0 -1 4202560 129 0 0 0 0 0 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26883] ppid=26874 vsize=13626460 CPUtime=0.13 cores=0,2,4,6 /proc/26876/task/26883/stat : 26883 (java) S 26874 26876 26276 0 -1 4202560 7581 0 0 0 13 0 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 [pid=26876/tid=26884] ppid=26874 vsize=13626460 CPUtime=0.12 cores=0,2,4,6 /proc/26876/task/26884/stat : 26884 (java) S 26874 26876 26276 0 -1 4202560 7427 0 0 0 12 0 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26885] ppid=26874 vsize=13626460 CPUtime=0.13 cores=0,2,4,6 /proc/26876/task/26885/stat : 26885 (java) S 26874 26876 26276 0 -1 4202560 7428 0 0 0 12 1 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 4 0 0 0 [pid=26876/tid=26886] ppid=26874 vsize=13626460 CPUtime=0.13 cores=0,2,4,6 /proc/26876/task/26886/stat : 26886 (java) S 26874 26876 26276 0 -1 4202560 6173 0 0 0 13 0 0 0 18 0 19 0 875015549 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 [pid=26876/tid=26887] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26887/stat : 26887 (java) S 26874 26876 26276 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 875015550 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 0 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26888] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26888/stat : 26888 (java) S 26874 26876 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875015551 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26889] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26889/stat : 26889 (java) S 26874 26876 26276 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 875015551 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26890] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26890/stat : 26890 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 875015553 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382780849 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26891] ppid=26874 vsize=13626460 CPUtime=0.4 cores=0,2,4,6 /proc/26876/task/26891/stat : 26891 (java) S 26874 26876 26276 0 -1 4202560 3481 0 0 0 40 0 0 0 15 0 19 0 875015553 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26892] ppid=26874 vsize=13626460 CPUtime=0.47 cores=0,2,4,6 /proc/26876/task/26892/stat : 26892 (java) R 26874 26876 26276 0 -1 4202560 2548 0 0 0 47 0 0 0 16 0 19 0 875015553 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 47161238984128 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26876/tid=26893] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26893/stat : 26893 (java) S 26874 26876 26276 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 875015553 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773145 0 4 0 16800975 18446604453958037568 0 0 -1 2 0 0 0 [pid=26876/tid=26894] ppid=26874 vsize=13626460 CPUtime=0 cores=0,2,4,6 /proc/26876/task/26894/stat : 26894 (java) S 26874 26876 26276 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 875015553 13953495040 878523 33554432000 1073741824 1073778376 140735523723184 18446744073709551615 218382773760 0 4 0 16800975 18446604453958037568 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 14 Current children cumulated vsize (KiB) 13626460 Solver just ended. Dumping a history of the last processes samples [startup+12.9014 s] /proc/loadavg: 2.02 1.89 1.24 3/213 26894 /proc/meminfo: memFree=28532036/32951124 swapFree=67050780/67111528 [pid=26876] ppid=26874 vsize=0 CPUtime=14.32 cores=0,2,4,6 /proc/26876/stat : 26876 (java) Z 26874 26876 26276 0 -1 4203548 881707 0 1 0 1313 119 0 0 18 0 2 0 875015547 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/26876/statm: 0 0 0 0 0 0 0 [pid=26876/tid=26886] ppid=26874 vsize=0 CPUtime=0.21 cores=0,2,4,6 /proc/26876/task/26886/stat : 26886 (java) R 26874 26876 26276 0 -1 4203588 6173 0 0 0 13 8 0 0 18 0 2 0 875015549 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 14.32 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 12.9462 CPU time (s): 14.3748 CPU user time (s): 13.135 CPU system time (s): 1.23981 CPU usage (%): 111.035 Max. virtual memory (cumulated for all children) (KiB): 13627488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.135 system time used= 1.23981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 881707 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 602 involuntary context switches= 78 runsolver used 0.022996 second user time and 0.050992 second system time The end
Begin job on node101 at 2011-06-09 17:42:08 IDJOB=3459298 IDBENCH=1381 IDSOLVER=1952 FILE ID=node101/3459298-1307634125 RUNJOBID= node101-1307633281-26294 PBS_JOBID= 13549390 Free space on /tmp= 74116 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459298-1307634125/watcher-3459298-1307634125 -o /tmp/evaluation-result-3459298-1307634125/solver-3459298-1307634125 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459298-1307634125.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 16e382d24044cea3204cbf333685cccd RANDOM SEED=407773929 node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32042024 kB Buffers: 80072 kB Cached: 234672 kB SwapCached: 27576 kB Active: 562232 kB Inactive: 177988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32042024 kB SwapTotal: 67111528 kB SwapFree: 67050780 kB Dirty: 89488 kB Writeback: 0 kB AnonPages: 419868 kB Mapped: 17472 kB Slab: 103044 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 13630460 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74116 MiB End job on node101 at 2011-06-09 17:42:21