Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 1076968448 | 1801.08 | 1769.62 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc05.opb |
MD5SUM | 4e6161a7dc803af1e0ad1878eef0a0d1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1076796928 |
Best CPU time to get the best result obtained on this benchmark | 247.126 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1076796928 |
Optimality of the best value was proved | YES |
Number of variables | 1940 |
Total number of constraints | 300 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 8 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 451 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 83751857084 |
Number of bits of the biggest sum of numbers | 37 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node61/44742-1149314566/instance-44742-1149314566.opb 0.20 c reading problem ... 0.65 c ... done. Time 0.451 ms. 0.65 c #vars 1940 0.65 c #constraints 328 2.24 c SATISFIABLE 2.24 c OPTIMIZING... 2.24 c Got one! Ellapsed CPU time (in seconds):2.043 2.25 o 1077102592 6.82 c Got one! Ellapsed CPU time (in seconds):6.618 6.82 o 1076968448 1769.40 c starts : 15 1769.40 c conflicts : 23917 1769.40 c decisions : 31459 1769.40 c propagations : 352838 1769.40 c inspects : 68036678 1769.40 c learnt literals : 0 1769.40 c learnt binary clauses : 1 1769.40 c learnt ternary clauses : 0 1769.40 c learnt clauses : 23917 1769.40 c root simplifications : 0 1769.40 c removed literals (reason simplification) : 0 1769.40 c reason swapping (by a shorter reason) : 0 1769.40 c Calls to reduceDB : 0 1769.40 c speed (decisions/second) : 17.848318511269024 1769.40 c non guided choices 16 1769.40 s SATISFIABLE 1769.43 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 1769.43 v -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 1769.43 v 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 1769.43 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1769.43 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1769.43 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1769.43 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1769.43 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1769.43 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1769.43 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1769.43 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1769.43 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1769.43 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1769.43 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1769.43 v -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 x327 x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1769.43 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1769.43 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1769.43 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1769.43 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1769.43 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1769.43 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1769.43 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1769.43 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1769.43 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1769.43 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1769.43 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1769.43 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1769.43 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1769.43 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1769.43 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1769.43 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1769.43 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1769.43 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1769.43 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 1769.43 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1769.43 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1769.43 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1769.43 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1769.43 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1769.43 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1769.43 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1769.43 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1769.43 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1769.43 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1769.43 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1769.43 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1769.43 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1769.43 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1769.43 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1769.43 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1769.43 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1769.43 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1769.43 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 x1106 x1107 x1108 -x1109 -x1110 -x1111 -x1112 1769.43 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1769.43 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1769.43 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1769.43 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1769.43 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1769.43 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1769.43 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 x1229 x1230 -x1231 -x1232 1769.43 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1769.43 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1769.43 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1769.43 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1769.43 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1769.43 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1769.43 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 x1346 -x1347 x1348 -x1349 -x1350 x1351 -x1352 1769.43 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1769.43 v -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1769.43 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1769.43 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1769.43 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1769.43 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1769.43 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1769.43 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1769.43 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1769.43 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1769.43 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1769.43 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1769.43 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1769.43 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1769.43 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1769.43 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1769.43 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1769.43 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1769.43 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1769.43 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1769.43 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 x1706 x1707 -x1708 x1709 -x1710 -x1711 1769.43 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 1769.43 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 x1736 x1737 x1738 x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 1769.43 v -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1769.43 v x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1769.43 v -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 1769.43 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 1769.43 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 x1828 x1829 x1830 -x1831 -x1832 x1833 -x1834 1769.43 v -x1835 -x1836 x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1769.43 v -x1853 -x1854 -x1855 -x1856 -x1857 x1858 x1859 -x1860 -x1861 -x1862 x1863 -x1864 x1865 -x1866 x1867 x1868 -x1869 -x1870 1769.43 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1769.43 v -x1888 x1889 -x1890 x1891 x1892 -x1893 x1894 -x1895 x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1769.43 v -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 x1922 x1923 1769.43 v x1924 x1925 x1926 x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 1769.43 c objective function=1076968448 1769.43 c Total wall clock time (ms): 1769.232
OK 1076968448
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-44742-1149314566 -o ROOT/results/node61/solver-44742-1149314566 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/44742-1149314566/instance-44742-1149314566.opb 635675675 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.97 2/64 4637 /proc/meminfo: memFree=1643712/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1592 CPUtime=0 /proc/4637/stat : 4637 (java) D 4635 4637 4591 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 197124499 1630208 103 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/4637/statm: 446 107 85 14 0 91 0 [startup+10.0028 s] /proc/loadavg: 0.87 0.97 0.97 2/76 4651 /proc/meminfo: memFree=1453160/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=11.49 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 54442 0 1 0 1127 22 0 0 19 0 13 0 197124499 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071408985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4637/statm: 428714 49430 1909 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=0.07 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 2222 0 0 0 7 0 0 0 16 0 13 0 197124503 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=0.08 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 2062 0 0 0 7 1 0 0 16 0 13 0 197124503 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197124505 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.04 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 104 0 0 0 16 0 13 0 197124509 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.01 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 2985 0 0 0 100 1 0 0 17 0 13 0 197124509 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 49430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.49 Current children cumulated vsize (Kb) 1714856 [startup+20.0107 s] /proc/loadavg: 0.89 0.97 0.97 2/76 4651 /proc/meminfo: memFree=1459056/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=21.55 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 56080 0 1 0 2132 23 0 0 19 0 13 0 197124499 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071525568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4637/statm: 428714 47933 1909 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=0.11 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 3188 0 0 0 11 0 0 0 16 0 13 0 197124503 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=0.12 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 2720 0 0 0 11 1 0 0 16 0 13 0 197124503 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 29 0 0 0 1 0 0 0 15 0 13 0 197124505 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.01 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 2985 0 0 0 100 1 0 0 17 0 13 0 197124509 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 47933 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.55 Current children cumulated vsize (Kb) 1714856 [startup+30.0177 s] /proc/loadavg: 0.91 0.97 0.97 2/76 4651 /proc/meminfo: memFree=1467120/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=31.61 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 57559 0 1 0 3137 24 0 0 16 0 13 0 197124499 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071525560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4637/statm: 428714 45903 1911 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=0.18 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 4093 0 0 0 17 1 0 0 16 0 13 0 197124503 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=0.17 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 3275 0 0 0 16 1 0 0 16 0 13 0 197124503 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 29 0 0 0 1 0 0 0 15 0 13 0 197124505 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.02 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 2987 0 0 0 101 1 0 0 17 0 13 0 197124509 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 45903 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.61 Current children cumulated vsize (Kb) 1714856 [startup+40.0247 s] /proc/loadavg: 0.92 0.97 0.97 2/76 4651 /proc/meminfo: memFree=1473008/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=41.65 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 58205 0 1 0 4139 26 0 0 25 0 13 0 197124499 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071409208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4637/statm: 428714 44445 1911 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=0.21 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 4567 0 0 0 20 1 0 0 16 0 13 0 197124503 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=0.21 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 3427 0 0 0 19 2 0 0 15 0 13 0 197124503 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.02 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 29 0 0 0 1 1 0 0 17 0 13 0 197124505 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.02 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 2987 0 0 0 101 1 0 0 17 0 13 0 197124509 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 44445 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.65 Current children cumulated vsize (Kb) 1714856 [startup+50.0317 s] /proc/loadavg: 0.93 0.97 0.97 2/76 4651 /proc/meminfo: memFree=1473520/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=51.69 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 59886 0 1 0 5142 27 0 0 25 0 13 0 197124499 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071543368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4637/statm: 428714 44351 1911 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=0.27 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 5332 0 0 0 25 2 0 0 16 0 13 0 197124503 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=0.25 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 4323 0 0 0 23 2 0 0 16 0 13 0 197124503 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.02 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 197124505 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.02 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 2987 0 0 0 101 1 0 0 17 0 13 0 197124509 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 44351 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.69 Current children cumulated vsize (Kb) 1714856 [startup+60.0386 s] /proc/loadavg: 0.94 0.97 0.97 2/76 4651 /proc/meminfo: memFree=1471216/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=61.77 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 62460 0 1 0 6148 29 0 0 24 0 13 0 197124499 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071512990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4637/statm: 428714 44875 1911 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=0.35 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 6655 0 0 0 32 3 0 0 16 0 13 0 197124503 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=0.34 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 5555 0 0 0 31 3 0 0 16 0 13 0 197124503 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.02 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 197124505 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 44875 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.08 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 3001 0 0 0 107 1 0 0 17 0 13 0 197124509 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 292703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 1714856 [startup+1766.37 s] /proc/loadavg: 1.01 1.02 1.00 2/76 4651 /proc/meminfo: memFree=476912/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=1797.71 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 380860 0 1 0 179577 194 0 0 25 0 13 0 197124499 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071465981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4637/statm: 428714 292817 1913 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=30.9 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 149529 0 0 0 3028 62 0 0 16 0 13 0 197124503 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=30.91 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 133109 0 0 0 3029 62 0 0 16 0 13 0 197124503 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.48 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 146 0 0 0 27 21 0 0 15 0 13 0 197124505 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.08 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 3001 0 0 0 107 1 0 0 17 0 13 0 197124509 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 292817 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (Kb) 1714856 [startup+1767.38 s] /proc/loadavg: 1.01 1.02 1.00 2/76 4651 /proc/meminfo: memFree=476208/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=1798.76 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 381042 0 1 0 179682 194 0 0 25 0 13 0 197124499 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4637/statm: 428714 292989 1913 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=30.95 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 149581 0 0 0 3033 62 0 0 16 0 13 0 197124503 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=30.96 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 133238 0 0 0 3033 63 0 0 16 0 13 0 197124503 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.48 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 146 0 0 0 27 21 0 0 15 0 13 0 197124505 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.08 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 3001 0 0 0 107 1 0 0 17 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.76 Current children cumulated vsize (Kb) 1714856 [startup+1768.38 s] /proc/loadavg: 1.01 1.02 1.00 2/76 4651 /proc/meminfo: memFree=476208/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=1799.76 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 381042 0 1 0 179782 194 0 0 25 0 13 0 197124499 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071513113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4637/statm: 428714 292989 1913 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=30.95 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 149581 0 0 0 3033 62 0 0 16 0 13 0 197124503 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=30.96 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 133238 0 0 0 3033 63 0 0 16 0 13 0 197124503 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.48 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 146 0 0 0 27 21 0 0 16 0 13 0 197124505 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.08 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 3001 0 0 0 107 1 0 0 17 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 292989 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (Kb) 1714856 [startup+1769.39 s] /proc/loadavg: 1.01 1.02 1.00 2/76 4651 /proc/meminfo: memFree=475888/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=1800.81 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 381144 0 1 0 179887 194 0 0 25 0 13 0 197124499 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4637/statm: 428714 293084 1913 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=30.99 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 149603 0 0 0 3037 62 0 0 16 0 13 0 197124503 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=31 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 133317 0 0 0 3037 63 0 0 16 0 13 0 197124503 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.48 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 146 0 0 0 27 21 0 0 15 0 13 0 197124505 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.08 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 3001 0 0 0 107 1 0 0 17 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (Kb) 1714856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1769.39 s] /proc/loadavg: 1.01 1.02 1.00 2/76 4651 /proc/meminfo: memFree=475888/2055920 swapFree=4180908/4192956 [pid=4637] ppid=4635 vsize=1714856 CPUtime=1800.81 /proc/4637/stat : 4637 (java) R 4635 4637 4591 0 -1 0 381144 0 1 0 179887 194 0 0 25 0 13 0 197124499 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071568970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/4637/statm: 428714 293084 1913 14 0 415461 0 [pid=4637/tid=4638] ppid=4635 vsize=1714856 CPUtime=30.99 /proc/4637/task/4638/stat : 4638 (java) S 4635 4637 4591 0 -1 64 149603 0 0 0 3037 62 0 0 16 0 13 0 197124503 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4639] ppid=4635 vsize=1714856 CPUtime=31 /proc/4637/task/4639/stat : 4639 (java) S 4635 4637 4591 0 -1 64 133317 0 0 0 3037 63 0 0 16 0 13 0 197124503 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4640] ppid=4635 vsize=1714856 CPUtime=0.48 /proc/4637/task/4640/stat : 4640 (java) S 4635 4637 4591 0 -1 64 146 0 0 0 27 21 0 0 15 0 13 0 197124505 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4641] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4641/stat : 4641 (java) S 4635 4637 4591 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4642] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4642/stat : 4642 (java) S 4635 4637 4591 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 197124506 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4643] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4643/stat : 4643 (java) S 4635 4637 4591 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4644] ppid=4635 vsize=1714856 CPUtime=0.01 /proc/4637/task/4644/stat : 4644 (java) S 4635 4637 4591 0 -1 64 19 0 0 0 1 0 0 0 16 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4645] ppid=4635 vsize=1714856 CPUtime=1.05 /proc/4637/task/4645/stat : 4645 (java) S 4635 4637 4591 0 -1 64 2826 0 0 0 105 0 0 0 16 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4646] ppid=4635 vsize=1714856 CPUtime=1.08 /proc/4637/task/4646/stat : 4646 (java) S 4635 4637 4591 0 -1 64 3001 0 0 0 107 1 0 0 17 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4637/tid=4647] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4647/stat : 4647 (java) S 4635 4637 4591 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4648] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4648/stat : 4648 (java) S 4635 4637 4591 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 197124509 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4637/tid=4651] ppid=4635 vsize=1714856 CPUtime=0 /proc/4637/task/4651/stat : 4651 (java) S 4635 4637 4591 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197125182 1756012544 293084 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (Kb) 1714856 Sending SIGTERM to -4637 Sleeping 2 seconds Child status: 143 Real time (s): 1769.62 CPU time (s): 1801.08 CPU user time (s): 1798.96 CPU system time (s): 2.11968 CPU usage (%): 101.778 Max. virtual memory (cumulated for all children) (Kb): 1714856
Begin job on node61 on Sat Jun 3 06:02:46 UTC 2006 FILE ID= 44742-1149314566 PBS_JOBID= 308242 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/44742-1149314566/instance-44742-1149314566.opb 635675675 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-44742-1149314566 -o ROOT/results/node61/solver-44742-1149314566 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node61/44742-1149314566/instance-44742-1149314566.opb 635675675 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 4e6161a7dc803af1e0ad1878eef0a0d1 RANDOM SEED= 635675675 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1643920 kB Buffers: 16236 kB Cached: 328472 kB SwapCached: 3724 kB Active: 35996 kB Inactive: 317448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1643920 kB SwapTotal: 4192956 kB SwapFree: 4180908 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14724 kB Slab: 44664 kB Committed_AS: 327632 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jun 3 06:32:16 UTC 2006