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