Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 180 | 1800.63 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-lin.rom.r.opb |
MD5SUM | 3183c84355c854880486b3d148840656 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 120 |
Best CPU time to get the best result obtained on this benchmark | 0.58591 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 120 |
Optimality of the best value was proved | YES |
Number of variables | 1076 |
Total number of constraints | 1030 |
Number of constraints which are clauses | 1030 |
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 | 40 |
Number of terms in the objective function | 1076 |
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 | 1076 |
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 | 1076 |
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 0.58 o 183 1.34 o 180 1801.18 sh: line 1: 7668 Done pb2smodels ROOT/tmp/node29/51064-1154090112/instance-51064-1154090112.opb ROOT/tmp/node29/51064-1154090112 1801.18 7669 Terminated | smodels-2.31 0 -seed 887362778 1801.18 7670 Terminated | pbout.new.pl ROOT/tmp/node29/51064-1154090112/instance-51064-1154090112.opb ROOT/tmp/node29/51064-1154090112 1801.18 s SATISFIABLE 1801.18 v x2 x4 x5 x6 x12 x16 x17 x18 x23 x28 x32 x35 x45 x46 x50 x55 x75 x80 x89 x95 x106 x108 x114 x116 x125 x126 x135 x145 x147 x151 x158 x161 1801.18 v x166 x189 x191 x192 x193 x195 x204 x211 x213 x219 x221 x222 x231 x232 x233 x242 x245 x246 x249 x250 x252 x257 x270 x271 x276 x284 1801.18 v x290 x291 x297 x298 x313 x325 x331 x341 x347 x358 x363 x379 x384 x395 x399 x400 x405 x406 x407 x408 x410 x423 x427 x433 x436 x439 1801.18 v x449 x454 x455 x467 x468 x479 x491 x493 x500 x512 x514 x534 x543 x544 x553 x560 x568 x571 x572 x575 x578 x584 x590 x591 x599 x612 1801.18 v x615 x624 x626 x630 x631 x632 x638 x652 x653 x663 x671 x672 x690 x700 x711 x718 x719 x725 x727 x732 x736 x741 x746 x749 x754 x774 1801.18 v x779 x783 x795 x796 x805 x806 x821 x825 x829 x841 x850 x861 x872 x875 x892 x893 x898 x912 x917 x926 x931 x938 x945 x946 x948 x955 1801.18 v x962 x973 x979 x987 x993 x1002 x1005 x1014 x1026 x1032 x1034 x1041 x1050 x1055 x1057 x1063 x1066 x1074 -x1 -x3 -x7 -x8 -x9 -x10 1801.18 v -x11 -x13 -x14 -x15 -x19 -x20 -x21 -x22 -x24 -x25 -x26 -x27 -x29 -x30 -x31 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 1801.18 v -x47 -x48 -x49 -x51 -x52 -x53 -x54 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 1801.18 v -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 1801.18 v -x104 -x105 -x107 -x109 -x110 -x111 -x112 -x113 -x115 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x127 -x128 -x129 -x130 1801.18 v -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x148 -x149 -x150 -x152 -x153 -x154 -x155 1801.18 v -x156 -x157 -x159 -x160 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1801.18 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x194 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x205 -x206 1801.18 v -x207 -x208 -x209 -x210 -x212 -x214 -x215 -x216 -x217 -x218 -x220 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x234 -x235 1801.18 v -x236 -x237 -x238 -x239 -x240 -x241 -x243 -x244 -x247 -x248 -x251 -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 1801.18 v -x264 -x265 -x266 -x267 -x268 -x269 -x272 -x273 -x274 -x275 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x285 -x286 -x287 -x288 1801.18 v -x289 -x292 -x293 -x294 -x295 -x296 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 1801.18 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x326 -x327 -x328 -x329 -x330 -x332 -x333 -x334 -x335 -x336 -x337 1801.18 v -x338 -x339 -x340 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 1801.18 v -x362 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x380 -x381 -x382 -x383 -x385 1801.18 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x401 -x402 -x403 -x404 -x409 -x411 -x412 -x413 -x414 1801.18 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x424 -x425 -x426 -x428 -x429 -x430 -x431 -x432 -x434 -x435 -x437 -x438 -x440 1801.18 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x450 -x451 -x452 -x453 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1801.18 v -x465 -x466 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1801.18 v -x489 -x490 -x492 -x494 -x495 -x496 -x497 -x498 -x499 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x513 1801.18 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x535 -x536 1801.18 v -x537 -x538 -x539 -x540 -x541 -x542 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x554 -x555 -x556 -x557 -x558 -x559 -x561 1801.18 v -x562 -x563 -x564 -x565 -x566 -x567 -x569 -x570 -x573 -x574 -x576 -x577 -x579 -x580 -x581 -x582 -x583 -x585 -x586 -x587 -x588 1801.18 v -x589 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x613 1801.18 v -x614 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x625 -x627 -x628 -x629 -x633 -x634 -x635 -x636 -x637 -x639 -x640 -x641 1801.18 v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x664 -x665 1801.18 v -x666 -x667 -x668 -x669 -x670 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1801.18 v -x689 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x712 1801.18 v -x713 -x714 -x715 -x716 -x717 -x720 -x721 -x722 -x723 -x724 -x726 -x728 -x729 -x730 -x731 -x733 -x734 -x735 -x737 -x738 -x739 1801.18 v -x740 -x742 -x743 -x744 -x745 -x747 -x748 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1801.18 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x784 -x785 -x786 -x787 -x788 1801.18 v -x789 -x790 -x791 -x792 -x793 -x794 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1801.18 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822 -x823 -x824 -x826 -x827 -x828 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 1801.18 v -x838 -x839 -x840 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1801.18 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x873 -x874 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 1801.18 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x894 -x895 -x896 -x897 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1801.18 v -x909 -x910 -x911 -x913 -x914 -x915 -x916 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x927 -x928 -x929 -x930 -x932 -x933 1801.18 v -x934 -x935 -x936 -x937 -x939 -x940 -x941 -x942 -x943 -x944 -x947 -x949 -x950 -x951 -x952 -x953 -x954 -x956 -x957 -x958 -x959 1801.18 v -x960 -x961 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 1801.18 v -x984 -x985 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1003 -x1004 -x1006 -x1007 1801.18 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1801.18 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1042 -x1043 -x1044 -x1045 -x1046 1801.18 v -x1047 -x1048 -x1049 -x1051 -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1064 -x1065 -x1067 -x1068 1801.18 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1075 -x1076
OK 180
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/node29/watcher-51064-1154090112 -o ROOT/results/node29/solver-51064-1154090112 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node29/51064-1154090112/instance-51064-1154090112.opb 887362778 ROOT/tmp/node29/51064-1154090112 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 7665 /proc/meminfo: memFree=635720/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5344 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) R 7663 7665 7616 0 -1 4194304 148 0 0 0 0 0 0 0 19 0 1 0 155871042 5472256 118 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 4334387 0 0 4096 0 0 0 0 17 1 0 0 /proc/7665/statm: 1338 135 109 169 0 49 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.98 0.99 2/68 7670 /proc/meminfo: memFree=632552/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=4036 CPUtime=9.88 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 688 0 0 0 988 0 0 0 25 0 1 0 155871044 4132864 652 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532724 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1009 652 213 21 0 445 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 10.04 Current children cumulated vsize (Kb) 39288 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.99 2/68 7670 /proc/meminfo: memFree=631720/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=4960 CPUtime=19.88 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 904 0 0 0 1988 0 0 0 25 0 1 0 155871044 5079040 868 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539764 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1240 868 213 21 0 676 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 20.04 Current children cumulated vsize (Kb) 40212 [startup+30.0147 s] /proc/loadavg: 0.95 0.98 0.99 2/68 7670 /proc/meminfo: memFree=631336/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=5356 CPUtime=29.88 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1015 0 0 0 2988 0 0 0 25 0 1 0 155871044 5484544 979 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519845 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1339 979 213 21 0 775 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 30.04 Current children cumulated vsize (Kb) 40608 [startup+40.0212 s] /proc/loadavg: 0.96 0.98 0.99 2/68 7670 /proc/meminfo: memFree=630888/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=5752 CPUtime=39.88 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1122 0 0 0 3988 0 0 0 25 0 1 0 155871044 5890048 1086 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1438 1086 213 21 0 874 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 40.04 Current children cumulated vsize (Kb) 41004 [startup+50.0276 s] /proc/loadavg: 0.96 0.98 0.99 2/68 7670 /proc/meminfo: memFree=630568/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=6148 CPUtime=49.89 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1209 0 0 0 4989 0 0 0 25 0 1 0 155871044 6295552 1173 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539712 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1537 1173 213 21 0 973 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 50.05 Current children cumulated vsize (Kb) 41400 [startup+60.034 s] /proc/loadavg: 0.97 0.98 0.99 2/68 7670 /proc/meminfo: memFree=630504/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=6280 CPUtime=59.89 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1234 0 0 0 5989 0 0 0 25 0 1 0 155871044 6430720 1198 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1570 1198 213 21 0 1006 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 60.05 Current children cumulated vsize (Kb) 41532 [startup+70.0404 s] /proc/loadavg: 0.97 0.98 0.99 2/68 7670 /proc/meminfo: memFree=630504/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=6280 CPUtime=69.89 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1234 0 0 0 6989 0 0 0 25 0 1 0 155871044 6430720 1198 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533233 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1570 1198 213 21 0 1006 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 70.05 Current children cumulated vsize (Kb) 41532 [startup+80.0469 s] /proc/loadavg: 0.98 0.98 0.99 2/68 7670 /proc/meminfo: memFree=630120/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=6676 CPUtime=79.9 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1337 0 0 0 7990 0 0 0 25 0 1 0 155871044 6836224 1301 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538369 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 1669 1301 213 21 0 1105 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 80.06 Current children cumulated vsize (Kb) 41928 [startup+90.0533 s] /proc/loadavg: 0.98 0.98 0.99 2/68 7670 /proc/meminfo: memFree=630056/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=6676 CPUtime=89.9 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 1346 0 0 0 8990 0 0 0 25 0 1 0 155871044 6836224 1310 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538379 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1793.39 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179338 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533180 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 44832 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1794.39 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179438 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538393 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 44832 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1795.4 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179539 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538369 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 44832 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1796.4 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179639 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521008 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 44832 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1797.41 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179740 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521290 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 44832 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1798.41 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179840 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533019 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 44832 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1799.42 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 179941 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518905 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 44832 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1800.42 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 180041 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533169 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 44832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 1.00 2/68 7870 /proc/meminfo: memFree=626536/2055920 swapFree=4169188/4192956 [pid=7665] ppid=7663 vsize=5360 CPUtime=0 /proc/7665/stat : 7665 (runpbsmodels) S 7663 7665 7616 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155871042 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7665/statm: 1340 234 195 169 0 51 0 [pid=7666] ppid=7665 vsize=12268 CPUtime=0 /proc/7666/stat : 7666 (pbsmodels-v1.31) S 7665 7665 7616 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155871043 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7666/statm: 3067 383 293 3 0 167 0 [pid=7667] ppid=7666 vsize=5356 CPUtime=0.16 /proc/7667/stat : 7667 (sh) S 7666 7665 7616 0 -1 4194304 309 596 0 0 0 0 16 0 16 0 1 0 155871043 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7667/statm: 1339 227 188 169 0 50 0 [pid=7669] ppid=7667 vsize=9580 CPUtime=1800.43 /proc/7669/stat : 7669 (smodels-2.31) R 7667 7665 7616 0 -1 4194304 2086 0 0 0 180042 1 0 0 25 0 1 0 155871044 9809920 2050 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/7669/statm: 2395 2050 213 21 0 1831 0 [pid=7670] ppid=7667 vsize=12268 CPUtime=0 /proc/7670/stat : 7670 (pbout.new.pl) S 7667 7665 7616 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 155871044 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 221789597794 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7670/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 44832 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.63 CPU user time (s): 1800.59 CPU system time (s): 0.037994 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (Kb): 44832 The end
Begin job on node29 on Fri Jul 28 12:35:12 UTC 2006 FILE ID= 51064-1154090112 PBS_JOBID= 885636 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node29/51064-1154090112/instance-51064-1154090112.opb 887362778 ROOT/tmp/node29/51064-1154090112 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-51064-1154090112 -o ROOT/results/node29/solver-51064-1154090112 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node29/51064-1154090112/instance-51064-1154090112.opb 887362778 ROOT/tmp/node29/51064-1154090112 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 3183c84355c854880486b3d148840656 RANDOM SEED= 887362778 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.282 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.282 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: 635928 kB Buffers: 31856 kB Cached: 1316532 kB SwapCached: 17460 kB Active: 264928 kB Inactive: 1106696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 635928 kB SwapTotal: 4192956 kB SwapFree: 4169188 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14496 kB Slab: 34316 kB Committed_AS: 651224 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Fri Jul 28 13:05:13 UTC 2006