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