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