Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 33 | 1800.25 | 1781.28 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb |
MD5SUM | 54e50bd6cbfbb2a5705269c41241de9a |
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.16 |
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 | 20 |
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) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 2492 |
Sum of products size | 4984 |
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 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/453746-1178153580/instance-453746-1178153580.opb 0.20/0.20 c reading problem ... 1.92/1.50 c ... done. Wall clock time 1.294s. 1.92/1.50 c CPU time (experimental) 1.17s. 1.92/1.50 c #vars 2692 1.92/1.50 c #constraints 5184 2.02/1.59 c SATISFIABLE 2.02/1.59 c OPTIMIZING... 2.02/1.59 c Got one! Elapsed wall clock time (in seconds):1.386 2.02/1.59 o 33 1800.02/1781.11 c starts : 23 1800.02/1781.11 c conflicts : 1200928 1800.02/1781.11 c decisions : 2800720 1800.02/1781.11 c propagations : 396751485 1800.02/1781.11 c inspects : 3488483959 1800.02/1781.11 c learnt literals : 0 1800.02/1781.11 c learnt binary clauses : 0 1800.02/1781.11 c learnt ternary clauses : 0 1800.02/1781.11 c learnt clauses : 1200928 1800.02/1781.11 c root simplifications : 0 1800.02/1781.11 c removed literals (reason simplification) : 0 1800.02/1781.11 c reason swapping (by a shorter reason) : 0 1800.02/1781.11 c Calls to reduceDB : 0 1800.02/1781.11 c speed (decisions/second) : 1573.8988771432537 1800.02/1781.11 c non guided choices 20 1800.02/1781.11 s SATISFIABLE 1800.02/1781.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 1800.02/1781.15 v x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 x54 x55 1800.02/1781.15 v -x56 x57 x58 x59 -x60 x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.02/1781.15 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 1800.02/1781.15 v x107 x108 x109 -x110 x111 x112 -x113 -x114 x115 -x116 x117 x118 x119 x120 -x121 x122 x123 x124 x125 x126 -x127 -x128 -x129 -x130 1800.02/1781.15 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.02/1781.15 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.02/1781.15 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.02/1781.15 v -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.02/1781.15 v -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 1800.02/1781.15 v -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 1800.02/1781.15 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 x268 x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 x278 1800.02/1781.15 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 1800.02/1781.15 v x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.02/1781.15 v x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.02/1781.15 v -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.02/1781.15 v -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 1800.02/1781.15 v -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 1800.02/1781.15 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.02/1781.15 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 x445 -x446 1800.02/1781.15 v -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 1800.02/1781.15 v x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 1800.02/1781.15 v -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.02/1781.15 v -x510 -x511 -x512 -x513 x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 1800.02/1781.15 v x531 x532 -x533 x534 x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 x551 -x552 1800.02/1781.15 v -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 x573 1800.02/1781.15 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 x591 -x592 -x593 -x594 1800.02/1781.15 v -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.02/1781.15 v -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.02/1781.15 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.02/1781.15 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 1800.02/1781.15 v -x679 -x680 x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.02/1781.15 v -x700 -x701 -x702 x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 1800.02/1781.15 v -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 1800.02/1781.15 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 1800.02/1781.15 v -x764 x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1800.02/1781.15 v -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 1800.02/1781.15 v -x806 -x807 x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.02/1781.15 v -x827 -x828 -x829 x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 1800.02/1781.15 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 x868 1800.02/1781.15 v -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 x882 -x883 -x884 x885 x886 -x887 -x888 -x889 -x890 1800.02/1781.15 v -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.02/1781.15 v -x912 -x913 -x914 -x915 x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 -x931 -x932 1800.02/1781.15 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 1800.02/1781.15 v -x954 x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.02/1781.15 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.02/1781.15 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 1800.02/1781.15 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.02/1781.15 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.02/1781.15 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1800.02/1781.15 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.02/1781.15 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.02/1781.15 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.02/1781.15 v -x1117 x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 1800.02/1781.15 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 x1150 -x1151 -x1152 1800.02/1781.15 v x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1800.02/1781.15 v -x1171 x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 1800.02/1781.15 v -x1189 -x1190 -x1191 -x1192 -x1193 x1194 x1195 -x1196 x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.02/1781.15 v -x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 1800.02/1781.15 v -x1225 x1226 x1227 -x1228 x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.02/1781.15 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 1800.02/1781.15 v -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 1800.02/1781.15 v -x1279 -x1280 x1281 -x1282 -x1283 x1284 -x1285 x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 1800.02/1781.15 v x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 1800.02/1781.15 v -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 1800.02/1781.15 v -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 1800.02/1781.15 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.02/1781.15 v -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.02/1781.15 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.02/1781.15 v x1404 -x1405 -x1406 x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.02/1781.15 v -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.02/1781.15 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 1800.02/1781.15 v -x1458 x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 1800.02/1781.15 v x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 1800.02/1781.15 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1800.02/1781.15 v -x1511 x1512 -x1513 -x1514 x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 x1528 1800.02/1781.15 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1800.02/1781.15 v -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 x1561 -x1562 -x1563 1800.02/1781.15 v -x1564 -x1565 -x1566 -x1567 -x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 1800.02/1781.15 v x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.02/1781.15 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 1800.02/1781.15 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 1800.02/1781.15 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 x1648 x1649 -x1650 -x1651 1800.02/1781.15 v -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.02/1781.15 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.02/1781.15 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 1800.02/1781.15 v -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.02/1781.15 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.02/1781.15 v -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 x1756 1800.02/1781.15 v -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.02/1781.15 v -x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1800.02/1781.15 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.02/1781.15 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.02/1781.15 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 1800.02/1781.15 v -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.02/1781.15 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.02/1781.15 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.02/1781.15 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 1800.02/1781.15 v -x1913 x1914 -x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 1800.02/1781.15 v -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 1800.02/1781.15 v -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.02/1781.15 v x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 x1982 -x1983 -x1984 1800.02/1781.15 v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1800.02/1781.15 v -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 1800.02/1781.15 v -x2021 -x2022 -x2023 x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 1800.02/1781.15 v -x2039 -x2040 -x2041 x2042 x2043 x2044 x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 x2052 x2053 -x2054 -x2055 -x2056 1800.02/1781.15 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1800.02/1781.15 v x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 1800.02/1781.15 v -x2092 -x2093 x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 1800.02/1781.15 v -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 1800.02/1781.15 v -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.02/1781.15 v -x2146 -x2147 x2148 -x2149 x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.02/1781.15 v x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.02/1781.15 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 1800.02/1781.15 v -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.02/1781.15 v -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 x2233 -x2234 -x2235 1800.02/1781.15 v -x2236 -x2237 -x2238 -x2239 -x2240 x2241 x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.02/1781.15 v -x2254 x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 1800.02/1781.15 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.02/1781.15 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.02/1781.15 v x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 x2321 x2322 -x2323 1800.02/1781.15 v -x2324 -x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 1800.02/1781.15 v -x2342 -x2343 x2344 x2345 -x2346 x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 1800.02/1781.15 v -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 1800.02/1781.15 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 1800.02/1781.15 v -x2396 -x2397 -x2398 x2399 x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 1800.02/1781.15 v -x2414 -x2415 -x2416 x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.02/1781.15 v x2432 x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 1800.02/1781.15 v -x2450 x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 1800.02/1781.15 v -x2468 -x2469 x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.02/1781.15 v x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 x2502 -x2503 1800.02/1781.15 v -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1800.02/1781.15 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 x2536 -x2537 -x2538 -x2539 1800.02/1781.15 v -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 1800.02/1781.15 v -x2558 x2559 -x2560 x2561 -x2562 x2563 x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.02/1781.15 v -x2576 -x2577 x2578 x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 x2587 -x2588 x2589 x2590 -x2591 -x2592 -x2593 1800.02/1781.15 v -x2594 x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 1800.02/1781.15 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 x2627 -x2628 -x2629 1800.02/1781.15 v -x2630 -x2631 -x2632 x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.02/1781.15 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.02/1781.15 v x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 1800.02/1781.15 v x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.02/1781.15 c objective function=33 1800.02/1781.15 c Total wall clock time (ms): 1780.952
OK 33
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-453746-1178153580 -o ROOT/results/node19/solver-453746-1178153580 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453746-1178153580/sat4jPseudoResolution.jar /tmp/evaluation/453746-1178153580/instance-453746-1178153580.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.00 0.98 0.95 2/77 15411 /proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=152 CPUtime=0 /proc/15411/stat : 15411 (java) R 15409 15411 13392 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 263275342 155648 26 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 7483691 0 0 4096 0 0 0 0 17 1 0 0 /proc/15411/statm: 38 26 19 9 0 4 0 [startup+0.0115541 s] /proc/loadavg: 1.00 0.98 0.95 2/77 15411 /proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=12056 CPUtime=0 /proc/15411/stat : 15411 (java) R 15409 15411 13392 0 -1 0 398 0 0 0 0 0 0 0 18 0 1 0 263275342 12345344 207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 7455530 0 0 4096 0 0 0 0 17 1 0 0 /proc/15411/statm: 3014 215 136 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12056 [startup+0.101571 s] /proc/loadavg: 1.00 0.98 0.95 2/77 15411 /proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1780108 CPUtime=0.09 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 3972 0 1 0 6 3 0 0 18 0 12 0 263275342 1822830592 3715 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 445027 3715 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.30159 s] /proc/loadavg: 1.00 0.98 0.95 2/77 15411 /proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1782264 CPUtime=0.31 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 5111 0 1 0 27 4 0 0 18 0 12 0 263275342 1825038336 4851 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 445566 4851 1260 9 0 443178 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782264 [startup+0.701634 s] /proc/loadavg: 1.00 0.98 0.95 2/77 15411 /proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1782296 CPUtime=0.87 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 6167 0 1 0 83 4 0 0 18 0 12 0 263275342 1825071104 5870 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 445574 5870 1301 9 0 443186 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 1782296 [startup+1.50171 s] /proc/loadavg: 1.00 0.98 0.95 2/89 15423 /proc/meminfo: memFree=1767440/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1787460 CPUtime=2.02 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 10866 0 1 0 195 7 0 0 18 0 12 0 263275342 1830359040 8380 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446865 8381 1310 9 0 444477 0 [pid=15411/tid=15413] ppid=15409 vsize=1787460 CPUtime=1.17 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 6067 0 1 0 113 4 0 0 25 0 12 0 263275343 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 263275345 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 263275345 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 263275347 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 263275347 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263275347 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1787460 CPUtime=0.43 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2220 0 0 0 43 0 0 0 16 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1787460 CPUtime=0.38 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 1862 0 0 0 37 1 0 0 15 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1787460 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 1787460 [startup+3.10289 s] /proc/loadavg: 1.00 0.98 0.95 2/90 15425 /proc/meminfo: memFree=1745608/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1787784 CPUtime=4.01 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 39665 0 1 0 384 17 0 0 18 0 13 0 263275342 1830690816 35961 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446946 35962 1317 9 0 444558 0 [pid=15411/tid=15413] ppid=15409 vsize=1787784 CPUtime=2.53 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 33571 0 1 0 240 13 0 0 19 0 13 0 263275343 1830690816 35962 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109703741 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 263275345 1830690816 35963 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 263275345 1830690816 35964 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 263275347 1830690816 35965 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 263275347 1830690816 35966 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 263275347 1830690816 35966 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1830690816 35967 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1787784 CPUtime=0.72 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2265 0 0 0 71 1 0 0 16 0 13 0 263275351 1830690816 35968 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1787784 CPUtime=0.73 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3106 0 0 0 72 1 0 0 15 0 13 0 263275351 1830690816 35969 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1830690816 35969 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1830690816 35970 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1787784 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1830690816 35971 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 1787784 [startup+6.30223 s] /proc/loadavg: 1.00 0.98 0.95 2/90 15425 /proc/meminfo: memFree=1630536/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=7.32 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 45502 0 1 0 712 20 0 0 18 0 13 0 263275342 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 41544 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=5.66 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 37718 0 1 0 551 15 0 0 17 0 13 0 263275343 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109705105 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=0.05 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 959 0 0 0 5 0 0 0 16 0 13 0 263275345 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=0.05 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 711 0 0 0 5 0 0 0 16 0 13 0 263275345 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.73 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2266 0 0 0 72 1 0 0 16 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.78 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3113 0 0 0 77 1 0 0 17 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.32 Current children cumulated vsize (KiB) 1786724 [startup+12.7029 s] /proc/loadavg: 1.00 0.98 0.95 2/90 15425 /proc/meminfo: memFree=1595160/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=13.82 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 55485 0 1 0 1358 24 0 0 18 0 13 0 263275342 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 50339 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=11.97 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 44526 0 1 0 1180 17 0 0 18 0 13 0 263275343 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109654067 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=0.11 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 2788 0 0 0 10 1 0 0 16 0 13 0 263275345 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=0.11 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 2040 0 0 0 10 1 0 0 16 0 13 0 263275345 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.75 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2266 0 0 0 74 1 0 0 16 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.82 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3117 0 0 0 81 1 0 0 17 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.82 Current children cumulated vsize (KiB) 1786724 [startup+25.5013 s] /proc/loadavg: 1.00 0.98 0.95 2/90 15425 /proc/meminfo: memFree=1615832/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=26.68 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 56510 0 1 0 2642 26 0 0 18 0 13 0 263275342 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 45105 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=24.68 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 44541 0 1 0 2451 17 0 0 18 0 13 0 263275343 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109722530 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=0.15 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 3241 0 0 0 14 1 0 0 16 0 13 0 263275345 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=0.16 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 2593 0 0 0 15 1 0 0 16 0 13 0 263275345 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.32 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 19 13 0 0 16 0 13 0 263275347 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1558.15 Current children cumulated vsize (KiB) 1786724 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 15623 /proc/meminfo: memFree=1259288/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=1618.93 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 188518 0 1 0 161751 142 0 0 18 0 13 0 263275342 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 134046 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1581.82 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79697 0 1 0 158132 50 0 0 17 0 13 0 263275343 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109701699 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=17.57 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 49576 0 0 0 1723 34 0 0 17 0 13 0 263275345 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=17.53 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 52973 0 0 0 1713 40 0 0 16 0 13 0 263275345 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.32 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 19 13 0 0 15 0 13 0 263275347 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) R 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1618.93 Current children cumulated vsize (KiB) 1786724 [startup+1662.3 s] /proc/loadavg: 1.14 1.03 1.01 2/90 15623 /proc/meminfo: memFree=1251800/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=1679.66 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 190366 0 1 0 167821 145 0 0 18 0 13 0 263275342 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 135852 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1640.72 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79727 0 1 0 164021 51 0 0 20 0 13 0 263275343 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109667746 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=18.47 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 50480 0 0 0 1812 35 0 0 17 0 13 0 263275345 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=18.45 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 53887 0 0 0 1804 41 0 0 16 0 13 0 263275345 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.33 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 20 13 0 0 16 0 13 0 263275347 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1679.66 Current children cumulated vsize (KiB) 1786724 [startup+1722.3 s] /proc/loadavg: 1.05 1.02 1.00 2/90 15623 /proc/meminfo: memFree=1243736/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=1740.44 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 192420 0 1 0 173895 149 0 0 18 0 13 0 263275342 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 137848 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1699.61 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79758 0 1 0 169910 51 0 0 25 0 13 0 263275343 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109761638 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=19.43 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 51494 0 0 0 1907 36 0 0 16 0 13 0 263275345 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=19.36 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 54896 0 0 0 1894 42 0 0 17 0 13 0 263275345 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.33 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 20 13 0 0 16 0 13 0 263275347 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1740.44 Current children cumulated vsize (KiB) 1786724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.1 s] /proc/loadavg: 1.02 1.02 1.00 2/90 15623 /proc/meminfo: memFree=1236056/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=1786724 CPUtime=1800.02 /proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 194433 0 1 0 179850 152 0 0 18 0 13 0 263275342 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15411/statm: 446681 139780 1328 9 0 444293 0 [pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1757.3 /proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79789 0 1 0 175678 52 0 0 24 0 13 0 263275343 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109722389 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=20.37 /proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 52429 0 0 0 1999 38 0 0 17 0 13 0 263275345 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=20.33 /proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 55943 0 0 0 1989 44 0 0 16 0 13 0 263275345 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.33 /proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 20 13 0 0 16 0 13 0 263275347 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78 /proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85 /proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0 /proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 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) 1786724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1781.21 s] /proc/loadavg: 1.02 1.02 1.00 2/90 15623 /proc/meminfo: memFree=1236056/2055920 swapFree=4153644/4192956 [pid=15411] ppid=15409 vsize=0 CPUtime=1800.17 /proc/15411/stat : 15411 (java) Z 15409 15411 13392 0 -1 1036 194455 0 1 0 179863 154 0 0 15 0 2 0 263275342 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15411/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1781.28 CPU time (s): 1800.25 CPU user time (s): 1798.64 CPU system time (s): 1.61475 CPU usage (%): 101.065 Max. virtual memory (cumulated for all children) (KiB): 1789492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.64 system time used= 1.61475 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194455 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= 50929 involuntary context switches= 44750 runsolver used 1.78173 second user time and 4.82127 second system time The end
Begin job on node19 on Thu May 3 00:53:00 UTC 2007 IDJOB= 453746 IDBENCH= 48151 IDSOLVER= 159 FILE ID= node19/453746-1178153580 PBS_JOBID= 4751077 Free space on /tmp= 66561 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453746-1178153580/sat4jPseudoResolution.jar /tmp/evaluation/453746-1178153580/instance-453746-1178153580.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-453746-1178153580 -o ROOT/results/node19/solver-453746-1178153580 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453746-1178153580/sat4jPseudoResolution.jar /tmp/evaluation/453746-1178153580/instance-453746-1178153580.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 54e50bd6cbfbb2a5705269c41241de9a RANDOM SEED= 581135608 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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: 1792648 kB Buffers: 96460 kB Cached: 79300 kB SwapCached: 8384 kB Active: 110508 kB Inactive: 97292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792648 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 3732 kB Writeback: 0 kB Mapped: 30340 kB Slab: 40952 kB Committed_AS: 8863992 kB PageTables: 1788 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 node19 on Thu May 3 01:22:43 UTC 2007