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).
  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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
MD5SUM96d7d5bfca5320061ed7cb61443916ee
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7936
Optimality of the best value was proved NO
Number of terms in the objective function 68
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1054719
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268497406
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.04
Number of variables8590
Total number of constraints2614
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)794
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 13974

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-20 22:30:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19922 boxname=wulflinc17 idbench=1533 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  96d7d5bfca5320061ed7cb61443916ee  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-berlin_5_8_0.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-berlin_5_8_0.opb
IDLAUNCH: 19922
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        686032 kB
Buffers:         33268 kB
Cached:         282816 kB
SwapCached:         48 kB
Active:          77236 kB
Inactive:       241908 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        685780 kB
SwapTotal:     2097892 kB
SwapFree:      2097840 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           7032 kB
Slab:            23864 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:50:23 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 19922 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-berlin_5_8_0.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.95 0.90 2/55 17343
Raw data (stat): 17343 (runsolver) R 17342 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540059962 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99957 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 1298 0 0 0 992 6 0 0 25 0 1 0 540059962 7016448 1294 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1713 1294 231 231 0 1482 0
vsize: 6852
[startup+19.9997 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 1736 0 0 0 1990 9 0 0 25 0 1 0 540059962 9416704 1732 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2299 1732 231 231 0 2068 0
vsize: 9196
[startup+29.9997 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 1993 0 0 0 2986 13 0 0 25 0 1 0 540059962 10059776 1940 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1940 231 231 0 2225 0
vsize: 9824
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2106 0 0 0 3982 16 0 0 25 0 1 0 540059962 10412032 2053 4294967295 134512640 135450300 3221224624 3221222976 134533182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2542 2053 231 231 0 2311 0
vsize: 10168
[startup+50.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2200 0 0 0 4980 19 0 0 25 0 1 0 540059962 10760192 2147 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2627 2147 231 231 0 2396 0
vsize: 10508
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2231 0 0 0 5979 20 0 0 25 0 1 0 540059962 10833920 2178 4294967295 134512640 135450300 3221224624 3221223360 134538245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2645 2178 231 231 0 2414 0
vsize: 10580
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2266 0 0 0 6977 22 0 0 25 0 1 0 540059962 10928128 2213 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2668 2213 231 231 0 2437 0
vsize: 10672
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2372 0 0 0 7975 24 0 0 25 0 1 0 540059962 11141120 2319 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2720 2319 231 231 0 2489 0
vsize: 10880
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2541 0 0 0 8973 26 0 0 25 0 1 0 540059962 11608064 2391 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2834 2391 231 231 0 2603 0
vsize: 11336
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2671 0 0 0 9971 28 0 0 25 0 1 0 540059962 11702272 2521 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2857 2521 231 231 0 2626 0
vsize: 11428
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2715 0 0 0 10970 30 0 0 25 0 1 0 540059962 11927552 2565 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2912 2565 231 231 0 2681 0
vsize: 11648
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2757 0 0 0 11968 31 0 0 25 0 1 0 540059962 12054528 2607 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2943 2607 231 231 0 2712 0
vsize: 11772
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2797 0 0 0 12965 34 0 0 25 0 1 0 540059962 12120064 2647 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2647 231 231 0 2728 0
vsize: 11836
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2816 0 0 0 13963 37 0 0 25 0 1 0 540059962 12189696 2666 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2666 231 231 0 2745 0
vsize: 11904
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2857 0 0 0 14961 39 0 0 25 0 1 0 540059962 12369920 2707 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3020 2707 231 231 0 2789 0
vsize: 12080
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2890 0 0 0 15959 41 0 0 25 0 1 0 540059962 12472320 2740 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2740 231 231 0 2814 0
vsize: 12180
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2973 0 0 0 16958 43 0 0 25 0 1 0 540059962 16666624 2823 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2823 231 231 0 3838 0
vsize: 16276
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3057 0 0 0 17955 45 0 0 25 0 1 0 540059962 16736256 2907 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2907 231 231 0 3855 0
vsize: 16344
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3095 0 0 0 18953 48 0 0 25 0 1 0 540059962 16822272 2945 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 2945 231 231 0 3876 0
vsize: 16428
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3232 0 0 0 19951 49 0 0 25 0 1 0 540059962 16916480 3082 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4130 3082 231 231 0 3899 0
vsize: 16520
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3325 0 0 0 20949 52 0 0 25 0 1 0 540059962 16998400 3175 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4150 3175 231 231 0 3919 0
vsize: 16600
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3552 0 0 0 21947 54 0 0 25 0 1 0 540059962 17928192 3209 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3209 231 231 0 4146 0
vsize: 17508
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17343
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3594 0 0 0 22946 55 0 0 25 0 1 0 540059962 17928192 3251 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3251 231 231 0 4146 0
vsize: 17508
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3618 0 0 0 23944 58 0 0 25 0 1 0 540059962 17997824 3275 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3275 231 231 0 4163 0
vsize: 17576
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3630 0 0 0 24942 60 0 0 25 0 1 0 540059962 17997824 3287 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3287 231 231 0 4163 0
vsize: 17576
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3729 0 0 0 25940 62 0 0 25 0 1 0 540059962 18087936 3386 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4416 3386 231 231 0 4185 0
vsize: 17664
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3765 0 0 0 26939 63 0 0 25 0 1 0 540059962 18219008 3422 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4448 3422 231 231 0 4217 0
vsize: 17792
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3844 0 0 0 27937 65 0 0 25 0 1 0 540059962 18219008 3501 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4448 3501 231 231 0 4217 0
vsize: 17792
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3950 0 0 0 28936 66 0 0 25 0 1 0 540059962 18305024 3607 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3607 231 231 0 4238 0
vsize: 17876
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3991 0 0 0 29934 68 0 0 25 0 1 0 540059962 18444288 3648 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3648 231 231 0 4272 0
vsize: 18012
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4015 0 0 0 30933 70 0 0 25 0 1 0 540059962 18513920 3672 4294967295 134512640 135450300 3221224624 3221223552 134539624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4520 3672 231 231 0 4289 0
vsize: 18080
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4097 0 0 0 31931 72 0 0 25 0 1 0 540059962 18649088 3754 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3754 231 231 0 4322 0
vsize: 18212
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4131 0 0 0 32929 75 0 0 25 0 1 0 540059962 18649088 3788 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3788 231 231 0 4322 0
vsize: 18212
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4155 0 0 0 33927 76 0 0 25 0 1 0 540059962 18726912 3812 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3812 231 231 0 4341 0
vsize: 18288
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4211 0 0 0 34926 78 0 0 25 0 1 0 540059962 18726912 3868 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3868 231 231 0 4341 0
vsize: 18288
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4243 0 0 0 35924 80 0 0 25 0 1 0 540059962 18833408 3900 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4598 3900 231 231 0 4367 0
vsize: 18392
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4331 0 0 0 36923 81 0 0 25 0 1 0 540059962 18833408 3988 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4598 3988 231 231 0 4367 0
vsize: 18392
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4382 0 0 0 37921 83 0 0 25 0 1 0 540059962 18919424 4039 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 4039 231 231 0 4388 0
vsize: 18476
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4407 0 0 0 38920 85 0 0 25 0 1 0 540059962 18919424 4064 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 4064 231 231 0 4388 0
vsize: 18476
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4489 0 0 0 39919 86 0 0 25 0 1 0 540059962 18919424 4146 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 4146 231 231 0 4388 0
vsize: 18476
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4601 0 0 0 40916 88 0 0 25 0 1 0 540059962 19025920 4258 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4645 4258 231 231 0 4414 0
vsize: 18580
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4671 0 0 0 41915 90 0 0 25 0 1 0 540059962 19103744 4328 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 4328 231 231 0 4433 0
vsize: 18656
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4808 0 0 0 42913 92 0 0 25 0 1 0 540059962 27619328 4465 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 4465 231 231 0 6512 0
vsize: 26972
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4936 0 0 0 43911 94 0 0 25 0 1 0 540059962 27697152 4593 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6762 4593 231 231 0 6531 0
vsize: 27048
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5016 0 0 0 44910 96 0 0 25 0 1 0 540059962 27774976 4673 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6781 4673 231 231 0 6550 0
vsize: 27124
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5025 0 0 0 45908 98 0 0 25 0 1 0 540059962 27774976 4682 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6781 4682 231 231 0 6550 0
vsize: 27124
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5174 0 0 0 46905 101 0 0 25 0 1 0 540059962 27873280 4831 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6805 4831 231 231 0 6574 0
vsize: 27220
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5274 0 0 0 47904 102 0 0 25 0 1 0 540059962 28000256 4931 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6836 4931 231 231 0 6605 0
vsize: 27344
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5285 0 0 0 48904 103 0 0 25 0 1 0 540059962 28000256 4942 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6836 4942 231 231 0 6605 0
vsize: 27344
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5303 0 0 0 49903 104 0 0 25 0 1 0 540059962 28069888 4960 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6853 4960 231 231 0 6622 0
vsize: 27412
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5318 0 0 0 50900 106 0 0 25 0 1 0 540059962 28069888 4975 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6853 4975 231 231 0 6622 0
vsize: 27412
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5331 0 0 0 51899 108 0 0 25 0 1 0 540059962 28135424 4988 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6869 4988 231 231 0 6638 0
vsize: 27476
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17345
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5727 0 0 0 52897 110 0 0 25 0 1 0 540059962 29708288 4999 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7253 4999 231 231 0 7022 0
vsize: 29012
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5746 0 0 0 53896 112 0 0 25 0 1 0 540059962 29708288 5018 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7253 5018 231 231 0 7022 0
vsize: 29012
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5755 0 0 0 54894 114 0 0 25 0 1 0 540059962 29708288 5027 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7253 5027 231 231 0 7022 0
vsize: 29012
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5785 0 0 0 55892 115 0 0 25 0 1 0 540059962 29843456 5057 4294967295 134512640 135450300 3221224624 3221223376 135068574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7286 5057 231 231 0 7055 0
vsize: 29144
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5821 0 0 0 56890 118 0 0 25 0 1 0 540059962 29978624 5093 4294967295 134512640 135450300 3221224624 3221223344 134535562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7319 5093 231 231 0 7088 0
vsize: 29276
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5831 0 0 0 57889 119 0 0 25 0 1 0 540059962 30056448 5103 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5103 231 231 0 7107 0
vsize: 29352
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5905 0 0 0 58888 121 0 0 25 0 1 0 540059962 30056448 5177 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 5177 231 231 0 7107 0
vsize: 29352
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6033 0 0 0 59887 122 0 0 25 0 1 0 540059962 30142464 5305 4294967295 134512640 135450300 3221224624 3221223460 134538632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 5305 231 231 0 7128 0
vsize: 29436
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6116 0 0 0 60885 123 0 0 25 0 1 0 540059962 30244864 5388 4294967295 134512640 135450300 3221224624 3221223232 134537672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7384 5388 231 231 0 7153 0
vsize: 29536
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6125 0 0 0 61884 125 0 0 25 0 1 0 540059962 30244864 5397 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7384 5397 231 231 0 7153 0
vsize: 29536
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6246 0 0 0 62882 127 0 0 25 0 1 0 540059962 30330880 5518 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 5518 231 231 0 7174 0
vsize: 29620
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6318 0 0 0 63881 128 0 0 25 0 1 0 540059962 30330880 5590 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 5590 231 231 0 7174 0
vsize: 29620
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6329 0 0 0 64878 131 0 0 25 0 1 0 540059962 30330880 5601 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 5601 231 231 0 7174 0
vsize: 29620
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6342 0 0 0 65875 134 0 0 25 0 1 0 540059962 30330880 5614 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 5614 231 231 0 7174 0
vsize: 29620
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6384 0 0 0 66873 137 0 0 25 0 1 0 540059962 30523392 5656 4294967295 134512640 135450300 3221224624 3221222900 135070702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7452 5656 231 231 0 7221 0
vsize: 29808
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6401 0 0 0 67872 138 0 0 25 0 1 0 540059962 30658560 5673 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7485 5673 231 231 0 7254 0
vsize: 29940
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6411 0 0 0 68870 140 0 0 25 0 1 0 540059962 30658560 5683 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7485 5683 231 231 0 7254 0
vsize: 29940
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6549 0 0 0 69868 142 0 0 25 0 1 0 540059962 30724096 5821 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7501 5821 231 231 0 7270 0
vsize: 30004
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6633 0 0 0 70866 144 0 0 25 0 1 0 540059962 30724096 5905 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7501 5905 231 231 0 7270 0
vsize: 30004
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6646 0 0 0 71863 147 0 0 25 0 1 0 540059962 30810112 5918 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7522 5918 231 231 0 7291 0
vsize: 30088
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6667 0 0 0 72862 149 0 0 25 0 1 0 540059962 30810112 5939 4294967295 134512640 135450300 3221224624 3221223280 134532964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7522 5939 231 231 0 7291 0
vsize: 30088
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6761 0 0 0 73860 150 0 0 25 0 1 0 540059962 30896128 6033 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 6033 231 231 0 7312 0
vsize: 30172
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6824 0 0 0 74858 153 0 0 25 0 1 0 540059962 30896128 6096 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 6096 231 231 0 7312 0
vsize: 30172
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6859 0 0 0 75857 154 0 0 25 0 1 0 540059962 31113216 6131 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7596 6131 231 231 0 7365 0
vsize: 30384
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6921 0 0 0 76855 157 0 0 25 0 1 0 540059962 31113216 6193 4294967295 134512640 135450300 3221224624 3221223232 134537667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7596 6193 231 231 0 7365 0
vsize: 30384
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7017 0 0 0 77854 157 0 0 25 0 1 0 540059962 31113216 6289 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7596 6289 231 231 0 7365 0
vsize: 30384
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7059 0 0 0 78853 159 0 0 25 0 1 0 540059962 31191040 6331 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7615 6331 231 231 0 7384 0
vsize: 30460
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7098 0 0 0 79852 160 0 0 25 0 1 0 540059962 31191040 6370 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7615 6370 231 231 0 7384 0
vsize: 30460
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7111 0 0 0 80851 162 0 0 25 0 1 0 540059962 31330304 6383 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7649 6383 231 231 0 7418 0
vsize: 30596
[startup+820.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7164 0 0 0 81849 163 0 0 25 0 1 0 540059962 31330304 6436 4294967295 134512640 135450300 3221224624 3221223440 134547177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7649 6436 231 231 0 7418 0
vsize: 30596
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17347
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7173 0 0 0 82848 165 0 0 25 0 1 0 540059962 31330304 6445 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7649 6445 231 231 0 7418 0
vsize: 30596
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7186 0 0 0 83845 167 0 0 25 0 1 0 540059962 31481856 6458 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7686 6458 231 231 0 7455 0
vsize: 30744
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7200 0 0 0 84843 170 0 0 25 0 1 0 540059962 31481856 6472 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7686 6472 231 231 0 7455 0
vsize: 30744
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7226 0 0 0 85842 172 0 0 25 0 1 0 540059962 31559680 6498 4294967295 134512640 135450300 3221224624 3221223340 134537787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6498 231 231 0 7474 0
vsize: 30820
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7239 0 0 0 86840 173 0 0 25 0 1 0 540059962 31559680 6511 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6511 231 231 0 7474 0
vsize: 30820
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7248 0 0 0 87839 175 0 0 25 0 1 0 540059962 31559680 6520 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6520 231 231 0 7474 0
vsize: 30820
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7258 0 0 0 88838 176 0 0 25 0 1 0 540059962 31559680 6530 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6530 231 231 0 7474 0
vsize: 30820
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7268 0 0 0 89836 177 0 0 25 0 1 0 540059962 31559680 6540 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6540 231 231 0 7474 0
vsize: 30820
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7288 0 0 0 90836 178 0 0 25 0 1 0 540059962 31789056 6560 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7761 6560 231 231 0 7530 0
vsize: 31044
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7299 0 0 0 91834 180 0 0 25 0 1 0 540059962 31789056 6571 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7761 6571 231 231 0 7530 0
vsize: 31044
[startup+930.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7319 0 0 0 92834 181 0 0 25 0 1 0 540059962 31789056 6591 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7761 6591 231 231 0 7530 0
vsize: 31044
[startup+940.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7330 0 0 0 93833 182 0 0 25 0 1 0 540059962 31862784 6602 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7779 6602 231 231 0 7548 0
vsize: 31116
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7374 0 0 0 94831 184 0 0 25 0 1 0 540059962 31862784 6646 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7779 6646 231 231 0 7548 0
vsize: 31116
[startup+960.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7456 0 0 0 95829 186 0 0 25 0 1 0 540059962 31862784 6728 4294967295 134512640 135450300 3221224624 3221223360 134538721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7779 6728 231 231 0 7548 0
vsize: 31116
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7469 0 0 0 96828 187 0 0 25 0 1 0 540059962 31932416 6741 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7796 6741 231 231 0 7565 0
vsize: 31184
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7562 0 0 0 97828 188 0 0 25 0 1 0 540059962 31932416 6834 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7796 6834 231 231 0 7565 0
vsize: 31184
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7638 0 0 0 98826 190 0 0 25 0 1 0 540059962 31932416 6910 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7796 6910 231 231 0 7565 0
vsize: 31184
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7676 0 0 0 99826 190 0 0 25 0 1 0 540059962 32006144 6948 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7814 6948 231 231 0 7583 0
vsize: 31256
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7781 0 0 0 100824 192 0 0 25 0 1 0 540059962 32006144 7053 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7814 7053 231 231 0 7583 0
vsize: 31256
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7876 0 0 0 101823 193 0 0 25 0 1 0 540059962 32006144 7148 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7814 7148 231 231 0 7583 0
vsize: 31256
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7994 0 0 0 102822 195 0 0 25 0 1 0 540059962 32079872 7266 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7832 7266 231 231 0 7601 0
vsize: 31328
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8013 0 0 0 103820 196 0 0 25 0 1 0 540059962 32247808 7285 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7873 7285 231 231 0 7642 0
vsize: 31492
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8026 0 0 0 104820 197 0 0 25 0 1 0 540059962 32247808 7298 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7873 7298 231 231 0 7642 0
vsize: 31492
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8040 0 0 0 105819 198 0 0 25 0 1 0 540059962 32329728 7312 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 7312 231 231 0 7662 0
vsize: 31572
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8067 0 0 0 106818 199 0 0 25 0 1 0 540059962 32329728 7339 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 7339 231 231 0 7662 0
vsize: 31572
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8094 0 0 0 107816 202 0 0 25 0 1 0 540059962 32444416 7366 4294967295 134512640 135450300 3221224624 3221223440 134546531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7366 231 231 0 7690 0
vsize: 31684
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8101 0 0 0 108815 203 0 0 25 0 1 0 540059962 32444416 7373 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7373 231 231 0 7690 0
vsize: 31684
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8107 0 0 0 109814 204 0 0 25 0 1 0 540059962 32444416 7379 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7379 231 231 0 7690 0
vsize: 31684
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8146 0 0 0 110812 206 0 0 25 0 1 0 540059962 32444416 7418 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7418 231 231 0 7690 0
vsize: 31684
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8183 0 0 0 111811 207 0 0 25 0 1 0 540059962 32444416 7455 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7921 7455 231 231 0 7690 0
vsize: 31684
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17349
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8282 0 0 0 112809 209 0 0 25 0 1 0 540059962 32894976 7554 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7554 231 231 0 7800 0
vsize: 32124
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8292 0 0 0 113808 210 0 0 25 0 1 0 540059962 32894976 7564 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7564 231 231 0 7800 0
vsize: 32124
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8314 0 0 0 114807 212 0 0 25 0 1 0 540059962 32894976 7586 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7586 231 231 0 7800 0
vsize: 32124
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8322 0 0 0 115806 213 0 0 25 0 1 0 540059962 32894976 7594 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7594 231 231 0 7800 0
vsize: 32124
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8331 0 0 0 116805 214 0 0 25 0 1 0 540059962 32894976 7603 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7603 231 231 0 7800 0
vsize: 32124
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8341 0 0 0 117804 215 0 0 25 0 1 0 540059962 33099776 7613 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8081 7613 231 231 0 7850 0
vsize: 32324
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8349 0 0 0 118803 217 0 0 25 0 1 0 540059962 33099776 7621 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8081 7621 231 231 0 7850 0
vsize: 32324
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17351
Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8361 0 0 0 119802 218 0 0 25 0 1 0 540059962 33099776 7633 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8081 7633 231 231 0 7850 0
vsize: 32324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 17351
Raw data (stat): 17343 (PBS4) Z 17342 20838 20837 0 -1 1036 8361 0 0 0 119802 220 0 0 25 0 1 0 540059962 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.02
CPU time (s): 1200.22
CPU user time (s): 1198.02
CPU system time (s): 2.20067
CPU usage (%): 100.017
Max. virtual memory (Kb): 32324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####