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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
MD5SUMeb47f4c49e66c2bccec3237bb66dd1b2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 444
Optimality of the best value was proved YES
Number of terms in the objective function 918
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 918
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 918
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark9.38057
Number of variables918
Total number of constraints9671
Number of constraints which are clauses9671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 2365

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-18 19:18:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3737 boxname=wulflinc3 idbench=221 idsolver=4 numberseed=0
MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  eb47f4c49e66c2bccec3237bb66dd1b2  /oldhome/oroussel/tmp/wulflinc3/normalized-ii32a1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc3/normalized-ii32a1.opb
IDLAUNCH: 3737
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        928420 kB
Buffers:         34392 kB
Cached:          45536 kB
SwapCached:        856 kB
Active:          63544 kB
Inactive:        19020 kB
HighTotal:      131008 kB
HighFree:        83944 kB
LowTotal:       903652 kB
LowFree:        844476 kB
SwapTotal:     2097136 kB
SwapFree:      2095712 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            17920 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 19:33:20 (client local time) WITH STATUS 30 IN 879.579 SECONDS
stats: 3737 0 879.579 30

Solver Data

c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc3/normalized-ii32a1.opb ......
c The optimum solution is:444
s OPTIMUM FOUND
v -x1 -x10 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 x13 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x14 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 x15 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 x2 -x20 -x200 -x201 x202 x203 -x204 x205 -x206 x207 -x208 x209 x21 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 -x219 -x22 x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 x23 x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 x25 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x26 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 x33 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 x35 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x36 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 x37 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x38 -x380 -x381 x382 x383 -x384 x385 -x386 -x387 x388 -x389 x39 x390 -x391 x392 -x393 x394 x395 -x396 x397 -x398 -x399 -x4 -x40 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 -x409 x41 x410 -x411 x412 x413 -x414 -x415 -x416 -x417 x418 x419 -x42 -x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x43 x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 x439 -x44 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x45 x450 x451 -x452 -x453 x454 -x455 x456 x457 -x458 -x459 -x46 x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 -x469 -x47 x470 -x471 x472 x473 -x474 x475 -x476 -x477 x478 -x479 x48 x480 -x481 x482 x483 -x484 -x485 x486 x487 -x488 -x489 x49 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x5 -x50 x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 -x509 x51 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 -x519 -x52 x520 x521 -x522 x523 -x524 -x525 x526 -x527 x528 -x529 x53 x530 -x531 x532 x533 -x534 x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 x542 -x543 x544 x545 -x546 x547 -x548 -x549 x55 x550 -x551 x552 x553 -x554 -x555 x556 -x557 x558 -x559 -x56 x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 x569 x57 -x570 x571 -x572 -x573 x574 -x575 -x576 -x577 x578 x579 -x58 -x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x59 x590 x591 -x592 -x593 x594 x595 -x596 -x597 x598 -x599 -x6 -x60 x600 x601 -x602 -x603 -x604 -x605 x606 x607 -x608 -x609 x61 -x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 x619 -x62 -x620 -x621 x622 -x623 x624 -x625 -x626 x627 -x628 -x629 x63 -x630 -x631 -x632 x633 -x634 -x635 x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 x647 -x648 -x649 x65 x650 x651 -x652 -x653 x654 x655 -x656 -x657 x658 -x659 -x66 -x660 -x661 x662 x663 -x664 -x665 x666 x667 -x668 -x669 x67 x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 -x68 x680 -x681 x682 x683 -x684 x685 -x686 -x687 x688 -x689 x69 x690 x691 -x692 -x693 x694 -x695 x696 x697 -x698 -x699 x7 -x70 x700 -x701 x702 x703 -x704 -x705 x706 -x707 x708 -x709 x71 x710 -x711 x712 x713 -x714 -x715 x716 x717 -x718 -x719 -x72 x720 x721 -x722 -x723 x724 -x725 x726 -x727 x728 -x729 x73 x730 x731 -x732 -x733 x734 -x735 x736 x737 -x738 x739 -x74 -x740 -x741 x742 -x743 x744 x745 -x746 -x747 x748 -x749 x75 x750 -x751 x752 x753 -x754 -x755 x756 -x757 x758 -x759 -x76 x760 x761 -x762 x763 -x764 -x765 x766 -x767 x768 x769 x77 -x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 x779 -x78 -x780 x781 -x782 -x783 x784 -x785 -x786 x787 -x788 -x789 x79 x790 -x791 x792 x793 -x794 -x795 -x796 -x797 x798 -x799 -x8 -x80 x800 x801 -x802 -x803 x804 -x805 x806 -x807 x808 x809 x81 -x810 x811 -x812 -x813 x814 -x815 x816 -x817 x818 x819 -x82 -x820 -x821 x822 -x823 x824 x825 -x826 -x827 x828 x829 x83 -x830 -x831 x832 -x833 -x834 -x835 x836 x837 -x838 -x839 -x84 x840 x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 x85 x850 -x851 x852 -x853 x854 x855 -x856 -x857 x858 -x859 -x86 x860 x861 -x862 -x863 x864 -x865 x866 x867 -x868 -x869 x87 x870 x871 -x872 -x873 x874 -x875 x876 -x877 -x878 x879 -x88 -x880 -x881 x882 -x883 x884 x885 -x886 -x887 x888 x889 x89 -x890 -x891 x892 -x893 -x894 -x895 x896 x897 -x898 -x899 x9 -x90 x900 x901 -x902 -x903 x904 -x905 x906 x907 -x908 -x909 x91 x910 -x911 x912 -x913 x914 x915 -x916 -x917 x918 -x92 x93 -x94 x95 -x96 x97 -x98 x99 
c Done, CPU Time=879.082

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1785477997 978944 2 4294967295 134512640 135450776 3221224576 3221224576 134512960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 239 2 232 232 0 7 0
[pid=20160] vsize: 956
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-ii32a1.opb
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-ii32a1.opb

[startup+10.0033 s]
Raw data (loadavg): 0.93 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 677 0 0 0 986 5 0 0 25 0 1 0 1785477997 4149248 609 4294967295 134512640 135450776 3221224576 3221223280 134536438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 1013 609 232 232 0 781 0
[pid=20160] vsize: 4052
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 4052

[startup+20.0061 s]
Raw data (loadavg): 0.94 0.97 0.94 1/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) T 20159 20160 31915 0 -1 0 1470 0 0 0 1974 10 0 0 25 0 1 0 1785477997 10571776 1402 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20160/statm): 2581 1402 232 232 0 2349 0
[pid=20160] vsize: 10324
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 10324

[startup+30.0069 s]
Raw data (loadavg): 0.95 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 3114 0 0 0 2955 19 0 0 25 0 1 0 1785477997 19095552 3046 4294967295 134512640 135450776 3221224576 3221223280 134536570 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 4662 3046 232 232 0 4430 0
[pid=20160] vsize: 18648
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 18648

[startup+40.0078 s]
Raw data (loadavg): 0.96 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 4462 0 0 0 3939 27 0 0 25 0 1 0 1785477997 19759104 4297 4294967295 134512640 135450776 3221224576 3221223296 134538927 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 4824 4297 232 232 0 4592 0
[pid=20160] vsize: 19296
Current children cumulated CPU time (s) 39.66
Current children cumulated vsize (Kb) 19296

[startup+50.0076 s]
Raw data (loadavg): 0.96 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 5631 0 0 0 4925 33 0 0 25 0 1 0 1785477997 36806656 5466 4294967295 134512640 135450776 3221224576 3221223088 134545185 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 8986 5466 232 232 0 8754 0
[pid=20160] vsize: 35944
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (Kb) 35944

[startup+60.0085 s]
Raw data (loadavg): 0.97 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 6826 0 0 0 5909 41 0 0 25 0 1 0 1785477997 36941824 6661 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 9019 6661 232 232 0 8787 0
[pid=20160] vsize: 36076
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 36076

[startup+70.0093 s]
Raw data (loadavg): 0.97 0.97 0.94 1/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) T 20159 20160 31915 0 -1 0 7589 0 0 0 6897 46 0 0 25 0 1 0 1785477997 37482496 7424 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20160/statm): 9151 7424 232 232 0 8919 0
[pid=20160] vsize: 36604
Current children cumulated CPU time (s) 69.43
Current children cumulated vsize (Kb) 36604

[startup+80.0091 s]
Raw data (loadavg): 0.98 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 8493 0 0 0 7884 52 0 0 25 0 1 0 1785477997 37888000 8328 4294967295 134512640 135450776 3221224576 3221223376 134538127 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 9250 8328 232 232 0 9018 0
[pid=20160] vsize: 37000
Current children cumulated CPU time (s) 79.36
Current children cumulated vsize (Kb) 37000

[startup+90.009 s]
Raw data (loadavg): 0.98 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 9223 0 0 0 8871 57 0 0 22 0 1 0 1785477997 38297600 9058 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 9350 9058 232 232 0 9118 0
[pid=20160] vsize: 37400
Current children cumulated CPU time (s) 89.28
Current children cumulated vsize (Kb) 37400

[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 10234 0 0 0 9855 65 0 0 25 0 1 0 1785477997 72122368 10069 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17608 10069 232 232 0 17376 0
[pid=20160] vsize: 70432
Current children cumulated CPU time (s) 99.2
Current children cumulated vsize (Kb) 70432

[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 10952 0 0 0 10841 71 0 0 25 0 1 0 1785477997 72392704 10787 4294967295 134512640 135450776 3221224576 3221223392 134550441 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17674 10787 232 232 0 17442 0
[pid=20160] vsize: 70696
Current children cumulated CPU time (s) 109.12
Current children cumulated vsize (Kb) 70696

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) T 20159 20160 31915 0 -1 0 11909 0 0 0 11826 77 0 0 25 0 1 0 1785477997 72527872 11744 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17707 11744 232 232 0 17475 0
[pid=20160] vsize: 70828
Current children cumulated CPU time (s) 119.03
Current children cumulated vsize (Kb) 70828

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 12472 0 0 0 12812 84 0 0 25 0 1 0 1785477997 72663040 12307 4294967295 134512640 135450776 3221224576 3221223376 134538136 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17740 12307 232 232 0 17508 0
[pid=20160] vsize: 70960
Current children cumulated CPU time (s) 128.96
Current children cumulated vsize (Kb) 70960

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 13366 0 0 0 13791 94 0 0 25 0 1 0 1785477997 72802304 13201 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17774 13201 232 232 0 17542 0
[pid=20160] vsize: 71096
Current children cumulated CPU time (s) 138.85
Current children cumulated vsize (Kb) 71096

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) T 20159 20160 31915 0 -1 0 14215 0 0 0 14772 100 0 0 25 0 1 0 1785477997 72802304 14050 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17774 14050 232 232 0 17542 0
[pid=20160] vsize: 71096
Current children cumulated CPU time (s) 148.72
Current children cumulated vsize (Kb) 71096

[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 14948 0 0 0 15763 104 0 0 25 0 1 0 1785477997 73076736 14783 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17841 14783 232 232 0 17609 0
[pid=20160] vsize: 71364
Current children cumulated CPU time (s) 158.67
Current children cumulated vsize (Kb) 71364

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 15590 0 0 0 16749 110 0 0 25 0 1 0 1785477997 73211904 15425 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17874 15425 232 232 0 17642 0
[pid=20160] vsize: 71496
Current children cumulated CPU time (s) 168.59
Current children cumulated vsize (Kb) 71496

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 16271 0 0 0 17734 117 0 0 25 0 1 0 1785477997 73347072 16106 4294967295 134512640 135450776 3221224576 3221223168 134538588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 17907 16106 232 232 0 17675 0
[pid=20160] vsize: 71628
Current children cumulated CPU time (s) 178.51
Current children cumulated vsize (Kb) 71628

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 17206 0 0 0 18721 121 0 0 25 0 1 0 1785477997 74272768 16848 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 18133 16848 232 232 0 17901 0
[pid=20160] vsize: 72532
Current children cumulated CPU time (s) 188.42
Current children cumulated vsize (Kb) 72532

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 17946 0 0 0 19709 127 0 0 25 0 1 0 1785477997 74416128 17588 4294967295 134512640 135450776 3221224576 3221223296 134539524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 18168 17588 232 232 0 17936 0
[pid=20160] vsize: 72672
Current children cumulated CPU time (s) 198.36
Current children cumulated vsize (Kb) 72672

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 18555 0 0 0 20692 135 0 0 25 0 1 0 1785477997 141672448 18197 4294967295 134512640 135450776 3221224576 3221223296 134539291 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34588 18197 232 232 0 34356 0
[pid=20160] vsize: 138352
Current children cumulated CPU time (s) 208.27
Current children cumulated vsize (Kb) 138352

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 19410 0 0 0 21683 139 0 0 25 0 1 0 1785477997 141672448 19052 4294967295 134512640 135450776 3221224576 3221223392 134550660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34588 19052 232 232 0 34356 0
[pid=20160] vsize: 138352
Current children cumulated CPU time (s) 218.22
Current children cumulated vsize (Kb) 138352

[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 20083 0 0 0 22674 143 0 0 25 0 1 0 1785477997 142106624 19725 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34694 19725 232 232 0 34462 0
[pid=20160] vsize: 138776
Current children cumulated CPU time (s) 228.17
Current children cumulated vsize (Kb) 138776

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 20754 0 0 0 23667 146 0 0 25 0 1 0 1785477997 142106624 20396 4294967295 134512640 135450776 3221224576 3221223392 134550660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34694 20396 232 232 0 34462 0
[pid=20160] vsize: 138776
Current children cumulated CPU time (s) 238.13
Current children cumulated vsize (Kb) 138776

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 21316 0 0 0 24658 151 0 0 25 0 1 0 1785477997 142106624 20958 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34694 20958 232 232 0 34462 0
[pid=20160] vsize: 138776
Current children cumulated CPU time (s) 248.09
Current children cumulated vsize (Kb) 138776

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 21831 0 0 0 25651 155 0 0 25 0 1 0 1785477997 142245888 21473 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34728 21473 232 232 0 34496 0
[pid=20160] vsize: 138912
Current children cumulated CPU time (s) 258.06
Current children cumulated vsize (Kb) 138912

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 22486 0 0 0 26642 159 0 0 25 0 1 0 1785477997 142245888 22128 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34728 22128 232 232 0 34496 0
[pid=20160] vsize: 138912
Current children cumulated CPU time (s) 268.01
Current children cumulated vsize (Kb) 138912

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 23135 0 0 0 27633 163 0 0 25 0 1 0 1785477997 142389248 22777 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34763 22777 232 232 0 34531 0
[pid=20160] vsize: 139052
Current children cumulated CPU time (s) 277.96
Current children cumulated vsize (Kb) 139052

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 23869 0 0 0 28622 168 0 0 25 0 1 0 1785477997 142684160 23511 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34835 23511 232 232 0 34603 0
[pid=20160] vsize: 139340
Current children cumulated CPU time (s) 287.9
Current children cumulated vsize (Kb) 139340

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 24288 0 0 0 29617 171 0 0 25 0 1 0 1785477997 142684160 23930 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34835 23930 232 232 0 34603 0
[pid=20160] vsize: 139340
Current children cumulated CPU time (s) 297.88
Current children cumulated vsize (Kb) 139340

[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 24399 0 0 0 30609 174 0 0 25 0 1 0 1785477997 142831616 24041 4294967295 134512640 135450776 3221224576 3221223376 134548511 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34871 24041 232 232 0 34639 0
[pid=20160] vsize: 139484
Current children cumulated CPU time (s) 307.83
Current children cumulated vsize (Kb) 139484

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 24996 0 0 0 31600 178 0 0 25 0 1 0 1785477997 142831616 24638 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34871 24638 232 232 0 34639 0
[pid=20160] vsize: 139484
Current children cumulated CPU time (s) 317.78
Current children cumulated vsize (Kb) 139484

[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 25627 0 0 0 32591 182 0 0 25 0 1 0 1785477997 142831616 25269 4294967295 134512640 135450776 3221224576 3221223376 134538141 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34871 25269 232 232 0 34639 0
[pid=20160] vsize: 139484
Current children cumulated CPU time (s) 327.73
Current children cumulated vsize (Kb) 139484

[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 26273 0 0 0 33582 186 0 0 25 0 1 0 1785477997 142966784 25915 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34904 25915 232 232 0 34672 0
[pid=20160] vsize: 139616
Current children cumulated CPU time (s) 337.68
Current children cumulated vsize (Kb) 139616

[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 26891 0 0 0 34574 191 0 0 25 0 1 0 1785477997 143097856 26533 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 34936 26533 232 232 0 34704 0
[pid=20160] vsize: 139744
Current children cumulated CPU time (s) 347.65
Current children cumulated vsize (Kb) 139744

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 26925 0 0 0 35569 192 0 0 25 0 1 0 1785477997 143237120 26567 4294967295 134512640 135450776 3221224576 3221223280 134536342 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 34970 26567 232 232 0 34738 0
[pid=20160] vsize: 139880
Current children cumulated CPU time (s) 357.61
Current children cumulated vsize (Kb) 139880

[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.94 1/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) T 20159 20160 31915 0 -1 0 27221 0 0 0 36561 195 0 0 25 0 1 0 1785477997 143376384 26863 4294967295 134512640 135450776 3221224576 3221223436 135126769 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35004 26863 232 232 0 34772 0
[pid=20160] vsize: 140016
Current children cumulated CPU time (s) 367.56
Current children cumulated vsize (Kb) 140016

[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 27770 0 0 0 37553 199 0 0 25 0 1 0 1785477997 143523840 27412 4294967295 134512640 135450776 3221224576 3221223168 134538605 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35040 27412 232 232 0 34808 0
[pid=20160] vsize: 140160
Current children cumulated CPU time (s) 377.52
Current children cumulated vsize (Kb) 140160

[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 28343 0 0 0 38547 202 0 0 25 0 1 0 1785477997 143663104 27985 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35074 27985 232 232 0 34842 0
[pid=20160] vsize: 140296
Current children cumulated CPU time (s) 387.49
Current children cumulated vsize (Kb) 140296

[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 28845 0 0 0 39541 204 0 0 25 0 1 0 1785477997 143810560 28487 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35110 28487 232 232 0 34878 0
[pid=20160] vsize: 140440
Current children cumulated CPU time (s) 397.45
Current children cumulated vsize (Kb) 140440

[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 29416 0 0 0 40535 207 0 0 25 0 1 0 1785477997 143810560 29058 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35110 29058 232 232 0 34878 0
[pid=20160] vsize: 140440
Current children cumulated CPU time (s) 407.42
Current children cumulated vsize (Kb) 140440

[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 29445 0 0 0 41527 211 0 0 25 0 1 0 1785477997 143949824 29087 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35144 29087 232 232 0 34912 0
[pid=20160] vsize: 140576
Current children cumulated CPU time (s) 417.38
Current children cumulated vsize (Kb) 140576

[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 29607 0 0 0 42519 213 0 0 25 0 1 0 1785477997 144089088 29249 4294967295 134512640 135450776 3221224576 3221223392 134550654 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35178 29249 232 232 0 34946 0
[pid=20160] vsize: 140712
Current children cumulated CPU time (s) 427.32
Current children cumulated vsize (Kb) 140712

[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 30070 0 0 0 43514 216 0 0 25 0 1 0 1785477997 144236544 29712 4294967295 134512640 135450776 3221224576 3221223296 134539533 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35214 29712 232 232 0 34982 0
[pid=20160] vsize: 140856
Current children cumulated CPU time (s) 437.3
Current children cumulated vsize (Kb) 140856

[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 30584 0 0 0 44508 219 0 0 25 0 1 0 1785477997 144384000 30226 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35250 30226 232 232 0 35018 0
[pid=20160] vsize: 141000
Current children cumulated CPU time (s) 447.27
Current children cumulated vsize (Kb) 141000

[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 31194 0 0 0 45500 223 0 0 25 0 1 0 1785477997 144384000 30836 4294967295 134512640 135450776 3221224576 3221223376 134537359 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35250 30836 232 232 0 35018 0
[pid=20160] vsize: 141000
Current children cumulated CPU time (s) 457.23
Current children cumulated vsize (Kb) 141000

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 31699 0 0 0 46493 226 0 0 25 0 1 0 1785477997 144531456 31341 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35286 31341 232 232 0 35054 0
[pid=20160] vsize: 141144
Current children cumulated CPU time (s) 467.19
Current children cumulated vsize (Kb) 141144

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 31873 0 0 0 47487 228 0 0 25 0 1 0 1785477997 144826368 31515 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35358 31515 232 232 0 35126 0
[pid=20160] vsize: 141432
Current children cumulated CPU time (s) 477.15
Current children cumulated vsize (Kb) 141432

[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 31883 0 0 0 48482 230 0 0 25 0 1 0 1785477997 144826368 31525 4294967295 134512640 135450776 3221224576 3221223392 134550654 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 35358 31525 232 232 0 35126 0
[pid=20160] vsize: 141432
Current children cumulated CPU time (s) 487.12
Current children cumulated vsize (Kb) 141432

[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 32096 0 0 0 49473 232 0 0 25 0 1 0 1785477997 144826368 31738 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35358 31738 232 232 0 35126 0
[pid=20160] vsize: 141432
Current children cumulated CPU time (s) 497.05
Current children cumulated vsize (Kb) 141432

[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 32589 0 0 0 50467 235 0 0 25 0 1 0 1785477997 144826368 32231 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35358 32231 232 232 0 35126 0
[pid=20160] vsize: 141432
Current children cumulated CPU time (s) 507.02
Current children cumulated vsize (Kb) 141432

[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 33053 0 0 0 51461 237 0 0 25 0 1 0 1785477997 144990208 32695 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35398 32695 232 232 0 35166 0
[pid=20160] vsize: 141592
Current children cumulated CPU time (s) 516.98
Current children cumulated vsize (Kb) 141592

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 33447 0 0 0 52455 240 0 0 25 0 1 0 1785477997 144990208 33089 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35398 33089 232 232 0 35166 0
[pid=20160] vsize: 141592
Current children cumulated CPU time (s) 526.95
Current children cumulated vsize (Kb) 141592

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 33985 0 0 0 53448 244 0 0 25 0 1 0 1785477997 144990208 33627 4294967295 134512640 135450776 3221224576 3221223376 134538164 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35398 33627 232 232 0 35166 0
[pid=20160] vsize: 141592
Current children cumulated CPU time (s) 536.92
Current children cumulated vsize (Kb) 141592

[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 34023 0 0 0 54444 245 0 0 25 0 1 0 1785477997 145137664 33665 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 35434 33665 232 232 0 35202 0
[pid=20160] vsize: 141736
Current children cumulated CPU time (s) 546.89
Current children cumulated vsize (Kb) 141736

[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 34307 0 0 0 55435 249 0 0 25 0 1 0 1785477997 145301504 33949 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 35474 33949 232 232 0 35242 0
[pid=20160] vsize: 141896
Current children cumulated CPU time (s) 556.84
Current children cumulated vsize (Kb) 141896

[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 34688 0 0 0 56430 251 0 0 25 0 1 0 1785477997 145301504 34330 4294967295 134512640 135450776 3221224576 3221223280 134536415 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 35474 34330 232 232 0 35242 0
[pid=20160] vsize: 141896
Current children cumulated CPU time (s) 566.81
Current children cumulated vsize (Kb) 141896

[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 35256 0 0 0 57420 255 0 0 25 0 1 0 1785477997 145301504 34898 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 35474 34898 232 232 0 35242 0
[pid=20160] vsize: 141896
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (Kb) 141896

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 35661 0 0 0 58413 258 0 0 25 0 1 0 1785477997 279801856 35303 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68311 35303 232 232 0 68079 0
[pid=20160] vsize: 273244
Current children cumulated CPU time (s) 586.71
Current children cumulated vsize (Kb) 273244

[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 36061 0 0 0 59408 260 0 0 25 0 1 0 1785477997 279801856 35703 4294967295 134512640 135450776 3221224576 3221223024 134533614 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68311 35703 232 232 0 68079 0
[pid=20160] vsize: 273244
Current children cumulated CPU time (s) 596.68
Current children cumulated vsize (Kb) 273244

[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 36556 0 0 0 60399 265 0 0 25 0 1 0 1785477997 279801856 36198 4294967295 134512640 135450776 3221224576 3221223376 134537374 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68311 36198 232 232 0 68079 0
[pid=20160] vsize: 273244
Current children cumulated CPU time (s) 606.64
Current children cumulated vsize (Kb) 273244

[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 36592 0 0 0 61392 269 0 0 25 0 1 0 1785477997 280096768 36234 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 68383 36234 232 232 0 68151 0
[pid=20160] vsize: 273532
Current children cumulated CPU time (s) 616.61
Current children cumulated vsize (Kb) 273532

[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 36614 0 0 0 62388 270 0 0 25 0 1 0 1785477997 280096768 36256 4294967295 134512640 135450776 3221224576 3221223392 134550509 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 68383 36256 232 232 0 68151 0
[pid=20160] vsize: 273532
Current children cumulated CPU time (s) 626.58
Current children cumulated vsize (Kb) 273532

[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 36624 0 0 0 63382 272 0 0 25 0 1 0 1785477997 280231936 36266 4294967295 134512640 135450776 3221224576 3221223376 134537342 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 68416 36266 232 232 0 68184 0
[pid=20160] vsize: 273664
Current children cumulated CPU time (s) 636.54
Current children cumulated vsize (Kb) 273664

[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 37112 0 0 0 64373 276 0 0 25 0 1 0 1785477997 280387584 36754 4294967295 134512640 135450776 3221224576 3221223296 134539541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 68454 36754 232 232 0 68222 0
[pid=20160] vsize: 273816
Current children cumulated CPU time (s) 646.49
Current children cumulated vsize (Kb) 273816

[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 37490 0 0 0 65366 279 0 0 25 0 1 0 1785477997 280387584 37132 4294967295 134512640 135450776 3221224576 3221223392 134550469 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 68454 37132 232 232 0 68222 0
[pid=20160] vsize: 273816
Current children cumulated CPU time (s) 656.45
Current children cumulated vsize (Kb) 273816

[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 37877 0 0 0 66361 282 0 0 25 0 1 0 1785477997 280535040 37519 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 68490 37519 232 232 0 68258 0
[pid=20160] vsize: 273960
Current children cumulated CPU time (s) 666.43
Current children cumulated vsize (Kb) 273960

[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 38487 0 0 0 67353 285 0 0 25 0 1 0 1785477997 280535040 38129 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68490 38129 232 232 0 68258 0
[pid=20160] vsize: 273960
Current children cumulated CPU time (s) 676.38
Current children cumulated vsize (Kb) 273960

[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 38517 0 0 0 68350 286 0 0 25 0 1 0 1785477997 280698880 38159 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68530 38159 232 232 0 68298 0
[pid=20160] vsize: 274120
Current children cumulated CPU time (s) 686.36
Current children cumulated vsize (Kb) 274120

[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 38521 0 0 0 69344 289 0 0 25 0 1 0 1785477997 280698880 38163 4294967295 134512640 135450776 3221224576 3221223376 134538118 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68530 38163 232 232 0 68298 0
[pid=20160] vsize: 274120
Current children cumulated CPU time (s) 696.33
Current children cumulated vsize (Kb) 274120

[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 38558 0 0 0 70338 292 0 0 25 0 1 0 1785477997 280846336 38200 4294967295 134512640 135450776 3221224576 3221223296 134539327 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68566 38200 232 232 0 68334 0
[pid=20160] vsize: 274264
Current children cumulated CPU time (s) 706.3
Current children cumulated vsize (Kb) 274264

[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 38800 0 0 0 71331 295 0 0 25 0 1 0 1785477997 280846336 38442 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68566 38442 232 232 0 68334 0
[pid=20160] vsize: 274264
Current children cumulated CPU time (s) 716.26
Current children cumulated vsize (Kb) 274264

[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 39154 0 0 0 72327 297 0 0 25 0 1 0 1785477997 280993792 38796 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68602 38796 232 232 0 68370 0
[pid=20160] vsize: 274408
Current children cumulated CPU time (s) 726.24
Current children cumulated vsize (Kb) 274408

[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 40132 0 0 0 73319 301 0 0 25 0 1 0 1785477997 282566656 39389 4294967295 134512640 135450776 3221224576 3221223376 134537374 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 68986 39389 232 232 0 68754 0
[pid=20160] vsize: 275944
Current children cumulated CPU time (s) 736.2
Current children cumulated vsize (Kb) 275944

[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 40477 0 0 0 74308 305 0 0 25 0 1 0 1785477997 282722304 39734 4294967295 134512640 135450776 3221224576 3221223296 134539323 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69024 39734 232 232 0 68792 0
[pid=20160] vsize: 276096
Current children cumulated CPU time (s) 746.13
Current children cumulated vsize (Kb) 276096

[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 40765 0 0 0 75305 307 0 0 25 0 1 0 1785477997 282722304 40022 4294967295 134512640 135450776 3221224576 3221223472 134597668 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69024 40022 232 232 0 68792 0
[pid=20160] vsize: 276096
Current children cumulated CPU time (s) 756.12
Current children cumulated vsize (Kb) 276096

[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 40784 0 0 0 76300 310 0 0 25 0 1 0 1785477997 282722304 40041 4294967295 134512640 135450776 3221224576 3221223392 134550520 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69024 40041 232 232 0 68792 0
[pid=20160] vsize: 276096
Current children cumulated CPU time (s) 766.1
Current children cumulated vsize (Kb) 276096

[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 40806 0 0 0 77295 311 0 0 25 0 1 0 1785477997 282722304 40063 4294967295 134512640 135450776 3221224576 3221223392 134550441 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69024 40063 232 232 0 68792 0
[pid=20160] vsize: 276096
Current children cumulated CPU time (s) 776.06
Current children cumulated vsize (Kb) 276096

[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 40920 0 0 0 78292 312 0 0 25 0 1 0 1785477997 282722304 40177 4294967295 134512640 135450776 3221224576 3221223376 134537379 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69024 40177 232 232 0 68792 0
[pid=20160] vsize: 276096
Current children cumulated CPU time (s) 786.04
Current children cumulated vsize (Kb) 276096

[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 41483 0 0 0 79281 319 0 0 25 0 1 0 1785477997 282722304 40740 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69024 40740 232 232 0 68792 0
[pid=20160] vsize: 276096
Current children cumulated CPU time (s) 796
Current children cumulated vsize (Kb) 276096

[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 41819 0 0 0 80275 321 0 0 25 0 1 0 1785477997 282882048 41076 4294967295 134512640 135450776 3221224576 3221223392 134550416 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69063 41076 232 232 0 68831 0
[pid=20160] vsize: 276252
Current children cumulated CPU time (s) 805.96
Current children cumulated vsize (Kb) 276252

[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42157 0 0 0 81271 324 0 0 25 0 1 0 1785477997 282882048 41414 4294967295 134512640 135450776 3221224576 3221223376 134538172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69063 41414 232 232 0 68831 0
[pid=20160] vsize: 276252
Current children cumulated CPU time (s) 815.95
Current children cumulated vsize (Kb) 276252

[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42624 0 0 0 82264 327 0 0 25 0 1 0 1785477997 282882048 41881 4294967295 134512640 135450776 3221224576 3221223392 134550478 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69063 41881 232 232 0 68831 0
[pid=20160] vsize: 276252
Current children cumulated CPU time (s) 825.91
Current children cumulated vsize (Kb) 276252

[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42796 0 0 0 83261 329 0 0 25 0 1 0 1785477997 283029504 42053 4294967295 134512640 135450776 3221224576 3221223392 134550480 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69099 42053 232 232 0 68867 0
[pid=20160] vsize: 276396
Current children cumulated CPU time (s) 835.9
Current children cumulated vsize (Kb) 276396

[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42831 0 0 0 84253 332 0 0 25 0 1 0 1785477997 283176960 42088 4294967295 134512640 135450776 3221224576 3221223280 134536651 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20160/statm): 69135 42088 232 232 0 68903 0
[pid=20160] vsize: 276540
Current children cumulated CPU time (s) 845.85
Current children cumulated vsize (Kb) 276540

[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42930 0 0 0 85245 334 0 0 25 0 1 0 1785477997 283598848 42187 4294967295 134512640 135450776 3221224576 3221223296 134539321 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 69238 42187 232 232 0 69006 0
[pid=20160] vsize: 276952
Current children cumulated CPU time (s) 855.79
Current children cumulated vsize (Kb) 276952

[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42955 0 0 0 86240 336 0 0 25 0 1 0 1785477997 283598848 42212 4294967295 134512640 135450776 3221224576 3221223280 134536583 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 69238 42212 232 232 0 69006 0
[pid=20160] vsize: 276952
Current children cumulated CPU time (s) 865.76
Current children cumulated vsize (Kb) 276952

[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 20160
Raw data (/proc/20160/stat): 20160 (PBS4) R 20159 20160 31915 0 -1 0 42982 0 0 0 87232 339 0 0 25 0 1 0 1785477997 283746304 42239 4294967295 134512640 135450776 3221224576 3221223392 134550433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20160/statm): 69274 42239 232 232 0 69042 0
[pid=20160] vsize: 277096
Current children cumulated CPU time (s) 875.71
Current children cumulated vsize (Kb) 277096
One traced child (pid=20160) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 883.911
CPU time (s): 879.579
CPU user time (s): 876.095
CPU system time (s): 3.48447
CPU usage (%): 99.5099
Max. virtual memory (cumulated for all children) (Kb): 277096

Verifier Data

Verifier:	OK	444