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