Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 91539978 | 1800.35 | 1785.1 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fiber.opb |
MD5SUM | c3570b707fa12d3d9c0d2ae31848c1b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 65442871 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65313511 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 72966962 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4807778524 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 4807778524 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.21 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.21 --- Begin Solver configuration --- 0.20/0.21 c Stops conflict analysis at the first Unique Implication Point 0.20/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.21 c Learn all clauses as in MiniSAT 0.20/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.21 c No reason simplification 0.20/0.21 c --- End Solver configuration --- 0.20/0.21 c solving /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb 0.20/0.21 c reading problem ... 1.18/0.84 c ... done. Wall clock time 0.635s. 1.18/0.84 c CPU time (experimental) 0.49s. 1.18/0.84 c #vars 2574 1.18/0.84 c #constraints 696 2.56/1.55 c SATISFIABLE 2.56/1.55 c OPTIMIZING... 2.56/1.55 c Got one! Elapsed wall clock time (in seconds):1.34 2.56/1.56 o 881095611 2.95/1.74 c Got one! Elapsed wall clock time (in seconds):1.529 2.95/1.74 o 205912428 17.40/15.13 c Got one! Elapsed wall clock time (in seconds):14.926 17.40/15.14 o 203430300 226.98/223.57 c Got one! Elapsed wall clock time (in seconds):223.363 226.98/223.57 o 91539978 1800.08/1784.91 c starts : 7 1800.08/1784.91 c conflicts : 831 1800.08/1784.91 c decisions : 136424 1800.08/1784.91 c propagations : 427508 1800.08/1784.91 c inspects : 5492031 1800.08/1784.91 c learnt literals : 0 1800.08/1784.91 c learnt binary clauses : 0 1800.08/1784.91 c learnt ternary clauses : 6 1800.08/1784.91 c learnt clauses : 830 1800.08/1784.91 c root simplifications : 0 1800.08/1784.91 c removed literals (reason simplification) : 0 1800.08/1784.91 c reason swapping (by a shorter reason) : 0 1800.08/1784.91 c Calls to reduceDB : 0 1800.08/1784.91 c speed (decisions/second) : 87.37745930041157 1800.08/1784.91 c non guided choices 0 1800.08/1784.91 s SATISFIABLE 1800.08/1784.96 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 1800.08/1784.96 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 1800.08/1784.96 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 1800.08/1784.96 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 1800.08/1784.96 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.08/1784.96 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.08/1784.96 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.08/1784.96 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.08/1784.96 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.08/1784.96 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.08/1784.96 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 1800.08/1784.96 v -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.08/1784.96 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.08/1784.96 v -x294 -x295 -x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.08/1784.96 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 1800.08/1784.96 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 1800.08/1784.96 v -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.08/1784.96 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.08/1784.96 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 x418 x419 1800.08/1784.96 v -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.08/1784.96 v -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.08/1784.96 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 x479 x480 x481 x482 -x483 1800.08/1784.96 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.08/1784.96 v -x505 -x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.08/1784.96 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 x542 -x543 x544 -x545 -x546 1800.08/1784.96 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.08/1784.96 v -x568 x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.08/1784.96 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.08/1784.96 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 1800.08/1784.96 v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.08/1784.96 v -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.08/1784.96 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.08/1784.96 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.08/1784.96 v -x715 -x716 -x717 x718 -x719 x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.08/1784.96 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.08/1784.96 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.08/1784.96 v -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.08/1784.96 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.08/1784.96 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 1800.08/1784.96 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.08/1784.96 v -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.08/1784.96 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.08/1784.96 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.08/1784.96 v -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.08/1784.96 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 x960 -x961 x962 x963 -x964 -x965 -x966 1800.08/1784.96 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.08/1784.96 v -x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.08/1784.96 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 x1020 x1021 x1022 x1023 x1024 -x1025 1800.08/1784.96 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1800.08/1784.96 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.08/1784.96 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.08/1784.96 v -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.08/1784.96 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 x1110 -x1111 -x1112 1800.08/1784.96 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.08/1784.96 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.08/1784.96 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.08/1784.96 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.08/1784.96 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.08/1784.96 v -x1198 -x1199 -x1200 x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.08/1784.96 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 x1230 x1231 x1232 x1233 1800.08/1784.96 v x1234 x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.08/1784.96 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 x1265 x1266 -x1267 -x1268 -x1269 1800.08/1784.96 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.08/1784.96 v -x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.08/1784.96 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 1800.08/1784.96 v -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 1800.08/1784.96 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.08/1784.96 v -x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1800.08/1784.96 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.08/1784.96 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.08/1784.96 v -x1408 -x1409 x1410 x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 1800.08/1784.96 v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.08/1784.96 v -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 1800.08/1784.96 v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 1800.08/1784.96 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 1800.08/1784.96 v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 1800.08/1784.96 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1800.08/1784.96 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1800.08/1784.96 v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 1800.08/1784.96 v x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1800.08/1784.96 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 1800.08/1784.96 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1800.08/1784.96 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1800.08/1784.96 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 1800.08/1784.96 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1800.08/1784.96 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1800.08/1784.96 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 1800.08/1784.96 v -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1800.08/1784.96 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1800.08/1784.96 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1800.08/1784.96 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 1800.08/1784.96 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.08/1784.96 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 1800.08/1784.96 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1800.08/1784.96 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.08/1784.96 v -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 1800.08/1784.96 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 1800.08/1784.96 v -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1800.08/1784.96 v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.08/1784.96 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1800.08/1784.96 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 1800.08/1784.96 v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 1800.08/1784.96 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.08/1784.96 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.08/1784.96 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.08/1784.96 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 1800.08/1784.96 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.08/1784.96 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.08/1784.96 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 1800.08/1784.96 v -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.08/1784.96 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 1800.08/1784.96 v -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 1800.08/1784.96 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.08/1784.96 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1800.08/1784.96 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.08/1784.96 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.08/1784.96 v x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.08/1784.96 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 1800.08/1784.96 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.08/1784.96 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1800.08/1784.96 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.08/1784.96 v -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.08/1784.96 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.08/1784.96 v -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.08/1784.96 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.08/1784.96 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.08/1784.96 v x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.08/1784.96 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.08/1784.96 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 1800.08/1784.96 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.08/1784.96 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.08/1784.96 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.08/1784.96 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.08/1784.96 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.08/1784.96 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.08/1784.96 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 1800.08/1784.96 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.08/1784.96 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1800.08/1784.98 c objective function=91539978 1800.08/1784.98 c Total wall clock time (ms): 1784.773
OK 91539978
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-354354-1176706046 -o ROOT/results/node52/solver-354354-1176706046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354354-1176706046/sat4jPseudoCP.jar /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.89 1.00 1.00 2/64 16826 /proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=152 CPUtime=0 /proc/16826/stat : 16826 (java) D 16824 16826 16763 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 25449677 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 4309796 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/16826/statm: 38 26 19 9 0 4 0 [startup+0.0767569 s] /proc/loadavg: 0.89 1.00 1.00 2/64 16826 /proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1777708 CPUtime=0.06 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 3691 0 1 0 4 2 0 0 18 0 7 0 25449677 1820372992 3433 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 444427 3433 1081 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101757 s] /proc/loadavg: 0.89 1.00 1.00 2/64 16826 /proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1777844 CPUtime=0.08 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 3879 0 1 0 6 2 0 0 18 0 7 0 25449677 1820512256 3621 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 444461 3621 1096 9 0 442097 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1777844 [startup+0.301771 s] /proc/loadavg: 0.89 1.00 1.00 2/64 16826 /proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1781664 CPUtime=0.34 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 5082 0 1 0 31 3 0 0 18 0 12 0 25449677 1824423936 4820 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 445416 4820 1267 9 0 443028 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1781664 [startup+0.701801 s] /proc/loadavg: 0.89 1.00 1.00 2/64 16826 /proc/meminfo: memFree=1871700/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1789832 CPUtime=0.98 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 8596 0 1 0 94 4 0 0 18 0 12 0 25449677 1832787968 7502 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 447458 7502 1303 9 0 445070 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1789832 [startup+1.50286 s] /proc/loadavg: 1.06 1.03 1.01 4/77 16839 /proc/meminfo: memFree=1837996/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1794928 CPUtime=2.56 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 16512 0 1 0 250 6 0 0 18 0 13 0 25449677 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 448732 10642 1318 9 0 446344 0 [pid=16826/tid=16828] ppid=16824 vsize=1794928 CPUtime=0.79 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 6455 0 1 0 76 3 0 0 25 0 13 0 25449679 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 25449680 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 25449680 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 25449682 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 25449683 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 25449683 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1794928 CPUtime=0.84 /proc/16826/task/16835/stat : 16835 (java) R 16824 16826 16763 0 -1 64 4213 0 0 0 84 0 0 0 17 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 104808386 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1794928 CPUtime=0.89 /proc/16826/task/16836/stat : 16836 (java) R 16824 16826 16763 0 -1 64 5121 0 0 0 88 1 0 0 18 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 104726448 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16839] ppid=16824 vsize=1794928 CPUtime=0 /proc/16826/task/16839/stat : 16839 (java) S 16824 16826 16763 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 25449769 1838006272 10642 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 1794928 [startup+3.10295 s] /proc/loadavg: 1.06 1.03 1.01 3/77 16841 /proc/meminfo: memFree=1791652/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1794736 CPUtime=4.87 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 51722 0 1 0 467 20 0 0 18 0 13 0 25449677 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 448684 42777 1333 9 0 446296 0 [pid=16826/tid=16828] ppid=16824 vsize=1794736 CPUtime=2.11 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 37729 0 1 0 197 14 0 0 18 0 13 0 25449679 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109880174 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 428 0 0 0 0 0 0 0 16 0 13 0 25449680 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1794736 CPUtime=0.01 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 406 0 0 0 1 0 0 0 16 0 13 0 25449680 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 25449682 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1794736 CPUtime=1.45 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 6836 0 0 0 143 2 0 0 15 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1794736 CPUtime=1.26 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 5589 0 0 0 124 2 0 0 16 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16841] ppid=16824 vsize=1794736 CPUtime=0 /proc/16826/task/16841/stat : 16841 (java) S 16824 16826 16763 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 25449856 1837809664 42777 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.87 Current children cumulated vsize (KiB) 1794736 [startup+6.30117 s] /proc/loadavg: 1.06 1.03 1.01 2/77 16841 /proc/meminfo: memFree=1685348/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1794384 CPUtime=8.33 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 62459 0 1 0 809 24 0 0 18 0 13 0 25449677 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 448596 52586 1333 9 0 446208 0 [pid=16826/tid=16828] ppid=16824 vsize=1794384 CPUtime=5.21 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 47107 0 1 0 503 18 0 0 18 0 13 0 25449679 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109542621 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1794384 CPUtime=0.04 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 882 0 0 0 4 0 0 0 15 0 13 0 25449680 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1794384 CPUtime=0.04 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 940 0 0 0 4 0 0 0 16 0 13 0 25449680 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 25449682 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1794384 CPUtime=1.61 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7184 0 0 0 159 2 0 0 16 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1794384 CPUtime=1.39 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 5596 0 0 0 137 2 0 0 16 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) R 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16841] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16841/stat : 16841 (java) S 16824 16826 16763 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 25449856 1837449216 52586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.33 Current children cumulated vsize (KiB) 1794384 [startup+12.7026 s] /proc/loadavg: 1.05 1.03 1.01 2/77 16841 /proc/meminfo: memFree=1676772/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1794384 CPUtime=14.81 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 62756 0 1 0 1456 25 0 0 18 0 13 0 25449677 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 448596 49363 1333 9 0 446208 0 [pid=16826/tid=16828] ppid=16824 vsize=1794384 CPUtime=11.54 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 47125 0 1 0 1136 18 0 0 25 0 13 0 25449679 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109872970 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1794384 CPUtime=0.05 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 999 0 0 0 5 0 0 0 16 0 13 0 25449680 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1794384 CPUtime=0.05 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 1082 0 0 0 5 0 0 0 16 0 13 0 25449680 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 25449682 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1794384 CPUtime=1.66 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7188 0 0 0 164 2 0 0 16 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1794384 CPUtime=1.45 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 5612 0 0 0 143 2 0 0 16 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16841] ppid=16824 vsize=1794384 CPUtime=0 /proc/16826/task/16841/stat : 16841 (java) S 16824 16826 16763 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 25449856 1837449216 49363 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.81 Current children cumulated vsize (KiB) 1794384 [startup+25.5015 s] /proc/loadavg: 1.04 1.03 1.01 2/77 16842 /proc/meminfo: memFree=1687452/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1796432 CPUtime=28.02 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 64843 0 1 0 2775 27 0 0 18 0 13 0 25449677 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 449108 47020 1334 9 0 446720 0 [pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=24.1 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 47186 0 1 0 2392 18 0 0 18 0 13 0 25449679 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109872716 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=0.1 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 1493 0 0 0 9 1 0 0 16 0 13 0 25449680 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=0.1 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 1474 0 0 0 9 1 0 0 16 0 13 0 25449680 1839546368 47020 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 144284 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1615.94 Current children cumulated vsize (KiB) 1796432 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 17043 /proc/meminfo: memFree=1271132/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1796432 CPUtime=1676.47 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 390471 0 1 0 167366 281 0 0 18 0 13 0 25449677 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 449108 150586 1334 9 0 446720 0 [pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1645.74 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 216379 0 1 0 164461 113 0 0 25 0 13 0 25449679 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109543003 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=12.68 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 79162 0 0 0 1215 53 0 0 16 0 13 0 25449680 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=12.69 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 78176 0 0 0 1223 46 0 0 16 0 13 0 25449680 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.26 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 562 0 0 0 66 60 0 0 16 0 13 0 25449682 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 150586 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1676.47 Current children cumulated vsize (KiB) 1796432 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 17043 /proc/meminfo: memFree=1256348/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1796432 CPUtime=1736.95 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 397517 0 1 0 173409 286 0 0 18 0 13 0 25449677 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 449108 154579 1334 9 0 446720 0 [pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1705.15 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 220625 0 1 0 170399 116 0 0 25 0 13 0 25449679 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109647531 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=13.19 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 80437 0 0 0 1266 53 0 0 16 0 13 0 25449680 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=13.22 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 79690 0 0 0 1275 47 0 0 16 0 13 0 25449680 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.29 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 573 0 0 0 68 61 0 0 15 0 13 0 25449682 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 154579 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1736.95 Current children cumulated vsize (KiB) 1796432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17043 /proc/meminfo: memFree=1245724/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1796432 CPUtime=1797.45 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 407479 0 1 0 179453 292 0 0 18 0 13 0 25449677 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 449108 156868 1334 9 0 446720 0 [pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1764.56 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 225331 0 1 0 176338 118 0 0 25 0 13 0 25449679 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109887418 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=13.73 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 83230 0 0 0 1318 55 0 0 16 0 13 0 25449680 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=13.74 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 82143 0 0 0 1326 48 0 0 16 0 13 0 25449680 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.32 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 583 0 0 0 69 63 0 0 16 0 13 0 25449682 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 156868 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 1796432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.9 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17043 /proc/meminfo: memFree=1247516/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=1796432 CPUtime=1800.08 /proc/16826/stat : 16826 (java) S 16824 16826 16763 0 -1 0 407721 0 1 0 179715 293 0 0 18 0 13 0 25449677 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 449108 156591 1334 9 0 446720 0 [pid=16826/tid=16828] ppid=16824 vsize=1796432 CPUtime=1767.14 /proc/16826/task/16828/stat : 16828 (java) R 16824 16826 16763 0 -1 64 225336 0 1 0 176596 118 0 0 25 0 13 0 25449679 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109542959 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16829] ppid=16824 vsize=1796432 CPUtime=13.75 /proc/16826/task/16829/stat : 16829 (java) S 16824 16826 16763 0 -1 64 83347 0 0 0 1320 55 0 0 15 0 13 0 25449680 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16830] ppid=16824 vsize=1796432 CPUtime=13.76 /proc/16826/task/16830/stat : 16830 (java) S 16824 16826 16763 0 -1 64 82263 0 0 0 1328 48 0 0 16 0 13 0 25449680 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16831] ppid=16824 vsize=1796432 CPUtime=1.33 /proc/16826/task/16831/stat : 16831 (java) S 16824 16826 16763 0 -1 64 583 0 0 0 70 63 0 0 16 0 13 0 25449682 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16832] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16832/stat : 16832 (java) S 16824 16826 16763 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16833] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16833/stat : 16833 (java) S 16824 16826 16763 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25449683 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16834] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16834/stat : 16834 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16835] ppid=16824 vsize=1796432 CPUtime=2.07 /proc/16826/task/16835/stat : 16835 (java) S 16824 16826 16763 0 -1 64 7254 0 0 0 205 2 0 0 17 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16836] ppid=16824 vsize=1796432 CPUtime=1.96 /proc/16826/task/16836/stat : 16836 (java) S 16824 16826 16763 0 -1 64 8211 0 0 0 193 3 0 0 17 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16837] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16837/stat : 16837 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16826/tid=16838] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16838/stat : 16838 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25449687 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16826/tid=16843] ppid=16824 vsize=1796432 CPUtime=0 /proc/16826/task/16843/stat : 16843 (java) S 16824 16826 16763 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25472037 1839546368 156591 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1796432 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1785.01 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17043 /proc/meminfo: memFree=1247516/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=0 CPUtime=1800.26 /proc/16826/stat : 16826 (java) Z 16824 16826 16763 0 -1 1036 407740 0 1 0 179732 294 0 0 15 0 2 0 25449677 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 17043 /proc/meminfo: memFree=1247516/2055920 swapFree=4184492/4192956 [pid=16826] ppid=16824 vsize=0 CPUtime=1800.35 /proc/16826/stat : 16826 (java) Z 16824 16826 16763 0 -1 1036 407740 0 1 0 179732 303 0 0 15 0 2 0 25449677 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16826/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1785.1 CPU time (s): 1800.35 CPU user time (s): 1797.32 CPU system time (s): 3.03154 CPU usage (%): 100.854 Max. virtual memory (cumulated for all children) (KiB): 1800160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.32 system time used= 3.03154 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 407740 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 91205 involuntary context switches= 49600 runsolver used 1.9937 second user time and 5.06123 second system time The end
Begin job on node52 on Mon Apr 16 06:47:26 UTC 2007 IDJOB= 354354 IDBENCH= 2496 IDSOLVER= 160 FILE ID= node52/354354-1176706046 PBS_JOBID= 4560073 Free space on /tmp= 66397 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354354-1176706046/sat4jPseudoCP.jar /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-354354-1176706046 -o ROOT/results/node52/solver-354354-1176706046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354354-1176706046/sat4jPseudoCP.jar /tmp/evaluation/354354-1176706046/instance-354354-1176706046.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= c3570b707fa12d3d9c0d2ae31848c1b3 RANDOM SEED= 476025647 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.236 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.236 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: 1872108 kB Buffers: 3812 kB Cached: 121020 kB SwapCached: 2192 kB Active: 32416 kB Inactive: 101568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872108 kB SwapTotal: 4192956 kB SwapFree: 4184492 kB Dirty: 3824 kB Writeback: 0 kB Mapped: 15668 kB Slab: 35796 kB Committed_AS: 1496232 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66397 MiB End job on node52 on Mon Apr 16 07:17:13 UTC 2007