Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 1772564217616740 | 1800.45 | 1785.21 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3b.opb |
MD5SUM | 2982ffe422921e9a65d384b08247e6aa |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1548684511145700 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1351353706341500 |
Optimality of the best value was proved | NO |
Number of variables | 2283 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 50331648000000000 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 1076758128151185266 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 50331648000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 1076758128151185266 |
Number of bits of the biggest sum of numbers | 60 |
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.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354323-1176705300/instance-354323-1176705300.opb 0.20/0.20 c reading problem ... 0.96/0.78 c ... done. Wall clock time 0.582s. 0.96/0.78 c CPU time (experimental) 0.49s. 0.96/0.78 c #vars 2283 0.96/0.78 c #constraints 151 2.08/1.30 c SATISFIABLE 2.08/1.30 c OPTIMIZING... 2.08/1.30 c Got one! Elapsed wall clock time (in seconds):1.099 2.08/1.32 o 68842828880226945 2.22/1.45 c Got one! Elapsed wall clock time (in seconds):1.251 2.22/1.45 o 68536455687067150 2.76/1.77 c Got one! Elapsed wall clock time (in seconds):1.571 2.76/1.78 o 63737924883262600 2.90/1.87 c Got one! Elapsed wall clock time (in seconds):1.674 2.90/1.88 o 37819681497546550 3.05/1.95 c Got one! Elapsed wall clock time (in seconds):1.751 3.05/1.96 o 26437799971679990 3.34/2.20 c Got one! Elapsed wall clock time (in seconds):1.997 3.34/2.20 o 26437796202496000 3.46/2.28 c Got one! Elapsed wall clock time (in seconds):2.081 3.46/2.28 o 23577003400923580 3.97/2.71 c Got one! Elapsed wall clock time (in seconds):2.506 3.97/2.71 o 23577000742514600 4.27/3.01 c Got one! Elapsed wall clock time (in seconds):2.806 4.27/3.01 o 22714900495873340 5.47/4.28 c Got one! Elapsed wall clock time (in seconds):4.074 5.47/4.28 o 22714900484095680 5.77/4.52 c Got one! Elapsed wall clock time (in seconds):4.321 5.77/4.53 o 22622521993325340 5.87/4.62 c Got one! Elapsed wall clock time (in seconds):4.421 5.87/4.63 o 1772564217616740 1800.01/1784.90 c starts : 60 1800.01/1784.90 c conflicts : 2237822 1800.01/1784.90 c decisions : 2764747 1800.01/1784.90 c propagations : 79529290 1800.01/1784.90 c inspects : 2334569022 1800.01/1784.90 c learnt literals : 11 1800.01/1784.90 c learnt binary clauses : 14 1800.01/1784.90 c learnt ternary clauses : 26 1800.01/1784.90 c learnt clauses : 2237811 1800.01/1784.90 c root simplifications : 0 1800.01/1784.90 c removed literals (reason simplification) : 0 1800.01/1784.90 c reason swapping (by a shorter reason) : 0 1800.01/1784.90 c Calls to reduceDB : 1 1800.01/1784.90 c speed (decisions/second) : 1552.9991916924635 1800.01/1784.90 c non guided choices 1425 1800.01/1784.90 s SATISFIABLE 1800.22/1784.94 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 -x29 -x30 1800.22/1784.94 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.22/1784.94 v -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76 -x77 -x78 x79 x80 -x81 -x82 -x83 -x84 1800.22/1784.94 v -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 x107 -x108 1800.22/1784.94 v x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.22/1784.94 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.22/1784.94 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 x168 x169 x170 x171 -x172 1800.22/1784.94 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.22/1784.94 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.22/1784.94 v -x215 -x216 -x217 -x218 x219 x220 x221 x222 x223 x224 -x225 -x226 x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.22/1784.94 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 x250 x251 x252 x253 -x254 -x255 -x256 -x257 x258 1800.22/1784.94 v -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.22/1784.94 v -x280 -x281 -x282 -x283 -x284 x285 x286 x287 x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 1800.22/1784.94 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.22/1784.94 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.22/1784.94 v -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.22/1784.94 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1800.22/1784.94 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 1800.22/1784.94 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.22/1784.94 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1800.22/1784.94 v -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.22/1784.94 v -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1800.22/1784.94 v -x491 -x492 -x493 -x494 -x495 -x496 x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.22/1784.94 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 1800.22/1784.94 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 x553 x554 1800.22/1784.94 v x555 x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.22/1784.94 v -x576 -x577 -x578 -x579 x580 x581 x582 x583 x584 x585 -x586 x587 -x588 -x589 x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 1800.22/1784.94 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617 -x618 1800.22/1784.94 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1800.22/1784.94 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1800.22/1784.94 v x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 1800.22/1784.94 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 1800.22/1784.94 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1800.22/1784.94 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1800.22/1784.94 v -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 1800.22/1784.94 v x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 1800.22/1784.94 v x792 x793 x794 x795 x796 x797 x798 x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1800.22/1784.94 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1800.22/1784.94 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.22/1784.94 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.22/1784.94 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.22/1784.94 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1800.22/1784.94 v -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1800.22/1784.94 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 1800.22/1784.94 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1800.22/1784.94 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1800.22/1784.94 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1800.22/1784.94 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1800.22/1784.94 v -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 1800.22/1784.94 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1800.22/1784.94 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.22/1784.94 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 1800.22/1784.94 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1800.22/1784.94 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 1800.22/1784.94 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 1800.22/1784.94 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 1800.22/1784.94 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 1800.22/1784.94 v -x1190 x1191 x1192 x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.22/1784.94 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.22/1784.94 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.22/1784.94 v -x1243 -x1244 x1245 x1246 x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.22/1784.94 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 -x1277 x1278 x1279 1800.22/1784.94 v -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.22/1784.94 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.22/1784.94 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 1800.22/1784.94 v x1333 -x1334 -x1335 x1336 x1337 x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.22/1784.94 v x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 -x1364 -x1365 x1366 x1367 x1368 x1369 -x1370 1800.22/1784.94 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 1800.22/1784.94 v -x1389 -x1390 x1391 x1392 x1393 -x1394 -x1395 -x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 1800.22/1784.94 v x1408 x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 1800.22/1784.94 v x1427 -x1428 x1429 x1430 -x1431 -x1432 x1433 -x1434 x1435 x1436 -x1437 x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1800.22/1784.94 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1800.22/1784.94 v -x1463 -x1464 -x1465 x1466 x1467 x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 1800.22/1784.94 v x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 -x1496 x1497 x1498 -x1499 x1500 1800.22/1784.94 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.22/1784.94 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.22/1784.94 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.22/1784.94 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.22/1784.94 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 x1585 x1586 1800.22/1784.94 v x1587 x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1800.22/1784.94 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 x1613 x1614 x1615 x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 1800.22/1784.94 v x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.22/1784.94 v -x1640 -x1641 -x1642 -x1643 x1644 -x1645 x1646 x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 1800.22/1784.94 v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 1800.22/1784.94 v -x1675 x1676 x1677 x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.22/1784.94 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.22/1784.94 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.22/1784.94 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.22/1784.94 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.22/1784.94 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.22/1784.94 v -x1779 x1780 x1781 x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 -x1795 x1796 x1797 x1798 1800.22/1784.94 v x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1800.22/1784.94 v -x1817 -x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 -x1826 x1827 x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 1800.22/1784.94 v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1800.22/1784.94 v -x1853 -x1854 -x1855 x1856 x1857 x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 1800.22/1784.94 v x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 -x1883 -x1884 x1885 x1886 x1887 x1888 -x1889 -x1890 1800.22/1784.94 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 x1905 -x1906 -x1907 -x1908 1800.22/1784.94 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 x1916 x1917 x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 x1926 1800.22/1784.94 v x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 1800.22/1784.94 v x1945 -x1946 x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 x1956 x1957 x1958 x1959 -x1960 -x1961 -x1962 -x1963 1800.22/1784.94 v -x1964 -x1965 -x1966 x1967 x1968 x1969 -x1970 x1971 x1972 -x1973 -x1974 x1975 x1976 x1977 x1978 x1979 -x1980 -x1981 -x1982 1800.22/1784.94 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 x1990 x1991 x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.22/1784.94 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 x2011 x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1800.22/1784.94 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.22/1784.94 v -x2037 -x2038 -x2039 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 x2052 x2053 x2054 1800.22/1784.94 v x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 x2066 x2067 x2068 x2069 -x2070 -x2071 -x2072 1800.22/1784.94 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.22/1784.94 v -x2090 -x2091 x2092 x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 x2107 1800.22/1784.94 v x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.22/1784.94 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 x2137 x2138 -x2139 -x2140 -x2141 -x2142 1800.22/1784.94 v -x2143 -x2144 -x2145 x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1800.22/1784.94 v -x2161 -x2162 -x2163 -x2164 -x2165 x2166 x2167 x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.22/1784.94 v -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1800.22/1784.94 v -x2196 -x2197 -x2198 -x2199 x2200 x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1800.22/1784.94 v x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 1800.22/1784.94 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.22/1784.94 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1800.22/1784.94 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1800.22/1784.95 c objective function=1772564217616740 1800.22/1784.95 c Total wall clock time (ms): 1784.747
OK 1772564217616740
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-354323-1176705300 -o ROOT/results/node35/solver-354323-1176705300 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354323-1176705300/sat4jPseudoResolution.jar /tmp/evaluation/354323-1176705300/instance-354323-1176705300.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.85 0.97 0.99 2/77 27825 /proc/meminfo: memFree=1777592/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=152 CPUtime=0 /proc/27825/stat : 27825 (java) R 27823 27825 27762 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 118445450 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0 /proc/27825/statm: 38 26 19 9 0 4 0 [startup+0.0530249 s] /proc/loadavg: 0.85 0.97 0.99 2/77 27825 /proc/meminfo: memFree=1777592/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1777060 CPUtime=0.04 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 3513 0 1 0 2 2 0 0 18 0 5 0 118445450 1819709440 3257 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 444265 3257 1046 9 0 441901 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777060 [startup+0.101031 s] /proc/loadavg: 0.85 0.97 0.99 2/77 27825 /proc/meminfo: memFree=1777592/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1780108 CPUtime=0.08 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 3970 0 1 0 5 3 0 0 18 0 12 0 118445450 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 445027 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301051 s] /proc/loadavg: 0.85 0.97 0.99 2/77 27825 /proc/meminfo: memFree=1777592/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1782208 CPUtime=0.34 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 5094 0 1 0 30 4 0 0 18 0 12 0 118445450 1824980992 4830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 445552 4830 1268 9 0 443164 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782208 [startup+0.7011 s] /proc/loadavg: 0.85 0.97 0.99 2/77 27825 /proc/meminfo: memFree=1777592/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1787880 CPUtime=0.96 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 8160 0 1 0 91 5 0 0 18 0 12 0 118445450 1830789120 7446 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 446970 7446 1303 9 0 444582 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1787880 [startup+1.50219 s] /proc/loadavg: 1.02 1.00 1.00 4/90 27838 /proc/meminfo: memFree=1744144/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1794316 CPUtime=2.41 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 15171 0 1 0 232 9 0 0 18 0 12 0 118445450 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448579 11283 1325 9 0 446191 0 [pid=27825/tid=27827] ppid=27823 vsize=1794316 CPUtime=0.83 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 7373 0 1 0 79 4 0 0 25 0 12 0 118445451 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109219887 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 118445452 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 118445452 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 118445455 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 118445455 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118445455 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118445459 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1794316 CPUtime=0.71 /proc/27825/task/27834/stat : 27834 (java) R 27823 27825 27762 0 -1 64 2830 0 0 0 70 1 0 0 16 0 12 0 118445459 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105054337 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1794316 CPUtime=0.84 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4243 0 0 0 82 2 0 0 17 0 12 0 118445459 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118445459 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118445459 1837379584 11283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 1794316 [startup+3.10239 s] /proc/loadavg: 1.02 1.00 1.00 2/90 27843 /proc/meminfo: memFree=1716424/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1794316 CPUtime=4.37 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 31694 0 1 0 421 16 0 0 18 0 13 0 118445450 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448579 26793 1325 9 0 446191 0 [pid=27825/tid=27827] ppid=27823 vsize=1794316 CPUtime=2.25 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 22846 0 1 0 213 12 0 0 25 0 13 0 118445451 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109646366 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 118445452 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 118445452 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118445455 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 118445455 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 118445455 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118445459 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1794316 CPUtime=1.01 /proc/27825/task/27834/stat : 27834 (java) S 27823 27825 27762 0 -1 64 3863 0 0 0 100 1 0 0 16 0 13 0 118445459 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1794316 CPUtime=1.09 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4260 0 0 0 107 2 0 0 16 0 13 0 118445459 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118445459 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1794316 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118445459 1837379584 26793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 1794316 [startup+6.30274 s] /proc/loadavg: 1.02 1.00 1.00 2/90 27850 /proc/meminfo: memFree=1611056/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1792108 CPUtime=7.64 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 48130 0 1 0 740 24 0 0 18 0 13 0 118445450 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448027 42622 1335 9 0 445639 0 [pid=27825/tid=27827] ppid=27823 vsize=1792108 CPUtime=5.42 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 37716 0 1 0 523 19 0 0 25 0 13 0 118445451 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109583772 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1792108 CPUtime=0.01 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 1017 0 0 0 1 0 0 0 16 0 13 0 118445452 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1792108 CPUtime=0.01 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 529 0 0 0 1 0 0 0 16 0 13 0 118445452 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118445459 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1792108 CPUtime=1.03 /proc/27825/task/27834/stat : 27834 (java) S 27823 27825 27762 0 -1 64 3865 0 0 0 102 1 0 0 17 0 13 0 118445459 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1792108 CPUtime=1.12 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4265 0 0 0 110 2 0 0 17 0 13 0 118445459 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118445459 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118445459 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27850] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27850/stat : 27850 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 118445914 1835118592 42622 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.64 Current children cumulated vsize (KiB) 1792108 [startup+12.7015 s] /proc/loadavg: 1.02 1.00 1.00 2/90 27850 /proc/meminfo: memFree=1595312/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1792108 CPUtime=14.09 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 52139 0 1 0 1383 26 0 0 18 0 13 0 118445450 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448027 46567 1335 9 0 445639 0 [pid=27825/tid=27827] ppid=27823 vsize=1792108 CPUtime=11.76 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 37719 0 1 0 1157 19 0 0 25 0 13 0 118445451 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109621959 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1792108 CPUtime=0.06 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 3007 0 0 0 6 0 0 0 16 0 13 0 118445452 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1792108 CPUtime=0.07 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 2540 0 0 0 6 1 0 0 16 0 13 0 118445452 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118445459 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1792108 CPUtime=1.03 /proc/27825/task/27834/stat : 27834 (java) S 27823 27825 27762 0 -1 64 3865 0 0 0 102 1 0 0 17 0 13 0 118445459 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1792108 CPUtime=1.12 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4265 0 0 0 110 2 0 0 16 0 13 0 118445459 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118445459 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118445459 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27850] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27850/stat : 27850 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 118445914 1835118592 46567 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.09 Current children cumulated vsize (KiB) 1792108 [startup+25.503 s] /proc/loadavg: 1.01 1.00 1.00 2/90 27850 /proc/meminfo: memFree=1565304/2055920 swapFree=4097524/4192956 [pid=27825] ppid=27823 vsize=1792108 CPUtime=27.08 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 59935 0 1 0 2678 30 0 0 18 0 13 0 118445450 1835118592 54090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448027 54090 1335 9 0 445639 0 [pid=27825/tid=27827] ppid=27823 vsize=1792108 CPUtime=24.38 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 37723 0 1 0 2419 19 0 0 18 0 13 0 118445451 1835118592 54090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109621941 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1792108 CPUtime=0.24 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 6523 0 0 0 22 2 0 0 17 0 13 0 118445452 1835118592 54090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1792108 CPUtime=0.24 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 6809 0 0 0 21 3 0 0 17 0 13 0 118445452 1835118592 54090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 22 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 54090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 54090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28050 /proc/meminfo: memFree=258616/2055920 swapFree=4098296/4192956 [pid=27825] ppid=27823 vsize=1792108 CPUtime=1737.52 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 534427 0 1 0 173477 275 0 0 18 0 13 0 118445450 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448027 379814 1336 9 0 445639 0 [pid=27825/tid=27827] ppid=27823 vsize=1792108 CPUtime=1706.02 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 84918 0 1 0 170544 58 0 0 25 0 13 0 118445451 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109985630 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1792108 CPUtime=14.48 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 207698 0 0 0 1353 95 0 0 16 0 13 0 118445452 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1792108 CPUtime=14.5 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 232678 0 0 0 1346 104 0 0 17 0 13 0 118445452 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1792108 CPUtime=0.17 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 262 0 0 0 5 12 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1792108 CPUtime=1.1 /proc/27825/task/27834/stat : 27834 (java) S 27823 27825 27762 0 -1 64 3872 0 0 0 109 1 0 0 17 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1792108 CPUtime=1.2 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4271 0 0 0 118 2 0 0 16 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27850] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27850/stat : 27850 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 118445914 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.52 Current children cumulated vsize (KiB) 1792108 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28050 /proc/meminfo: memFree=258552/2055920 swapFree=4098296/4192956 [pid=27825] ppid=27823 vsize=1792108 CPUtime=1797.51 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 534427 0 1 0 179475 276 0 0 18 0 13 0 118445450 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448027 379814 1336 9 0 445639 0 [pid=27825/tid=27827] ppid=27823 vsize=1792108 CPUtime=1766.01 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 84918 0 1 0 176542 59 0 0 25 0 13 0 118445451 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109986012 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1792108 CPUtime=14.48 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 207698 0 0 0 1353 95 0 0 16 0 13 0 118445452 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1792108 CPUtime=14.5 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 232678 0 0 0 1346 104 0 0 17 0 13 0 118445452 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1792108 CPUtime=0.17 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 262 0 0 0 5 12 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1792108 CPUtime=1.1 /proc/27825/task/27834/stat : 27834 (java) S 27823 27825 27762 0 -1 64 3872 0 0 0 109 1 0 0 17 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1792108 CPUtime=1.2 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4271 0 0 0 118 2 0 0 16 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27850] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27850/stat : 27850 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 118445914 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 1792108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.8 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28050 /proc/meminfo: memFree=258552/2055920 swapFree=4098296/4192956 [pid=27825] ppid=27823 vsize=1792108 CPUtime=1800.01 /proc/27825/stat : 27825 (java) S 27823 27825 27762 0 -1 0 534427 0 1 0 179725 276 0 0 18 0 13 0 118445450 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27825/statm: 448027 379814 1336 9 0 445639 0 [pid=27825/tid=27827] ppid=27823 vsize=1792108 CPUtime=1768.51 /proc/27825/task/27827/stat : 27827 (java) R 27823 27825 27762 0 -1 64 84918 0 1 0 176792 59 0 0 25 0 13 0 118445451 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109986006 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27828] ppid=27823 vsize=1792108 CPUtime=14.48 /proc/27825/task/27828/stat : 27828 (java) S 27823 27825 27762 0 -1 64 207698 0 0 0 1353 95 0 0 16 0 13 0 118445452 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27829] ppid=27823 vsize=1792108 CPUtime=14.5 /proc/27825/task/27829/stat : 27829 (java) S 27823 27825 27762 0 -1 64 232678 0 0 0 1346 104 0 0 17 0 13 0 118445452 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27830] ppid=27823 vsize=1792108 CPUtime=0.17 /proc/27825/task/27830/stat : 27830 (java) S 27823 27825 27762 0 -1 64 262 0 0 0 5 12 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27831] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27831/stat : 27831 (java) S 27823 27825 27762 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27832] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27832/stat : 27832 (java) S 27823 27825 27762 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118445455 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27833] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27833/stat : 27833 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27834] ppid=27823 vsize=1792108 CPUtime=1.1 /proc/27825/task/27834/stat : 27834 (java) S 27823 27825 27762 0 -1 64 3872 0 0 0 109 1 0 0 17 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27825/tid=27835] ppid=27823 vsize=1792108 CPUtime=1.2 /proc/27825/task/27835/stat : 27835 (java) S 27823 27825 27762 0 -1 64 4271 0 0 0 118 2 0 0 16 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27836] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27836/stat : 27836 (java) S 27823 27825 27762 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27837] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27837/stat : 27837 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118445459 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27825/tid=27850] ppid=27823 vsize=1792108 CPUtime=0 /proc/27825/task/27850/stat : 27850 (java) S 27823 27825 27762 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 118445914 1835118592 379814 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1792108 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28050 /proc/meminfo: memFree=258552/2055920 swapFree=4098296/4192956 [pid=27825] ppid=27823 vsize=0 CPUtime=1800.45 /proc/27825/stat : 27825 (java) Z 27823 27825 27762 0 -1 1036 536190 0 1 0 179756 289 0 0 15 0 2 0 118445450 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27825/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 0 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.45 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1800.45 s) to the 'lost time'. [startup+1785.2 s] /proc/loadavg: 1.00 1.00 1.00 1/79 28053 /proc/meminfo: memFree=1775352/2055920 swapFree=4098296/4192956 [pid=27825] ppid=-1 vsize=0 CPUtime=0 /proc/27825/stat : ÿÿÿÿÿÿÿÿ/proc/27825/statm: 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1785 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28050 /proc/meminfo: memFree=258552/2055920 swapFree=4098296/4192956 [pid=27825] ppid=27823 vsize=0 CPUtime=1800.35 /proc/27825/stat : 27825 (java) Z 27823 27825 27762 0 -1 1036 536190 0 1 0 179756 279 0 0 15 0 2 0 118445450 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27825/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 [startup+1785.2 s] /proc/loadavg: 1.00 1.00 1.00 1/79 28053 /proc/meminfo: memFree=1775352/2055920 swapFree=4098296/4192956 [pid=27825] ppid=-1 vsize=0 CPUtime=0 /proc/27825/stat : ÿÿÿÿÿÿÿÿ/proc/27825/statm: 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27825 and gives # childrusage.ru_utime.tv_sec=1797 # childrusage.ru_utime.tv_usec=563728 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=990545 # CPU time returned by wait4() is 1800.55 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.45 # lost CPU user time (s): 1797.56 # lost CPU system time (s): 2.89 Real time (s): 1785.21 CPU time (s): 1800.45 CPU user time (s): 1797.56 CPU system time (s): 2.89 CPU usage (%): 100.854 Max. virtual memory (cumulated for all children) (KiB): 1796352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.56 system time used= 2.99055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 536190 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= 40675 involuntary context switches= 40746 runsolver used 1.76873 second user time and 4.82527 second system time The end
Begin job on node35 on Mon Apr 16 06:35:00 UTC 2007 IDJOB= 354323 IDBENCH= 2490 IDSOLVER= 159 FILE ID= node35/354323-1176705300 PBS_JOBID= 4560065 Free space on /tmp= 66528 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354323-1176705300/sat4jPseudoResolution.jar /tmp/evaluation/354323-1176705300/instance-354323-1176705300.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-354323-1176705300 -o ROOT/results/node35/solver-354323-1176705300 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354323-1176705300/sat4jPseudoResolution.jar /tmp/evaluation/354323-1176705300/instance-354323-1176705300.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 2982ffe422921e9a65d384b08247e6aa RANDOM SEED= 71504130 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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.232 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.232 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: 1777936 kB Buffers: 28516 kB Cached: 144888 kB SwapCached: 3056 kB Active: 116496 kB Inactive: 108684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1777936 kB SwapTotal: 4192956 kB SwapFree: 4097524 kB Dirty: 3920 kB Writeback: 0 kB Mapped: 59764 kB Slab: 38072 kB Committed_AS: 2374828 kB PageTables: 1996 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= 66528 MiB End job on node35 on Mon Apr 16 07:04:47 UTC 2007