Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 26 | 1800.32 | 1755.31 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 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 solving /tmp/evaluation/453312-1178129948/instance-453312-1178129948.opb 0.20/0.20 c reading problem ... 2.10/1.52 c ... done. Wall clock time 1.319s. 2.10/1.52 c CPU time (experimental) 1.22s. 2.10/1.52 c #vars 2728 2.10/1.52 c #constraints 5256 2.25/1.61 c SATISFIABLE 2.25/1.61 c OPTIMIZING... 2.25/1.61 c Got one! Elapsed wall clock time (in seconds):1.412 2.25/1.62 o 31 2.80/1.96 c Got one! Elapsed wall clock time (in seconds):1.76 2.80/1.96 o 30 3.18/2.13 c Got one! Elapsed wall clock time (in seconds):1.933 3.18/2.13 o 29 4.91/3.17 c Got one! Elapsed wall clock time (in seconds):2.966 4.91/3.17 o 28 1198.97/1170.43 c Got one! Elapsed wall clock time (in seconds):1170.229 1198.97/1170.50 o 27 1303.06/1271.84 c Got one! Elapsed wall clock time (in seconds):1271.638 1303.06/1271.84 o 26 1800.06/1755.11 c starts : 10 1800.06/1755.11 c conflicts : 19347 1800.06/1755.11 c decisions : 33779 1800.06/1755.11 c propagations : 1975409 1800.06/1755.11 c inspects : 232675200 1800.06/1755.11 c learnt literals : 0 1800.06/1755.11 c learnt binary clauses : 0 1800.06/1755.11 c learnt ternary clauses : 0 1800.06/1755.11 c learnt clauses : 19346 1800.06/1755.11 c root simplifications : 0 1800.06/1755.11 c removed literals (reason simplification) : 0 1800.06/1755.11 c reason swapping (by a shorter reason) : 0 1800.06/1755.11 c Calls to reduceDB : 0 1800.06/1755.11 c speed (decisions/second) : 69.89688972394256 1800.06/1755.11 c non guided choices 0 1800.06/1755.11 s SATISFIABLE 1800.06/1755.15 v x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 x28 -x29 x30 1800.06/1755.15 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 x54 -x55 -x56 1800.06/1755.15 v 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 1800.06/1755.15 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 1800.06/1755.15 v -x108 -x109 x110 -x111 x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 x128 -x129 1800.06/1755.15 v -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.06/1755.15 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.06/1755.15 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.06/1755.15 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.06/1755.15 v -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.06/1755.15 v -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 1800.06/1755.15 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.06/1755.15 v -x277 -x278 -x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.06/1755.15 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.06/1755.15 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 1800.06/1755.15 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 1800.06/1755.15 v -x361 x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.06/1755.15 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.06/1755.15 v -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.06/1755.15 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 1800.06/1755.15 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.06/1755.15 v -x466 -x467 -x468 -x469 -x470 x471 -x472 x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 x484 -x485 x486 x487 1800.06/1755.15 v -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.06/1755.15 v -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 x518 x519 x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.06/1755.15 v -x531 -x532 -x533 x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.06/1755.15 v -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 1800.06/1755.15 v -x573 x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.06/1755.15 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 1800.06/1755.15 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.06/1755.15 v -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.06/1755.15 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.06/1755.15 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.06/1755.15 v -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 x708 x709 x710 x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.06/1755.15 v x721 -x722 -x723 x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1800.06/1755.15 v -x743 -x744 x745 x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 x760 -x761 -x762 -x763 -x764 1800.06/1755.15 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.06/1755.15 v -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.06/1755.15 v -x807 x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 1800.06/1755.15 v -x828 -x829 -x830 -x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.06/1755.15 v -x849 x850 x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1800.06/1755.15 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 1800.06/1755.15 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.06/1755.15 v -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1800.06/1755.15 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.06/1755.15 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.06/1755.15 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 1800.06/1755.15 v x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.06/1755.15 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.06/1755.15 v x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.06/1755.15 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 1800.06/1755.15 v -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 1800.06/1755.15 v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 1800.06/1755.15 v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 1800.06/1755.15 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1800.06/1755.15 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 1800.06/1755.15 v -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 1800.06/1755.15 v -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 1800.06/1755.15 v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.06/1755.15 v x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.06/1755.15 v -x1225 -x1226 -x1227 x1228 x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 1800.06/1755.15 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 1800.06/1755.15 v -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 1800.06/1755.15 v -x1277 -x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.06/1755.15 v -x1295 -x1296 x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 1800.06/1755.15 v x1313 -x1314 x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.06/1755.15 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 x1348 1800.06/1755.15 v -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 1800.06/1755.15 v x1367 -x1368 -x1369 -x1370 x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.06/1755.15 v x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 1800.06/1755.15 v x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.06/1755.15 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 1800.06/1755.15 v -x1439 x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 -x1455 x1456 1800.06/1755.15 v x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 x1467 x1468 -x1469 x1470 x1471 -x1472 x1473 -x1474 1800.06/1755.15 v -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 x1482 -x1483 -x1484 x1485 -x1486 -x1487 x1488 x1489 -x1490 -x1491 -x1492 1800.06/1755.15 v -x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 x1510 1800.06/1755.15 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1800.06/1755.15 v -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 x1542 -x1543 -x1544 -x1545 x1546 1800.06/1755.15 v x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1800.06/1755.15 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 x1579 x1580 -x1581 -x1582 1800.06/1755.15 v x1583 x1584 x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 1800.06/1755.15 v -x1601 -x1602 x1603 -x1604 -x1605 x1606 -x1607 -x1608 x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 1800.06/1755.15 v -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.06/1755.15 v x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.06/1755.15 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 1800.06/1755.15 v -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 x1686 -x1687 -x1688 x1689 1800.06/1755.15 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1800.06/1755.15 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 1800.06/1755.15 v -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1800.06/1755.15 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1800.06/1755.15 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.06/1755.15 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1800.06/1755.15 v -x1792 -x1793 -x1794 -x1795 x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 1800.06/1755.15 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.06/1755.15 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.06/1755.15 v -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 x1860 -x1861 1800.06/1755.15 v -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.06/1755.15 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 1800.06/1755.15 v -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 x1914 1800.06/1755.15 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.06/1755.15 v x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.06/1755.15 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.06/1755.15 v -x1966 -x1967 x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.06/1755.15 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 x1993 x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 x2001 1800.06/1755.15 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 1800.06/1755.15 v -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 x2035 -x2036 -x2037 1800.06/1755.15 v -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 1800.06/1755.15 v -x2056 x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 1800.06/1755.15 v x2074 -x2075 -x2076 x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1800.06/1755.15 v -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 1800.06/1755.15 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 1800.06/1755.15 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 1800.06/1755.15 v -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 x2162 -x2163 1800.06/1755.15 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.06/1755.15 v -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 x2198 1800.06/1755.15 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 1800.06/1755.15 v -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.06/1755.15 v x2233 x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 1800.06/1755.15 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 x2266 -x2267 -x2268 1800.06/1755.15 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.06/1755.15 v -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 1800.06/1755.15 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 1800.06/1755.15 v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.06/1755.15 v x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.06/1755.15 v -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 1800.06/1755.15 v -x2375 -x2376 -x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 1800.06/1755.15 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 1800.06/1755.15 v -x2411 x2412 -x2413 x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 x2428 1800.06/1755.15 v -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.06/1755.15 v -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 x2462 x2463 1800.06/1755.15 v -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 1800.06/1755.15 v x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 1800.06/1755.15 v -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 1800.06/1755.15 v -x2518 x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.06/1755.15 v x2536 -x2537 -x2538 x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 1800.06/1755.15 v -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1800.06/1755.15 v -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 x2584 -x2585 -x2586 -x2587 -x2588 1800.06/1755.15 v x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 1800.06/1755.15 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.06/1755.15 v -x2625 -x2626 -x2627 x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 1800.06/1755.15 v -x2643 x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.06/1755.15 v -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.06/1755.15 v -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.06/1755.15 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 x2711 -x2712 -x2713 -x2714 1800.06/1755.15 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 -x2727 -x2728 1800.06/1755.16 c objective function=26 1800.06/1755.16 c Total wall clock time (ms): 1754.955
OK 26
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-453312-1178129948 -o ROOT/results/node20/solver-453312-1178129948 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453312-1178129948/sat4jPseudoCP.jar /tmp/evaluation/453312-1178129948/instance-453312-1178129948.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.92 0.98 0.99 2/77 10618 /proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=152 CPUtime=0 /proc/10618/stat : 10618 (java) D 10616 10618 9780 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 260912165 155648 26 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 7619364 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/10618/statm: 38 26 19 9 0 4 0 [startup+0.0103449 s] /proc/loadavg: 0.92 0.98 0.99 2/77 10618 /proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=152 CPUtime=0 /proc/10618/stat : 10618 (java) R 10616 10618 9780 0 -1 0 203 0 0 0 0 0 0 0 18 0 1 0 260912165 155648 26 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 1 0 0 /proc/10618/statm: 38 26 19 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.101369 s] /proc/loadavg: 0.92 0.98 0.99 2/77 10618 /proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1780108 CPUtime=0.08 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 260912165 1822830592 3714 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 445027 3714 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301409 s] /proc/loadavg: 0.92 0.98 0.99 2/77 10618 /proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1782444 CPUtime=0.31 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 5142 0 1 0 28 3 0 0 18 0 12 0 260912165 1825222656 4882 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 445611 4882 1262 9 0 443223 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782444 [startup+0.701489 s] /proc/loadavg: 0.92 0.98 0.99 2/77 10618 /proc/meminfo: memFree=1648648/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1782880 CPUtime=0.87 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 6163 0 1 0 83 4 0 0 18 0 12 0 260912165 1825669120 5876 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 445720 5876 1301 9 0 443332 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 1782880 [startup+1.50265 s] /proc/loadavg: 0.92 0.98 0.99 4/89 10630 /proc/meminfo: memFree=1623080/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1786660 CPUtime=2.1 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 10629 0 1 0 204 6 0 0 18 0 12 0 260912165 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 446665 8267 1304 9 0 444277 0 [pid=10618/tid=10620] ppid=10616 vsize=1786660 CPUtime=1.2 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 6061 0 1 0 116 4 0 0 20 0 12 0 260912167 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109484447 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260912168 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260912168 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 260912171 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 260912171 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 260912171 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1786660 CPUtime=0.54 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 2478 0 0 0 53 1 0 0 16 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1786660 CPUtime=0.34 /proc/10618/task/10628/stat : 10628 (java) R 10616 10618 9780 0 -1 64 1372 0 0 0 34 0 0 0 16 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103171087 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1786660 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260912175 1829539840 8267 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 1786660 [startup+3.10298 s] /proc/loadavg: 0.92 0.98 0.99 2/90 10633 /proc/meminfo: memFree=1600224/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794832 CPUtime=4.91 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 40244 0 1 0 472 19 0 0 18 0 13 0 260912165 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448708 34802 1317 9 0 446320 0 [pid=10618/tid=10620] ppid=10616 vsize=1794832 CPUtime=2.09 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 30680 0 1 0 194 15 0 0 18 0 13 0 260912167 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109884807 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 260912168 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 260912168 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 260912171 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 260912171 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 260912171 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794832 CPUtime=1.51 /proc/10618/task/10627/stat : 10627 (java) R 10616 10618 9780 0 -1 64 4428 0 0 0 149 2 0 0 18 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103315570 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794832 CPUtime=1.28 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 4413 0 0 0 127 1 0 0 16 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794832 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837907968 34802 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.91 Current children cumulated vsize (KiB) 1794832 [startup+6.30262 s] /proc/loadavg: 1.01 1.00 1.00 2/90 10635 /proc/meminfo: memFree=1479064/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794816 CPUtime=9.27 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 54895 0 1 0 901 26 0 0 18 0 13 0 260912165 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448704 42979 1326 9 0 446316 0 [pid=10618/tid=10620] ppid=10616 vsize=1794816 CPUtime=4.73 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 37747 0 1 0 455 18 0 0 22 0 13 0 260912167 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109617814 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794816 CPUtime=0.08 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 1176 0 0 0 8 0 0 0 16 0 13 0 260912168 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794816 CPUtime=0.07 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 1021 0 0 0 7 0 0 0 16 0 13 0 260912168 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 260912171 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794816 CPUtime=2.51 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7454 0 0 0 247 4 0 0 17 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794816 CPUtime=1.83 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6758 0 0 0 181 2 0 0 17 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10635] ppid=10616 vsize=1794816 CPUtime=0 /proc/10618/task/10635/stat : 10635 (java) S 10616 10618 9780 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260912486 1837891584 42979 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 9.27 Current children cumulated vsize (KiB) 1794816 [startup+12.7029 s] /proc/loadavg: 1.01 1.00 1.00 2/90 10635 /proc/meminfo: memFree=1439480/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794784 CPUtime=15.96 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 65811 0 1 0 1565 31 0 0 18 0 13 0 260912165 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448696 53464 1326 9 0 446308 0 [pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=10.99 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 43318 0 1 0 1079 20 0 0 21 0 13 0 260912167 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109618749 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=0.19 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 4073 0 0 0 18 1 0 0 16 0 13 0 260912168 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=0.18 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 3440 0 0 0 17 1 0 0 16 0 13 0 260912168 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.65 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7461 0 0 0 261 4 0 0 16 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.9 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6766 0 0 0 188 2 0 0 16 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10635] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10635/stat : 10635 (java) S 10616 10618 9780 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 260912486 1837858816 53464 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.96 Current children cumulated vsize (KiB) 1794784 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/90 10635 /proc/meminfo: memFree=1445632/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794784 CPUtime=28.88 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 68765 0 1 0 2855 33 0 0 18 0 13 0 260912165 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448696 51785 1327 9 0 446308 0 [pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=23.64 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 43337 0 1 0 2344 20 0 0 25 0 13 0 260912167 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109617769 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=0.31 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 5829 0 0 0 29 2 0 0 15 0 13 0 260912168 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=0.31 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 4618 0 0 0 29 2 0 0 16 0 13 0 260912168 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 51785 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 182799 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1580.91 Current children cumulated vsize (KiB) 1794784 [startup+1602.3 s] /proc/loadavg: 1.01 1.03 1.00 2/90 10639 /proc/meminfo: memFree=909424/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794784 CPUtime=1642.72 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 224034 0 1 0 164144 128 0 0 18 0 13 0 260912165 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448696 185608 1335 9 0 446308 0 [pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1561.17 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 51814 0 1 0 156077 40 0 0 25 0 13 0 260912167 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109753336 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=38.29 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 77241 0 0 0 3796 33 0 0 16 0 13 0 260912168 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=38.25 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 79964 0 0 0 3789 36 0 0 17 0 13 0 260912168 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.27 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 53 0 0 0 17 10 0 0 15 0 13 0 260912171 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 185608 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1642.72 Current children cumulated vsize (KiB) 1794784 [startup+1662.3 s] /proc/loadavg: 1.06 1.03 1.00 2/90 10639 /proc/meminfo: memFree=897520/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794784 CPUtime=1704.52 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 227211 0 1 0 170321 131 0 0 18 0 13 0 260912165 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448696 188488 1335 9 0 446308 0 [pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1619.31 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 51846 0 1 0 161890 41 0 0 25 0 13 0 260912167 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109701396 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=40.11 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 78129 0 0 0 3978 33 0 0 16 0 13 0 260912168 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=40.08 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 82221 0 0 0 3971 37 0 0 16 0 13 0 260912168 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.28 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 53 0 0 0 18 10 0 0 16 0 13 0 260912171 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 188488 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1704.52 Current children cumulated vsize (KiB) 1794784 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/90 10639 /proc/meminfo: memFree=887088/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794784 CPUtime=1766.29 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 230060 0 1 0 176497 132 0 0 18 0 13 0 260912165 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448696 191082 1335 9 0 446308 0 [pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1677.43 /proc/10618/task/10620/stat : 10620 (java) S 10616 10618 9780 0 -1 64 51878 0 1 0 167702 41 0 0 25 0 13 0 260912167 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=41.93 /proc/10618/task/10621/stat : 10621 (java) R 10616 10618 9780 0 -1 64 79811 0 0 0 4159 34 0 0 16 0 13 0 260912168 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070774 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=41.91 /proc/10618/task/10622/stat : 10622 (java) R 10616 10618 9780 0 -1 64 83356 0 0 0 4153 38 0 0 16 0 13 0 260912168 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070832 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.29 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 53 0 0 0 18 11 0 0 15 0 13 0 260912171 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 191082 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1766.29 Current children cumulated vsize (KiB) 1794784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1755.1 s] /proc/loadavg: 1.01 1.02 1.00 2/90 10639 /proc/meminfo: memFree=881328/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=1794784 CPUtime=1800.06 /proc/10618/stat : 10618 (java) S 10616 10618 9780 0 -1 0 231667 0 1 0 179872 134 0 0 18 0 13 0 260912165 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10618/statm: 448696 192535 1335 9 0 446308 0 [pid=10618/tid=10620] ppid=10616 vsize=1794784 CPUtime=1709.23 /proc/10618/task/10620/stat : 10620 (java) R 10616 10618 9780 0 -1 64 51894 0 1 0 170881 42 0 0 25 0 13 0 260912167 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109753169 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10621] ppid=10616 vsize=1794784 CPUtime=42.91 /proc/10618/task/10621/stat : 10621 (java) S 10616 10618 9780 0 -1 64 81023 0 0 0 4256 35 0 0 16 0 13 0 260912168 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10622] ppid=10616 vsize=1794784 CPUtime=42.89 /proc/10618/task/10622/stat : 10622 (java) S 10616 10618 9780 0 -1 64 83734 0 0 0 4251 38 0 0 16 0 13 0 260912168 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10623] ppid=10616 vsize=1794784 CPUtime=0.3 /proc/10618/task/10623/stat : 10623 (java) S 10616 10618 9780 0 -1 64 54 0 0 0 19 11 0 0 16 0 13 0 260912171 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10624] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10624/stat : 10624 (java) S 10616 10618 9780 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10625] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10625/stat : 10625 (java) S 10616 10618 9780 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260912171 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10626] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10626/stat : 10626 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10627] ppid=10616 vsize=1794784 CPUtime=2.7 /proc/10618/task/10627/stat : 10627 (java) S 10616 10618 9780 0 -1 64 7462 0 0 0 266 4 0 0 17 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10628] ppid=10616 vsize=1794784 CPUtime=1.98 /proc/10618/task/10628/stat : 10628 (java) S 10616 10618 9780 0 -1 64 6776 0 0 0 196 2 0 0 17 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10629] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10629/stat : 10629 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10618/tid=10630] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10630/stat : 10630 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260912175 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10618/tid=10637] ppid=10616 vsize=1794784 CPUtime=0 /proc/10618/task/10637/stat : 10637 (java) S 10616 10618 9780 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261039350 1837858816 192535 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1794784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1755.21 s] /proc/loadavg: 1.01 1.02 1.00 2/90 10639 /proc/meminfo: memFree=881328/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=0 CPUtime=1800.21 /proc/10618/stat : 10618 (java) Z 10616 10618 9780 0 -1 1036 231686 0 1 0 179884 137 0 0 15 0 2 0 260912165 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10618/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 [startup+1755.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 10639 /proc/meminfo: memFree=881328/2055920 swapFree=4154924/4192956 [pid=10618] ppid=10616 vsize=0 CPUtime=1800.29 /proc/10618/stat : 10618 (java) Z 10616 10618 9780 0 -1 1036 231686 0 1 0 179884 145 0 0 15 0 2 0 260912165 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10618/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1755.31 CPU time (s): 1800.32 CPU user time (s): 1798.85 CPU system time (s): 1.46978 CPU usage (%): 102.564 Max. virtual memory (cumulated for all children) (KiB): 1796800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 1.46978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231686 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= 47908 involuntary context switches= 70533 runsolver used 1.64175 second user time and 4.77327 second system time The end
Begin job on node20 on Wed May 2 18:19:08 UTC 2007 IDJOB= 453312 IDBENCH= 48122 IDSOLVER= 160 FILE ID= node20/453312-1178129948 PBS_JOBID= 4751037 Free space on /tmp= 66561 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453312-1178129948/sat4jPseudoCP.jar /tmp/evaluation/453312-1178129948/instance-453312-1178129948.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-453312-1178129948 -o ROOT/results/node20/solver-453312-1178129948 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453312-1178129948/sat4jPseudoCP.jar /tmp/evaluation/453312-1178129948/instance-453312-1178129948.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED= 434455635 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1649056 kB Buffers: 213880 kB Cached: 75156 kB SwapCached: 16828 kB Active: 188808 kB Inactive: 129756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1649056 kB SwapTotal: 4192956 kB SwapFree: 4154924 kB Dirty: 3736 kB Writeback: 0 kB Mapped: 35564 kB Slab: 73852 kB Committed_AS: 6508452 kB PageTables: 1756 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= 66561 MiB End job on node20 on Wed May 2 18:48:25 UTC 2007