Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | 489 | 1800.85 | 1801.3 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 425 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 425 |
Optimality of the best value was proved | NO |
Number of variables | 1372 |
Total number of constraints | 4944 |
Number of constraints which are clauses | 4944 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 1372 |
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 | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.28 1.58 o 489 1801.28 sh: line 1: 30957 Done pbsmodels.trans ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb ROOT/tmp/node24/34103-1154038620 1801.28 30958 Terminated | smodels -seed 552432419 1801.28 30959 Terminated | pbout.pl ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb ROOT/tmp/node24/34103-1154038620 1801.29 s SATISFIABLE 1801.29 v x1 x596 x707 x929 x1040 x1151 x1262 x113 x335 x419 x497 x519 x530 x552 x563 x574 x619 x630 x641 x663 x674 x685 x708 x719 x730 1801.29 v x741 x763 x807 x819 x830 x841 x874 x885 x896 x918 x952 x963 x985 x1018 x1029 x1041 x1052 x1063 x1118 x1152 x1163 x1207 x1218 1801.29 v x1229 x1240 x1251 x1263 x1285 x1307 x1318 x1329 x1351 x1362 x3 x25 x36 x47 x69 x80 x114 x125 x136 x147 x180 x191 x213 x225 x236 1801.29 v x258 x269 x291 x302 x336 x347 x369 x413 x421 x422 x423 x424 x425 x427 x428 x429 x432 x433 x435 x438 x440 x444 x445 x446 x447 x448 1801.29 v x450 x453 x454 x457 x461 x462 x464 x466 x467 x472 x475 x478 x480 x488 x489 x490 x491 x492 x494 x499 x500 x503 x504 x511 x515 x516 1801.29 v x517 x518 x521 x524 x525 x528 x531 x534 x536 x538 x543 x544 x546 x549 x550 x553 x554 x558 x561 x564 x565 x566 x569 x571 x573 x581 1801.29 v x582 x584 x586 x588 x589 x593 x600 x602 x604 x606 x607 x609 x610 x611 x614 x615 x617 x620 x623 x626 x628 x634 x636 x639 x644 x645 1801.29 v x646 x649 x650 x654 x661 x662 x666 x667 x671 x672 x673 x678 x679 x680 x681 x682 x686 x688 x689 x690 x694 x700 x704 x706 x709 x712 1801.29 v x713 x716 x723 x725 x727 x736 x737 x738 x739 x742 x743 x744 x745 x747 x750 x751 x754 x755 x757 x758 x765 x766 x767 x772 x776 x778 1801.29 v x781 x783 x786 x789 x792 x793 x794 x795 x797 x802 x803 x808 x810 x815 x816 x817 x821 x823 x829 x836 x837 x838 x842 x843 x846 x847 1801.29 v x853 x870 x875 x876 x882 x890 x891 x893 x894 x898 x902 x904 x911 x914 x916 x925 x932 x935 x938 x940 x942 x947 x948 x953 x957 x958 1801.29 v x965 x967 x975 x976 x977 x982 x984 x986 x988 x994 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1009 x1013 x1016 x1017 x1023 x1024 1801.29 v x1025 x1026 x1027 x1028 x1038 x1047 x1054 x1055 x1056 x1060 x1061 x1062 x1066 x1069 x1071 x1073 x1075 x1078 x1088 x1089 x1093 1801.29 v x1094 x1099 x1102 x1103 x1105 x1109 x1114 x1115 x1116 x1119 x1121 x1123 x1127 x1133 x1134 x1148 x1150 x1162 x1164 x1167 x1168 1801.29 v x1170 x1172 x1180 x1181 x1188 x1197 x1202 x1203 x1205 x1209 x1213 x1223 x1224 x1230 x1232 x1238 x1239 x1243 x1246 x1256 x1257 1801.29 v x1259 x1260 x1267 x1271 x1272 x1278 x1281 x1286 x1299 x1306 x1308 x1313 x1322 x1323 x1328 x1333 x1337 x1343 x1345 x1346 x1350 1801.29 v x1352 x1358 x1364 x1367 x1368 x1369 x1371 x4 x7 x8 x16 x17 x18 x24 x32 x34 x41 x45 x59 x65 x66 x68 x74 x79 x85 x89 x103 x105 x110 1801.29 v x116 x120 x123 x137 x141 x149 x151 x152 x155 x161 x163 x175 x184 x185 x186 x189 x195 x196 x198 x201 x207 x211 x222 x226 x244 x249 1801.29 v x255 x256 x259 x263 x268 x272 x274 x275 x276 x281 x282 x290 x292 x299 x305 x312 x315 x318 x323 x325 x327 x329 x334 x338 x340 x341 1801.29 v x343 x352 x353 x355 x360 x363 x364 x378 x383 x390 x392 x394 x396 x400 x406 x407 x408 x409 x410 x416 -x485 -x818 -x2 -x224 -x430 1801.29 v -x441 -x452 -x463 -x474 -x486 -x508 -x541 -x585 -x597 -x608 -x652 -x696 -x752 -x774 -x785 -x796 -x852 -x863 -x907 -x930 -x941 1801.29 v -x974 -x996 -x1007 -x1074 -x1085 -x1096 -x1107 -x1129 -x1140 -x1174 -x1185 -x1196 -x1274 -x1296 -x1340 -x14 -x58 -x91 -x102 1801.29 v -x158 -x169 -x202 -x247 -x280 -x313 -x324 -x358 -x380 -x391 -x402 -x417 -x418 -x420 -x426 -x431 -x434 -x436 -x437 -x439 -x442 1801.29 v -x443 -x449 -x451 -x455 -x456 -x458 -x459 -x460 -x465 -x468 -x469 -x470 -x471 -x473 -x476 -x477 -x479 -x481 -x482 -x483 -x484 1801.29 v -x487 -x493 -x495 -x496 -x498 -x501 -x502 -x505 -x506 -x507 -x509 -x510 -x512 -x513 -x514 -x520 -x522 -x523 -x526 -x527 -x529 1801.29 v -x532 -x533 -x535 -x537 -x539 -x540 -x542 -x545 -x547 -x548 -x551 -x555 -x556 -x557 -x559 -x560 -x562 -x567 -x568 -x570 -x572 1801.29 v -x575 -x576 -x577 -x578 -x579 -x580 -x583 -x587 -x590 -x591 -x592 -x594 -x595 -x598 -x599 -x601 -x603 -x605 -x612 -x613 -x616 1801.29 v -x618 -x621 -x622 -x624 -x625 -x627 -x629 -x631 -x632 -x633 -x635 -x637 -x638 -x640 -x642 -x643 -x647 -x648 -x651 -x653 -x655 1801.29 v -x656 -x657 -x658 -x659 -x660 -x664 -x665 -x668 -x669 -x670 -x675 -x676 -x677 -x683 -x684 -x687 -x691 -x692 -x693 -x695 -x697 1801.29 v -x698 -x699 -x701 -x702 -x703 -x705 -x710 -x711 -x714 -x715 -x717 -x718 -x720 -x721 -x722 -x724 -x726 -x728 -x729 -x731 -x732 1801.29 v -x733 -x734 -x735 -x740 -x746 -x748 -x749 -x753 -x756 -x759 -x760 -x761 -x762 -x764 -x768 -x769 -x770 -x771 -x773 -x775 -x777 1801.29 v -x779 -x780 -x782 -x784 -x787 -x788 -x790 -x791 -x798 -x799 -x800 -x801 -x804 -x805 -x806 -x809 -x811 -x812 -x813 -x814 -x820 1801.29 v -x822 -x824 -x825 -x826 -x827 -x828 -x831 -x832 -x833 -x834 -x835 -x839 -x840 -x844 -x845 -x848 -x849 -x850 -x851 -x854 -x855 1801.29 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x868 -x869 -x871 -x872 -x873 -x877 -x878 -x879 -x880 -x881 1801.29 v -x883 -x884 -x886 -x887 -x888 -x889 -x892 -x895 -x897 -x899 -x900 -x901 -x903 -x905 -x906 -x908 -x909 -x910 -x912 -x913 -x915 1801.29 v -x917 -x919 -x920 -x921 -x922 -x923 -x924 -x926 -x927 -x928 -x931 -x933 -x934 -x936 -x937 -x939 -x943 -x944 -x945 -x946 -x949 1801.29 v -x950 -x951 -x954 -x955 -x956 -x959 -x960 -x961 -x962 -x964 -x966 -x968 -x969 -x970 -x971 -x972 -x973 -x978 -x979 -x980 -x981 1801.29 v -x983 -x987 -x989 -x990 -x991 -x992 -x993 -x995 -x997 -x998 -x1006 -x1008 -x1010 -x1011 -x1012 -x1014 -x1015 -x1019 -x1020 1801.29 v -x1021 -x1022 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1039 -x1042 -x1043 -x1044 -x1045 -x1046 -x1048 1801.29 v -x1049 -x1050 -x1051 -x1053 -x1057 -x1058 -x1059 -x1064 -x1065 -x1067 -x1068 -x1070 -x1072 -x1076 -x1077 -x1079 -x1080 1801.29 v -x1081 -x1082 -x1083 -x1084 -x1086 -x1087 -x1090 -x1091 -x1092 -x1095 -x1097 -x1098 -x1100 -x1101 -x1104 -x1106 -x1108 1801.29 v -x1110 -x1111 -x1112 -x1113 -x1117 -x1120 -x1122 -x1124 -x1125 -x1126 -x1128 -x1130 -x1131 -x1132 -x1135 -x1136 -x1137 1801.29 v -x1138 -x1139 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1149 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1801.29 v -x1160 -x1161 -x1165 -x1166 -x1169 -x1171 -x1173 -x1175 -x1176 -x1177 -x1178 -x1179 -x1182 -x1183 -x1184 -x1186 -x1187 1801.29 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1198 -x1199 -x1200 -x1201 -x1204 -x1206 -x1208 -x1210 -x1211 -x1212 1801.29 v -x1214 -x1215 -x1216 -x1217 -x1219 -x1220 -x1221 -x1222 -x1225 -x1226 -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1236 1801.29 v -x1237 -x1241 -x1242 -x1244 -x1245 -x1247 -x1248 -x1249 -x1250 -x1252 -x1253 -x1254 -x1255 -x1258 -x1261 -x1264 -x1265 1801.29 v -x1266 -x1268 -x1269 -x1270 -x1273 -x1275 -x1276 -x1277 -x1279 -x1280 -x1282 -x1283 -x1284 -x1287 -x1288 -x1289 -x1290 1801.29 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1297 -x1298 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1309 -x1310 -x1311 -x1312 1801.29 v -x1314 -x1315 -x1316 -x1317 -x1319 -x1320 -x1321 -x1324 -x1325 -x1326 -x1327 -x1330 -x1331 -x1332 -x1334 -x1335 -x1336 1801.29 v -x1338 -x1339 -x1341 -x1342 -x1344 -x1347 -x1348 -x1349 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1363 1801.29 v -x1365 -x1366 -x1370 -x1372 -x5 -x6 -x9 -x10 -x11 -x12 -x13 -x15 -x19 -x20 -x21 -x22 -x23 -x26 -x27 -x28 -x29 -x30 -x31 -x33 1801.29 v -x35 -x37 -x38 -x39 -x40 -x42 -x43 -x44 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x60 -x61 -x62 -x63 -x64 -x67 -x70 1801.29 v -x71 -x72 -x73 -x75 -x76 -x77 -x78 -x81 -x82 -x83 -x84 -x86 -x87 -x88 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 1801.29 v -x104 -x106 -x107 -x108 -x109 -x111 -x112 -x115 -x117 -x118 -x119 -x121 -x122 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1801.29 v -x133 -x134 -x135 -x138 -x139 -x140 -x142 -x143 -x144 -x145 -x146 -x148 -x150 -x153 -x154 -x156 -x157 -x159 -x160 -x162 -x164 1801.29 v -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x187 -x188 -x190 -x192 -x193 1801.29 v -x194 -x197 -x199 -x200 -x203 -x204 -x205 -x206 -x208 -x209 -x210 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x223 1801.29 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x245 -x246 -x248 -x250 -x251 1801.29 v -x252 -x253 -x254 -x257 -x260 -x261 -x262 -x264 -x265 -x266 -x267 -x270 -x271 -x273 -x277 -x278 -x279 -x283 -x284 -x285 -x286 1801.29 v -x287 -x288 -x289 -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x303 -x304 -x306 -x307 -x308 -x309 -x310 -x311 -x314 -x316 1801.29 v -x317 -x319 -x320 -x321 -x322 -x326 -x328 -x330 -x331 -x332 -x333 -x337 -x339 -x342 -x344 -x345 -x346 -x348 -x349 -x350 -x351 1801.29 v -x354 -x356 -x357 -x359 -x361 -x362 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x381 -x382 1801.29 v -x384 -x385 -x386 -x387 -x388 -x389 -x393 -x395 -x397 -x398 -x399 -x401 -x403 -x404 -x405 -x411 -x412 -x414 -x415
OK 489
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node24/watcher-34103-1154038620 -o ROOT/results/node24/solver-34103-1154038620 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb 552432419 ROOT/tmp/node24/34103-1154038620 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.99 2/64 30954 /proc/meminfo: memFree=808632/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) R 30952 30954 30905 0 -1 4194304 181 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 151 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237787881504 0 0 4096 0 0 0 0 17 1 0 0 /proc/30954/statm: 1339 153 126 169 0 50 0 [startup+10.0023 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=9.68 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531516 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 10.19 Current children cumulated vsize (Kb) 38744 [startup+20.0092 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805784/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=19.68 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 1968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530986 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 20.19 Current children cumulated vsize (Kb) 38744 [startup+30.0151 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805848/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=29.68 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 2968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531424 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 30.19 Current children cumulated vsize (Kb) 38744 [startup+40.021 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805848/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=39.68 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 3968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530996 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 40.19 Current children cumulated vsize (Kb) 38744 [startup+50.0269 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=49.68 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 4968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533089 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 50.19 Current children cumulated vsize (Kb) 38744 [startup+60.0328 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=59.69 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 5969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534214 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 60.2 Current children cumulated vsize (Kb) 38744 [startup+70.0387 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=69.69 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 6969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533113 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 70.2 Current children cumulated vsize (Kb) 38744 [startup+80.0456 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=79.69 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 7969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531516 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 80.2 Current children cumulated vsize (Kb) 38744 [startup+90.0526 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30959 /proc/meminfo: memFree=805976/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=89.69 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 8969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534245 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1793.26 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179325 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521519 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1793.77 Current children cumulated vsize (Kb) 38744 [startup+1795.24 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1794.27 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179426 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534230 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (Kb) 38744 [startup+1796.25 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1795.27 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179526 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531431 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1795.78 Current children cumulated vsize (Kb) 38744 [startup+1797.26 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1796.28 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179627 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531495 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (Kb) 38744 [startup+1798.26 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1797.28 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179727 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (Kb) 38744 [startup+1799.27 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1798.29 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179828 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531444 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1798.8 Current children cumulated vsize (Kb) 38744 [startup+1800.27 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1799.29 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179928 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1799.8 Current children cumulated vsize (Kb) 38744 [startup+1801.28 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1800.3 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 180029 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533122 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (Kb) 38744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.28 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30961 /proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956 [pid=30954] ppid=30952 vsize=5360 CPUtime=0 /proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30954/statm: 1340 234 195 169 0 51 0 [pid=30955] ppid=30954 vsize=12268 CPUtime=0 /proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30955/statm: 3067 383 293 3 0 167 0 [pid=30956] ppid=30955 vsize=5356 CPUtime=0.51 /proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30956/statm: 1339 227 188 169 0 50 0 [pid=30958] ppid=30956 vsize=3492 CPUtime=1800.3 /proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 180029 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0 /proc/30958/statm: 873 528 211 20 0 310 0 [pid=30959] ppid=30956 vsize=12268 CPUtime=0 /proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30959/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (Kb) 38744 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.85 CPU user time (s): 1800.81 CPU system time (s): 0.033994 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (Kb): 38744 The end
Begin job on node24 on Thu Jul 27 22:17:00 UTC 2006 FILE ID= 34103-1154038620 PBS_JOBID= 881252 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb 552432419 ROOT/tmp/node24/34103-1154038620 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-34103-1154038620 -o ROOT/results/node24/solver-34103-1154038620 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb 552432419 ROOT/tmp/node24/34103-1154038620 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED= 552432419 TIMEOUT= 1800 seconds /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.266 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.266 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: 808776 kB Buffers: 38716 kB Cached: 1147212 kB SwapCached: 4140 kB Active: 338888 kB Inactive: 856192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 808776 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14496 kB Slab: 38020 kB Committed_AS: 549168 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Thu Jul 27 22:47:02 UTC 2006