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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3684
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.3
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 19179

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 18:10:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16906 boxname=wulflinc11 idbench=1301 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-lp4l.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-lp4l.opb
IDLAUNCH: 16906
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        534072 kB
Buffers:         34816 kB
Cached:         444516 kB
SwapCached:          0 kB
Active:         164552 kB
Inactive:       317612 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        533820 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            12840 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:30:36 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 16906 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-lp4l.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.95 2/54 6969
Raw data (stat): 6969 (runsolver) R 6968 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488910150 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 667 0 0 0 995 3 0 0 25 0 1 0 488910150 3985408 663 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 973 663 231 231 0 742 0
vsize: 3892
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 1168 0 0 0 1994 5 0 0 25 0 1 0 488910150 6082560 1164 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1485 1164 231 231 0 1254 0
vsize: 5940
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 1829 0 0 0 2991 8 0 0 25 0 1 0 488910150 10612736 1825 4294967295 134512640 135450300 3221224640 3221223120 134580004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2591 1825 231 231 0 2360 0
vsize: 10364
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 2472 0 0 0 3990 9 0 0 25 0 1 0 488910150 19136512 2468 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4672 2468 231 231 0 4441 0
vsize: 18688
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 2860 0 0 0 4988 11 0 0 25 0 1 0 488910150 19603456 2807 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4786 2807 231 231 0 4555 0
vsize: 19144
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 3153 0 0 0 5987 12 0 0 25 0 1 0 488910150 19738624 3100 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 3100 231 231 0 4588 0
vsize: 19276
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 3479 0 0 0 6985 15 0 0 25 0 1 0 488910150 19873792 3426 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4852 3426 231 231 0 4621 0
vsize: 19408
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 3687 0 0 0 7984 16 0 0 25 0 1 0 488910150 20008960 3634 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4885 3634 231 231 0 4654 0
vsize: 19540
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 4044 0 0 0 8983 18 0 0 25 0 1 0 488910150 20144128 3991 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3991 231 231 0 4687 0
vsize: 19672
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 4293 0 0 0 9981 19 0 0 25 0 1 0 488910150 20279296 4240 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4240 231 231 0 4720 0
vsize: 19804
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 4537 0 0 0 10980 21 0 0 25 0 1 0 488910150 20410368 4484 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4983 4484 231 231 0 4752 0
vsize: 19932
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 4768 0 0 0 11979 22 0 0 25 0 1 0 488910150 20410368 4715 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4983 4715 231 231 0 4752 0
vsize: 19932
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5080 0 0 0 12977 24 0 0 25 0 1 0 488910150 21233664 4930 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4930 231 231 0 4953 0
vsize: 20736
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5087 0 0 0 13976 25 0 0 25 0 1 0 488910150 21233664 4937 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4937 231 231 0 4953 0
vsize: 20736
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5096 0 0 0 14976 25 0 0 25 0 1 0 488910150 21233664 4946 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4946 231 231 0 4953 0
vsize: 20736
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5102 0 0 0 15975 26 0 0 25 0 1 0 488910150 21233664 4952 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4952 231 231 0 4953 0
vsize: 20736
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5109 0 0 0 16975 26 0 0 25 0 1 0 488910150 21233664 4959 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4959 231 231 0 4953 0
vsize: 20736
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5117 0 0 0 17975 27 0 0 25 0 1 0 488910150 21233664 4967 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4967 231 231 0 4953 0
vsize: 20736
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5132 0 0 0 18975 28 0 0 25 0 1 0 488910150 21233664 4982 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4982 231 231 0 4953 0
vsize: 20736
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5143 0 0 0 19973 29 0 0 25 0 1 0 488910150 21368832 4993 4294967295 134512640 135450300 3221224640 3221223552 134597050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4993 231 231 0 4986 0
vsize: 20868
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5149 0 0 0 20973 30 0 0 25 0 1 0 488910150 21368832 4999 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4999 231 231 0 4986 0
vsize: 20868
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5158 0 0 0 21972 30 0 0 25 0 1 0 488910150 21368832 5008 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 5008 231 231 0 4986 0
vsize: 20868
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5169 0 0 0 22972 31 0 0 25 0 1 0 488910150 21368832 5019 4294967295 134512640 135450300 3221224640 3221223376 134538727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 5019 231 231 0 4986 0
vsize: 20868
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5180 0 0 0 23972 31 0 0 25 0 1 0 488910150 21368832 5030 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 5030 231 231 0 4986 0
vsize: 20868
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5196 0 0 0 24972 32 0 0 25 0 1 0 488910150 21368832 5046 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 5046 231 231 0 4986 0
vsize: 20868
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5209 0 0 0 25972 32 0 0 25 0 1 0 488910150 21504000 5059 4294967295 134512640 135450300 3221224640 3221223360 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5250 5059 231 231 0 5019 0
vsize: 21000
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.95 3/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5220 0 0 0 26971 33 0 0 25 0 1 0 488910150 21504000 5070 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5250 5070 231 231 0 5019 0
vsize: 21000
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5234 0 0 0 27971 33 0 0 25 0 1 0 488910150 21504000 5084 4294967295 134512640 135450300 3221224640 3221223072 134579552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5250 5084 231 231 0 5019 0
vsize: 21000
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5257 0 0 0 28971 33 0 0 25 0 1 0 488910150 21639168 5107 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5283 5107 231 231 0 5052 0
vsize: 21132
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5276 0 0 0 29971 34 0 0 25 0 1 0 488910150 21639168 5126 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5283 5126 231 231 0 5052 0
vsize: 21132
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5286 0 0 0 30970 34 0 0 25 0 1 0 488910150 21639168 5136 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5283 5136 231 231 0 5052 0
vsize: 21132
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5490 0 0 0 31970 35 0 0 25 0 1 0 488910150 22425600 5147 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5475 5147 231 231 0 5244 0
vsize: 21900
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5527 0 0 0 32969 36 0 0 25 0 1 0 488910150 22560768 5184 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5508 5184 231 231 0 5277 0
vsize: 22032
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5639 0 0 0 33968 37 0 0 25 0 1 0 488910150 39473152 5296 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9637 5296 231 231 0 9406 0
vsize: 38548
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 5860 0 0 0 34967 38 0 0 25 0 1 0 488910150 39473152 5517 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9637 5517 231 231 0 9406 0
vsize: 38548
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 6044 0 0 0 35966 39 0 0 25 0 1 0 488910150 39473152 5701 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9637 5701 231 231 0 9406 0
vsize: 38548
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 6176 0 0 0 36966 40 0 0 25 0 1 0 488910150 39473152 5833 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9637 5833 231 231 0 9406 0
vsize: 38548
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 6346 0 0 0 37965 41 0 0 25 0 1 0 488910150 39608320 6003 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9670 6003 231 231 0 9439 0
vsize: 38680
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 6529 0 0 0 38964 42 0 0 25 0 1 0 488910150 39743488 6186 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9703 6186 231 231 0 9472 0
vsize: 38812
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 6809 0 0 0 39963 43 0 0 25 0 1 0 488910150 39743488 6466 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9703 6466 231 231 0 9472 0
vsize: 38812
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 7028 0 0 0 40963 44 0 0 25 0 1 0 488910150 39743488 6685 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9703 6685 231 231 0 9472 0
vsize: 38812
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 7232 0 0 0 41962 45 0 0 25 0 1 0 488910150 39878656 6889 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 6889 231 231 0 9505 0
vsize: 38944
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 7450 0 0 0 42961 46 0 0 25 0 1 0 488910150 39878656 7107 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 7107 231 231 0 9505 0
vsize: 38944
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 7780 0 0 0 43959 48 0 0 25 0 1 0 488910150 39878656 7437 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 7437 231 231 0 9505 0
vsize: 38944
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 7993 0 0 0 44959 49 0 0 25 0 1 0 488910150 40013824 7650 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9769 7650 231 231 0 9538 0
vsize: 39076
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8107 0 0 0 45958 49 0 0 25 0 1 0 488910150 40013824 7764 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9769 7764 231 231 0 9538 0
vsize: 39076
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8355 0 0 0 46957 50 0 0 25 0 1 0 488910150 40013824 8012 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9769 8012 231 231 0 9538 0
vsize: 39076
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8381 0 0 0 47957 51 0 0 25 0 1 0 488910150 40148992 8038 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9802 8038 231 231 0 9571 0
vsize: 39208
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8391 0 0 0 48957 51 0 0 25 0 1 0 488910150 40148992 8048 4294967295 134512640 135450300 3221224640 3221223360 134536011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9802 8048 231 231 0 9571 0
vsize: 39208
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8408 0 0 0 49957 51 0 0 25 0 1 0 488910150 40148992 8065 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9802 8065 231 231 0 9571 0
vsize: 39208
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8417 0 0 0 50957 51 0 0 25 0 1 0 488910150 40148992 8074 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9802 8074 231 231 0 9571 0
vsize: 39208
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8433 0 0 0 51957 52 0 0 25 0 1 0 488910150 40275968 8090 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9833 8090 231 231 0 9602 0
vsize: 39332
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8444 0 0 0 52957 52 0 0 25 0 1 0 488910150 40275968 8101 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9833 8101 231 231 0 9602 0
vsize: 39332
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8513 0 0 0 53956 52 0 0 25 0 1 0 488910150 40411136 8170 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9866 8170 231 231 0 9635 0
vsize: 39464
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8728 0 0 0 54956 53 0 0 25 0 1 0 488910150 40411136 8385 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9866 8385 231 231 0 9635 0
vsize: 39464
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8955 0 0 0 55955 54 0 0 25 0 1 0 488910150 40411136 8612 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9866 8612 231 231 0 9635 0
vsize: 39464
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 8987 0 0 0 56955 54 0 0 25 0 1 0 488910150 40546304 8644 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9899 8644 231 231 0 9668 0
vsize: 39596
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9049 0 0 0 57954 55 0 0 25 0 1 0 488910150 40681472 8706 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9932 8706 231 231 0 9701 0
vsize: 39728
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9181 0 0 0 58954 56 0 0 25 0 1 0 488910150 40824832 8838 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 8838 231 231 0 9736 0
vsize: 39868
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9272 0 0 0 59954 56 0 0 25 0 1 0 488910150 40824832 8929 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 8929 231 231 0 9736 0
vsize: 39868
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9383 0 0 0 60954 56 0 0 25 0 1 0 488910150 40824832 9040 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 9040 231 231 0 9736 0
vsize: 39868
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9473 0 0 0 61953 57 0 0 25 0 1 0 488910150 40824832 9130 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 9130 231 231 0 9736 0
vsize: 39868
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9521 0 0 0 62953 57 0 0 25 0 1 0 488910150 40824832 9178 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 9178 231 231 0 9736 0
vsize: 39868
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9530 0 0 0 63953 57 0 0 25 0 1 0 488910150 40824832 9187 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 9187 231 231 0 9736 0
vsize: 39868
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9539 0 0 0 64952 58 0 0 25 0 1 0 488910150 40824832 9196 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 9196 231 231 0 9736 0
vsize: 39868
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9548 0 0 0 65952 59 0 0 25 0 1 0 488910150 40951808 9205 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9998 9205 231 231 0 9767 0
vsize: 39992
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9560 0 0 0 66952 59 0 0 25 0 1 0 488910150 40951808 9217 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9998 9217 231 231 0 9767 0
vsize: 39992
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9584 0 0 0 67952 60 0 0 25 0 1 0 488910150 41086976 9241 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9241 231 231 0 9800 0
vsize: 40124
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9590 0 0 0 68952 60 0 0 25 0 1 0 488910150 41086976 9247 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9247 231 231 0 9800 0
vsize: 40124
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9607 0 0 0 69951 60 0 0 25 0 1 0 488910150 41086976 9264 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9264 231 231 0 9800 0
vsize: 40124
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9612 0 0 0 70951 60 0 0 25 0 1 0 488910150 41086976 9269 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9269 231 231 0 9800 0
vsize: 40124
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9620 0 0 0 71951 60 0 0 25 0 1 0 488910150 41086976 9277 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9277 231 231 0 9800 0
vsize: 40124
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9631 0 0 0 72951 61 0 0 25 0 1 0 488910150 41086976 9288 4294967295 134512640 135450300 3221224640 3221223248 134537616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10031 9288 231 231 0 9800 0
vsize: 40124
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9692 0 0 0 73951 61 0 0 25 0 1 0 488910150 41222144 9349 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10064 9349 231 231 0 9833 0
vsize: 40256
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9850 0 0 0 74950 62 0 0 25 0 1 0 488910150 41222144 9507 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10064 9507 231 231 0 9833 0
vsize: 40256
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 9999 0 0 0 75950 63 0 0 25 0 1 0 488910150 41222144 9656 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10064 9656 231 231 0 9833 0
vsize: 40256
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 10147 0 0 0 76950 63 0 0 25 0 1 0 488910150 41222144 9804 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10064 9804 231 231 0 9833 0
vsize: 40256
[startup+780.019 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 10301 0 0 0 77949 64 0 0 25 0 1 0 488910150 74776576 9958 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18256 9958 231 231 0 18025 0
vsize: 73024
[startup+790.02 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 10458 0 0 0 78949 65 0 0 25 0 1 0 488910150 74903552 10115 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18287 10115 231 231 0 18056 0
vsize: 73148
[startup+800.02 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 10567 0 0 0 79948 65 0 0 25 0 1 0 488910150 74903552 10224 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18287 10224 231 231 0 18056 0
vsize: 73148
[startup+810.02 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11006 0 0 0 80948 66 0 0 25 0 1 0 488910150 76476416 10278 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18671 10278 231 231 0 18440 0
vsize: 74684
[startup+820.021 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11196 0 0 0 81948 67 0 0 25 0 1 0 488910150 76476416 10468 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18671 10468 231 231 0 18440 0
vsize: 74684
[startup+830.021 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11335 0 0 0 82947 67 0 0 25 0 1 0 488910150 76611584 10607 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 10607 231 231 0 18473 0
vsize: 74816
[startup+840.02 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11419 0 0 0 83947 67 0 0 25 0 1 0 488910150 76611584 10691 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 10691 231 231 0 18473 0
vsize: 74816
[startup+850.021 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11627 0 0 0 84946 68 0 0 25 0 1 0 488910150 76611584 10899 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 10899 231 231 0 18473 0
vsize: 74816
[startup+860.021 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11749 0 0 0 85946 69 0 0 25 0 1 0 488910150 76611584 11021 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 11021 231 231 0 18473 0
vsize: 74816
[startup+870.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 11887 0 0 0 86945 70 0 0 25 0 1 0 488910150 76611584 11159 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 11159 231 231 0 18473 0
vsize: 74816
[startup+880.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12086 0 0 0 87945 71 0 0 25 0 1 0 488910150 76611584 11358 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 11358 231 231 0 18473 0
vsize: 74816
[startup+890.021 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12208 0 0 0 88944 71 0 0 25 0 1 0 488910150 76611584 11480 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18704 11480 231 231 0 18473 0
vsize: 74816
[startup+900.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12328 0 0 0 89944 72 0 0 25 0 1 0 488910150 76742656 11600 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18736 11600 231 231 0 18505 0
vsize: 74944
[startup+910.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12469 0 0 0 90943 72 0 0 25 0 1 0 488910150 76742656 11741 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18736 11741 231 231 0 18505 0
vsize: 74944
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12524 0 0 0 91944 72 0 0 25 0 1 0 488910150 76742656 11796 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18736 11796 231 231 0 18505 0
vsize: 74944
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12613 0 0 0 92943 73 0 0 25 0 1 0 488910150 76742656 11885 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18736 11885 231 231 0 18505 0
vsize: 74944
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12694 0 0 0 93943 73 0 0 25 0 1 0 488910150 76742656 11966 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18736 11966 231 231 0 18505 0
vsize: 74944
[startup+950.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 12852 0 0 0 94943 74 0 0 25 0 1 0 488910150 76869632 12124 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 12124 231 231 0 18536 0
vsize: 75068
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13106 0 0 0 95942 75 0 0 25 0 1 0 488910150 76869632 12378 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 12378 231 231 0 18536 0
vsize: 75068
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13223 0 0 0 96942 75 0 0 25 0 1 0 488910150 77008896 12495 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18801 12495 231 231 0 18570 0
vsize: 75204
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13310 0 0 0 97942 76 0 0 25 0 1 0 488910150 77008896 12582 4294967295 134512640 135450300 3221224640 3221223376 134538739 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18801 12582 231 231 0 18570 0
vsize: 75204
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13401 0 0 0 98942 76 0 0 25 0 1 0 488910150 77008896 12673 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18801 12673 231 231 0 18570 0
vsize: 75204
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13519 0 0 0 99941 76 0 0 25 0 1 0 488910150 77008896 12791 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18801 12791 231 231 0 18570 0
vsize: 75204
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13532 0 0 0 100941 77 0 0 25 0 1 0 488910150 77008896 12804 4294967295 134512640 135450300 3221224640 3221223168 134545007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18801 12804 231 231 0 18570 0
vsize: 75204
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13635 0 0 0 101940 78 0 0 25 0 1 0 488910150 77008896 12907 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18801 12907 231 231 0 18570 0
vsize: 75204
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13788 0 0 0 102940 78 0 0 25 0 1 0 488910150 77144064 13060 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13060 231 231 0 18603 0
vsize: 75336
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 13974 0 0 0 103940 78 0 0 25 0 1 0 488910150 77144064 13246 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13246 231 231 0 18603 0
vsize: 75336
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14124 0 0 0 104940 79 0 0 25 0 1 0 488910150 77144064 13396 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13396 231 231 0 18603 0
vsize: 75336
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14199 0 0 0 105939 80 0 0 25 0 1 0 488910150 77144064 13471 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13471 231 231 0 18603 0
vsize: 75336
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14249 0 0 0 106939 80 0 0 25 0 1 0 488910150 77144064 13521 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13521 231 231 0 18603 0
vsize: 75336
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14264 0 0 0 107939 80 0 0 25 0 1 0 488910150 77144064 13536 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13536 231 231 0 18603 0
vsize: 75336
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14509 0 0 0 108938 81 0 0 25 0 1 0 488910150 77144064 13781 4294967295 134512640 135450300 3221224640 3221223504 134539232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13781 231 231 0 18603 0
vsize: 75336
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14591 0 0 0 109939 81 0 0 25 0 1 0 488910150 77144064 13863 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13863 231 231 0 18603 0
vsize: 75336
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14686 0 0 0 110938 82 0 0 25 0 1 0 488910150 77144064 13958 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18834 13958 231 231 0 18603 0
vsize: 75336
[startup+1120.03 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14795 0 0 0 111937 83 0 0 25 0 1 0 488910150 77279232 14067 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18867 14067 231 231 0 18636 0
vsize: 75468
[startup+1130.03 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14889 0 0 0 112937 83 0 0 25 0 1 0 488910150 77279232 14161 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18867 14161 231 231 0 18636 0
vsize: 75468
[startup+1140.03 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 14994 0 0 0 113937 84 0 0 25 0 1 0 488910150 77279232 14266 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18867 14266 231 231 0 18636 0
vsize: 75468
[startup+1150.03 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 15011 0 0 0 114936 84 0 0 25 0 1 0 488910150 77279232 14283 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18867 14283 231 231 0 18636 0
vsize: 75468
[startup+1160.03 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 15031 0 0 0 115936 84 0 0 25 0 1 0 488910150 77426688 14303 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18903 14303 231 231 0 18672 0
vsize: 75612
[startup+1170.03 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 15149 0 0 0 116936 85 0 0 25 0 1 0 488910150 77565952 14421 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18937 14421 231 231 0 18706 0
vsize: 75748
[startup+1180.03 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 15362 0 0 0 117935 86 0 0 25 0 1 0 488910150 77565952 14634 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18937 14634 231 231 0 18706 0
vsize: 75748
[startup+1190.03 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 15480 0 0 0 118935 87 0 0 25 0 1 0 488910150 77565952 14752 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18937 14752 231 231 0 18706 0
vsize: 75748
[startup+1200.03 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 6969
Raw data (stat): 6969 (PBS4) R 6968 32461 32460 0 -1 0 15607 0 0 0 119934 87 0 0 25 0 1 0 488910150 77565952 14879 4294967295 134512640 135450300 3221224640 3221223488 134539307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18937 14879 231 231 0 18706 0
vsize: 75748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.02 1.00 0.96 1/54 6969
Raw data (stat): 6969 (PBS4) Z 6968 32461 32460 0 -1 1036 15607 0 0 0 119934 90 0 0 25 0 1 0 488910150 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.06
CPU time (s): 1200.25
CPU user time (s): 1199.35
CPU system time (s): 0.903862
CPU usage (%): 100.016
Max. virtual memory (Kb): 75748
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####