Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | -75614961 | 1800.72 | 1782.52 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-recipe.opb |
MD5SUM | 19c812fe81842f9b63508fc356bab039 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -75614961 |
Best CPU time to get the best result obtained on this benchmark | 1800.72 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -130330680 |
Optimality of the best value was proved | NO |
Number of variables | 3671 |
Total number of constraints | 159 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 65536000 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 584330055 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5681631310381056 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 98271137637301167 |
Number of bits of the biggest sum of numbers | 57 |
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.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 0.22 c reading problem ... 0.83 c ... done. Time 0.618 ms. 0.83 c #vars 3671 0.83 c #constraints 219 1.78 c SATISFIABLE 1.78 c OPTIMIZING... 1.78 c Got one! Ellapsed CPU time (in seconds):1.569 1.80 o -56172363 2.27 c Got one! Ellapsed CPU time (in seconds):2.051 2.27 o -75614961 1782.36 c starts : 17 1782.36 c conflicts : 60139 1782.36 c decisions : 75701 1782.36 c propagations : 370002 1782.36 c inspects : 533124215 1782.36 c learnt literals : 0 1782.36 c learnt binary clauses : 0 1782.36 c learnt ternary clauses : 0 1782.36 c learnt clauses : 60139 1782.36 c root simplifications : 0 1782.36 c removed literals (reason simplification) : 0 1782.36 c reason swapping (by a shorter reason) : 0 1782.36 c Calls to reduceDB : 0 1782.36 c speed (decisions/second) : 42.52736152948169 1782.36 c non guided choices 1172 1782.36 s SATISFIABLE 1782.37 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 1782.37 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 1782.37 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 1782.37 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 1782.37 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1782.37 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1782.37 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1782.37 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1782.37 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1782.37 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1782.37 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1782.37 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1782.37 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1782.37 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1782.37 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1782.37 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1782.37 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1782.37 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1782.37 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1782.37 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1782.37 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1782.37 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1782.37 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1782.37 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1782.37 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1782.37 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1782.37 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1782.37 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1782.37 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1782.37 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1782.37 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1782.37 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1782.37 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1782.37 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1782.37 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1782.37 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1782.37 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1782.37 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1782.37 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1782.37 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1782.37 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1782.37 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1782.37 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1782.37 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1782.37 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1782.37 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1782.37 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1782.37 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1782.37 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1782.37 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1782.37 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1782.37 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1782.37 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1782.37 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1782.37 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1782.37 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1782.37 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1782.37 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1782.37 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1782.37 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1782.37 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1782.37 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1782.37 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1782.37 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1782.37 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1782.37 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1782.37 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1782.37 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1782.37 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1782.37 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1782.37 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1782.37 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1782.37 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1782.37 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1782.37 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1782.37 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1782.37 v -x1499 -x1500 -x1501 -x1502 x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1782.37 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1782.37 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1782.37 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1782.37 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1782.37 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1782.37 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1782.37 v -x1619 -x1620 -x1621 x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 1782.37 v -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1782.37 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1782.37 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1782.37 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1782.37 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1782.37 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1782.37 v -x1739 -x1740 -x1741 -x1742 x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1782.37 v -x1757 -x1758 x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1782.37 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1782.37 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1782.37 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1782.37 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 1782.37 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1782.37 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 x1875 -x1876 -x1877 1782.37 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1782.37 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1782.37 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1782.37 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1782.37 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1782.37 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1782.37 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 1782.37 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1782.37 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1782.37 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1782.37 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1782.37 v -x2067 -x2068 -x2069 x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1782.37 v -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 1782.37 v -x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 x2113 x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 x2121 1782.37 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1782.37 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1782.37 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 1782.37 v -x2174 -x2175 -x2176 x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 x2191 1782.37 v x2192 x2193 x2194 x2195 x2196 x2197 -x2198 x2199 x2200 x2201 x2202 -x2203 -x2204 x2205 x2206 x2207 x2208 x2209 x2210 x2211 1782.37 v x2212 -x2213 x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1782.37 v -x2230 -x2231 x2232 -x2233 -x2234 x2235 x2236 x2237 -x2238 x2239 -x2240 -x2241 -x2242 x2243 -x2244 x2245 -x2246 -x2247 1782.37 v -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 x2255 -x2256 x2257 x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 x2265 1782.37 v x2266 x2267 x2268 x2269 x2270 -x2271 x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1782.37 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 x2293 x2294 x2295 x2296 x2297 x2298 x2299 -x2300 x2301 x2302 1782.37 v x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1782.37 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1782.37 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1782.37 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1782.37 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1782.37 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1782.37 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1782.37 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 1782.37 v x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 1782.37 v x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1782.37 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 x2490 x2491 -x2492 1782.37 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 x2508 -x2509 -x2510 1782.37 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 1782.37 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 x2544 -x2545 1782.37 v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 x2561 -x2562 -x2563 1782.37 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1782.37 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1782.37 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 1782.37 v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 1782.37 v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 1782.37 v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1782.37 v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 1782.37 v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1782.37 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1782.37 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 1782.37 v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1782.37 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 1782.37 v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 1782.37 v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 1782.37 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1782.37 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1782.37 v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 1782.37 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1782.37 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1782.37 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1782.37 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1782.37 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1782.37 v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1782.37 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 1782.37 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1782.37 v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 1782.37 v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 1782.37 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1782.37 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1782.37 v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 1782.37 v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1782.37 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 1782.37 v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 1782.37 v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 1782.37 v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 1782.37 v -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 1782.37 v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 1782.37 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 1782.37 v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1782.37 v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 1782.37 v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1782.37 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 1782.37 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 1782.37 v -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 1782.37 v -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 1782.37 v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1782.37 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 1782.37 v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1782.37 v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 1782.37 v -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 1782.37 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1782.37 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1782.37 v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 1782.37 v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 1782.37 v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 1782.37 v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1782.37 v -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 1782.37 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1782.37 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1782.37 v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 1782.37 v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1782.37 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1782.37 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1782.37 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1782.37 v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1782.37 v -x3669 -x3670 -x3671 1782.41 c objective function=-75614961 1782.41 c Total wall clock time (ms): 1782.198
OK -75614961
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/node34/watcher-43223-1149309901 -o ROOT/results/node34/solver-43223-1149309901 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 155059059 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.96 0.93 3/64 26018 /proc/meminfo: memFree=1869336/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1452 CPUtime=0 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 94 0 0 0 0 0 0 0 19 0 1 0 196653924 1486848 66 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26018/statm: 363 77 59 14 0 8 0 [startup+10.002 s] /proc/loadavg: 0.99 0.96 0.93 2/76 26032 /proc/meminfo: memFree=1708792/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=11.58 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 46986 0 1 0 1136 22 0 0 25 0 13 0 196653924 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 41902 1907 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.1 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 2521 0 0 0 9 1 0 0 16 0 13 0 196653929 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.1 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 2437 0 0 0 10 0 0 0 17 0 13 0 196653929 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 196653931 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.02 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2516 0 0 0 102 0 0 0 17 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.04 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2931 0 0 0 103 1 0 0 16 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 196654154 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.58 Current children cumulated vsize (Kb) 1715092 [startup+20.0087 s] /proc/loadavg: 0.99 0.96 0.93 2/76 26032 /proc/meminfo: memFree=1675576/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=21.71 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 56034 0 1 0 2146 25 0 0 25 0 13 0 196653924 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 50330 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.21 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 6145 0 0 0 19 2 0 0 16 0 13 0 196653929 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.21 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 5606 0 0 0 19 2 0 0 16 0 13 0 196653929 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196653931 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.03 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2517 0 0 0 103 0 0 0 16 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.06 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2934 0 0 0 105 1 0 0 16 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 196654154 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.71 Current children cumulated vsize (Kb) 1715092 [startup+30.0154 s] /proc/loadavg: 0.99 0.97 0.93 2/76 26032 /proc/meminfo: memFree=1670584/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=31.76 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 57888 0 1 0 3150 26 0 0 25 0 13 0 196653924 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 51533 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.25 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 6966 0 0 0 22 3 0 0 16 0 13 0 196653929 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.24 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 6632 0 0 0 22 2 0 0 17 0 13 0 196653929 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 196653931 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.03 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2517 0 0 0 103 0 0 0 16 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.06 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2935 0 0 0 105 1 0 0 17 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 196654154 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.76 Current children cumulated vsize (Kb) 1715092 [startup+40.0221 s] /proc/loadavg: 0.99 0.97 0.93 2/76 26032 /proc/meminfo: memFree=1671864/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=41.82 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 59023 0 1 0 4155 27 0 0 25 0 13 0 196653924 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071754983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 51203 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.29 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 7498 0 0 0 26 3 0 0 17 0 13 0 196653929 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.28 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 7227 0 0 0 26 2 0 0 16 0 13 0 196653929 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196653931 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.05 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2518 0 0 0 105 0 0 0 16 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.06 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2935 0 0 0 105 1 0 0 17 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.82 Current children cumulated vsize (Kb) 1715092 [startup+50.0288 s] /proc/loadavg: 0.99 0.97 0.93 2/76 26032 /proc/meminfo: memFree=1674168/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=51.85 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 60078 0 1 0 5158 27 0 0 25 0 13 0 196653924 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 50635 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.32 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 7984 0 0 0 29 3 0 0 16 0 13 0 196653929 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.32 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 7791 0 0 0 29 3 0 0 16 0 13 0 196653929 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.01 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 196653931 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.05 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2518 0 0 0 105 0 0 0 16 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2935 0 0 0 106 1 0 0 16 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.85 Current children cumulated vsize (Kb) 1715092 [startup+60.0355 s] /proc/loadavg: 0.99 0.97 0.93 2/76 26032 /proc/meminfo: memFree=1676600/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=61.9 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 61112 0 1 0 6162 28 0 0 25 0 13 0 196653924 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 50026 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.36 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 8555 0 0 0 33 3 0 0 16 0 13 0 196653929 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.36 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 8247 0 0 0 33 3 0 0 16 0 13 0 196653929 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.01 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 196653931 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.35 Current children cumulated vsize (Kb) 1715092 [startup+1779.29 s] /proc/loadavg: 1.13 1.07 1.00 2/76 26227 /proc/meminfo: memFree=1378488/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=1797.36 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202504 0 1 0 179619 117 0 0 25 0 13 0 196653924 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 124171 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.46 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54849 0 0 0 1716 30 0 0 17 0 13 0 196653929 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.53 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62332 0 0 0 1719 34 0 0 16 0 13 0 196653929 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.36 Current children cumulated vsize (Kb) 1715092 [startup+1780.3 s] /proc/loadavg: 1.13 1.07 1.00 2/76 26227 /proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=1798.4 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179723 117 0 0 18 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 124243 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 1715092 [startup+1781.3 s] /proc/loadavg: 1.13 1.07 1.00 2/76 26227 /proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=1799.4 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179823 117 0 0 25 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 124243 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 1715092 [startup+1782.31 s] /proc/loadavg: 1.12 1.06 1.00 2/76 26227 /proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=1800.41 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179924 117 0 0 25 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 124243 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 1715092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.31 s] /proc/loadavg: 1.12 1.06 1.00 2/76 26227 /proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956 [pid=26018] ppid=26016 vsize=1715092 CPUtime=1800.41 /proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179924 117 0 0 25 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26018/statm: 428773 124243 1911 14 0 415520 0 [pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49 /proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57 /proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26 /proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07 /proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12 /proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0 /proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 1715092 Sending SIGTERM to -26018 Sleeping 2 seconds Child status: 143 Real time (s): 1782.52 CPU time (s): 1800.72 CPU user time (s): 1799.47 CPU system time (s): 1.25681 CPU usage (%): 101.021 Max. virtual memory (cumulated for all children) (Kb): 1715092
Begin job on node34 on Sat Jun 3 04:45:01 UTC 2006 FILE ID= 43223-1149309901 PBS_JOBID= 307887 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 155059059 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-43223-1149309901 -o ROOT/results/node34/solver-43223-1149309901 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 155059059 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 19c812fe81842f9b63508fc356bab039 RANDOM SEED= 155059059 /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.277 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.277 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: 1869544 kB Buffers: 16720 kB Cached: 107856 kB SwapCached: 3400 kB Active: 15488 kB Inactive: 117904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869544 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14900 kB Slab: 39016 kB Committed_AS: 328904 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sat Jun 3 05:14:44 UTC 2006