Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 13 | 1800.73 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | 09000b526c4cf3fc454b31cbb57a970b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 8.12676 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 906 |
Total number of constraints | 1039 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 187 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
Number of bits of the biggest sum of numbers | 12 |
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.30 o 30 0.47 o 25 0.79 o 24 1.11 o 23 1.27 o 21 2.07 o 18 13.35 o 16 30.44 o 15 30.48 o 14 30.49 o 13 1801.25 sh: line 1: 30207 Done pb2smodels ROOT/tmp/node37/45882-1154049255/instance-45882-1154049255.opb ROOT/tmp/node37/45882-1154049255 1801.25 30208 Terminated | smodels-2.31 0 -seed 715211956 1801.25 30209 Terminated | pbout.new.pl ROOT/tmp/node37/45882-1154049255/instance-45882-1154049255.opb ROOT/tmp/node37/45882-1154049255 1801.25 s SATISFIABLE 1801.25 v x1 x741 x421 x83 x861 x419 x860 x785 x789 x420 x862 x63 x864 x790 x65 x442 x66 x865 x67 x576 x441 x74 x577 x68 x584 x447 x190 x578 1801.25 v x109 x193 x145 x113 x194 x148 x8 x405 x147 x7 x403 x152 x9 x560 x13 x664 x404 x12 x669 x562 x336 x665 x564 x337 x740 x422 x82 x787 1801.25 v x426 x88 x791 x424 x863 x866 x870 x793 x314 x869 x78 x443 x361 x262 x33 x448 x105 x192 x106 x189 x35 x198 x146 x36 x406 x271 x160 1801.25 v x156 x6 x332 x17 x561 x668 x572 x338 x568 x742 x423 x84 x427 x788 x89 x792 x858 x796 x508 x859 x795 x23 x306 x258 x22 x357 x353 1801.25 v x264 x30 x444 x34 x440 x269 x38 x452 x121 x37 x272 x206 x402 x270 x398 x328 x169 x21 x569 x334 x165 x571 x176 x666 x339 x567 x743 1801.25 v x435 x80 x747 x431 x85 x751 x430 x81 x784 x93 x877 x800 x500 x878 x352 x257 x24 x373 x259 x25 x439 x265 x26 x460 x261 x219 x456 1801.25 v x273 x455 x397 x601 x414 x327 x605 x329 x184 x604 x335 x667 x331 x565 x340 x904 x434 x79 x803 x755 x101 x875 x804 x97 x520 x96 1801.25 v x516 x838 x842 x846 x457 x459 x260 x215 x281 x211 x696 x277 x712 x453 x276 x454 x593 x183 x609 x728 x330 x469 x348 x566 x473 x344 1801.25 v x432 x98 x801 x100 x754 x756 x522 x94 x833 x764 x834 x458 x772 x278 x280 x210 x231 x533 x535 x274 x541 x680 x537 x613 x549 x725 1801.25 v x345 x129 x729 x347 x730 x134 x731 x465 x343 x905 x433 x654 x521 x246 x758 x525 x759 x249 x854 x760 x279 x887 x293 x891 x895 x52 1801.25 v x536 x679 x557 x55 x683 x553 x122 x720 x124 x721 x130 x735 x126 x477 x341 x656 x523 x245 x527 x251 x780 x529 x294 x883 x254 x622 1801.25 v x51 x626 x681 x630 x57 x685 x739 x125 x687 x242 x60 x688 x138 x659 x524 x247 x657 x528 x532 x284 x252 x531 x290 x286 x255 x382 1801.25 v x298 x253 x378 x49 x675 x390 x674 x617 x53 x618 x682 x234 x58 x686 x690 x238 x61 x689 x59 x243 x136 x248 x906 x285 x256 x301 x377 1801.25 v x299 x393 x391 x48 x392 x47 x676 x634 x54 x677 x50 x678 x233 x62 x691 x232 x239 x235 x244 x137 -x786 -x745 -x502 -x308 -x86 -x87 1801.25 v -x64 -x505 -x425 -x355 -x307 -x574 -x506 -x573 -x479 -x354 -x313 -x28 -x575 -x478 -x311 -x103 -x867 -x811 -x480 -x360 -x263 1801.25 v -x186 -x102 -x27 -x868 -x815 -x483 -x358 -x312 -x191 -x108 -x31 -x698 -x482 -x400 -x316 -x266 -x217 -x144 -x107 -x69 -x702 1801.25 v -x487 -x445 -x359 -x267 -x143 -x70 -x32 -x3 -x579 -x486 -x399 -x363 -x167 -x2 -x661 -x580 -x484 -x446 -x112 -x660 -x595 -x559 1801.25 v -x485 -x450 -x197 -x166 -x110 -x662 -x599 -x558 -x195 -x111 -x663 -x333 -x196 -x172 -x151 -x563 -x170 -x149 -x408 -x150 -x10 1801.25 v -x171 -x11 -x856 -x744 -x855 -x501 -x303 -x507 -x350 -x309 -x836 -x437 -x356 -x91 -x77 -x840 -x794 -x810 -x587 -x510 -x317 1801.25 v -x213 -x73 -x29 -x814 -x588 -x481 -x315 -x185 -x104 -x697 -x583 -x495 -x395 -x364 -x268 -x216 -x187 -x71 -x701 -x491 -x362 1801.25 v -x581 -x490 -x451 -x401 -x162 -x117 -x449 -x4 -x594 -x543 -x168 -x5 -x598 -x672 -x409 -x173 -x155 -x673 -x407 -x467 -x174 1801.25 v -x471 -x175 -x782 -x497 -x746 -x503 -x857 -x302 -x748 -x304 -x92 -x76 -x749 -x349 -x310 -x90 -x75 -x874 -x835 -x762 -x586 1801.25 v -x511 -x351 -x839 -x766 -x585 -x509 -x436 -x318 -x812 -x492 -x438 -x212 -x816 -x494 -x365 -x699 -x218 -x120 -x72 -x703 -x394 1801.25 v -x188 -x818 -x582 -x539 -x488 -x396 -x157 -x116 -x819 -x202 -x161 -x159 -x705 -x671 -x596 -x542 -x489 -x221 -x201 -x163 -x114 1801.25 v -x20 -x706 -x670 -x600 -x410 -x723 -x153 -x16 -x727 -x602 -x466 -x154 -x132 -x14 -x603 -x470 -x781 -x496 -x783 -x498 -x750 1801.25 v -x504 -x806 -x512 -x305 -x873 -x837 -x805 -x761 -x326 -x208 -x841 -x765 -x693 -x493 -x322 -x885 -x871 -x813 -x692 -x321 -x214 1801.25 v -x119 -x889 -x817 -x369 -x118 -x843 -x821 -x700 -x368 -x203 -x42 -x844 -x820 -x704 -x590 -x205 -x158 -x708 -x589 -x538 -x222 1801.25 v -x19 -x707 -x220 -x18 -x597 -x544 -x418 -x199 -x115 -x570 -x164 -x722 -x413 -x200 -x128 -x726 -x180 -x547 -x468 -x179 -x131 1801.25 v -x15 -x472 -x876 -x428 -x831 -x499 -x830 -x799 -x429 -x323 -x325 -x797 -x763 -x515 -x370 -x807 -x767 -x372 -x207 -x884 -x872 1801.25 v -x808 -x319 -x292 -x209 -x45 -x888 -x845 -x809 -x694 -x204 -x46 -x825 -x769 -x695 -x534 -x384 -x366 -x320 -x41 -x770 -x223 1801.25 v -x620 -x540 -x415 -x367 -x39 -x624 -x591 -x417 -x592 -x545 -x181 -x462 -x724 -x548 -x461 -x411 -x127 -x546 -x412 -x177 -x133 1801.25 v -x802 -x655 -x517 -x757 -x519 -x324 -x752 -x832 -x526 -x371 -x798 -x513 -x288 -x250 -x95 -x44 -x768 -x43 -x886 -x850 -x828 1801.25 v -x514 -x380 -x291 -x890 -x829 -x771 -x824 -x715 -x383 -x716 -x416 -x227 -x892 -x822 -x711 -x642 -x619 -x226 -x40 -x893 -x718 1801.25 v -x646 -x623 -x182 -x717 -x709 -x612 -x275 -x123 -x56 -x684 -x608 -x463 -x606 -x464 -x241 -x178 -x99 -x518 -x753 -x880 -x879 1801.25 v -x853 -x827 -x287 -x826 -x849 -x776 -x714 -x379 -x228 -x713 -x230 -x847 -x385 -x894 -x823 -x641 -x621 -x611 -x296 -x224 -x645 1801.25 v -x625 -x610 -x710 -x388 -x225 -x719 -x346 -x627 -x552 -x237 -x628 -x607 -x476 -x240 -x135 -x852 -x283 -x851 -x779 -x658 -x375 1801.25 v -x289 -x881 -x229 -x882 -x775 -x381 -x615 -x530 -x899 -x848 -x773 -x614 -x386 -x297 -x295 -x643 -x554 -x389 -x647 -x556 -x387 1801.25 v -x629 -x738 -x649 -x550 -x475 -x236 -x650 -x474 -x734 -x551 -x142 -x342 -x778 -x777 -x282 -x374 -x902 -x376 -x903 -x637 -x898 1801.25 v -x774 -x636 -x616 -x555 -x896 -x644 -x648 -x737 -x652 -x633 -x736 -x651 -x139 -x141 -x732 -x901 -x900 -x300 -x638 -x897 -x639 1801.25 v -x635 -x640 -x653 -x631 -x140 -x632 -x733
OK 13
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/node37/watcher-45882-1154049255 -o ROOT/results/node37/solver-45882-1154049255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node37/45882-1154049255/instance-45882-1154049255.opb 715211956 ROOT/tmp/node37/45882-1154049255 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 30204 /proc/meminfo: memFree=1416936/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=124 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) R 30204 30204 30155 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 151796957 126976 23 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225067464073 0 0 4096 0 0 0 0 17 1 0 0 /proc/30205/statm: 626 26 19 3 0 5 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.98 2/68 30209 /proc/meminfo: memFree=1413888/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=3892 CPUtime=9.91 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 647 0 0 0 991 0 0 0 25 0 1 0 151796958 3985408 611 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 973 611 213 21 0 409 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 39144 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1413312/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=4552 CPUtime=19.91 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 812 0 0 0 1991 0 0 0 25 0 1 0 151796958 4661248 776 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1138 776 213 21 0 574 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 39804 [startup+30.0151 s] /proc/loadavg: 0.95 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412928/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=4948 CPUtime=29.92 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 903 0 0 0 2991 1 0 0 25 0 1 0 151796958 5066752 867 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519939 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1237 867 213 21 0 673 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 30.01 Current children cumulated vsize (Kb) 40200 [startup+40.0212 s] /proc/loadavg: 0.95 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412928/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=5080 CPUtime=39.88 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 951 0 0 0 3987 1 0 0 25 0 1 0 151796958 5201920 915 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521726 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1270 915 213 21 0 706 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 40332 [startup+50.0283 s] /proc/loadavg: 0.96 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412672/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=5344 CPUtime=49.88 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1016 0 0 0 4987 1 0 0 25 0 1 0 151796958 5472256 980 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519846 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1336 980 213 21 0 772 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 40596 [startup+60.0354 s] /proc/loadavg: 0.97 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412608/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=5344 CPUtime=59.89 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1026 0 0 0 5988 1 0 0 25 0 1 0 151796958 5472256 990 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558216 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1336 990 213 21 0 772 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 40596 [startup+70.0415 s] /proc/loadavg: 0.97 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412608/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=5344 CPUtime=69.89 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1026 0 0 0 6988 1 0 0 25 0 1 0 151796958 5472256 990 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539750 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1336 990 213 21 0 772 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 40596 [startup+80.0475 s] /proc/loadavg: 0.98 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412352/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=5608 CPUtime=79.89 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1091 0 0 0 7988 1 0 0 25 0 1 0 151796958 5742592 1055 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1402 1055 213 21 0 838 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 40860 [startup+90.0536 s] /proc/loadavg: 0.98 0.96 0.98 2/68 30209 /proc/meminfo: memFree=1412288/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1793.55 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179354 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522014 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 42444 [startup+1795.21 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410176/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1794.56 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179455 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522141 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 42444 [startup+1796.21 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410176/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1795.56 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179555 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539754 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 42444 [startup+1797.22 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410176/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1796.57 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179656 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521775 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 42444 [startup+1798.22 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410176/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1797.57 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179756 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521236 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 42444 [startup+1799.23 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410176/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1798.58 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179857 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539263 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 42444 [startup+1800.23 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410112/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1799.58 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 179957 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521778 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 42444 [startup+1801.24 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410112/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1800.59 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 180058 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532956 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 42444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30211 /proc/meminfo: memFree=1410112/2055920 swapFree=4183120/4192956 [pid=30204] ppid=30202 vsize=5360 CPUtime=0 /proc/30204/stat : 30204 (runpbsmodels) S 30202 30204 30155 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151796957 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30204/statm: 1340 234 195 169 0 51 0 [pid=30205] ppid=30204 vsize=12268 CPUtime=0 /proc/30205/stat : 30205 (pbsmodels-v1.31) S 30204 30204 30155 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151796957 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225078984596 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30205/statm: 3067 383 293 3 0 167 0 [pid=30206] ppid=30205 vsize=5356 CPUtime=0.09 /proc/30206/stat : 30206 (sh) S 30205 30204 30155 0 -1 4194304 309 579 0 0 0 0 9 0 16 0 1 0 151796958 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225070080836 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30206/statm: 1339 227 188 169 0 50 0 [pid=30208] ppid=30206 vsize=7192 CPUtime=1800.59 /proc/30208/stat : 30208 (smodels-2.31) R 30206 30204 30155 0 -1 4194304 1470 0 0 0 180058 1 0 0 25 0 1 0 151796958 7364608 1434 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0 /proc/30208/statm: 1798 1434 213 21 0 1234 0 [pid=30209] ppid=30206 vsize=12268 CPUtime=0 /proc/30209/stat : 30209 (pbout.new.pl) S 30206 30204 30155 0 -1 4194304 470 0 0 0 0 0 0 0 16 0 1 0 151796958 12562432 430 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225078980706 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30209/statm: 3067 430 333 3 0 167 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 42444 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.73 CPU user time (s): 1800.69 CPU system time (s): 0.041993 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 42444 The end
Begin job on node37 on Fri Jul 28 01:14:15 UTC 2006 FILE ID= 45882-1154049255 PBS_JOBID= 881803 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node37/45882-1154049255/instance-45882-1154049255.opb 715211956 ROOT/tmp/node37/45882-1154049255 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-45882-1154049255 -o ROOT/results/node37/solver-45882-1154049255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node37/45882-1154049255/instance-45882-1154049255.opb 715211956 ROOT/tmp/node37/45882-1154049255 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b RANDOM SEED= 715211956 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.232 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.232 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: 1417144 kB Buffers: 36816 kB Cached: 523296 kB SwapCached: 3812 kB Active: 216868 kB Inactive: 351960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1417144 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14816 kB Slab: 56016 kB Committed_AS: 619076 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node37 on Fri Jul 28 01:44:16 UTC 2006