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-ii8e1.opb
MD5SUM	979ebd144bbd2b562b23479b90a02c66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	343
Optimality of the best value was proved	NO
Number of terms in the objective function	1040
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	1040
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1040
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	1040
Total number of constraints	3656
Number of constraints which are clauses	3656
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	10
Trace number 7789

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-17 16:19:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1572 boxname=wulflinc17 idbench=175 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  979ebd144bbd2b562b23479b90a02c66  /oldhome/oroussel/tmp/wulflinc17/normalized-ii8e1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-ii8e1.opb
IDLAUNCH: 1572
/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:        735272 kB
Buffers:         37388 kB
Cached:         226524 kB
SwapCached:       2376 kB
Active:          68400 kB
Inactive:       200860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        735020 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7044 kB
Slab:            24508 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:39:16 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1572 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-ii8e1.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.96 0.87 2/55 16959
Raw data (stat): 16959 (runsolver) R 16958 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511909034 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.0006 s]
Raw data (loadavg): 0.87 0.97 0.87 2/55 16959
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 2136 0 0 0 993 6 0 0 25 0 1 0 511909034 10240000 2132 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2500 2132 231 231 0 2269 0
vsize: 10000
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.97 0.87 2/55 16959
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 3485 0 0 0 1990 9 0 0 25 0 1 0 511909034 18628608 3481 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4548 3481 231 231 0 4317 0
vsize: 18192
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.97 0.87 2/55 16959
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 4870 0 0 0 2986 13 0 0 25 0 1 0 511909034 35602432 4817 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8692 4817 231 231 0 8461 0
vsize: 34768
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 6110 0 0 0 3983 16 0 0 25 0 1 0 511909034 35741696 6057 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8726 6057 231 231 0 8495 0
vsize: 34904
[startup+50.0006 s]
Raw data (loadavg): 0.93 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 7180 0 0 0 4979 20 0 0 25 0 1 0 511909034 35741696 7127 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8726 7127 231 231 0 8495 0
vsize: 34904
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 7997 0 0 0 5975 25 0 0 25 0 1 0 511909034 35880960 7944 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 7944 231 231 0 8529 0
vsize: 35040
[startup+70.0001 s]
Raw data (loadavg): 0.95 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8656 0 0 0 6972 27 0 0 25 0 1 0 511909034 36024320 8603 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8795 8603 231 231 0 8564 0
vsize: 35180
[startup+80.0004 s]
Raw data (loadavg): 0.96 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8676 0 0 0 7970 30 0 0 25 0 1 0 511909034 36024320 8623 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8795 8623 231 231 0 8564 0
vsize: 35180
[startup+90.0003 s]
Raw data (loadavg): 0.96 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8690 0 0 0 8968 32 0 0 25 0 1 0 511909034 36024320 8637 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8795 8637 231 231 0 8564 0
vsize: 35180
[startup+99.9999 s]
Raw data (loadavg): 0.97 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8702 0 0 0 9967 33 0 0 25 0 1 0 511909034 36151296 8649 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8826 8649 231 231 0 8595 0
vsize: 35304
[startup+110 s]
Raw data (loadavg): 0.97 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8715 0 0 0 10966 34 0 0 25 0 1 0 511909034 36151296 8662 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8826 8662 231 231 0 8595 0
vsize: 35304
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8828 0 0 0 11966 35 0 0 25 0 1 0 511909034 36544512 8678 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8922 8678 231 231 0 8691 0
vsize: 35688
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.88 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8845 0 0 0 12963 38 0 0 25 0 1 0 511909034 36687872 8695 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8695 231 231 0 8726 0
vsize: 35828
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8856 0 0 0 13961 40 0 0 25 0 1 0 511909034 36687872 8706 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8706 231 231 0 8726 0
vsize: 35828
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8871 0 0 0 14961 40 0 0 25 0 1 0 511909034 36687872 8721 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8721 231 231 0 8726 0
vsize: 35828
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8883 0 0 0 15960 41 0 0 25 0 1 0 511909034 36687872 8733 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8733 231 231 0 8726 0
vsize: 35828
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8898 0 0 0 16959 43 0 0 25 0 1 0 511909034 36818944 8748 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 8748 231 231 0 8758 0
vsize: 35956
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8910 0 0 0 17958 43 0 0 25 0 1 0 511909034 36818944 8760 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 8760 231 231 0 8758 0
vsize: 35956
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8929 0 0 0 18958 44 0 0 25 0 1 0 511909034 36818944 8779 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 8779 231 231 0 8758 0
vsize: 35956
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8937 0 0 0 19958 44 0 0 25 0 1 0 511909034 36818944 8787 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 8787 231 231 0 8758 0
vsize: 35956
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8958 0 0 0 20958 44 0 0 25 0 1 0 511909034 36950016 8808 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 8808 231 231 0 8790 0
vsize: 36084
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8970 0 0 0 21957 45 0 0 25 0 1 0 511909034 36950016 8820 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 8820 231 231 0 8790 0
vsize: 36084
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8983 0 0 0 22957 46 0 0 25 0 1 0 511909034 36950016 8833 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 8833 231 231 0 8790 0
vsize: 36084
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 8992 0 0 0 23957 46 0 0 25 0 1 0 511909034 36950016 8842 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 8842 231 231 0 8790 0
vsize: 36084
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9003 0 0 0 24956 46 0 0 25 0 1 0 511909034 36950016 8853 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9021 8853 231 231 0 8790 0
vsize: 36084
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9016 0 0 0 25956 47 0 0 25 0 1 0 511909034 37122048 8866 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 8866 231 231 0 8832 0
vsize: 36252
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9026 0 0 0 26956 47 0 0 25 0 1 0 511909034 37122048 8876 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 8876 231 231 0 8832 0
vsize: 36252
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9036 0 0 0 27956 47 0 0 25 0 1 0 511909034 37122048 8886 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 8886 231 231 0 8832 0
vsize: 36252
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9045 0 0 0 28956 48 0 0 25 0 1 0 511909034 37122048 8895 4294967295 134512640 135450300 3221224640 3221223472 134538631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 8895 231 231 0 8832 0
vsize: 36252
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9056 0 0 0 29956 48 0 0 25 0 1 0 511909034 37122048 8906 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 8906 231 231 0 8832 0
vsize: 36252
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9259 0 0 0 30955 49 0 0 25 0 1 0 511909034 38035456 8916 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8916 231 231 0 9055 0
vsize: 37144
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9268 0 0 0 31955 49 0 0 25 0 1 0 511909034 38035456 8925 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8925 231 231 0 9055 0
vsize: 37144
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 16961
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9276 0 0 0 32955 49 0 0 25 0 1 0 511909034 38035456 8933 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8933 231 231 0 9055 0
vsize: 37144
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9288 0 0 0 33955 50 0 0 25 0 1 0 511909034 38035456 8945 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8945 231 231 0 9055 0
vsize: 37144
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9298 0 0 0 34954 50 0 0 25 0 1 0 511909034 38035456 8955 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8955 231 231 0 9055 0
vsize: 37144
[startup+359.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9306 0 0 0 35955 50 0 0 25 0 1 0 511909034 38035456 8963 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8963 231 231 0 9055 0
vsize: 37144
[startup+369.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9313 0 0 0 36954 51 0 0 25 0 1 0 511909034 38035456 8970 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8970 231 231 0 9055 0
vsize: 37144
[startup+379.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9323 0 0 0 37954 51 0 0 25 0 1 0 511909034 38035456 8980 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8980 231 231 0 9055 0
vsize: 37144
[startup+389.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9332 0 0 0 38954 51 0 0 25 0 1 0 511909034 38035456 8989 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8989 231 231 0 9055 0
vsize: 37144
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9340 0 0 0 39954 51 0 0 25 0 1 0 511909034 38215680 8997 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 8997 231 231 0 9099 0
vsize: 37320
[startup+409.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9350 0 0 0 40954 51 0 0 25 0 1 0 511909034 38215680 9007 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 9007 231 231 0 9099 0
vsize: 37320
[startup+419.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9358 0 0 0 41955 51 0 0 25 0 1 0 511909034 38215680 9015 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 9015 231 231 0 9099 0
vsize: 37320
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9368 0 0 0 42954 52 0 0 25 0 1 0 511909034 38215680 9025 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 9025 231 231 0 9099 0
vsize: 37320
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9379 0 0 0 43954 52 0 0 25 0 1 0 511909034 38215680 9036 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 9036 231 231 0 9099 0
vsize: 37320
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9387 0 0 0 44954 52 0 0 25 0 1 0 511909034 38215680 9044 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 9044 231 231 0 9099 0
vsize: 37320
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9396 0 0 0 45954 53 0 0 25 0 1 0 511909034 38215680 9053 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9330 9053 231 231 0 9099 0
vsize: 37320
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9403 0 0 0 46954 53 0 0 25 0 1 0 511909034 38359040 9060 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9060 231 231 0 9134 0
vsize: 37460
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9412 0 0 0 47954 53 0 0 25 0 1 0 511909034 38359040 9069 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9069 231 231 0 9134 0
vsize: 37460
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9421 0 0 0 48954 54 0 0 25 0 1 0 511909034 38359040 9078 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9078 231 231 0 9134 0
vsize: 37460
[startup+499.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9429 0 0 0 49953 54 0 0 25 0 1 0 511909034 38359040 9086 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9086 231 231 0 9134 0
vsize: 37460
[startup+509.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9437 0 0 0 50953 54 0 0 25 0 1 0 511909034 38359040 9094 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9094 231 231 0 9134 0
vsize: 37460
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9446 0 0 0 51953 55 0 0 25 0 1 0 511909034 38359040 9103 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9103 231 231 0 9134 0
vsize: 37460
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9455 0 0 0 52953 55 0 0 25 0 1 0 511909034 38359040 9112 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9112 231 231 0 9134 0
vsize: 37460
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9463 0 0 0 53953 55 0 0 25 0 1 0 511909034 38359040 9120 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9120 231 231 0 9134 0
vsize: 37460
[startup+549.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9471 0 0 0 54953 56 0 0 25 0 1 0 511909034 38359040 9128 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 9128 231 231 0 9134 0
vsize: 37460
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9478 0 0 0 55952 56 0 0 25 0 1 0 511909034 38514688 9135 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9135 231 231 0 9172 0
vsize: 37612
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9488 0 0 0 56952 57 0 0 25 0 1 0 511909034 38514688 9145 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9145 231 231 0 9172 0
vsize: 37612
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9497 0 0 0 57952 57 0 0 25 0 1 0 511909034 38514688 9154 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9154 231 231 0 9172 0
vsize: 37612
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9505 0 0 0 58953 57 0 0 25 0 1 0 511909034 38514688 9162 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9162 231 231 0 9172 0
vsize: 37612
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9514 0 0 0 59952 57 0 0 25 0 1 0 511909034 38514688 9171 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9171 231 231 0 9172 0
vsize: 37612
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9523 0 0 0 60952 57 0 0 25 0 1 0 511909034 38514688 9180 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9180 231 231 0 9172 0
vsize: 37612
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9531 0 0 0 61952 58 0 0 25 0 1 0 511909034 38514688 9188 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9188 231 231 0 9172 0
vsize: 37612
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16963
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9539 0 0 0 62952 58 0 0 25 0 1 0 511909034 38514688 9196 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9196 231 231 0 9172 0
vsize: 37612
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9548 0 0 0 63952 59 0 0 25 0 1 0 511909034 38514688 9205 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9205 231 231 0 9172 0
vsize: 37612
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9556 0 0 0 64952 59 0 0 25 0 1 0 511909034 38514688 9213 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9213 231 231 0 9172 0
vsize: 37612
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9567 0 0 0 65952 59 0 0 25 0 1 0 511909034 38694912 9224 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9224 231 231 0 9216 0
vsize: 37788
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9572 0 0 0 66952 59 0 0 25 0 1 0 511909034 38694912 9229 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9229 231 231 0 9216 0
vsize: 37788
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9583 0 0 0 67951 60 0 0 25 0 1 0 511909034 38694912 9240 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9240 231 231 0 9216 0
vsize: 37788
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9588 0 0 0 68951 60 0 0 25 0 1 0 511909034 38694912 9245 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9245 231 231 0 9216 0
vsize: 37788
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9599 0 0 0 69951 61 0 0 25 0 1 0 511909034 38694912 9256 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9256 231 231 0 9216 0
vsize: 37788
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9606 0 0 0 70951 61 0 0 25 0 1 0 511909034 38694912 9263 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9263 231 231 0 9216 0
vsize: 37788
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9616 0 0 0 71951 61 0 0 25 0 1 0 511909034 38694912 9273 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9273 231 231 0 9216 0
vsize: 37788
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9622 0 0 0 72951 61 0 0 25 0 1 0 511909034 38694912 9279 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9279 231 231 0 9216 0
vsize: 37788
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9633 0 0 0 73951 62 0 0 25 0 1 0 511909034 38694912 9290 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9290 231 231 0 9216 0
vsize: 37788
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 9638 0 0 0 74951 62 0 0 25 0 1 0 511909034 38694912 9295 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9447 9295 231 231 0 9216 0
vsize: 37788
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10034 0 0 0 75950 63 0 0 25 0 1 0 511909034 40468480 9306 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9306 231 231 0 9649 0
vsize: 39520
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10040 0 0 0 76950 63 0 0 25 0 1 0 511909034 40468480 9312 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9312 231 231 0 9649 0
vsize: 39520
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10047 0 0 0 77950 64 0 0 25 0 1 0 511909034 40468480 9319 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9319 231 231 0 9649 0
vsize: 39520
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10055 0 0 0 78950 64 0 0 25 0 1 0 511909034 40468480 9327 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9327 231 231 0 9649 0
vsize: 39520
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10063 0 0 0 79949 64 0 0 25 0 1 0 511909034 40468480 9335 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9335 231 231 0 9649 0
vsize: 39520
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10072 0 0 0 80949 64 0 0 25 0 1 0 511909034 40468480 9344 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9344 231 231 0 9649 0
vsize: 39520
[startup+820.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10080 0 0 0 81949 65 0 0 25 0 1 0 511909034 40468480 9352 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9352 231 231 0 9649 0
vsize: 39520
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10089 0 0 0 82949 65 0 0 25 0 1 0 511909034 40468480 9361 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9361 231 231 0 9649 0
vsize: 39520
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10096 0 0 0 83949 66 0 0 25 0 1 0 511909034 40468480 9368 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9368 231 231 0 9649 0
vsize: 39520
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10103 0 0 0 84948 66 0 0 25 0 1 0 511909034 40468480 9375 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9375 231 231 0 9649 0
vsize: 39520
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10111 0 0 0 85948 67 0 0 25 0 1 0 511909034 40468480 9383 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9383 231 231 0 9649 0
vsize: 39520
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10119 0 0 0 86948 67 0 0 25 0 1 0 511909034 40468480 9391 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9391 231 231 0 9649 0
vsize: 39520
[startup+880.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10127 0 0 0 87948 67 0 0 25 0 1 0 511909034 40468480 9399 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9399 231 231 0 9649 0
vsize: 39520
[startup+890.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10135 0 0 0 88948 67 0 0 25 0 1 0 511909034 40468480 9407 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9407 231 231 0 9649 0
vsize: 39520
[startup+900.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10142 0 0 0 89948 68 0 0 25 0 1 0 511909034 40697856 9414 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9414 231 231 0 9705 0
vsize: 39744
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10151 0 0 0 90948 68 0 0 25 0 1 0 511909034 40697856 9423 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9423 231 231 0 9705 0
vsize: 39744
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10160 0 0 0 91948 68 0 0 25 0 1 0 511909034 40697856 9432 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9432 231 231 0 9705 0
vsize: 39744
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16965
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10167 0 0 0 92948 68 0 0 25 0 1 0 511909034 40697856 9439 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9439 231 231 0 9705 0
vsize: 39744
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10175 0 0 0 93948 68 0 0 25 0 1 0 511909034 40697856 9447 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9447 231 231 0 9705 0
vsize: 39744
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10183 0 0 0 94947 69 0 0 25 0 1 0 511909034 40697856 9455 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9455 231 231 0 9705 0
vsize: 39744
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10191 0 0 0 95947 70 0 0 25 0 1 0 511909034 40697856 9463 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9463 231 231 0 9705 0
vsize: 39744
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10198 0 0 0 96947 70 0 0 25 0 1 0 511909034 40697856 9470 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9470 231 231 0 9705 0
vsize: 39744
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10207 0 0 0 97947 70 0 0 25 0 1 0 511909034 40697856 9479 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9479 231 231 0 9705 0
vsize: 39744
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10215 0 0 0 98947 70 0 0 25 0 1 0 511909034 40697856 9487 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9487 231 231 0 9705 0
vsize: 39744
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10222 0 0 0 99947 70 0 0 25 0 1 0 511909034 40697856 9494 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9494 231 231 0 9705 0
vsize: 39744
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10230 0 0 0 100947 71 0 0 25 0 1 0 511909034 40697856 9502 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9502 231 231 0 9705 0
vsize: 39744
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10236 0 0 0 101947 71 0 0 25 0 1 0 511909034 40697856 9508 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9508 231 231 0 9705 0
vsize: 39744
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10244 0 0 0 102946 72 0 0 25 0 1 0 511909034 40697856 9516 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9516 231 231 0 9705 0
vsize: 39744
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10251 0 0 0 103946 72 0 0 25 0 1 0 511909034 40697856 9523 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9523 231 231 0 9705 0
vsize: 39744
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10258 0 0 0 104946 73 0 0 25 0 1 0 511909034 40697856 9530 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9936 9530 231 231 0 9705 0
vsize: 39744
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10265 0 0 0 105945 73 0 0 25 0 1 0 511909034 40833024 9537 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9537 231 231 0 9738 0
vsize: 39876
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10273 0 0 0 106945 74 0 0 25 0 1 0 511909034 40833024 9545 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9545 231 231 0 9738 0
vsize: 39876
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10282 0 0 0 107945 74 0 0 25 0 1 0 511909034 40833024 9554 4294967295 134512640 135450300 3221224640 3221223500 134539316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9554 231 231 0 9738 0
vsize: 39876
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10290 0 0 0 108945 74 0 0 25 0 1 0 511909034 40833024 9562 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9562 231 231 0 9738 0
vsize: 39876
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10297 0 0 0 109945 74 0 0 25 0 1 0 511909034 40833024 9569 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9569 231 231 0 9738 0
vsize: 39876
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10305 0 0 0 110945 74 0 0 25 0 1 0 511909034 40833024 9577 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9577 231 231 0 9738 0
vsize: 39876
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10313 0 0 0 111945 75 0 0 25 0 1 0 511909034 40833024 9585 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9585 231 231 0 9738 0
vsize: 39876
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10322 0 0 0 112945 75 0 0 25 0 1 0 511909034 40976384 9594 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9594 231 231 0 9773 0
vsize: 40016
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10326 0 0 0 113945 76 0 0 25 0 1 0 511909034 40976384 9598 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9598 231 231 0 9773 0
vsize: 40016
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10334 0 0 0 114944 76 0 0 25 0 1 0 511909034 40976384 9606 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9606 231 231 0 9773 0
vsize: 40016
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10342 0 0 0 115944 76 0 0 25 0 1 0 511909034 40976384 9614 4294967295 134512640 135450300 3221224640 3221223104 134532843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9614 231 231 0 9773 0
vsize: 40016
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10349 0 0 0 116944 76 0 0 25 0 1 0 511909034 40976384 9621 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9621 231 231 0 9773 0
vsize: 40016
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10356 0 0 0 117944 77 0 0 25 0 1 0 511909034 40976384 9628 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9628 231 231 0 9773 0
vsize: 40016
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10364 0 0 0 118944 77 0 0 25 0 1 0 511909034 40976384 9636 4294967295 134512640 135450300 3221224640 3221223472 134549507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9636 231 231 0 9773 0
vsize: 40016
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16967
Raw data (stat): 16959 (PBS4) R 16958 20838 20837 0 -1 0 10372 0 0 0 119944 78 0 0 25 0 1 0 511909034 40976384 9644 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10004 9644 231 231 0 9773 0
vsize: 40016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 16967
Raw data (stat): 16959 (PBS4) Z 16958 20838 20837 0 -1 1036 10372 0 0 0 119944 79 0 0 25 0 1 0 511909034 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.03
CPU time (s): 1200.24
CPU user time (s): 1199.44
CPU system time (s): 0.799878
CPU usage (%): 100.018
Max. virtual memory (Kb): 40016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####