Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 29 | 1801.17 | 1784.45 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb |
MD5SUM | 374deb5d477559ba9c51d0ad1d758624 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 27.8308 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 2112 |
Total number of constraints | 5020 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 216 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
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/node26/44108-1149366730/instance-44108-1149366730.opb 0.20 c reading problem ... 1.14 c ... done. Time 0.935 ms. 1.14 c #vars 2112 1.14 c #constraints 5120 2.35 c SATISFIABLE 2.35 c OPTIMIZING... 2.35 c Got one! Ellapsed CPU time (in seconds):2.135 2.37 o 47 2.46 c Got one! Ellapsed CPU time (in seconds):2.261 2.46 o 45 2.58 c Got one! Ellapsed CPU time (in seconds):2.375 2.58 o 44 2.74 c Got one! Ellapsed CPU time (in seconds):2.532 2.74 o 43 7.53 c Got one! Ellapsed CPU time (in seconds):7.33 7.53 o 35 8.89 c Got one! Ellapsed CPU time (in seconds):8.685 8.89 o 29 1784.32 c starts : 23 1784.32 c conflicts : 21022 1784.32 c decisions : 256448 1784.32 c propagations : 3850078 1784.32 c inspects : 57516596 1784.32 c learnt literals : 0 1784.32 c learnt binary clauses : 0 1784.32 c learnt ternary clauses : 0 1784.32 c learnt clauses : 21022 1784.32 c root simplifications : 0 1784.32 c removed literals (reason simplification) : 0 1784.32 c reason swapping (by a shorter reason) : 0 1784.32 c Calls to reduceDB : 0 1784.32 c speed (decisions/second) : 144.44308013963973 1784.32 c non guided choices 10110 1784.32 s SATISFIABLE 1784.36 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 1784.36 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 1784.36 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 1784.36 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1784.36 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1784.36 v -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1784.36 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1784.36 v -x168 -x169 -x170 x171 -x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1784.36 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1784.36 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1784.36 v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1784.36 v x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1784.36 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1784.36 v -x294 -x295 -x296 -x297 -x298 x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1784.36 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1784.36 v -x336 -x337 -x338 -x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1784.36 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1784.36 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 1784.36 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1784.36 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1784.36 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1784.36 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1784.36 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 -x502 -x503 1784.36 v -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1784.36 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1784.36 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1784.36 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1784.36 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1784.36 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1784.36 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1784.36 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1784.36 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1784.36 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1784.36 v -x714 -x715 -x716 -x717 x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1784.36 v -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 1784.36 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 1784.36 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1784.36 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 x815 -x816 -x817 -x818 1784.36 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1784.36 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1784.36 v -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1784.36 v x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1784.36 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1784.36 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1784.36 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1784.36 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 1784.36 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1784.36 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1784.36 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1784.36 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1784.36 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1784.36 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1784.36 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1784.36 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 1784.36 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1784.36 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1784.36 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1784.36 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1784.36 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1784.36 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1784.36 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 1784.36 v x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1784.36 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1784.36 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 -x1296 1784.36 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1784.36 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1784.36 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1784.36 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 1784.36 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1784.36 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1784.36 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1784.36 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1784.36 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1784.36 v x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1784.36 v -x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 1784.36 v x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 1784.36 v x1505 -x1506 x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1784.36 v x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 -x1533 -x1534 x1535 x1536 -x1537 -x1538 -x1539 -x1540 1784.36 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 1784.36 v x1559 -x1560 -x1561 -x1562 x1563 -x1564 x1565 -x1566 x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 x1575 -x1576 1784.36 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 x1591 x1592 -x1593 -x1594 1784.36 v -x1595 x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 x1611 -x1612 1784.36 v -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 x1629 -x1630 1784.36 v -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 x1644 -x1645 -x1646 -x1647 x1648 1784.36 v -x1649 x1650 -x1651 x1652 -x1653 x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 1784.36 v x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1784.36 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 x1700 -x1701 1784.36 v -x1702 -x1703 x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1784.36 v -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1784.36 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1784.36 v -x1755 x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 1784.36 v x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 x1788 -x1789 x1790 1784.36 v -x1791 x1792 -x1793 x1794 x1795 x1796 -x1797 x1798 x1799 x1800 -x1801 -x1802 x1803 x1804 x1805 x1806 x1807 -x1808 -x1809 1784.36 v x1810 x1811 x1812 -x1813 x1814 x1815 x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 x1824 x1825 -x1826 -x1827 -x1828 1784.36 v -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1784.36 v -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 1784.36 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 1784.36 v -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 1784.36 v -x1900 -x1901 -x1902 -x1903 x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1784.36 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1784.36 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1784.36 v -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 1784.36 v -x1971 x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 1784.36 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1784.36 v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 1784.36 v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 1784.36 v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 1784.36 v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 1784.36 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 1784.36 v -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 1784.36 v -x2111 -x2112 1784.36 c objective function=29 1784.36 c Total wall clock time (ms): 1784.153
OK 29
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/node26/watcher-44108-1149366730 -o ROOT/results/node26/solver-44108-1149366730 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node26/44108-1149366730/instance-44108-1149366730.opb 716168200 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.98 3/64 29343 /proc/meminfo: memFree=1296608/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=168 CPUtime=0 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 19843893 172032 23 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 12591908 0 0 4096 0 0 0 0 17 1 0 0 /proc/29343/statm: 42 23 18 14 0 2 0 [startup+10.0028 s] /proc/loadavg: 1.01 0.99 0.98 2/76 29361 /proc/meminfo: memFree=1114432/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711660 CPUtime=11.3 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 50467 0 1 0 1106 24 0 0 25 0 13 0 19843893 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427915 47312 1909 14 0 414662 0 [pid=29343/tid=29344] ppid=29341 vsize=1711660 CPUtime=0.11 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 3198 0 0 0 10 1 0 0 16 0 13 0 19843897 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711660 CPUtime=0.11 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 2813 0 0 0 10 1 0 0 16 0 13 0 19843897 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 19843899 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19843903 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711660 CPUtime=0.72 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 908 0 0 0 72 0 0 0 17 0 13 0 19843903 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711660 CPUtime=0.87 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1930 0 0 0 87 0 0 0 16 0 13 0 19843903 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711660 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 19844783 1752739840 47312 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.3 Current children cumulated vsize (Kb) 1711660 [startup+20.0108 s] /proc/loadavg: 1.01 0.99 0.98 2/76 29361 /proc/meminfo: memFree=1111552/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=21.44 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 52098 0 1 0 2120 24 0 0 25 0 13 0 19843893 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 47987 1909 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=0.15 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 4007 0 0 0 14 1 0 0 16 0 13 0 19843897 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=0.15 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 3619 0 0 0 14 1 0 0 16 0 13 0 19843897 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 19843899 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19843903 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.73 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 908 0 0 0 73 0 0 0 17 0 13 0 19843903 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 19844783 1752494080 47987 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.44 Current children cumulated vsize (Kb) 1711420 [startup+30.0178 s] /proc/loadavg: 1.01 0.99 0.98 2/76 29361 /proc/meminfo: memFree=1121728/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=31.47 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 52610 0 1 0 3122 25 0 0 25 0 13 0 19843893 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071463791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 45460 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=0.17 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 4270 0 0 0 16 1 0 0 15 0 13 0 19843897 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=0.17 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 3855 0 0 0 16 1 0 0 16 0 13 0 19843897 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 19843899 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19843903 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 19844783 1752494080 45460 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.47 Current children cumulated vsize (Kb) 1711420 [startup+40.0248 s] /proc/loadavg: 1.01 0.99 0.98 2/76 29361 /proc/meminfo: memFree=1129984/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=41.5 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 53267 0 1 0 4125 25 0 0 25 0 13 0 19843893 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 43388 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=0.21 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 4666 0 0 0 20 1 0 0 16 0 13 0 19843897 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=0.2 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 4103 0 0 0 19 1 0 0 16 0 13 0 19843897 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 19843899 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19843903 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 43388 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.5 Current children cumulated vsize (Kb) 1711420 [startup+50.0318 s] /proc/loadavg: 1.00 0.99 0.98 2/76 29361 /proc/meminfo: memFree=1132928/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=51.54 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 53931 0 1 0 5128 26 0 0 25 0 13 0 19843893 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071493228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 42667 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=0.24 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 5055 0 0 0 23 1 0 0 16 0 13 0 19843897 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=0.23 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 4366 0 0 0 22 1 0 0 16 0 13 0 19843897 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 19843899 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19843903 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 42667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.54 Current children cumulated vsize (Kb) 1711420 [startup+60.0388 s] /proc/loadavg: 1.00 0.99 0.98 2/76 29361 /proc/meminfo: memFree=1134144/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=61.57 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 54532 0 1 0 6131 26 0 0 19 0 13 0 19843893 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 42342 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=0.28 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 5291 0 0 0 26 2 0 0 16 0 13 0 19843897 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=0.27 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 4717 0 0 0 26 1 0 0 16 0 13 0 19843897 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.02 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 32 0 0 0 1 1 0 0 16 0 13 0 19843899 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 42342 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 19843903 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 123148 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (Kb) 1711420 [startup+1781.29 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29556 /proc/meminfo: memFree=808640/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=1797.94 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 197730 0 1 0 179655 139 0 0 25 0 13 0 19843893 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 123357 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=16.44 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 52666 0 0 0 1613 31 0 0 16 0 13 0 19843897 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=16.52 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 54499 0 0 0 1621 31 0 0 16 0 13 0 19843897 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.54 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 233 0 0 0 32 22 0 0 15 0 13 0 19843899 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 19843903 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 123357 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (Kb) 1711420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29556 /proc/meminfo: memFree=808256/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=1798.96 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 197823 0 1 0 179757 139 0 0 25 0 13 0 19843893 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071512355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 123448 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=16.45 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 52688 0 0 0 1614 31 0 0 16 0 13 0 19843897 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=16.53 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 54569 0 0 0 1622 31 0 0 16 0 13 0 19843897 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.54 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 233 0 0 0 32 22 0 0 15 0 13 0 19843899 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.96 Current children cumulated vsize (Kb) 1711420 [startup+1783.3 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29556 /proc/meminfo: memFree=808256/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=1799.96 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 197823 0 1 0 179857 139 0 0 25 0 13 0 19843893 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 123448 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=16.45 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 52688 0 0 0 1614 31 0 0 16 0 13 0 19843897 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=16.53 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 54569 0 0 0 1622 31 0 0 16 0 13 0 19843897 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.54 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 233 0 0 0 32 22 0 0 16 0 13 0 19843899 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 123448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (Kb) 1711420 [startup+1784.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29556 /proc/meminfo: memFree=808000/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=1800.98 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 197879 0 1 0 179959 139 0 0 25 0 13 0 19843893 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071512350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 123503 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=16.47 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 52712 0 0 0 1616 31 0 0 16 0 13 0 19843897 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=16.55 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 54600 0 0 0 1624 31 0 0 16 0 13 0 19843897 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.54 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 233 0 0 0 32 22 0 0 16 0 13 0 19843899 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (Kb) 1711420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 29556 /proc/meminfo: memFree=808000/2055920 swapFree=4192956/4192956 [pid=29343] ppid=29341 vsize=1711420 CPUtime=1800.99 /proc/29343/stat : 29343 (java) R 29341 29343 29297 0 -1 0 197879 0 1 0 179960 139 0 0 25 0 13 0 19843893 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071515216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29343/statm: 427855 123503 1911 14 0 414602 0 [pid=29343/tid=29344] ppid=29341 vsize=1711420 CPUtime=16.47 /proc/29343/task/29344/stat : 29344 (java) S 29341 29343 29297 0 -1 64 52712 0 0 0 1616 31 0 0 16 0 13 0 19843897 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29345] ppid=29341 vsize=1711420 CPUtime=16.55 /proc/29343/task/29345/stat : 29345 (java) S 29341 29343 29297 0 -1 64 54600 0 0 0 1624 31 0 0 16 0 13 0 19843897 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29346] ppid=29341 vsize=1711420 CPUtime=0.54 /proc/29343/task/29346/stat : 29346 (java) S 29341 29343 29297 0 -1 64 233 0 0 0 32 22 0 0 16 0 13 0 19843899 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29347] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29347/stat : 29347 (java) S 29341 29343 29297 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29348] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29348/stat : 29348 (java) S 29341 29343 29297 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 19843900 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29349] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29349/stat : 29349 (java) S 29341 29343 29297 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29350] ppid=29341 vsize=1711420 CPUtime=0.01 /proc/29343/task/29350/stat : 29350 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29351] ppid=29341 vsize=1711420 CPUtime=0.74 /proc/29343/task/29351/stat : 29351 (java) S 29341 29343 29297 0 -1 64 910 0 0 0 74 0 0 0 16 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29352] ppid=29341 vsize=1711420 CPUtime=0.96 /proc/29343/task/29352/stat : 29352 (java) S 29341 29343 29297 0 -1 64 1934 0 0 0 96 0 0 0 16 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29343/tid=29353] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29353/stat : 29353 (java) S 29341 29343 29297 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29354] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29354/stat : 29354 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 19843903 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29343/tid=29361] ppid=29341 vsize=1711420 CPUtime=0 /proc/29343/task/29361/stat : 29361 (java) S 29341 29343 29297 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 19844783 1752494080 123503 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.99 Current children cumulated vsize (Kb) 1711420 Sending SIGTERM to -29343 Sleeping 2 seconds Child status: 143 Real time (s): 1784.45 CPU time (s): 1801.17 CPU user time (s): 1799.7 CPU system time (s): 1.47078 CPU usage (%): 100.937 Max. virtual memory (cumulated for all children) (Kb): 1711660
Begin job on node26 on Sat Jun 3 20:32:10 UTC 2006 FILE ID= 44108-1149366730 PBS_JOBID= 311878 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node26/44108-1149366730/instance-44108-1149366730.opb 716168200 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-44108-1149366730 -o ROOT/results/node26/solver-44108-1149366730 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node26/44108-1149366730/instance-44108-1149366730.opb 716168200 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED= 716168200 /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.247 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.247 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: 1296816 kB Buffers: 30672 kB Cached: 670884 kB SwapCached: 0 kB Active: 85520 kB Inactive: 630516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1296816 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 152 kB Writeback: 0 kB Mapped: 24912 kB Slab: 29164 kB Committed_AS: 285084 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 node26 on Sat Jun 3 21:01:55 UTC 2006