Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 27 | 1800.43 | 1751.26 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_4.opb |
MD5SUM | b738c7950af6b3d63e331a14bc641dc9 |
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.12 |
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 | 22 |
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) | 2524 |
Sum of products size (including duplicates) | 5048 |
Number of different products | 2524 |
Sum of products size | 5048 |
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/453672-1178148062/instance-453672-1178148062.opb 0.20/0.20 c reading problem ... 1.98/1.58 c ... done. Wall clock time 1.373s. 1.98/1.58 c CPU time (experimental) 1.2s. 1.98/1.58 c #vars 2724 1.98/1.58 c #constraints 5248 2.11/1.67 c SATISFIABLE 2.11/1.67 c OPTIMIZING... 2.11/1.67 c Got one! Elapsed wall clock time (in seconds):1.462 2.11/1.67 o 30 4.96/3.23 c Got one! Elapsed wall clock time (in seconds):3.023 4.96/3.23 o 29 52.29/48.98 c Got one! Elapsed wall clock time (in seconds):48.78 52.29/48.98 o 28 55.11/51.72 c Got one! Elapsed wall clock time (in seconds):51.519 55.11/51.72 o 27 1800.08/1751.06 c starts : 7 1800.08/1751.06 c conflicts : 20571 1800.08/1751.06 c decisions : 32513 1800.08/1751.06 c propagations : 2048682 1800.08/1751.06 c inspects : 232494542 1800.08/1751.06 c learnt literals : 0 1800.08/1751.06 c learnt binary clauses : 0 1800.08/1751.06 c learnt ternary clauses : 0 1800.08/1751.06 c learnt clauses : 20570 1800.08/1751.06 c root simplifications : 0 1800.08/1751.06 c removed literals (reason simplification) : 0 1800.08/1751.06 c reason swapping (by a shorter reason) : 0 1800.08/1751.06 c Calls to reduceDB : 0 1800.08/1751.06 c speed (decisions/second) : 19.132789669364584 1800.08/1751.06 c non guided choices 0 1800.08/1751.06 s SATISFIABLE 1800.08/1751.10 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 1800.08/1751.10 v -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.08/1751.10 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.08/1751.10 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 x107 1800.08/1751.10 v -x108 x109 -x110 x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 1800.08/1751.10 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.08/1751.10 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.08/1751.10 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.08/1751.10 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 -x211 -x212 -x213 1800.08/1751.10 v -x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.08/1751.10 v -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 x254 -x255 -x256 1800.08/1751.10 v -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 1800.08/1751.10 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.08/1751.10 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 1800.08/1751.10 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 1800.08/1751.10 v -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 x361 1800.08/1751.10 v -x362 x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.08/1751.10 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.08/1751.10 v x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.08/1751.10 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.08/1751.10 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 1800.08/1751.10 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 1800.08/1751.10 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.08/1751.10 v -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1800.08/1751.10 v -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 x550 1800.08/1751.10 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1800.08/1751.10 v -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1800.08/1751.10 v -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1800.08/1751.10 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1800.08/1751.10 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1800.08/1751.10 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 1800.08/1751.10 v -x677 x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 x697 1800.08/1751.10 v -x698 x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.08/1751.10 v -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1800.08/1751.10 v -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 x758 -x759 -x760 1800.08/1751.10 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 1800.08/1751.10 v -x782 -x783 -x784 x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 1800.08/1751.10 v x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 1800.08/1751.10 v -x824 -x825 -x826 x827 -x828 -x829 -x830 x831 x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1800.08/1751.10 v -x845 x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1800.08/1751.10 v -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 1800.08/1751.10 v x887 x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 1800.08/1751.10 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 1800.08/1751.10 v -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 x949 -x950 1800.08/1751.10 v x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 x966 -x967 -x968 -x969 -x970 -x971 1800.08/1751.10 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 1800.08/1751.10 v -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.08/1751.10 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.08/1751.10 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.08/1751.10 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.08/1751.10 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.08/1751.10 v -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.08/1751.10 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.08/1751.10 v x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.08/1751.10 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.08/1751.10 v x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 1800.08/1751.10 v -x1166 x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 x1177 x1178 -x1179 -x1180 -x1181 -x1182 x1183 1800.08/1751.10 v -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.08/1751.10 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.08/1751.10 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.08/1751.10 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 1800.08/1751.10 v -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 1800.08/1751.10 v -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 1800.08/1751.10 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 -x1302 x1303 -x1304 x1305 -x1306 -x1307 1800.08/1751.10 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1800.08/1751.10 v -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 1800.08/1751.10 v -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1800.08/1751.10 v x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1800.08/1751.10 v -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1800.08/1751.10 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 1800.08/1751.10 v x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.08/1751.10 v -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.08/1751.10 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 x1464 -x1465 -x1466 1800.08/1751.10 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 1800.08/1751.10 v x1485 x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1800.08/1751.10 v x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 1800.08/1751.10 v x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 x1529 x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.08/1751.10 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.08/1751.10 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.08/1751.10 v -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 1800.08/1751.10 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 1800.08/1751.10 v -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 1800.08/1751.10 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1800.08/1751.10 v x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 1800.08/1751.10 v -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1800.08/1751.10 v -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1800.08/1751.10 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 1800.08/1751.10 v -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.08/1751.10 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 1800.08/1751.10 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 1800.08/1751.10 v -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 1800.08/1751.10 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 1800.08/1751.10 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1800.08/1751.10 v -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1800.08/1751.10 v -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 x1852 1800.08/1751.10 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 1800.08/1751.10 v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 x1885 -x1886 -x1887 1800.08/1751.10 v -x1888 x1889 -x1890 x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.08/1751.10 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1800.08/1751.10 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.08/1751.10 v -x1940 x1941 -x1942 -x1943 x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.08/1751.10 v x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.08/1751.10 v -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 1800.08/1751.10 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 x2008 -x2009 -x2010 -x2011 1800.08/1751.10 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 1800.08/1751.10 v -x2030 -x2031 -x2032 x2033 x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 x2044 -x2045 x2046 -x2047 1800.08/1751.10 v x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 1800.08/1751.10 v -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 1800.08/1751.10 v -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.08/1751.10 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.08/1751.10 v -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 1800.08/1751.10 v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1800.08/1751.10 v -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 x2171 -x2172 1800.08/1751.10 v -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 x2187 -x2188 x2189 -x2190 1800.08/1751.10 v x2191 x2192 -x2193 x2194 -x2195 -x2196 -x2197 x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 1800.08/1751.10 v x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 1800.08/1751.10 v -x2227 -x2228 x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1800.08/1751.10 v -x2245 -x2246 -x2247 -x2248 -x2249 x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 1800.08/1751.10 v x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.08/1751.10 v -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.08/1751.10 v -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.08/1751.10 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 x2333 -x2334 1800.08/1751.10 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.08/1751.10 v -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 x2368 -x2369 -x2370 1800.08/1751.10 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 1800.08/1751.10 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.08/1751.10 v -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 1800.08/1751.10 v -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 x2440 -x2441 1800.08/1751.10 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 1800.08/1751.10 v -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 x2477 1800.08/1751.10 v -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.08/1751.10 v x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 1800.08/1751.10 v x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.08/1751.10 v -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1800.08/1751.10 v -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.08/1751.10 v -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1800.08/1751.10 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 1800.08/1751.10 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 -x2618 x2619 -x2620 -x2621 1800.08/1751.10 v -x2622 -x2623 x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.08/1751.10 v x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.08/1751.10 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 x2674 -x2675 1800.08/1751.10 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.08/1751.10 v -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 1800.08/1751.10 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1800.08/1751.11 c objective function=27 1800.08/1751.11 c Total wall clock time (ms): 1750.901
OK 27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-453672-1178148062 -o ROOT/results/node11/solver-453672-1178148062 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453672-1178148062/sat4jPseudoCP.jar /tmp/evaluation/453672-1178148062/instance-453672-1178148062.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 22939 /proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=152 CPUtime=0 /proc/22939/stat : 22939 (java) R 22937 22939 21234 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 255855173 155648 26 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 7979812 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/22939/statm: 38 26 19 9 0 4 0 [startup+0.0267031 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22939 /proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1772952 CPUtime=0.01 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 1317 0 1 0 0 1 0 0 18 0 2 0 255855173 1815502848 1068 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 443238 1080 381 9 0 441252 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1772952 [startup+0.101704 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22939 /proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1780108 CPUtime=0.08 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 3936 0 1 0 6 2 0 0 18 0 12 0 255855173 1822830592 3679 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 445027 3679 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301733 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22939 /proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1782444 CPUtime=0.3 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 5133 0 1 0 28 2 0 0 18 0 12 0 255855173 1825222656 4873 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 445611 4873 1260 9 0 443223 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782444 [startup+0.701782 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22939 /proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1782880 CPUtime=0.84 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 6137 0 1 0 81 3 0 0 18 0 12 0 255855173 1825669120 5823 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 445720 5823 1301 9 0 443332 0 Current children cumulated CPU time (s) 0.84 Current children cumulated vsize (KiB) 1782880 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.99 2/89 22951 /proc/meminfo: memFree=1779792/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1786720 CPUtime=1.98 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 10835 0 1 0 193 5 0 0 18 0 12 0 255855173 1829601280 8201 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 446680 8201 1304 9 0 444292 0 [pid=22939/tid=22941] ppid=22937 vsize=1786720 CPUtime=1.14 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 6004 0 1 0 112 2 0 0 20 0 12 0 255855174 1829601280 8201 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109484278 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 255855176 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 255855176 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 255855178 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 255855179 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 255855179 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1786720 CPUtime=0.36 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 1445 0 0 0 36 0 0 0 16 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1786720 CPUtime=0.46 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 2668 0 0 0 45 1 0 0 16 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1786720 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 1786720 [startup+3.10207 s] /proc/loadavg: 0.93 0.98 0.99 2/90 22953 /proc/meminfo: memFree=1753544/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1797096 CPUtime=4.75 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 42679 0 1 0 456 19 0 0 18 0 13 0 255855173 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 449274 35113 1317 9 0 446886 0 [pid=22939/tid=22941] ppid=22937 vsize=1797096 CPUtime=2.05 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 30783 0 1 0 193 12 0 0 18 0 13 0 255855174 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109196870 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 255855176 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 255855176 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 255855178 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 255855179 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 255855179 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1797096 CPUtime=1.27 /proc/22939/task/22948/stat : 22948 (java) R 22937 22939 21234 0 -1 64 5853 0 0 0 124 3 0 0 18 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 104929619 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1797096 CPUtime=1.4 /proc/22939/task/22949/stat : 22949 (java) R 22937 22939 21234 0 -1 64 5319 0 0 0 138 2 0 0 18 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103335981 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22953] ppid=22937 vsize=1797096 CPUtime=0 /proc/22939/task/22953/stat : 22953 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 255855344 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 1797096 [startup+6.30225 s] /proc/loadavg: 0.93 0.98 0.99 4/90 22954 /proc/meminfo: memFree=1631624/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795264 CPUtime=8.98 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 56122 0 1 0 871 27 0 0 18 0 13 0 255855173 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448816 43155 1326 9 0 446428 0 [pid=22939/tid=22941] ppid=22937 vsize=1795264 CPUtime=4.75 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 37744 0 1 0 459 16 0 0 25 0 13 0 255855174 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109747848 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795264 CPUtime=0.06 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 939 0 0 0 6 0 0 0 16 0 13 0 255855176 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795264 CPUtime=0.08 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 1199 0 0 0 8 0 0 0 16 0 13 0 255855176 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 255855178 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795264 CPUtime=1.73 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7026 0 0 0 169 4 0 0 16 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795264 CPUtime=2.31 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8475 0 0 0 227 4 0 0 16 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22954] ppid=22937 vsize=1795264 CPUtime=0 /proc/22939/task/22954/stat : 22954 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 255855497 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.98 Current children cumulated vsize (KiB) 1795264 [startup+12.702 s] /proc/loadavg: 1.02 1.00 1.00 2/90 22954 /proc/meminfo: memFree=1594248/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795104 CPUtime=15.68 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 67010 0 1 0 1536 32 0 0 18 0 13 0 255855173 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448776 53585 1326 9 0 446388 0 [pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=11.01 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 43467 0 1 0 1082 19 0 0 25 0 13 0 255855174 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109747173 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=0.17 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 3557 0 0 0 16 1 0 0 16 0 13 0 255855176 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=0.18 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 3724 0 0 0 17 1 0 0 16 0 13 0 255855176 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 255855178 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=1.82 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7031 0 0 0 178 4 0 0 16 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.45 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8479 0 0 0 241 4 0 0 16 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22954] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22954/stat : 22954 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 255855497 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.68 Current children cumulated vsize (KiB) 1795104 [startup+25.5025 s] /proc/loadavg: 1.01 1.00 1.00 2/90 22954 /proc/meminfo: memFree=1602888/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795104 CPUtime=28.65 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 69751 0 1 0 2831 34 0 0 18 0 13 0 255855173 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448776 50683 1327 9 0 446388 0 [pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=23.66 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 43486 0 1 0 2347 19 0 0 25 0 13 0 255855174 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109764704 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=0.29 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 5095 0 0 0 28 1 0 0 15 0 13 0 255855176 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=0.31 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 4897 0 0 0 29 2 0 0 17 0 13 0 255855176 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.02 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 39 0 0 0 1 1 0 0 17 0 13 0 255855178 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.32 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 70 0 0 0 19 13 0 0 16 0 13 0 255855178 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1583.78 Current children cumulated vsize (KiB) 1795104 [startup+1602.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 22958 /proc/meminfo: memFree=1035704/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795104 CPUtime=1645.88 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 231489 0 1 0 164455 133 0 0 18 0 13 0 255855173 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448776 192712 1335 9 0 446388 0 [pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1557.91 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 51045 0 1 0 155754 37 0 0 25 0 13 0 255855174 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109853064 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=41.5 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 80807 0 0 0 4116 34 0 0 16 0 13 0 255855176 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=41.55 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 83312 0 0 0 4117 38 0 0 16 0 13 0 255855176 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.32 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 70 0 0 0 19 13 0 0 16 0 13 0 255855178 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1645.88 Current children cumulated vsize (KiB) 1795104 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 22958 /proc/meminfo: memFree=1020728/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795104 CPUtime=1708.09 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 235545 0 1 0 170674 135 0 0 18 0 13 0 255855173 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448776 196440 1335 9 0 446388 0 [pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1615.61 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 51080 0 1 0 161524 37 0 0 24 0 13 0 255855174 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109853141 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=43.77 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 83378 0 0 0 4342 35 0 0 16 0 13 0 255855176 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=43.79 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 84761 0 0 0 4340 39 0 0 17 0 13 0 255855176 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.33 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 71 0 0 0 20 13 0 0 15 0 13 0 255855178 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1708.09 Current children cumulated vsize (KiB) 1795104 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/90 22958 /proc/meminfo: memFree=1006520/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795104 CPUtime=1770.31 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 239407 0 1 0 176894 137 0 0 18 0 13 0 255855173 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448776 199982 1335 9 0 446388 0 [pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1673.33 /proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 51114 0 1 0 167295 38 0 0 25 0 13 0 255855174 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109653955 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=46 /proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 86048 0 0 0 4565 35 0 0 16 0 13 0 255855176 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=46.04 /proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 85918 0 0 0 4565 39 0 0 17 0 13 0 255855176 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.34 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 72 0 0 0 21 13 0 0 16 0 13 0 255855178 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1770.31 Current children cumulated vsize (KiB) 1795104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1751 s] /proc/loadavg: 1.00 1.01 1.00 3/90 22958 /proc/meminfo: memFree=999672/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=1795104 CPUtime=1800.08 /proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 241270 0 1 0 179869 139 0 0 18 0 13 0 255855173 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22939/statm: 448776 201674 1335 9 0 446388 0 [pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1700.92 /proc/22939/task/22941/stat : 22941 (java) S 22937 22939 21234 0 -1 64 51130 0 1 0 170054 38 0 0 25 0 13 0 255855174 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=47.08 /proc/22939/task/22942/stat : 22942 (java) R 22937 22939 21234 0 -1 64 87222 0 0 0 4672 36 0 0 17 0 13 0 255855176 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070783 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=47.12 /proc/22939/task/22943/stat : 22943 (java) R 22937 22939 21234 0 -1 64 86591 0 0 0 4672 40 0 0 16 0 13 0 255855176 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 102355125 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.34 /proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 72 0 0 0 21 13 0 0 16 0 13 0 255855178 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01 /proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53 /proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0 /proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1795104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1751.21 s] /proc/loadavg: 1.00 1.01 1.00 2/92 22961 /proc/meminfo: memFree=999208/2055920 swapFree=4147120/4192956 [pid=22939] ppid=22937 vsize=0 CPUtime=1800.37 /proc/22939/stat : 22939 (java) Z 22937 22939 21234 0 -1 1036 241386 0 1 0 179890 147 0 0 15 0 2 0 255855173 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22939/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1751.26 CPU time (s): 1800.43 CPU user time (s): 1798.91 CPU system time (s): 1.52677 CPU usage (%): 102.808 Max. virtual memory (cumulated for all children) (KiB): 1797300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.91 system time used= 1.52677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 241386 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= 47858 involuntary context switches= 55409 runsolver used 1.66975 second user time and 4.73128 second system time The end
Begin job on node11 on Wed May 2 23:21:02 UTC 2007 IDJOB= 453672 IDBENCH= 48146 IDSOLVER= 160 FILE ID= node11/453672-1178148062 PBS_JOBID= 4751066 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_4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453672-1178148062/sat4jPseudoCP.jar /tmp/evaluation/453672-1178148062/instance-453672-1178148062.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-453672-1178148062 -o ROOT/results/node11/solver-453672-1178148062 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453672-1178148062/sat4jPseudoCP.jar /tmp/evaluation/453672-1178148062/instance-453672-1178148062.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9 RANDOM SEED= 533717111 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1804360 kB Buffers: 90204 kB Cached: 78120 kB SwapCached: 14256 kB Active: 82264 kB Inactive: 111624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804360 kB SwapTotal: 4192956 kB SwapFree: 4147120 kB Dirty: 3712 kB Writeback: 0 kB Mapped: 32272 kB Slab: 43104 kB Committed_AS: 7310100 kB PageTables: 1856 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 node11 on Wed May 2 23:50:15 UTC 2007