Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 54 | 1800.28 | 1727.92 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 7.08492 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 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=10000.0 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 Simplify asserted PB constraints to clauses 0.20/0.20 c solving /tmp/evaluation/373241-1177174968/instance-373241-1177174968.opb 0.20/0.20 c reading problem ... 1.49/1.03 c ... done. Wall clock time 0.833s. 1.49/1.03 c CPU time (experimental) 0.75s. 1.49/1.03 c #vars 2091 1.49/1.04 c #constraints 7242 1.62/1.11 c SATISFIABLE 1.62/1.11 c OPTIMIZING... 1.62/1.11 c Got one! Elapsed wall clock time (in seconds):0.907 1.62/1.12 o 55 9.17/6.71 c Got one! Elapsed wall clock time (in seconds):6.508 9.17/6.71 o 54 1800.02/1727.71 c starts : 4 1800.02/1727.71 c conflicts : 17518 1800.02/1727.71 c decisions : 113797 1800.02/1727.71 c propagations : 1600229 1800.02/1727.71 c inspects : 126658915 1800.02/1727.71 c learnt literals : 0 1800.02/1727.71 c learnt binary clauses : 0 1800.02/1727.71 c learnt ternary clauses : 0 1800.02/1727.71 c learnt clauses : 17517 1800.02/1727.71 c root simplifications : 0 1800.02/1727.71 c removed literals (reason simplification) : 0 1800.02/1727.71 c reason swapping (by a shorter reason) : 0 1800.02/1727.71 c Calls to reduceDB : 0 1800.02/1727.71 c speed (decisions/second) : 66.12302577180911 1800.02/1727.71 c non guided choices 0 1800.02/1727.71 s SATISFIABLE 1800.02/1727.75 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 x31 -x32 x33 1800.02/1727.75 v x34 x35 x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 1800.02/1727.75 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 1800.02/1727.75 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.02/1727.75 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1800.02/1727.75 v x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152 1800.02/1727.75 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.02/1727.75 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 1800.02/1727.75 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.02/1727.75 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.02/1727.75 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.02/1727.75 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.02/1727.75 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.02/1727.75 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.02/1727.75 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341 1800.02/1727.75 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.02/1727.75 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.02/1727.75 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 x400 -x401 -x402 x403 x404 1800.02/1727.75 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 x425 1800.02/1727.75 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.02/1727.75 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.02/1727.75 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.02/1727.75 v -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 1800.02/1727.75 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.02/1727.75 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 1800.02/1727.75 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.02/1727.75 v -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.02/1727.75 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.02/1727.75 v -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.02/1727.75 v -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.02/1727.75 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.02/1727.75 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 1800.02/1727.75 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.02/1727.75 v -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.02/1727.75 v -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.02/1727.75 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 1800.02/1727.75 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 1800.02/1727.75 v -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.02/1727.75 v -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.02/1727.75 v -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.02/1727.75 v -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 1800.02/1727.75 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.02/1727.75 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 1800.02/1727.75 v -x930 x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.02/1727.75 v -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.02/1727.75 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.02/1727.75 v -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.02/1727.75 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.02/1727.75 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.02/1727.75 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1800.02/1727.75 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.02/1727.75 v -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.02/1727.75 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.02/1727.75 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.02/1727.75 v -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 1800.02/1727.75 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.02/1727.75 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.02/1727.75 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.02/1727.75 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 1800.02/1727.75 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 1800.02/1727.75 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.02/1727.75 v -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.02/1727.75 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.02/1727.75 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.02/1727.75 v -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.02/1727.75 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 1800.02/1727.75 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.02/1727.75 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.02/1727.75 v -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.02/1727.75 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.02/1727.75 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.02/1727.75 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.02/1727.75 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.02/1727.75 v x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.02/1727.75 v -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.02/1727.75 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.02/1727.75 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.02/1727.75 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.02/1727.75 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 1800.02/1727.75 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1800.02/1727.75 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 1800.02/1727.75 v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1800.02/1727.75 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.02/1727.75 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 1800.02/1727.75 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1800.02/1727.75 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.02/1727.75 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.02/1727.75 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1800.02/1727.75 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.02/1727.75 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1800.02/1727.75 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1800.02/1727.75 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1800.02/1727.75 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1800.02/1727.75 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1800.02/1727.75 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1800.02/1727.75 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.02/1727.75 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.02/1727.75 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.02/1727.75 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1800.02/1727.75 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.02/1727.75 v x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1800.02/1727.75 v -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1800.02/1727.75 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.02/1727.75 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.02/1727.75 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1800.02/1727.75 v -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.02/1727.75 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.02/1727.75 v -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.02/1727.75 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 1800.02/1727.75 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 1800.02/1727.75 v -x2088 -x2089 -x2090 -x2091 1800.02/1727.76 c objective function=54 1800.02/1727.76 c Total wall clock time (ms): 1727.556
OK 54
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-373241-1177174968 -o ROOT/results/node74/solver-373241-1177174968 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373241-1177174968/sat4jPseudoCPClause.jar /tmp/evaluation/373241-1177174968/instance-373241-1177174968.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: 1.04 1.01 1.00 2/66 19507 /proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=152 CPUtime=0 /proc/19507/stat : 19507 (java) R 19505 19507 15655 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 165411613 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 9756971 0 0 4096 0 0 0 0 17 1 0 0 /proc/19507/statm: 38 26 19 9 0 4 0 [startup+0.0763599 s] /proc/loadavg: 1.04 1.01 1.00 2/66 19507 /proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1777708 CPUtime=0.06 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 3751 0 1 0 4 2 0 0 18 0 7 0 165411613 1820372992 3494 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 444427 3494 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101361 s] /proc/loadavg: 1.04 1.01 1.00 2/66 19507 /proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1780112 CPUtime=0.09 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 3968 0 1 0 6 3 0 0 18 0 12 0 165411613 1822834688 3710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 445028 3710 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780112 [startup+0.301384 s] /proc/loadavg: 1.04 1.01 1.00 2/66 19507 /proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1782436 CPUtime=0.31 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 5144 0 1 0 28 3 0 0 18 0 12 0 165411613 1825214464 4883 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 445609 4883 1264 9 0 443220 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782436 [startup+0.701431 s] /proc/loadavg: 1.04 1.01 1.00 2/66 19507 /proc/meminfo: memFree=1655176/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1783596 CPUtime=0.96 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 7049 0 1 0 91 5 0 0 18 0 12 0 165411613 1826402304 6573 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 445899 6573 1301 9 0 443510 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1783596 [startup+1.50253 s] /proc/loadavg: 1.04 1.01 1.00 3/78 19519 /proc/meminfo: memFree=1623528/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1785744 CPUtime=2.25 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 18786 0 1 0 216 9 0 0 18 0 13 0 165411613 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 446436 16882 1311 9 0 444047 0 [pid=19507/tid=19509] ppid=19505 vsize=1785744 CPUtime=1.11 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 15098 0 1 0 103 8 0 0 18 0 13 0 165411614 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109731778 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 165411616 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 165411616 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 165411618 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 165411618 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 165411619 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1785744 CPUtime=0.55 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 1495 0 0 0 55 0 0 0 16 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1785744 CPUtime=0.57 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 1468 0 0 0 57 0 0 0 16 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1785744 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1828601856 16882 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.25 Current children cumulated vsize (KiB) 1785744 [startup+3.10271 s] /proc/loadavg: 1.11 1.03 1.01 3/79 19521 /proc/meminfo: memFree=1504544/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1798840 CPUtime=5.21 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 50452 0 1 0 498 23 0 0 18 0 13 0 165411613 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449710 43559 1324 9 0 447321 0 [pid=19507/tid=19509] ppid=19505 vsize=1798840 CPUtime=2.55 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 37735 0 1 0 237 18 0 0 25 0 13 0 165411614 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109723394 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1798840 CPUtime=0.02 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 643 0 0 0 2 0 0 0 16 0 13 0 165411616 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 232 0 0 0 0 0 0 0 16 0 13 0 165411616 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1798840 CPUtime=1.31 /proc/19507/task/19516/stat : 19516 (java) R 19505 19507 15655 0 -1 64 6405 0 0 0 129 2 0 0 20 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 10193998 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1798840 CPUtime=1.29 /proc/19507/task/19517/stat : 19517 (java) R 19505 19507 15655 0 -1 64 4705 0 0 0 128 1 0 0 21 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103330708 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19521] ppid=19505 vsize=1798840 CPUtime=0 /proc/19507/task/19521/stat : 19521 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 165411727 1842012160 43559 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 5.21 Current children cumulated vsize (KiB) 1798840 [startup+6.30207 s] /proc/loadavg: 1.11 1.03 1.01 2/79 19521 /proc/meminfo: memFree=1484704/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=8.75 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 56155 0 1 0 848 27 0 0 18 0 13 0 165411613 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 47919 1324 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=5.68 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 41154 0 1 0 548 20 0 0 25 0 13 0 165411614 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109741295 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=0.07 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 1707 0 0 0 7 0 0 0 16 0 13 0 165411616 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=0.06 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 1283 0 0 0 6 0 0 0 16 0 13 0 165411616 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 165411618 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.42 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6553 0 0 0 140 2 0 0 16 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.46 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 4708 0 0 0 145 1 0 0 16 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19521] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19521/stat : 19521 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 165411727 1839476736 47919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.75 Current children cumulated vsize (KiB) 1796364 [startup+12.7028 s] /proc/loadavg: 1.10 1.02 1.00 2/79 19522 /proc/meminfo: memFree=1443752/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=15.29 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 62838 0 1 0 1499 30 0 0 18 0 13 0 165411613 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 53630 1325 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=12.01 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 45544 0 1 0 1179 22 0 0 25 0 13 0 165411614 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109732235 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=0.13 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 2820 0 0 0 12 1 0 0 16 0 13 0 165411616 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=0.12 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 2463 0 0 0 12 0 0 0 16 0 13 0 165411616 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 28 0 0 0 0 0 0 0 15 0 13 0 165411618 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.44 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6553 0 0 0 142 2 0 0 16 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.53 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 4708 0 0 0 151 2 0 0 17 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 53630 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.29 Current children cumulated vsize (KiB) 1796364 [startup+25.5015 s] /proc/loadavg: 1.08 1.02 1.00 2/79 19522 /proc/meminfo: memFree=1442920/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=28.23 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 72507 0 1 0 2788 35 0 0 18 0 13 0 165411613 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 57207 1326 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=24.64 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 51479 0 1 0 2440 24 0 0 25 0 13 0 165411614 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109732130 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=0.24 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 4607 0 0 0 22 2 0 0 16 0 13 0 165411616 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=0.25 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 4393 0 0 0 23 2 0 0 16 0 13 0 165411616 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 42 0 0 0 0 0 0 0 15 0 13 0 165411618 1839476736 57207 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 225085 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1603.56 Current children cumulated vsize (KiB) 1796364 [startup+1602.3 s] /proc/loadavg: 1.18 1.07 1.01 2/79 19522 /proc/meminfo: memFree=737448/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=1667.22 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 274433 0 1 0 166576 146 0 0 18 0 13 0 165411613 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 230193 1327 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1537.68 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55777 0 1 0 153736 32 0 0 16 0 13 0 165411614 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109791246 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=62.72 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 99687 0 0 0 6225 47 0 0 17 0 13 0 165411616 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=62.76 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 106282 0 0 0 6231 45 0 0 16 0 13 0 165411616 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.37 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 23 14 0 0 15 0 13 0 165411618 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 230193 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1667.22 Current children cumulated vsize (KiB) 1796364 [startup+1662.3 s] /proc/loadavg: 1.06 1.05 1.01 2/79 19522 /proc/meminfo: memFree=719080/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=1730.73 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 279431 0 1 0 172923 150 0 0 18 0 13 0 165411613 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 234701 1327 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1594.1 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55822 0 1 0 159377 33 0 0 25 0 13 0 165411614 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109802033 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=66.25 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 101092 0 0 0 6577 48 0 0 17 0 13 0 165411616 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=66.3 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 109830 0 0 0 6583 47 0 0 16 0 13 0 165411616 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.37 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 23 14 0 0 16 0 13 0 165411618 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 234701 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1730.73 Current children cumulated vsize (KiB) 1796364 [startup+1722.3 s] /proc/loadavg: 1.17 1.09 1.02 2/79 19522 /proc/meminfo: memFree=702824/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=1794.29 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 284013 0 1 0 179276 153 0 0 18 0 13 0 165411613 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 238818 1327 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1650.44 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55867 0 1 0 165011 33 0 0 24 0 13 0 165411614 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109789672 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=69.86 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 102918 0 0 0 6936 50 0 0 17 0 13 0 165411616 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=69.9 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 112541 0 0 0 6942 48 0 0 16 0 13 0 165411616 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.39 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 24 15 0 0 15 0 13 0 165411618 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 238818 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1794.29 Current children cumulated vsize (KiB) 1796364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1727.7 s] /proc/loadavg: 1.15 1.08 1.02 2/79 19522 /proc/meminfo: memFree=699240/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=1796364 CPUtime=1800.02 /proc/19507/stat : 19507 (java) S 19505 19507 15655 0 -1 0 284887 0 1 0 179848 154 0 0 18 0 13 0 165411613 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19507/statm: 449091 239641 1327 9 0 446702 0 [pid=19507/tid=19509] ppid=19505 vsize=1796364 CPUtime=1655.52 /proc/19507/task/19509/stat : 19509 (java) R 19505 19507 15655 0 -1 64 55871 0 1 0 165519 33 0 0 20 0 13 0 165411614 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109731946 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19510] ppid=19505 vsize=1796364 CPUtime=70.18 /proc/19507/task/19510/stat : 19510 (java) S 19505 19507 15655 0 -1 64 103473 0 0 0 6968 50 0 0 17 0 13 0 165411616 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19511] ppid=19505 vsize=1796364 CPUtime=70.22 /proc/19507/task/19511/stat : 19511 (java) S 19505 19507 15655 0 -1 64 112856 0 0 0 6974 48 0 0 17 0 13 0 165411616 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19512] ppid=19505 vsize=1796364 CPUtime=0.39 /proc/19507/task/19512/stat : 19512 (java) S 19505 19507 15655 0 -1 64 51 0 0 0 24 15 0 0 15 0 13 0 165411618 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19513] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19513/stat : 19513 (java) S 19505 19507 15655 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 165411618 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19514] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19514/stat : 19514 (java) S 19505 19507 15655 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165411619 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19515] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19515/stat : 19515 (java) S 19505 19507 15655 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19516] ppid=19505 vsize=1796364 CPUtime=1.77 /proc/19507/task/19516/stat : 19516 (java) S 19505 19507 15655 0 -1 64 6778 0 0 0 175 2 0 0 16 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19517] ppid=19505 vsize=1796364 CPUtime=1.86 /proc/19507/task/19517/stat : 19517 (java) S 19505 19507 15655 0 -1 64 5136 0 0 0 184 2 0 0 16 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19507/tid=19518] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19518/stat : 19518 (java) S 19505 19507 15655 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19519] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19519/stat : 19519 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 165411622 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19507/tid=19522] ppid=19505 vsize=1796364 CPUtime=0 /proc/19507/task/19522/stat : 19522 (java) S 19505 19507 15655 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 165412285 1839476736 239641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1796364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1727.81 s] /proc/loadavg: 1.15 1.08 1.02 2/79 19522 /proc/meminfo: memFree=699240/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=0 CPUtime=1800.16 /proc/19507/stat : 19507 (java) Z 19505 19507 15655 0 -1 1036 284906 0 1 0 179859 157 0 0 15 0 2 0 165411613 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19507/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1727.9 s] /proc/loadavg: 1.15 1.08 1.02 2/79 19522 /proc/meminfo: memFree=699240/2055920 swapFree=4183056/4192956 [pid=19507] ppid=19505 vsize=0 CPUtime=1800.25 /proc/19507/stat : 19507 (java) Z 19505 19507 15655 0 -1 1036 284906 0 1 0 179859 166 0 0 15 0 2 0 165411613 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19507/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1727.92 CPU time (s): 1800.28 CPU user time (s): 1798.6 CPU system time (s): 1.67874 CPU usage (%): 104.188 Max. virtual memory (cumulated for all children) (KiB): 1798840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.6 system time used= 1.67874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284906 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= 50445 involuntary context switches= 29944 runsolver used 1.83572 second user time and 5.53216 second system time The end
Begin job on node74 on Sat Apr 21 17:02:49 UTC 2007 IDJOB= 373241 IDBENCH= 25029 IDSOLVER= 164 FILE ID= node74/373241-1177174968 PBS_JOBID= 4648981 Free space on /tmp= 103202 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373241-1177174968/sat4jPseudoCPClause.jar /tmp/evaluation/373241-1177174968/instance-373241-1177174968.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-373241-1177174968 -o ROOT/results/node74/solver-373241-1177174968 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373241-1177174968/sat4jPseudoCPClause.jar /tmp/evaluation/373241-1177174968/instance-373241-1177174968.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED= 758693319 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1655584 kB Buffers: 61400 kB Cached: 264220 kB SwapCached: 3024 kB Active: 177944 kB Inactive: 158840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1655584 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 3896 kB Writeback: 0 kB Mapped: 15936 kB Slab: 49344 kB Committed_AS: 3930360 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103202 MiB End job on node74 on Sat Apr 21 17:31:38 UTC 2007