Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 102 | SAT (TO) | 11 | 1800.04 | 1801.03 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 1248 |
Sum of products size | 2496 |
0.60/0.59 o 16 0.81/0.75 o 15 1.02/0.95 o 14 9.83/9.72 o 13 52.00/51.94 o 12 227.30/227.31 o 11 1800.01/1801.01 s SATISFIABLE 1800.01/1801.01 v x1 -x2 -x3 -x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 1800.01/1801.01 v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.01/1801.01 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.01/1801.01 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.01/1801.01 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 1800.01/1801.01 v -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1800.01/1801.01 v x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.01/1801.01 v x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.01/1801.01 v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.01/1801.01 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.01/1801.01 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.01/1801.01 v x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.01/1801.01 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.01/1801.01 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 1800.01/1801.01 v -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 1800.01/1801.01 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.01/1801.01 v -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 1800.01/1801.01 v -x380 -x381 x382 -x383 -x384 -x385 x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 1800.01/1801.01 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.01/1801.01 v x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 1800.01/1801.01 v -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 -x464 1800.01/1801.01 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.01/1801.01 v x486 -x487 -x488 -x489 -x490 x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 x507 1800.01/1801.01 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.01/1801.01 v -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 1800.01/1801.01 v -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.01/1801.01 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 x591 1800.01/1801.01 v x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.01/1801.01 v -x613 x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 x632 -x633 1800.01/1801.01 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.01/1801.01 v -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 x673 -x674 x675 1800.01/1801.01 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1800.01/1801.01 v -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.01/1801.01 v -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 x738 1800.01/1801.01 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1800.01/1801.01 v -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 x776 -x777 -x778 -x779 -x780 1800.01/1801.01 v -x781 -x782 x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 x798 -x799 x800 -x801 -x802 1800.01/1801.01 v -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 x823 1800.01/1801.01 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 1800.01/1801.01 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1800.01/1801.01 v -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 1800.01/1801.01 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 1800.01/1801.01 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.01/1801.01 v -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 x945 -x946 -x947 -x948 -x949 1800.01/1801.01 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 x968 x969 -x970 1800.01/1801.01 v -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 x989 x990 -x991 x992 1800.01/1801.01 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 1800.01/1801.01 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.01/1801.01 v -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 1800.01/1801.01 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1800.01/1801.01 v -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 1800.01/1801.01 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 1800.01/1801.01 v x1100 x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 1800.01/1801.01 v -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 1800.01/1801.01 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1800.01/1801.01 v x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 x1168 -x1169 -x1170 1800.01/1801.01 v -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 x1188 1800.01/1801.01 v x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 1800.01/1801.01 v -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.01/1801.01 v -x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 1800.01/1801.01 v -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 x1260 1800.01/1801.01 v -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.01/1801.01 v x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.01/1801.01 v -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.01/1801.01 v -x1315 -x1316 -x1317 -x1318 x1319 -x1320 x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 1800.01/1801.01 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
OK 11
Linearizing /tmp/evaluation/453757-1178154895/instance-453757-1178154895.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-453757-1178154895 -o ROOT/results/node5/solver-453757-1178154895 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453757-1178154895/instance-453757-1178154895.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 2/77 20850 /proc/meminfo: memFree=1737152/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=0 CPUtime=0 /proc/20850/stat : 20850 (runsolver) R 20848 20850 20441 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 291527161 0 0 18446744073709551615 0 0 0 18446744073709551615 226913479975 0 0 4096 24578 0 0 0 17 1 0 0 /proc/20850/statm: 0 0 0 0 0 0 0 [startup+0.0416081 s] /proc/loadavg: 0.91 0.95 0.98 2/77 20850 /proc/meminfo: memFree=1737152/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1785028 CPUtime=0.02 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 2563 0 1 0 1 1 0 0 18 0 5 0 291527161 1827868672 2198 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 446257 2198 809 9 0 441259 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1785028 [startup+0.103804 s] /proc/loadavg: 0.91 0.95 0.98 2/77 20850 /proc/meminfo: memFree=1737152/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790148 CPUtime=0.09 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 4332 0 1 0 7 2 0 0 18 0 9 0 291527161 1833111552 3772 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447537 3773 1713 9 0 442129 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1790148 [startup+0.300825 s] /proc/loadavg: 0.91 0.95 0.98 2/77 20850 /proc/meminfo: memFree=1737152/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790176 CPUtime=0.35 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 6898 0 1 0 30 5 0 0 18 0 9 0 291527161 1833140224 6307 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447544 6307 1855 9 0 442129 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1790176 [startup+0.701867 s] /proc/loadavg: 0.91 0.95 0.98 2/77 20850 /proc/meminfo: memFree=1737152/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=0.81 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10566 0 1 0 74 7 0 0 18 0 9 0 291527161 1833275392 9963 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9963 1871 9 0 442162 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 1790308 [startup+1.50195 s] /proc/loadavg: 0.91 0.95 0.98 2/86 20859 /proc/meminfo: memFree=1704376/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1.62 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10577 0 1 0 155 7 0 0 18 0 9 0 291527161 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9973 1871 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1.46 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9458 0 1 0 140 6 0 0 25 0 9 0 291527163 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126720083 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 291527164 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.14 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 398 0 0 0 14 0 0 0 16 0 9 0 291527166 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9973 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 1790308 [startup+3.10214 s] /proc/loadavg: 0.92 0.95 0.98 2/86 20859 /proc/meminfo: memFree=1704248/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=3.22 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10581 0 1 0 315 7 0 0 18 0 9 0 291527161 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9974 1871 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=3.06 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9460 0 1 0 300 6 0 0 25 0 9 0 291527163 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126740470 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 291527164 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.14 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 400 0 0 0 14 0 0 0 16 0 9 0 291527166 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9974 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.22 Current children cumulated vsize (KiB) 1790308 [startup+6.3015 s] /proc/loadavg: 0.92 0.95 0.98 2/86 20859 /proc/meminfo: memFree=1704056/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=6.43 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10585 0 1 0 636 7 0 0 18 0 9 0 291527161 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9977 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=6.26 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9461 0 1 0 620 6 0 0 25 0 9 0 291527163 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126740544 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 1790308 [startup+12.7022 s] /proc/loadavg: 0.93 0.96 0.98 2/86 20859 /proc/meminfo: memFree=1703864/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=12.82 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10586 0 1 0 1274 8 0 0 18 0 9 0 291527161 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9977 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=12.65 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9462 0 1 0 1259 6 0 0 25 0 9 0 291527163 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126761904 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.82 Current children cumulated vsize (KiB) 1790308 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.98 2/86 20859 /proc/meminfo: memFree=1703800/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=25.62 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10586 0 1 0 2554 8 0 0 18 0 9 0 291527161 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9977 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=25.45 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9462 0 1 0 2539 6 0 0 25 0 9 0 291527163 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126767959 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.62 Current children cumulated vsize (KiB) 1790308 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/86 20859 /proc/meminfo: memFree=1703736/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=51.2 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10586 0 1 0 5112 8 0 0 18 0 9 0 291527161 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9977 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=51.04 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9462 0 1 0 5097 7 0 0 25 0 9 0 291527163 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126744791 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9977 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 ################ # More data... # ################ /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1481.51 Current children cumulated vsize (KiB) 1790308 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/86 20861 /proc/meminfo: memFree=1703416/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1541.47 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10587 0 1 0 154137 10 0 0 18 0 9 0 291527161 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9978 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1541.31 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9463 0 1 0 154122 9 0 0 25 0 9 0 291527163 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126720700 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1541.47 Current children cumulated vsize (KiB) 1790308 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/86 20861 /proc/meminfo: memFree=1703416/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1601.44 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10587 0 1 0 160133 11 0 0 18 0 9 0 291527161 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9978 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1601.27 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9463 0 1 0 160118 9 0 0 25 0 9 0 291527163 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126579594 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1601.44 Current children cumulated vsize (KiB) 1790308 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/86 20861 /proc/meminfo: memFree=1703480/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1661.4 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10587 0 1 0 166129 11 0 0 18 0 9 0 291527161 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9978 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1661.23 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9463 0 1 0 166113 10 0 0 25 0 9 0 291527163 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126740464 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1661.4 Current children cumulated vsize (KiB) 1790308 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/86 20861 /proc/meminfo: memFree=1703480/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1721.35 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10587 0 1 0 172124 11 0 0 18 0 9 0 291527161 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9978 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1721.19 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9463 0 1 0 172109 10 0 0 25 0 9 0 291527163 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126740467 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1721.35 Current children cumulated vsize (KiB) 1790308 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/86 20861 /proc/meminfo: memFree=1703416/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1781.32 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10587 0 1 0 178121 11 0 0 18 0 9 0 291527161 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9978 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1781.15 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9463 0 1 0 178105 10 0 0 25 0 9 0 291527163 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126740467 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (KiB) 1790308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/86 20861 /proc/meminfo: memFree=1703416/2055920 swapFree=4150044/4192956 [pid=20850] ppid=20848 vsize=1790308 CPUtime=1800.01 /proc/20850/stat : 20850 (java) S 20848 20850 20441 0 -1 0 10587 0 1 0 179990 11 0 0 18 0 9 0 291527161 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20850/statm: 447577 9978 1873 9 0 442162 0 [pid=20850/tid=20852] ppid=20848 vsize=1790308 CPUtime=1799.84 /proc/20850/task/20852/stat : 20852 (java) R 20848 20850 20441 0 -1 64 9463 0 1 0 179974 10 0 0 25 0 9 0 291527163 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4126762114 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20853] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20853/stat : 20853 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 291527164 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20854] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20854/stat : 20854 (java) S 20848 20850 20441 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20855] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20855/stat : 20855 (java) S 20848 20850 20441 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 291527165 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20856] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20856/stat : 20856 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20857] ppid=20848 vsize=1790308 CPUtime=0.15 /proc/20850/task/20857/stat : 20857 (java) S 20848 20850 20441 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20850/tid=20858] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20858/stat : 20858 (java) S 20848 20850 20441 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20850/tid=20859] ppid=20848 vsize=1790308 CPUtime=0 /proc/20850/task/20859/stat : 20859 (java) S 20848 20850 20441 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 291527166 1833275392 9978 18446744073709551615 134512640 134550740 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1790308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1801.03 CPU time (s): 1800.04 CPU user time (s): 1799.92 CPU system time (s): 0.120981 CPU usage (%): 99.9451 Max. virtual memory (cumulated for all children) (KiB): 1790308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.120981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10612 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= 36688 involuntary context switches= 38316 runsolver used 1.75273 second user time and 4.81227 second system time The end
Begin job on node5 on Thu May 3 01:14:55 UTC 2007 IDJOB= 453757 IDBENCH= 48152 IDSOLVER= 155 FILE ID= node5/453757-1178154895 PBS_JOBID= 4751091 Free space on /tmp= 66563 MiB SOLVER NAME= absconPseudo 102 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb COMMAND LINE= java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453757-1178154895/instance-453757-1178154895.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-453757-1178154895 -o ROOT/results/node5/conversion-453757-1178154895 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453757-1178154895/instance-453757-1178154895.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-453757-1178154895 -o ROOT/results/node5/solver-453757-1178154895 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/453757-1178154895/instance-453757-1178154895.opb META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED= 483939733 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1737496 kB Buffers: 134588 kB Cached: 78376 kB SwapCached: 11368 kB Active: 129060 kB Inactive: 108924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737496 kB SwapTotal: 4192956 kB SwapFree: 4150044 kB Dirty: 1964 kB Writeback: 0 kB Mapped: 29896 kB Slab: 65996 kB Committed_AS: 13708940 kB PageTables: 1720 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= 66563 MiB End job on node5 on Thu May 3 01:44:58 UTC 2007