PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
MD5SUM	a430664a9b4f203a5896b33ca2b0e0e5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	528
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	528
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	528
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02384
Number of variables	528
Total number of constraints	1816
Number of constraints which are clauses	1816
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 7778

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-17 16:18:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1482 boxname=wulflinc13 idbench=165 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a430664a9b4f203a5896b33ca2b0e0e5  /oldhome/oroussel/tmp/wulflinc13/normalized-ii8a3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-ii8a3.opb
IDLAUNCH: 1482
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        861436 kB
Buffers:         36560 kB
Cached:         115572 kB
SwapCached:        392 kB
Active:          65612 kB
Inactive:        89796 kB
HighTotal:      131008 kB
HighFree:        11480 kB
LowTotal:       903652 kB
LowFree:        849956 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12240 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:38:25 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1482 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-ii8a3.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.85 0.97 0.90 2/54 23634
Raw data (stat): 23634 (runsolver) R 23633 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453678763 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+10.0004 s]
Raw data (loadavg): 0.87 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 2212 0 0 0 992 7 0 0 25 0 1 0 453678763 10113024 2208 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2469 2208 231 231 0 2238 0
vsize: 9876
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 3499 0 0 0 1988 10 0 0 25 0 1 0 453678763 18833408 3446 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4598 3446 231 231 0 4367 0
vsize: 18392
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 4569 0 0 0 2984 15 0 0 25 0 1 0 453678763 35880960 4516 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 4516 231 231 0 8529 0
vsize: 35040
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 4967 0 0 0 3982 17 0 0 25 0 1 0 453678763 36016128 4914 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8793 4914 231 231 0 8562 0
vsize: 35172
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 5390 0 0 0 4980 19 0 0 25 0 1 0 453678763 36151296 5337 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8826 5337 231 231 0 8595 0
vsize: 35304
[startup+59.9999 s]
Raw data (loadavg): 0.94 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 5928 0 0 0 5979 20 0 0 25 0 1 0 453678763 36679680 5778 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8955 5778 231 231 0 8724 0
vsize: 35820
[startup+69.9993 s]
Raw data (loadavg): 0.95 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 6247 0 0 0 6978 21 0 0 25 0 1 0 453678763 36814848 6097 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8988 6097 231 231 0 8757 0
vsize: 35952
[startup+80.0002 s]
Raw data (loadavg): 0.96 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 6270 0 0 0 7978 21 0 0 25 0 1 0 453678763 36814848 6120 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8988 6120 231 231 0 8757 0
vsize: 35952
[startup+89.9999 s]
Raw data (loadavg): 0.96 0.97 0.90 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 6306 0 0 0 8977 22 0 0 25 0 1 0 453678763 36950016 6156 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 6156 231 231 0 8790 0
vsize: 36084
[startup+99.9992 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 6559 0 0 0 9976 24 0 0 25 0 1 0 453678763 36950016 6409 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 6409 231 231 0 8790 0
vsize: 36084
[startup+110 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7045 0 0 0 10974 27 0 0 25 0 1 0 453678763 37085184 6895 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9054 6895 231 231 0 8823 0
vsize: 36216
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7077 0 0 0 11972 28 0 0 25 0 1 0 453678763 37240832 6927 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 6927 231 231 0 8861 0
vsize: 36368
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7297 0 0 0 12971 29 0 0 25 0 1 0 453678763 37240832 7147 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 7147 231 231 0 8861 0
vsize: 36368
[startup+140.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7318 0 0 0 13971 30 0 0 25 0 1 0 453678763 37240832 7168 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 7168 231 231 0 8861 0
vsize: 36368
[startup+150.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7423 0 0 0 14970 31 0 0 25 0 1 0 453678763 37396480 7273 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 7273 231 231 0 8899 0
vsize: 36520
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7570 0 0 0 15970 31 0 0 25 0 1 0 453678763 37396480 7420 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 7420 231 231 0 8899 0
vsize: 36520
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7593 0 0 0 16969 33 0 0 25 0 1 0 453678763 37535744 7443 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9164 7443 231 231 0 8933 0
vsize: 36656
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7961 0 0 0 17968 33 0 0 25 0 1 0 453678763 38322176 7618 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9356 7618 231 231 0 9125 0
vsize: 37424
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 7989 0 0 0 18968 34 0 0 25 0 1 0 453678763 38457344 7646 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9389 7646 231 231 0 9158 0
vsize: 37556
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 8010 0 0 0 19967 35 0 0 25 0 1 0 453678763 38457344 7667 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9389 7667 231 231 0 9158 0
vsize: 37556
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 8225 0 0 0 20966 36 0 0 25 0 1 0 453678763 38457344 7882 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9389 7882 231 231 0 9158 0
vsize: 37556
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 8247 0 0 0 21966 37 0 0 25 0 1 0 453678763 38596608 7904 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 7904 231 231 0 9192 0
vsize: 37692
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 8364 0 0 0 22965 38 0 0 25 0 1 0 453678763 38596608 8021 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 8021 231 231 0 9192 0
vsize: 37692
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 8383 0 0 0 23964 39 0 0 25 0 1 0 453678763 38735872 8040 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9457 8040 231 231 0 9226 0
vsize: 37828
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 8600 0 0 0 24963 40 0 0 25 0 1 0 453678763 38735872 8257 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9457 8257 231 231 0 9226 0
vsize: 37828
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 9172 0 0 0 25962 41 0 0 25 0 1 0 453678763 38735872 8829 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9457 8829 231 231 0 9226 0
vsize: 37828
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 9754 0 0 0 26960 44 0 0 25 0 1 0 453678763 72290304 9411 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 9411 231 231 0 17418 0
vsize: 70596
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10086 0 0 0 27958 45 0 0 25 0 1 0 453678763 72421376 9743 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17681 9743 231 231 0 17450 0
vsize: 70724
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10103 0 0 0 28958 46 0 0 25 0 1 0 453678763 72421376 9760 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17681 9760 231 231 0 17450 0
vsize: 70724
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10122 0 0 0 29958 46 0 0 25 0 1 0 453678763 72568832 9779 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 9779 231 231 0 17486 0
vsize: 70868
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10143 0 0 0 30957 47 0 0 25 0 1 0 453678763 72568832 9800 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 9800 231 231 0 17486 0
vsize: 70868
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10163 0 0 0 31956 48 0 0 25 0 1 0 453678763 72568832 9820 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 9820 231 231 0 17486 0
vsize: 70868
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10185 0 0 0 32955 49 0 0 25 0 1 0 453678763 72712192 9842 4294967295 134512640 135450300 3221224640 3221223104 134532549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17752 9842 231 231 0 17521 0
vsize: 71008
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10201 0 0 0 33955 49 0 0 25 0 1 0 453678763 72712192 9858 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17752 9858 231 231 0 17521 0
vsize: 71008
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10211 0 0 0 34955 50 0 0 25 0 1 0 453678763 72712192 9868 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17752 9868 231 231 0 17521 0
vsize: 71008
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10227 0 0 0 35954 51 0 0 25 0 1 0 453678763 72712192 9884 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17752 9884 231 231 0 17521 0
vsize: 71008
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10235 0 0 0 36954 51 0 0 25 0 1 0 453678763 72847360 9892 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17785 9892 231 231 0 17554 0
vsize: 71140
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10244 0 0 0 37954 51 0 0 25 0 1 0 453678763 72847360 9901 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17785 9901 231 231 0 17554 0
vsize: 71140
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10256 0 0 0 38953 52 0 0 25 0 1 0 453678763 72847360 9913 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17785 9913 231 231 0 17554 0
vsize: 71140
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10456 0 0 0 39953 52 0 0 25 0 1 0 453678763 72847360 10113 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17785 10113 231 231 0 17554 0
vsize: 71140
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 10720 0 0 0 40952 54 0 0 25 0 1 0 453678763 72978432 10377 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17817 10377 231 231 0 17586 0
vsize: 71268
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 11183 0 0 0 41951 55 0 0 25 0 1 0 453678763 72978432 10840 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17817 10840 231 231 0 17586 0
vsize: 71268
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 11582 0 0 0 42950 56 0 0 25 0 1 0 453678763 72978432 11239 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17817 11239 231 231 0 17586 0
vsize: 71268
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 11597 0 0 0 43950 57 0 0 25 0 1 0 453678763 73117696 11254 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17851 11254 231 231 0 17620 0
vsize: 71404
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 11611 0 0 0 44949 57 0 0 25 0 1 0 453678763 73117696 11268 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17851 11268 231 231 0 17620 0
vsize: 71404
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12086 0 0 0 45949 58 0 0 25 0 1 0 453678763 74690560 11358 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18235 11358 231 231 0 18004 0
vsize: 72940
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12254 0 0 0 46949 58 0 0 25 0 1 0 453678763 74690560 11526 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18235 11526 231 231 0 18004 0
vsize: 72940
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12264 0 0 0 47948 59 0 0 25 0 1 0 453678763 74690560 11536 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18235 11536 231 231 0 18004 0
vsize: 72940
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12289 0 0 0 48948 59 0 0 25 0 1 0 453678763 74829824 11561 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18269 11561 231 231 0 18038 0
vsize: 73076
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12304 0 0 0 49947 60 0 0 25 0 1 0 453678763 74829824 11576 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18269 11576 231 231 0 18038 0
vsize: 73076
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12315 0 0 0 50947 61 0 0 25 0 1 0 453678763 74829824 11587 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18269 11587 231 231 0 18038 0
vsize: 73076
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12322 0 0 0 51947 61 0 0 25 0 1 0 453678763 74829824 11594 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18269 11594 231 231 0 18038 0
vsize: 73076
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12535 0 0 0 52946 62 0 0 25 0 1 0 453678763 75010048 11807 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18313 11807 231 231 0 18082 0
vsize: 73252
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12838 0 0 0 53945 63 0 0 25 0 1 0 453678763 75010048 12110 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18313 12110 231 231 0 18082 0
vsize: 73252
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12851 0 0 0 54945 63 0 0 25 0 1 0 453678763 75010048 12123 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18313 12123 231 231 0 18082 0
vsize: 73252
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12869 0 0 0 55945 64 0 0 25 0 1 0 453678763 75010048 12141 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18313 12141 231 231 0 18082 0
vsize: 73252
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 12882 0 0 0 56945 64 0 0 25 0 1 0 453678763 75145216 12154 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18346 12154 231 231 0 18115 0
vsize: 73384
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13008 0 0 0 57944 65 0 0 25 0 1 0 453678763 75145216 12280 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18346 12280 231 231 0 18115 0
vsize: 73384
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13026 0 0 0 58944 65 0 0 25 0 1 0 453678763 75280384 12298 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 12298 231 231 0 18148 0
vsize: 73516
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13046 0 0 0 59943 66 0 0 25 0 1 0 453678763 75280384 12318 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 12318 231 231 0 18148 0
vsize: 73516
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13058 0 0 0 60943 67 0 0 25 0 1 0 453678763 75280384 12330 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 12330 231 231 0 18148 0
vsize: 73516
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13076 0 0 0 61943 67 0 0 25 0 1 0 453678763 75415552 12348 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18412 12348 231 231 0 18181 0
vsize: 73648
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13096 0 0 0 62942 68 0 0 25 0 1 0 453678763 75415552 12368 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18412 12368 231 231 0 18181 0
vsize: 73648
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13111 0 0 0 63942 68 0 0 25 0 1 0 453678763 75415552 12383 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18412 12383 231 231 0 18181 0
vsize: 73648
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13121 0 0 0 64941 69 0 0 25 0 1 0 453678763 75415552 12393 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18412 12393 231 231 0 18181 0
vsize: 73648
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13128 0 0 0 65941 69 0 0 25 0 1 0 453678763 75415552 12400 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18412 12400 231 231 0 18181 0
vsize: 73648
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13135 0 0 0 66940 70 0 0 25 0 1 0 453678763 75415552 12407 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18412 12407 231 231 0 18181 0
vsize: 73648
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13147 0 0 0 67940 70 0 0 25 0 1 0 453678763 75620352 12419 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 12419 231 231 0 18231 0
vsize: 73848
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13164 0 0 0 68940 70 0 0 25 0 1 0 453678763 75620352 12436 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 12436 231 231 0 18231 0
vsize: 73848
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13176 0 0 0 69939 71 0 0 25 0 1 0 453678763 75620352 12448 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 12448 231 231 0 18231 0
vsize: 73848
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13188 0 0 0 70939 72 0 0 25 0 1 0 453678763 75620352 12460 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 12460 231 231 0 18231 0
vsize: 73848
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13205 0 0 0 71939 72 0 0 25 0 1 0 453678763 75755520 12477 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 12477 231 231 0 18264 0
vsize: 73980
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13219 0 0 0 72938 72 0 0 25 0 1 0 453678763 75755520 12491 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 12491 231 231 0 18264 0
vsize: 73980
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13232 0 0 0 73938 73 0 0 25 0 1 0 453678763 75755520 12504 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 12504 231 231 0 18264 0
vsize: 73980
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13247 0 0 0 74938 73 0 0 25 0 1 0 453678763 75902976 12519 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 12519 231 231 0 18300 0
vsize: 74124
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13257 0 0 0 75937 74 0 0 25 0 1 0 453678763 75902976 12529 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 12529 231 231 0 18300 0
vsize: 74124
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13269 0 0 0 76937 74 0 0 25 0 1 0 453678763 75902976 12541 4294967295 134512640 135450300 3221224640 3221223456 134537291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 12541 231 231 0 18300 0
vsize: 74124
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13280 0 0 0 77937 75 0 0 25 0 1 0 453678763 75902976 12552 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 12552 231 231 0 18300 0
vsize: 74124
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13291 0 0 0 78937 75 0 0 25 0 1 0 453678763 75902976 12563 4294967295 134512640 135450300 3221224640 3221223376 134538601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 12563 231 231 0 18300 0
vsize: 74124
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13314 0 0 0 79936 76 0 0 25 0 1 0 453678763 76062720 12586 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18570 12586 231 231 0 18339 0
vsize: 74280
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13325 0 0 0 80936 76 0 0 25 0 1 0 453678763 76062720 12597 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18570 12597 231 231 0 18339 0
vsize: 74280
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13332 0 0 0 81936 77 0 0 25 0 1 0 453678763 76062720 12604 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18570 12604 231 231 0 18339 0
vsize: 74280
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13355 0 0 0 82935 77 0 0 25 0 1 0 453678763 76062720 12627 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18570 12627 231 231 0 18339 0
vsize: 74280
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13369 0 0 0 83935 78 0 0 25 0 1 0 453678763 76062720 12641 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18570 12641 231 231 0 18339 0
vsize: 74280
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13379 0 0 0 84934 79 0 0 25 0 1 0 453678763 76062720 12651 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18570 12651 231 231 0 18339 0
vsize: 74280
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13394 0 0 0 85934 79 0 0 25 0 1 0 453678763 76259328 12666 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12666 231 231 0 18387 0
vsize: 74472
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13400 0 0 0 86934 79 0 0 25 0 1 0 453678763 76259328 12672 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12672 231 231 0 18387 0
vsize: 74472
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13418 0 0 0 87934 80 0 0 25 0 1 0 453678763 76259328 12690 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12690 231 231 0 18387 0
vsize: 74472
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13425 0 0 0 88933 80 0 0 25 0 1 0 453678763 76259328 12697 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12697 231 231 0 18387 0
vsize: 74472
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13439 0 0 0 89933 80 0 0 25 0 1 0 453678763 76259328 12711 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12711 231 231 0 18387 0
vsize: 74472
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13455 0 0 0 90933 81 0 0 25 0 1 0 453678763 76259328 12727 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12727 231 231 0 18387 0
vsize: 74472
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13466 0 0 0 91933 81 0 0 25 0 1 0 453678763 76259328 12738 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12738 231 231 0 18387 0
vsize: 74472
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13470 0 0 0 92933 81 0 0 25 0 1 0 453678763 76259328 12742 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18618 12742 231 231 0 18387 0
vsize: 74472
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13481 0 0 0 93933 82 0 0 25 0 1 0 453678763 76398592 12753 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18652 12753 231 231 0 18421 0
vsize: 74608
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13497 0 0 0 94932 83 0 0 25 0 1 0 453678763 76398592 12769 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18652 12769 231 231 0 18421 0
vsize: 74608
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13502 0 0 0 95932 83 0 0 25 0 1 0 453678763 76398592 12774 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18652 12774 231 231 0 18421 0
vsize: 74608
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13517 0 0 0 96932 83 0 0 25 0 1 0 453678763 76398592 12789 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18652 12789 231 231 0 18421 0
vsize: 74608
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13529 0 0 0 97931 84 0 0 25 0 1 0 453678763 76398592 12801 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18652 12801 231 231 0 18421 0
vsize: 74608
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13544 0 0 0 98931 84 0 0 25 0 1 0 453678763 76537856 12816 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18686 12816 231 231 0 18455 0
vsize: 74744
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13558 0 0 0 99931 85 0 0 25 0 1 0 453678763 76685312 12830 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 12830 231 231 0 18491 0
vsize: 74888
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13776 0 0 0 100930 86 0 0 25 0 1 0 453678763 76685312 13048 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 13048 231 231 0 18491 0
vsize: 74888
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13791 0 0 0 101929 87 0 0 25 0 1 0 453678763 76685312 13063 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 13063 231 231 0 18491 0
vsize: 74888
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13806 0 0 0 102929 87 0 0 25 0 1 0 453678763 76685312 13078 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 13078 231 231 0 18491 0
vsize: 74888
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13818 0 0 0 103929 87 0 0 25 0 1 0 453678763 76685312 13090 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 13090 231 231 0 18491 0
vsize: 74888
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13833 0 0 0 104929 88 0 0 25 0 1 0 453678763 76685312 13105 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 13105 231 231 0 18491 0
vsize: 74888
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 13843 0 0 0 105929 88 0 0 25 0 1 0 453678763 76685312 13115 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18722 13115 231 231 0 18491 0
vsize: 74888
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14205 0 0 0 106928 89 0 0 25 0 1 0 453678763 76840960 13477 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18760 13477 231 231 0 18529 0
vsize: 75040
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14551 0 0 0 107927 90 0 0 25 0 1 0 453678763 76980224 13823 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 13823 231 231 0 18563 0
vsize: 75176
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14857 0 0 0 108926 92 0 0 25 0 1 0 453678763 76980224 14129 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14129 231 231 0 18563 0
vsize: 75176
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14868 0 0 0 109925 92 0 0 25 0 1 0 453678763 76980224 14140 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14140 231 231 0 18563 0
vsize: 75176
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14878 0 0 0 110926 92 0 0 25 0 1 0 453678763 76980224 14150 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14150 231 231 0 18563 0
vsize: 75176
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14887 0 0 0 111925 93 0 0 25 0 1 0 453678763 76980224 14159 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14159 231 231 0 18563 0
vsize: 75176
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14892 0 0 0 112925 93 0 0 25 0 1 0 453678763 76980224 14164 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14164 231 231 0 18563 0
vsize: 75176
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14896 0 0 0 113925 93 0 0 25 0 1 0 453678763 76980224 14168 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14168 231 231 0 18563 0
vsize: 75176
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14906 0 0 0 114925 93 0 0 25 0 1 0 453678763 76980224 14178 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14178 231 231 0 18563 0
vsize: 75176
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14918 0 0 0 115925 94 0 0 25 0 1 0 453678763 76980224 14190 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18794 14190 231 231 0 18563 0
vsize: 75176
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14931 0 0 0 116925 94 0 0 25 0 1 0 453678763 77144064 14203 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 14203 231 231 0 18603 0
vsize: 75336
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14942 0 0 0 117924 95 0 0 25 0 1 0 453678763 77144064 14214 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 14214 231 231 0 18603 0
vsize: 75336
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14953 0 0 0 118924 95 0 0 25 0 1 0 453678763 77144064 14225 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 14225 231 231 0 18603 0
vsize: 75336
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23634
Raw data (stat): 23634 (PBS4) R 23633 30701 30700 0 -1 0 14964 0 0 0 119924 96 0 0 25 0 1 0 453678763 77144064 14236 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 14236 231 231 0 18603 0
vsize: 75336
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23634
Raw data (stat): 23634 (PBS4) Z 23633 30701 30700 0 -1 1036 14964 0 0 0 119924 98 0 0 25 0 1 0 453678763 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.04
CPU time (s): 1200.23
CPU user time (s): 1199.24
CPU system time (s): 0.987849
CPU usage (%): 100.016
Max. virtual memory (Kb): 75336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####