Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 1768 | 1800.31 | 1778.54 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 770 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 770 |
Optimality of the best value was proved | NO |
Number of variables | 1704 |
Total number of constraints | 118 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 103 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1268 |
Biggest coefficient in the objective function | 29693 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525250 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261970 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525250 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.16 c no version file found!!! 0.16 c sun.arch.data.model 32 0.16 c java.version 1.5.0_06 0.16 c os.name Linux 0.16 c os.version 2.6.9-22.EL.rootsmp 0.16 c os.arch i386 0.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.23 c Cutting planes based inference 0.23 c --- Begin Solver configuration --- 0.23 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.23 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.23 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.23 c VSIDS like heuristics from MiniSAT using a heap 0.23 c No reason simplification 0.23 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 0.23 c reading problem ... 0.52 c ... done. Time 0.295 ms. 0.52 c #vars 1704 0.52 c #constraints 118 1.99 c SATISFIABLE 1.99 c OPTIMIZING... 1.99 c Got one! Ellapsed CPU time (in seconds):1.761 2.01 o 2918 19.01 c Got one! Ellapsed CPU time (in seconds):18.781 19.01 o 2911 20.07 c Got one! Ellapsed CPU time (in seconds):19.845 20.08 o 2902 20.90 c Got one! Ellapsed CPU time (in seconds):20.67 20.90 o 2841 21.44 c Got one! Ellapsed CPU time (in seconds):21.207 21.44 o 2332 154.28 c Got one! Ellapsed CPU time (in seconds):154.052 154.28 o 2033 159.96 c Got one! Ellapsed CPU time (in seconds):159.727 159.96 o 1857 161.03 c Got one! Ellapsed CPU time (in seconds):160.806 161.04 o 1852 164.11 c Got one! Ellapsed CPU time (in seconds):163.879 164.11 o 1851 190.02 c Got one! Ellapsed CPU time (in seconds):189.791 190.02 o 1849 757.56 c Got one! Ellapsed CPU time (in seconds):757.33 757.56 o 1848 762.29 c Got one! Ellapsed CPU time (in seconds):762.06 762.29 o 1769 926.81 c Got one! Ellapsed CPU time (in seconds):926.58 926.81 o 1768 1778.37 c starts : 31 1778.37 c conflicts : 4533 1778.37 c decisions : 122442 1778.37 c propagations : 279381 1778.37 c inspects : 20996249 1778.37 c learnt literals : 0 1778.37 c learnt binary clauses : 0 1778.37 c learnt ternary clauses : 0 1778.37 c learnt clauses : 4532 1778.37 c root simplifications : 0 1778.37 c removed literals (reason simplification) : 0 1778.37 c reason swapping (by a shorter reason) : 0 1778.37 c Calls to reduceDB : 0 1778.37 c speed (decisions/second) : 143.78653614450758 1778.37 c non guided choices 80 1778.37 s SATISFIABLE 1778.41 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 1778.41 v -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 1778.41 v -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 1778.41 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1778.41 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1778.41 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 1778.41 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1778.41 v x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1778.41 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1778.41 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1778.41 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1778.41 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1778.41 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1778.41 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1778.41 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1778.41 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1778.41 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1778.41 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 1778.41 v x403 x404 x405 x406 x407 x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1778.41 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 1778.41 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1778.41 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1778.41 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 1778.41 v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1778.41 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1778.41 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1778.41 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1778.41 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1778.41 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1778.41 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1778.41 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1778.41 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1778.41 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1778.41 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1778.41 v -x740 -x741 x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1778.41 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1778.41 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1778.41 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1778.41 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1778.41 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1778.41 v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1778.41 v -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 1778.41 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1778.41 v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 1778.41 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966 -x967 x968 x969 x970 x971 x972 1778.41 v x973 x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 x993 x994 x995 1778.41 v x996 x997 x998 x999 x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1778.41 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 1778.41 v x1034 x1035 x1036 x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 1778.41 v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 1778.41 v -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1778.41 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 x1100 -x1101 -x1102 -x1103 1778.41 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 -x1120 x1121 -x1122 1778.41 v -x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1778.41 v x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 -x1160 1778.41 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1778.41 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1778.41 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1778.41 v -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 x1221 x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1778.41 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 x1245 x1246 -x1247 -x1248 1778.41 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 x1264 x1265 -x1266 1778.41 v x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1778.41 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1778.41 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 1778.41 v -x1318 -x1319 -x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 -x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1778.41 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 1778.41 v x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 x1367 -x1368 x1369 -x1370 x1371 -x1372 -x1373 -x1374 1778.41 v x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1778.41 v -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 x1399 x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1778.41 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 1778.41 v -x1428 -x1429 x1430 x1431 x1432 -x1433 -x1434 x1435 x1436 x1437 x1438 x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 x1446 1778.41 v -x1447 -x1448 x1449 x1450 x1451 x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 1778.41 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1778.41 v x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500 1778.41 v -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 x1518 1778.41 v x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1778.41 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1778.41 v -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 1778.41 v -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1778.41 v -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1778.41 v x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1778.41 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 1778.41 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1778.41 v -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1778.41 v -x1676 x1677 -x1678 x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 1778.41 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1778.41 c objective function=1768 1778.41 c Total wall clock time (ms): 1778.184
OK 1768
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/node74/watcher-42580-1149350505 -o ROOT/results/node74/solver-42580-1149350505 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 142120161 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.97 3/64 10942 /proc/meminfo: memFree=1565744/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=0 CPUtime=0 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 200714827 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10942/statm: 0 0 0 0 0 0 0 [startup+10.0022 s] /proc/loadavg: 0.99 0.97 0.97 2/76 10955 /proc/meminfo: memFree=1382872/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1711760 CPUtime=11.24 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 51052 0 1 0 1095 29 0 0 17 0 13 0 200714827 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 427940 47467 1905 14 0 414687 0 [pid=10942/tid=10943] ppid=10940 vsize=1711760 CPUtime=0.07 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 1874 0 0 0 6 1 0 0 16 0 13 0 200714832 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1711760 CPUtime=0.07 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 1685 0 0 0 6 1 0 0 16 0 13 0 200714832 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1711760 CPUtime=0.09 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 3 6 0 0 16 0 13 0 200714834 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1711760 CPUtime=0.73 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2169 0 0 0 72 1 0 0 16 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1711760 CPUtime=0.82 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 1379 0 0 0 82 0 0 0 16 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10955] ppid=10940 vsize=1711760 CPUtime=0 /proc/10942/task/10955/stat : 10955 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 200715034 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (Kb) 1711760 [startup+20.0092 s] /proc/loadavg: 0.99 0.97 0.97 2/76 10956 /proc/meminfo: memFree=1395024/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=21.41 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 52874 0 1 0 2110 31 0 0 21 0 13 0 200714827 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071510649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 44412 1906 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.1 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 2399 0 0 0 9 1 0 0 16 0 13 0 200714832 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.1 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 1982 0 0 0 9 1 0 0 15 0 13 0 200714832 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.1 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 3 7 0 0 16 0 13 0 200714834 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.74 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2169 0 0 0 73 1 0 0 16 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=0.97 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2360 0 0 0 96 1 0 0 16 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10956] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10956/stat : 10956 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 200716732 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.41 Current children cumulated vsize (Kb) 1712692 [startup+30.0162 s] /proc/loadavg: 0.99 0.97 0.97 2/76 10959 /proc/meminfo: memFree=1402888/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=31.59 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 54782 0 1 0 3126 33 0 0 22 0 13 0 200714827 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 42439 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.17 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3228 0 0 0 16 1 0 0 16 0 13 0 200714832 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.17 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3010 0 0 0 15 2 0 0 16 0 13 0 200714832 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.11 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 4 7 0 0 16 0 13 0 200714834 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.83 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 82 1 0 0 16 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2371 0 0 0 99 1 0 0 16 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10959] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10959/stat : 10959 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200716972 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.59 Current children cumulated vsize (Kb) 1712692 [startup+40.0231 s] /proc/loadavg: 0.99 0.97 0.97 2/76 10959 /proc/meminfo: memFree=1407560/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=41.62 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 55323 0 1 0 4128 34 0 0 25 0 13 0 200714827 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 41270 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.2 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3506 0 0 0 19 1 0 0 16 0 13 0 200714832 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.2 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3249 0 0 0 18 2 0 0 16 0 13 0 200714832 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.12 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 5 7 0 0 16 0 13 0 200714834 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.83 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 82 1 0 0 16 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2371 0 0 0 99 1 0 0 16 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10959] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10959/stat : 10959 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200716972 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.62 Current children cumulated vsize (Kb) 1712692 [startup+50.0301 s] /proc/loadavg: 1.06 0.99 0.98 2/76 10959 /proc/meminfo: memFree=1409224/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=51.62 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 55648 0 1 0 5128 34 0 0 25 0 13 0 200714827 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 40867 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.21 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3657 0 0 0 20 1 0 0 15 0 13 0 200714832 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.23 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3397 0 0 0 21 2 0 0 16 0 13 0 200714832 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.13 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 5 8 0 0 16 0 13 0 200714834 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.83 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 82 1 0 0 16 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2371 0 0 0 99 1 0 0 16 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10959] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10959/stat : 10959 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200716972 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.62 Current children cumulated vsize (Kb) 1712692 [startup+60.037 s] /proc/loadavg: 1.05 0.99 0.98 2/76 10959 /proc/meminfo: memFree=1410184/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=61.64 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 55872 0 1 0 6129 35 0 0 25 0 13 0 200714827 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071412367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 40623 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.23 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3753 0 0 0 22 1 0 0 15 0 13 0 200714832 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.24 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3498 0 0 0 22 2 0 0 16 0 13 0 200714832 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.13 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 5 8 0 0 16 0 13 0 200714834 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.01 Current children cumulated vsize (Kb) 1712692 [startup+1775.34 s] /proc/loadavg: 1.00 1.01 1.00 2/76 10967 /proc/meminfo: memFree=942816/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=1797.03 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256486 0 1 0 179514 189 0 0 19 0 13 0 200714827 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071415265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 157043 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.39 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70216 0 0 0 2099 40 0 0 16 0 13 0 200714832 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.42 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71637 0 0 0 2098 44 0 0 16 0 13 0 200714832 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 15 0 13 0 200714834 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (Kb) 1712692 [startup+1776.35 s] /proc/loadavg: 1.00 1.01 1.00 2/76 10967 /proc/meminfo: memFree=942688/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=1798.05 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256528 0 1 0 179616 189 0 0 22 0 13 0 200714827 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 157083 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.4 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70229 0 0 0 2100 40 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.44 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71664 0 0 0 2100 44 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 16 0 13 0 200714834 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (Kb) 1712692 [startup+1777.36 s] /proc/loadavg: 1.00 1.01 1.00 2/76 10967 /proc/meminfo: memFree=942688/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=1799.07 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256529 0 1 0 179718 189 0 0 19 0 13 0 200714827 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10942/statm: 428173 157083 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.41 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70229 0 0 0 2101 40 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.45 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71664 0 0 0 2101 44 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 15 0 13 0 200714834 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.07 Current children cumulated vsize (Kb) 1712692 [startup+1778.37 s] /proc/loadavg: 1.00 1.01 1.00 2/76 10967 /proc/meminfo: memFree=942496/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=1800.09 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256568 0 1 0 179820 189 0 0 16 0 13 0 200714827 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10942/statm: 428173 157119 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.43 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70240 0 0 0 2103 40 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.47 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71690 0 0 0 2103 44 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 16 0 13 0 200714834 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (Kb) 1712692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.37 s] /proc/loadavg: 1.00 1.01 1.00 2/76 10967 /proc/meminfo: memFree=942496/2055920 swapFree=4182292/4192956 [pid=10942] ppid=10940 vsize=1712692 CPUtime=1800.1 /proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256568 0 1 0 179821 189 0 0 16 0 13 0 200714827 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453651 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10942/statm: 428173 157119 1910 14 0 414920 0 [pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.43 /proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70240 0 0 0 2103 40 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.47 /proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71690 0 0 0 2103 44 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92 /proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 16 0 13 0 200714834 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84 /proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03 /proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0 /proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (Kb) 1712692 Sending SIGTERM to -10942 Sleeping 2 seconds Child status: 143 Real time (s): 1778.54 CPU time (s): 1800.31 CPU user time (s): 1798.32 CPU system time (s): 1.9917 CPU usage (%): 101.224 Max. virtual memory (cumulated for all children) (Kb): 1712692
Begin job on node74 on Sat Jun 3 16:01:45 UTC 2006 FILE ID= 42580-1149350505 PBS_JOBID= 310952 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 142120161 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-42580-1149350505 -o ROOT/results/node74/solver-42580-1149350505 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 142120161 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED= 142120161 /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.274 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.274 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: 1565952 kB Buffers: 16380 kB Cached: 410716 kB SwapCached: 2324 kB Active: 189204 kB Inactive: 246596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1565952 kB SwapTotal: 4192956 kB SwapFree: 4182292 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15880 kB Slab: 40216 kB Committed_AS: 310752 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node74 on Sat Jun 3 16:31:24 UTC 2006