Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | 72 | 1800.28 | 1800.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of variables | 1266 |
Total number of constraints | 2888 |
Number of constraints which are clauses | 2888 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 183 |
Number of terms in the objective function | 1266 |
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 | 1266 |
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 | 1266 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.28 8.59 o 74 10.42 o 73 11.35 o 72 1800.25 sh: line 1: 12514 Done pbsmodels.trans ROOT/tmp/node46/49571-1154091685/instance-49571-1154091685.opb ROOT/tmp/node46/49571-1154091685 1800.25 12515 Terminated | smodels -seed 168311618 1800.25 12516 Terminated | pbout.pl ROOT/tmp/node46/49571-1154091685/instance-49571-1154091685.opb ROOT/tmp/node46/49571-1154091685 1800.25 s SATISFIABLE 1800.25 v x25 x77 x119 x126 x198 x200 x232 x262 x281 x292 x294 x313 x331 x342 x358 x405 x416 x428 x459 x463 x529 x559 x573 x593 x610 x614 1800.25 v x617 x618 x632 x650 x653 x655 x656 x663 x707 x712 x717 x750 x768 x804 x827 x833 x883 x886 x902 x911 x932 x951 x969 x980 x1028 1800.25 v x1065 x1095 x1098 x1105 x1119 x1120 x1121 x1133 x1183 x1203 x1210 x1211 x1229 x1240 x1243 x1245 x1247 x1248 x1252 x1253 x1261 1800.25 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 1800.25 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.25 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x78 -x79 -x80 -x81 -x82 1800.25 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.25 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x120 -x121 -x122 -x123 -x124 -x125 -x127 -x128 -x129 1800.25 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.25 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.25 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.25 v -x193 -x194 -x195 -x196 -x197 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.25 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 1800.25 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.25 v -x259 -x260 -x261 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1800.25 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x293 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1800.25 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.25 v -x327 -x328 -x329 -x330 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.25 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 1800.25 v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 1800.25 v -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 1800.25 v -x415 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1800.25 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1800.25 v -x460 -x461 -x462 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.25 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.25 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1800.25 v -x524 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.25 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.25 v -x568 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.25 v -x590 -x591 -x592 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612 1800.25 v -x613 -x615 -x616 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635 -x636 -x637 1800.25 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x651 -x652 -x654 -x657 -x658 -x659 -x660 -x661 -x662 1800.25 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 1800.25 v -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 1800.25 v -x706 -x708 -x709 -x710 -x711 -x713 -x714 -x715 -x716 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 1800.25 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x751 1800.25 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 1800.25 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 1800.25 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 1800.25 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x828 -x829 -x830 -x831 -x832 -x834 -x835 -x836 -x837 -x838 -x839 1800.25 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.25 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.25 v -x882 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 1800.25 v -x906 -x907 -x908 -x909 -x910 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.25 v -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 1800.25 v -x950 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x970 -x971 -x972 1800.25 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.25 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.25 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1029 -x1030 1800.25 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.25 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.25 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.25 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1096 -x1097 -x1099 -x1100 -x1101 1800.25 v -x1102 -x1103 -x1104 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1122 1800.25 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1800.25 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.25 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 1800.25 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.25 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1212 1800.25 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1230 1800.25 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1241 -x1242 -x1244 -x1246 -x1249 -x1250 -x1251 -x1254 1800.25 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1262 -x1263 -x1264 -x1265 -x1266 1800.26 c Somebody sent me a SIGTERM 1800.26 smodels: no process killed 1800.27 pbsmodels.trans: no process killed
OK 72
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/node46/watcher-49571-1154091685 -o ROOT/results/node46/solver-49571-1154091685 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node46/49571-1154091685/instance-49571-1154091685.opb 168311618 ROOT/tmp/node46/49571-1154091685 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.93 2/70 12511 /proc/meminfo: memFree=1525616/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) R 12509 12511 12462 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181087391 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/12511/statm: 1340 233 194 169 0 51 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.95 0.93 2/68 12532 /proc/meminfo: memFree=1522488/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=9.61 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 960 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550945 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 10.5 Current children cumulated vsize (Kb) 40208 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522552/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=19.62 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 1961 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521150 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 20.51 Current children cumulated vsize (Kb) 40208 [startup+30.015 s] /proc/loadavg: 0.95 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522616/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=29.62 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 2961 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 30.51 Current children cumulated vsize (Kb) 40208 [startup+40.021 s] /proc/loadavg: 0.95 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522680/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=39.62 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 3961 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551123 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 40.51 Current children cumulated vsize (Kb) 40208 [startup+50.0281 s] /proc/loadavg: 0.96 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522680/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=49.62 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 4961 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 50.51 Current children cumulated vsize (Kb) 40208 [startup+60.0351 s] /proc/loadavg: 0.97 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522744/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=59.63 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 5962 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531217 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 60.52 Current children cumulated vsize (Kb) 40208 [startup+70.0422 s] /proc/loadavg: 0.97 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522808/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=69.63 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 6962 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520666 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 70.52 Current children cumulated vsize (Kb) 40208 [startup+80.0483 s] /proc/loadavg: 0.98 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522808/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=79.64 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 7963 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555216 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 80.53 Current children cumulated vsize (Kb) 40208 [startup+90.0543 s] /proc/loadavg: 0.98 0.96 0.93 2/68 12532 /proc/meminfo: memFree=1522808/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=89.64 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 8963 1 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179233 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551064 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1793.24 Current children cumulated vsize (Kb) 40208 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1793.35 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179333 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551052 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1794.24 Current children cumulated vsize (Kb) 40208 [startup+1795.21 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1794.36 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179434 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551041 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1795.25 Current children cumulated vsize (Kb) 40208 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1795.36 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179534 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534193 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (Kb) 40208 [startup+1797.23 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1796.37 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179635 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520598 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (Kb) 40208 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1797.37 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179735 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531200 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (Kb) 40208 [startup+1799.24 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1798.38 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179836 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531431 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (Kb) 40208 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1799.38 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179936 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549886 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (Kb) 40208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.25 s] /proc/loadavg: 0.99 0.97 0.93 2/68 12532 /proc/meminfo: memFree=1522360/2055920 swapFree=4181624/4192956 [pid=12511] ppid=12509 vsize=5360 CPUtime=0 /proc/12511/stat : 12511 (runpbsmodels) S 12509 12511 12462 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 156039834 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12511/statm: 1340 234 195 169 0 51 0 [pid=12512] ppid=12511 vsize=12268 CPUtime=0 /proc/12512/stat : 12512 (pbsmodels-v1.28) S 12511 12511 12462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156039834 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/12512/statm: 3067 383 293 3 0 167 0 [pid=12513] ppid=12512 vsize=5356 CPUtime=0.89 /proc/12513/stat : 12513 (sh) S 12512 12511 12462 0 -1 4194304 311 607 0 0 0 0 89 0 16 0 1 0 156039835 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12513/statm: 1339 227 188 169 0 50 0 [pid=12515] ppid=12513 vsize=4956 CPUtime=1799.39 /proc/12515/stat : 12515 (smodels) R 12513 12511 12462 0 -1 4194304 922 0 0 0 179937 2 0 0 25 0 1 0 156039835 5074944 886 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549886 0 0 4096 0 0 0 0 17 1 0 0 /proc/12515/statm: 1239 886 212 20 0 676 0 [pid=12516] ppid=12513 vsize=12268 CPUtime=0 /proc/12516/stat : 12516 (pbout.pl) S 12513 12511 12462 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 156039835 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/12516/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (Kb) 40208 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 12511 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0 CPU time returned by wait4() is 0.001999 while last known CPU time is 1800.28 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.27 CPU time (s): 1800.28 CPU user time (s): 1800.26 CPU system time (s): 0.02 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (Kb): 40208 The end
Begin job on node46 on Fri Jul 28 13:01:26 UTC 2006 FILE ID= 49571-1154091685 PBS_JOBID= 885700 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node46/49571-1154091685/instance-49571-1154091685.opb 168311618 ROOT/tmp/node46/49571-1154091685 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-49571-1154091685 -o ROOT/results/node46/solver-49571-1154091685 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node46/49571-1154091685/instance-49571-1154091685.opb 168311618 ROOT/tmp/node46/49571-1154091685 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED= 168311618 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.224 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.224 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: 1525824 kB Buffers: 28800 kB Cached: 427788 kB SwapCached: 4996 kB Active: 43800 kB Inactive: 423552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1525824 kB SwapTotal: 4192956 kB SwapFree: 4181624 kB Dirty: 148 kB Writeback: 0 kB Mapped: 15744 kB Slab: 48372 kB Committed_AS: 686832 kB PageTables: 1644 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Fri Jul 28 13:31:26 UTC 2006