Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | -33 | 1800.83 | 1799.28 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | 1a88750537364c45876077f809191628 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94308 |
Number of constraints which are clauses | 94308 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1272 |
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 | 1272 |
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 | 1272 |
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.31 1464.84 o -33 1799.26 sh: line 1: 16410 Done pb2smodels ROOT/tmp/node4/45909-1154051607/instance-45909-1154051607.opb ROOT/tmp/node4/45909-1154051607 1799.26 16411 Terminated | smodels-2.31 0 -seed 295721712 1799.26 16412 Terminated | pbout.new.pl ROOT/tmp/node4/45909-1154051607/instance-45909-1154051607.opb ROOT/tmp/node4/45909-1154051607 1799.26 s SATISFIABLE 1799.26 v x1271 x1142 x1116 x1087 x1079 x1043 x998 x894 x848 x811 x768 x721 x691 x672 x625 x613 x580 x553 x540 x512 x502 x456 x431 x361 1799.26 v x340 x289 x176 x158 x112 x90 x72 x28 x11 -x1272 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 1799.26 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 1799.26 v -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 1799.26 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 1799.26 v -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 1799.26 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 1799.26 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 1799.26 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1141 -x1140 1799.26 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 1799.26 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 1799.26 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 1799.26 v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1799.26 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1799.26 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 1799.26 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 1799.26 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1799.26 v -x999 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 1799.26 v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 1799.26 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 1799.26 v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 1799.26 v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x893 1799.26 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 1799.26 v -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 1799.26 v -x850 -x849 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 1799.26 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x810 -x809 -x808 -x807 1799.26 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 1799.26 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x767 -x766 -x765 -x764 1799.26 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 1799.26 v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 1799.26 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 1799.26 v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 1799.26 v -x677 -x676 -x675 -x674 -x673 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1799.26 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1799.26 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x612 1799.26 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 1799.26 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 1799.26 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x552 -x551 -x550 -x549 -x548 -x547 1799.26 v -x546 -x545 -x544 -x543 -x542 -x541 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 1799.26 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 1799.26 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 1799.26 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 1799.26 v -x459 -x458 -x457 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 1799.26 v -x437 -x436 -x435 -x434 -x433 -x432 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 1799.26 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 1799.26 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 1799.26 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 1799.26 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 1799.26 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 1799.26 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x288 -x287 1799.26 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 1799.26 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 1799.26 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 1799.26 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 1799.26 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 1799.26 v -x181 -x180 -x179 -x178 -x177 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1799.26 v -x159 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 1799.26 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 1799.26 v -x116 -x115 -x114 -x113 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 1799.26 v -x93 -x92 -x91 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x71 -x70 -x69 -x68 -x67 -x66 1799.26 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 1799.26 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 1799.26 v -x12 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -33
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/node4/watcher-45909-1154051607 -o ROOT/results/node4/solver-45909-1154051607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node4/45909-1154051607/instance-45909-1154051607.opb 295721712 ROOT/tmp/node4/45909-1154051607 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 16407 /proc/meminfo: memFree=892160/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=0 CPUtime=0 /proc/16408/stat : 16408 (runpbsmodels) R 16407 16407 16358 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 152022142 0 0 18446744073709551615 0 0 0 18446744073709551615 259913215271 0 0 4096 0 0 0 0 17 1 0 0 /proc/16408/statm: 27 2 0 0 0 1 0 [startup+10.0018 s] /proc/loadavg: 1.01 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879200/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=7.23 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 721 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (Kb) 48992 [startup+20.0085 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879456/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=17.23 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 1721 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 22.27 Current children cumulated vsize (Kb) 48992 [startup+30.0153 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879456/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=27.23 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 2721 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 32.27 Current children cumulated vsize (Kb) 48992 [startup+40.021 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879520/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=37.24 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 3722 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 42.28 Current children cumulated vsize (Kb) 48992 [startup+50.0278 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879520/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=47.24 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 4722 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 52.28 Current children cumulated vsize (Kb) 48992 [startup+60.0336 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879584/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=57.24 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 5722 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538368 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 62.28 Current children cumulated vsize (Kb) 48992 [startup+70.0403 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879584/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=67.25 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 6723 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 72.29 Current children cumulated vsize (Kb) 48992 [startup+80.0471 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879584/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13740 CPUtime=77.25 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3121 0 0 0 7723 2 0 0 25 0 1 0 152022142 14069760 3085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3435 3085 210 21 0 2871 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 152022142 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 82.29 Current children cumulated vsize (Kb) 48992 [startup+90.0529 s] /proc/loadavg: 1.00 1.00 1.00 2/68 16412 /proc/meminfo: memFree=879584/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 ################ # More data... # ################ [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1788.72 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 178859 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1793.76 Current children cumulated vsize (Kb) 49124 [startup+1793.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1789.72 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 178959 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (Kb) 49124 [startup+1794.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1790.73 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179060 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538368 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1795.77 Current children cumulated vsize (Kb) 49124 [startup+1795.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1791.74 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179161 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539768 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (Kb) 49124 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1792.74 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179261 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539747 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (Kb) 49124 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1793.75 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179362 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538544 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1798.79 Current children cumulated vsize (Kb) 49124 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1794.75 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179462 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1799.79 Current children cumulated vsize (Kb) 49124 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1795.76 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179563 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (Kb) 49124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 17086 /proc/meminfo: memFree=879008/2055920 swapFree=4183140/4192956 [pid=16407] ppid=16405 vsize=5360 CPUtime=0 /proc/16407/stat : 16407 (runpbsmodels) S 16405 16407 16358 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152022141 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16407/statm: 1340 234 195 169 0 51 0 [pid=16408] ppid=16407 vsize=12268 CPUtime=0 /proc/16408/stat : 16408 (pbsmodels-v1.31) S 16407 16407 16358 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152022142 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16408/statm: 3067 383 293 3 0 167 0 [pid=16409] ppid=16408 vsize=5356 CPUtime=5.04 /proc/16409/stat : 16409 (sh) S 16408 16407 16358 0 -1 4194304 309 607 0 0 0 0 504 0 16 0 1 0 152022142 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16409/statm: 1339 227 188 169 0 50 0 [pid=16411] ppid=16409 vsize=13872 CPUtime=1795.76 /proc/16411/stat : 16411 (smodels-2.31) R 16409 16407 16358 0 -1 4194304 3145 0 0 0 179563 13 0 0 25 0 1 0 152022142 14204928 3109 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/16411/statm: 3468 3109 213 21 0 2904 0 [pid=16412] ppid=16409 vsize=12268 CPUtime=0 /proc/16412/stat : 16412 (pbout.new.pl) S 16409 16407 16358 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 152022142 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259922112610 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/16412/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (Kb) 49124 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1799.28 CPU time (s): 1800.83 CPU user time (s): 1800.68 CPU system time (s): 0.150977 CPU usage (%): 100.087 Max. virtual memory (cumulated for all children) (Kb): 49124 The end
Begin job on node4 on Fri Jul 28 01:53:27 UTC 2006 FILE ID= 45909-1154051607 PBS_JOBID= 881872 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node4/45909-1154051607/instance-45909-1154051607.opb 295721712 ROOT/tmp/node4/45909-1154051607 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-45909-1154051607 -o ROOT/results/node4/solver-45909-1154051607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node4/45909-1154051607/instance-45909-1154051607.opb 295721712 ROOT/tmp/node4/45909-1154051607 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 1a88750537364c45876077f809191628 RANDOM SEED= 295721712 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.256 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.256 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: 892368 kB Buffers: 47244 kB Cached: 1032532 kB SwapCached: 3804 kB Active: 431956 kB Inactive: 656576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 892368 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14824 kB Slab: 60980 kB Committed_AS: 580772 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jul 28 02:23:26 UTC 2006