Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | -2 | 1800.26 | 1791.59 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb |
MD5SUM | 37b8d6470d70c8bd94b60d5c165e51c9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 3401 |
Total number of constraints | 9841 |
Number of constraints which are clauses | 9840 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3280 |
Number of terms in the objective function | 41 |
Biggest coefficient in the objective function | 1099511627776 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 2199023255551 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 664613997892457936451903530140172288 |
Number of bits of the biggest number in a constraint | 120 |
Biggest sum of numbers in a constraint | 2658455991569056391466495993868342803 |
Number of bits of the biggest sum of numbers | 121 |
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.19/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c Simplify asserted PB constraints to clauses 0.19/0.20 c solving /tmp/evaluation/355278-1176793243/instance-355278-1176793243.opb 0.19/0.20 c reading problem ... 1.61/1.25 c ... done. Wall clock time 1.047s. 1.61/1.25 c CPU time (experimental) 0.87s. 1.61/1.25 c #vars 3401 1.61/1.25 c #constraints 9842 22.36/21.17 c SATISFIABLE 22.36/21.17 c OPTIMIZING... 22.36/21.17 c Got one! Elapsed wall clock time (in seconds):20.968 22.36/21.18 o -2 1800.00/1791.41 c starts : 3 1800.00/1791.41 c conflicts : 711 1800.00/1791.41 c decisions : 120632 1800.00/1791.41 c propagations : 580191 1800.00/1791.41 c inspects : 41538755 1800.00/1791.41 c learnt literals : 0 1800.00/1791.41 c learnt binary clauses : 0 1800.00/1791.41 c learnt ternary clauses : 0 1800.00/1791.41 c learnt clauses : 711 1800.00/1791.41 c root simplifications : 0 1800.00/1791.41 c removed literals (reason simplification) : 0 1800.00/1791.41 c reason swapping (by a shorter reason) : 0 1800.00/1791.41 c Calls to reduceDB : 0 1800.00/1791.41 c speed (decisions/second) : 68.14477884524675 1800.00/1791.41 c non guided choices 4 1800.00/1791.41 s SATISFIABLE 1800.00/1791.46 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.00/1791.46 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 x55 1800.00/1791.46 v -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 -x81 x82 x83 -x84 1800.00/1791.46 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 -x109 -x110 x111 1800.00/1791.46 v x112 x113 x114 -x115 x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.00/1791.46 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.00/1791.46 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 1800.00/1791.46 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 1800.00/1791.46 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.00/1791.46 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.00/1791.46 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 1800.00/1791.46 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1800.00/1791.46 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 1800.00/1791.46 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.00/1791.46 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1800.00/1791.46 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.00/1791.46 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1800.00/1791.46 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.00/1791.46 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.00/1791.46 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1800.00/1791.46 v -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.00/1791.46 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1800.00/1791.46 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.00/1791.46 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1800.00/1791.46 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1800.00/1791.46 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.00/1791.46 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 1800.00/1791.46 v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 1800.00/1791.46 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 1800.00/1791.46 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.00/1791.46 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 1800.00/1791.46 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1800.00/1791.46 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 1800.00/1791.46 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1800.00/1791.46 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.00/1791.46 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1800.00/1791.46 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1800.00/1791.46 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.00/1791.46 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.00/1791.46 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.00/1791.46 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1800.00/1791.46 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1800.00/1791.46 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1800.00/1791.46 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.00/1791.46 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1800.00/1791.46 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.00/1791.46 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 x1010 x1011 -x1012 x1013 1800.00/1791.46 v -x1014 x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 1800.00/1791.46 v x1032 -x1033 -x1034 x1035 x1036 -x1037 x1038 x1039 -x1040 -x1041 x1042 x1043 -x1044 -x1045 x1046 x1047 -x1048 -x1049 x1050 1800.00/1791.46 v -x1051 x1052 x1053 x1054 x1055 x1056 -x1057 -x1058 x1059 -x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 -x1069 -x1070 1800.00/1791.46 v x1071 x1072 x1073 x1074 -x1075 x1076 x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1800.00/1791.46 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 1800.00/1791.46 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 1800.00/1791.46 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1800.00/1791.46 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 1800.00/1791.46 v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 1800.00/1791.46 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 1800.00/1791.46 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.00/1791.46 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.00/1791.46 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 1800.00/1791.46 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1800.00/1791.46 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1800.00/1791.46 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1800.00/1791.46 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1800.00/1791.46 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1800.00/1791.46 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.00/1791.46 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 1800.00/1791.46 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 1800.00/1791.46 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1800.00/1791.46 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.00/1791.46 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.00/1791.46 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1800.00/1791.46 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1800.00/1791.46 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.00/1791.46 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1800.00/1791.46 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 1800.00/1791.46 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1800.00/1791.46 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 1800.00/1791.46 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1800.00/1791.46 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 1800.00/1791.46 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.00/1791.46 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1800.00/1791.46 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1800.00/1791.46 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.00/1791.46 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1800.00/1791.46 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1800.00/1791.46 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1800.00/1791.46 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1800.00/1791.46 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1800.00/1791.46 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1800.00/1791.46 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1800.00/1791.46 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.00/1791.46 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 1800.00/1791.46 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1800.00/1791.46 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.00/1791.46 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.00/1791.46 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.00/1791.46 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.00/1791.46 v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 1800.00/1791.46 v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 1800.00/1791.46 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.00/1791.46 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.00/1791.46 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.00/1791.46 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.00/1791.46 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.00/1791.46 v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 1800.00/1791.46 v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1800.00/1791.46 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 1800.00/1791.46 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 1800.00/1791.46 v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1800.00/1791.46 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1800.00/1791.46 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1800.00/1791.46 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1800.00/1791.46 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.00/1791.46 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.00/1791.46 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.00/1791.46 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1800.00/1791.46 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.00/1791.46 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.00/1791.46 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1800.00/1791.46 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.00/1791.46 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.00/1791.46 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1800.00/1791.46 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1800.00/1791.46 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.00/1791.46 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1800.00/1791.46 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.00/1791.46 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.00/1791.46 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.00/1791.46 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.00/1791.46 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.00/1791.46 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.00/1791.46 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1800.00/1791.46 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.00/1791.46 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1800.00/1791.46 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.00/1791.46 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.00/1791.46 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.00/1791.46 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.00/1791.46 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.00/1791.46 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.00/1791.46 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.00/1791.46 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1800.00/1791.46 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.00/1791.46 v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 1800.00/1791.46 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 1800.00/1791.46 v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.00/1791.46 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 1800.00/1791.46 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.00/1791.46 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.00/1791.46 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.00/1791.46 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 1800.00/1791.46 v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 1800.00/1791.46 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 1800.00/1791.46 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 1800.00/1791.46 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1800.00/1791.46 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1800.00/1791.46 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1800.00/1791.46 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1800.00/1791.46 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1800.00/1791.46 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.00/1791.46 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1800.00/1791.46 v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 1800.00/1791.46 v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 1800.00/1791.46 v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1800.00/1791.46 v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1800.00/1791.46 v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1800.00/1791.46 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 1800.00/1791.46 v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 1800.00/1791.46 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 1800.00/1791.46 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 1800.00/1791.46 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.00/1791.46 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 1800.00/1791.46 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 1800.00/1791.46 v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 1800.00/1791.46 v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 1800.00/1791.46 v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1800.00/1791.46 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 1800.00/1791.46 v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 1800.00/1791.46 v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 1800.00/1791.46 v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 1800.00/1791.46 v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.00/1791.46 v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 1800.00/1791.46 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1800.00/1791.46 v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 1800.00/1791.46 v -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 1800.00/1791.46 v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1800.00/1791.46 v -x3401 1800.00/1791.48 c objective function=-2 1800.00/1791.48 c Total wall clock time (ms): 1791.275
OK -2
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-355278-1176793243 -o ROOT/results/node66/solver-355278-1176793243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355278-1176793243/sat4jPseudoCPClause.jar /tmp/evaluation/355278-1176793243/instance-355278-1176793243.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.91 0.95 0.97 3/64 6327 /proc/meminfo: memFree=1708784/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=18568 CPUtime=0 /proc/6327/stat : 6327 (runsolver) R 6325 6327 5515 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 155313853 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 227607637287 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/6327/statm: 4642 292 257 24 0 2626 0 [startup+0.035922 s] /proc/loadavg: 0.91 0.95 0.97 3/64 6327 /proc/meminfo: memFree=1708784/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1775952 CPUtime=0.02 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 2977 0 1 0 1 1 0 0 18 0 4 0 155313853 1818574848 2725 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 443988 2725 740 9 0 441624 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1775952 [startup+0.101937 s] /proc/loadavg: 0.91 0.95 0.97 3/64 6327 /proc/meminfo: memFree=1708784/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1780112 CPUtime=0.08 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 3973 0 1 0 6 2 0 0 18 0 12 0 155313853 1822834688 3715 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 445028 3715 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.301977 s] /proc/loadavg: 0.91 0.95 0.97 3/64 6327 /proc/meminfo: memFree=1708784/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1782384 CPUtime=0.3 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 5158 0 1 0 27 3 0 0 18 0 12 0 155313853 1825161216 4897 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 445596 4898 1263 9 0 443207 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782384 [startup+0.701058 s] /proc/loadavg: 0.91 0.95 0.97 3/64 6327 /proc/meminfo: memFree=1708784/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1783024 CPUtime=0.89 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 6833 0 1 0 85 4 0 0 18 0 12 0 155313853 1825816576 6331 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 445756 6331 1301 9 0 443367 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 1783024 [startup+1.50222 s] /proc/loadavg: 0.91 0.95 0.97 3/76 6339 /proc/meminfo: memFree=1681040/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785596 CPUtime=2.13 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 13911 0 1 0 206 7 0 0 18 0 13 0 155313853 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446399 12472 1310 9 0 444010 0 [pid=6327/tid=6329] ppid=6325 vsize=1785596 CPUtime=1.02 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 10586 0 1 0 96 6 0 0 19 0 13 0 155313855 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 155313856 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 155313856 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 155313859 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155313859 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155313859 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785596 CPUtime=0.56 /proc/6327/task/6336/stat : 6336 (java) R 6325 6327 5515 0 -1 64 1654 0 0 0 56 0 0 0 17 0 13 0 155313863 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105870539 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785596 CPUtime=0.53 /proc/6327/task/6337/stat : 6337 (java) R 6325 6327 5515 0 -1 64 945 0 0 0 53 0 0 0 16 0 13 0 155313863 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104933809 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785596 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) R 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828450304 12472 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.13 Current children cumulated vsize (KiB) 1785596 [startup+3.10253 s] /proc/loadavg: 1.00 0.97 0.98 2/77 6340 /proc/meminfo: memFree=1552072/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1786652 CPUtime=3.94 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 42775 0 1 0 376 18 0 0 18 0 13 0 155313853 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446663 41079 1321 9 0 444274 0 [pid=6327/tid=6329] ppid=6325 vsize=1786652 CPUtime=2.49 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 37729 0 1 0 233 16 0 0 20 0 13 0 155313855 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109659581 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1786652 CPUtime=0.02 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 787 0 0 0 2 0 0 0 16 0 13 0 155313856 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1786652 CPUtime=0.02 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 589 0 0 0 2 0 0 0 16 0 13 0 155313856 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1786652 CPUtime=0.68 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1771 0 0 0 68 0 0 0 16 0 13 0 155313863 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1786652 CPUtime=0.68 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1165 0 0 0 68 0 0 0 16 0 13 0 155313863 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6340] ppid=6325 vsize=1786652 CPUtime=0 /proc/6327/task/6340/stat : 6340 (java) S 6325 6327 5515 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 155313981 1829531648 41079 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 1786652 [startup+6.30217 s] /proc/loadavg: 1.00 0.97 0.98 2/77 6340 /proc/meminfo: memFree=1547336/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=7.29 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 47938 0 1 0 709 20 0 0 18 0 13 0 155313853 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 45339 1325 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=5.55 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 40835 0 1 0 538 17 0 0 19 0 13 0 155313855 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109659532 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=0.09 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 1852 0 0 0 9 0 0 0 16 0 13 0 155313856 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=0.08 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 1552 0 0 0 8 0 0 0 16 0 13 0 155313856 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=0.75 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1775 0 0 0 75 0 0 0 16 0 13 0 155313863 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=0.76 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1171 0 0 0 76 0 0 0 16 0 13 0 155313863 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6340] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6340/stat : 6340 (java) S 6325 6327 5515 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 155313981 1828286464 45339 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 1785436 [startup+12.7025 s] /proc/loadavg: 1.00 0.97 0.98 2/77 6340 /proc/meminfo: memFree=1509960/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=13.81 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 53833 0 1 0 1358 23 0 0 18 0 13 0 155313853 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 50399 1325 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=11.84 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 45027 0 1 0 1165 19 0 0 18 0 13 0 155313855 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102479670 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=0.13 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 2811 0 0 0 12 1 0 0 16 0 13 0 155313856 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=0.12 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 2290 0 0 0 12 0 0 0 16 0 13 0 155313856 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=0.84 /proc/6327/task/6336/stat : 6336 (java) R 6325 6327 5515 0 -1 64 1779 0 0 0 84 0 0 0 17 0 13 0 155313863 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103334304 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=0.81 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1173 0 0 0 81 0 0 0 16 0 13 0 155313863 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6340] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6340/stat : 6340 (java) S 6325 6327 5515 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 155313981 1828286464 50399 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.81 Current children cumulated vsize (KiB) 1785436 [startup+25.502 s] /proc/loadavg: 1.00 0.97 0.98 2/83 6413 /proc/meminfo: memFree=1533392/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=26.8 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 55507 0 1 0 2653 27 0 0 18 0 13 0 155313853 1828286464 44463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 44463 1327 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=24.47 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 45052 0 1 0 2426 21 0 0 17 0 13 0 155313855 1828286464 44463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109724451 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=0.19 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 3446 0 0 0 18 1 0 0 16 0 13 0 155313856 1828286464 44463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=0.17 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 3167 0 0 0 17 0 0 0 15 0 13 0 155313856 1828286464 44463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0.01 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 155313859 1828286464 44463 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0.5 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 580 0 0 0 23 27 0 0 16 0 13 0 155313859 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=1.06 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1797 0 0 0 106 0 0 0 17 0 13 0 155313863 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=1.03 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1406 0 0 0 103 0 0 0 17 0 13 0 155313863 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6367] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6367/stat : 6367 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 155315972 1828286464 124750 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1610.28 Current children cumulated vsize (KiB) 1785436 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 0.99 2/77 6539 /proc/meminfo: memFree=1188096/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=1670.41 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 279393 0 1 0 166882 159 0 0 18 0 13 0 155313853 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 130883 1328 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=1652.05 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 162740 0 1 0 165129 76 0 0 25 0 13 0 155313855 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109724451 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=7.88 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 56474 0 0 0 762 26 0 0 16 0 13 0 155313856 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=7.82 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 55657 0 0 0 755 27 0 0 16 0 13 0 155313856 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0.5 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 594 0 0 0 23 27 0 0 16 0 13 0 155313859 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=1.06 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1797 0 0 0 106 0 0 0 17 0 13 0 155313863 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=1.03 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1406 0 0 0 103 0 0 0 17 0 13 0 155313863 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6367] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6367/stat : 6367 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 155315972 1828286464 130883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1670.41 Current children cumulated vsize (KiB) 1785436 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 0.99 2/77 6539 /proc/meminfo: memFree=1178816/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=1730.7 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 284281 0 1 0 172908 162 0 0 18 0 13 0 155313853 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 133152 1328 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=1711.67 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 163740 0 1 0 171090 77 0 0 25 0 13 0 155313855 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109686112 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=8.2 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 58458 0 0 0 794 26 0 0 15 0 13 0 155313856 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=8.14 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 57557 0 0 0 787 27 0 0 16 0 13 0 155313856 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0.52 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 598 0 0 0 24 28 0 0 16 0 13 0 155313859 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=1.06 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1797 0 0 0 106 0 0 0 17 0 13 0 155313863 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=1.03 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1406 0 0 0 103 0 0 0 17 0 13 0 155313863 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6367] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6367/stat : 6367 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 155315972 1828286464 133152 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1730.7 Current children cumulated vsize (KiB) 1785436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6539 /proc/meminfo: memFree=1172672/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=1790.89 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 287446 0 1 0 178925 164 0 0 18 0 13 0 155313853 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 134713 1328 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=1771.43 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 165011 0 1 0 177065 78 0 0 25 0 13 0 155313855 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109530368 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=8.42 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 59493 0 0 0 815 27 0 0 16 0 13 0 155313856 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=8.36 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 58410 0 0 0 808 28 0 0 16 0 13 0 155313856 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0.53 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 604 0 0 0 25 28 0 0 16 0 13 0 155313859 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=1.06 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1797 0 0 0 106 0 0 0 17 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=1.03 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1406 0 0 0 103 0 0 0 17 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6367] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6367/stat : 6367 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 155315972 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1790.89 Current children cumulated vsize (KiB) 1785436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.4 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6539 /proc/meminfo: memFree=1172672/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=1785436 CPUtime=1800 /proc/6327/stat : 6327 (java) S 6325 6327 5515 0 -1 0 287447 0 1 0 179836 164 0 0 18 0 13 0 155313853 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6327/statm: 446359 134713 1328 9 0 443970 0 [pid=6327/tid=6329] ppid=6325 vsize=1785436 CPUtime=1780.52 /proc/6327/task/6329/stat : 6329 (java) R 6325 6327 5515 0 -1 64 165012 0 1 0 177974 78 0 0 25 0 13 0 155313855 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109530368 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6330] ppid=6325 vsize=1785436 CPUtime=8.43 /proc/6327/task/6330/stat : 6330 (java) S 6325 6327 5515 0 -1 64 59493 0 0 0 816 27 0 0 16 0 13 0 155313856 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6331] ppid=6325 vsize=1785436 CPUtime=8.37 /proc/6327/task/6331/stat : 6331 (java) S 6325 6327 5515 0 -1 64 58410 0 0 0 809 28 0 0 16 0 13 0 155313856 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6332] ppid=6325 vsize=1785436 CPUtime=0.53 /proc/6327/task/6332/stat : 6332 (java) S 6325 6327 5515 0 -1 64 604 0 0 0 25 28 0 0 16 0 13 0 155313859 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6333] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6333/stat : 6333 (java) S 6325 6327 5515 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6334] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6334/stat : 6334 (java) S 6325 6327 5515 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 155313859 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6335] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6335/stat : 6335 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6336] ppid=6325 vsize=1785436 CPUtime=1.06 /proc/6327/task/6336/stat : 6336 (java) S 6325 6327 5515 0 -1 64 1797 0 0 0 106 0 0 0 17 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6337] ppid=6325 vsize=1785436 CPUtime=1.03 /proc/6327/task/6337/stat : 6337 (java) S 6325 6327 5515 0 -1 64 1406 0 0 0 103 0 0 0 17 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6338] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6338/stat : 6338 (java) S 6325 6327 5515 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6327/tid=6339] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6339/stat : 6339 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 155313863 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6327/tid=6367] ppid=6325 vsize=1785436 CPUtime=0 /proc/6327/task/6367/stat : 6367 (java) S 6325 6327 5515 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 155315972 1828286464 134713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1785436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1791.51 s] /proc/loadavg: 1.00 1.00 0.99 2/77 6539 /proc/meminfo: memFree=1172672/2055920 swapFree=4175016/4192956 [pid=6327] ppid=6325 vsize=0 CPUtime=1800.18 /proc/6327/stat : 6327 (java) Z 6325 6327 5515 0 -1 1036 287467 0 1 0 179853 165 0 0 15 0 2 0 155313853 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6327/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1791.59 CPU time (s): 1800.26 CPU user time (s): 1798.53 CPU system time (s): 1.73174 CPU usage (%): 100.484 Max. virtual memory (cumulated for all children) (KiB): 1786652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.53 system time used= 1.73174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287467 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= 55503 involuntary context switches= 27367 runsolver used 1.88071 second user time and 4.97324 second system time The end
Begin job on node66 on Tue Apr 17 07:00:43 UTC 2007 IDJOB= 355278 IDBENCH= 2977 IDSOLVER= 164 FILE ID= node66/355278-1176793243 PBS_JOBID= 4580839 Free space on /tmp= 66425 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355278-1176793243/sat4jPseudoCPClause.jar /tmp/evaluation/355278-1176793243/instance-355278-1176793243.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-355278-1176793243 -o ROOT/results/node66/solver-355278-1176793243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355278-1176793243/sat4jPseudoCPClause.jar /tmp/evaluation/355278-1176793243/instance-355278-1176793243.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 37b8d6470d70c8bd94b60d5c165e51c9 RANDOM SEED= 164798753 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1709192 kB Buffers: 13056 kB Cached: 272744 kB SwapCached: 12176 kB Active: 134672 kB Inactive: 169460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1709192 kB SwapTotal: 4192956 kB SwapFree: 4175016 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 15792 kB Slab: 28648 kB Committed_AS: 749408 kB PageTables: 1380 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= 66425 MiB End job on node66 on Tue Apr 17 07:30:36 UTC 2007