Trace number 45882

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.31SAT (TO)13 1800.73 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUM09000b526c4cf3fc454b31cbb57a970b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark8.12676
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
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 numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	13

Watcher Data (download as text)

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

Launcher Data (download as text)

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