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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 7876

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 16:51:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2688 boxname=wulflinc4 idbench=299 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.burch_dill.6.accl.ucl.opb
IDLAUNCH: 2688
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        849428 kB
Buffers:         37736 kB
Cached:         125396 kB
SwapCached:          0 kB
Active:          76992 kB
Inactive:        89012 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        847664 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13564 kB
Committed_AS:    71668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:11:21 (client local time) WITH STATUS 0 IN 1200.12 SECONDS
stats: 2688 7 1200.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.burch_dill.6.accl.ucl.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.80 0.90 0.90 2/54 2154
Raw data (stat): 2154 (runsolver) R 2153 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453868353 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.0006 s]
Raw data (loadavg): 0.83 0.91 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 3673 0 0 0 988 10 0 0 25 0 1 0 453868353 14602240 2851 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3565 2851 231 231 0 3334 0
vsize: 14260
[startup+20.0015 s]
Raw data (loadavg): 0.85 0.91 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 3985 0 0 0 1985 13 0 0 25 0 1 0 453868353 17666048 3116 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4313 3116 231 231 0 4082 0
vsize: 17252
[startup+30.0049 s]
Raw data (loadavg): 0.88 0.91 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 4371 0 0 0 2983 16 0 0 25 0 1 0 453868353 18698240 3408 4294967295 134512640 135450300 3221224624 3221223344 134533727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4565 3408 231 231 0 4334 0
vsize: 18260
[startup+40.0053 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 4561 0 0 0 3979 20 0 0 25 0 1 0 453868353 19152896 3504 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3504 231 231 0 4445 0
vsize: 18704
[startup+50.0062 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 4784 0 0 0 4976 23 0 0 25 0 1 0 453868353 19152896 3633 4294967295 134512640 135450300 3221224624 3221223100 134571775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3633 231 231 0 4445 0
vsize: 18704
[startup+60.0074 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 4998 0 0 0 5973 26 0 0 25 0 1 0 453868353 19349504 3753 4294967295 134512640 135450300 3221224624 3221223464 134538633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4724 3753 231 231 0 4493 0
vsize: 18896
[startup+70.0079 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 5195 0 0 0 6972 27 0 0 25 0 1 0 453868353 19546112 3856 4294967295 134512640 135450300 3221224624 3221223360 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4772 3856 231 231 0 4541 0
vsize: 19088
[startup+80.0127 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6167 0 0 0 7969 31 0 0 25 0 1 0 453868353 23879680 4734 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5830 4734 231 231 0 5599 0
vsize: 23320
[startup+90.013 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6269 0 0 0 8967 33 0 0 25 0 1 0 453868353 23879680 4789 4294967295 134512640 135450300 3221224624 3221223088 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5830 4789 231 231 0 5599 0
vsize: 23320
[startup+100.012 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6434 0 0 0 9964 35 0 0 25 0 1 0 453868353 23879680 4813 4294967295 134512640 135450300 3221224624 3221223360 134538512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5830 4813 231 231 0 5599 0
vsize: 23320
[startup+110.013 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6505 0 0 0 10963 37 0 0 25 0 1 0 453868353 23879680 4837 4294967295 134512640 135450300 3221224624 3221223360 134538976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5830 4837 231 231 0 5599 0
vsize: 23320
[startup+120.015 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6676 0 0 0 11959 41 0 0 25 0 1 0 453868353 24363008 4914 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5948 4914 231 231 0 5717 0
vsize: 23792
[startup+130.014 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6791 0 0 0 12956 44 0 0 25 0 1 0 453868353 24363008 4935 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5948 4935 231 231 0 5717 0
vsize: 23792
[startup+140.014 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 6908 0 0 0 13954 46 0 0 25 0 1 0 453868353 24510464 4958 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5984 4958 231 231 0 5753 0
vsize: 23936
[startup+150.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7024 0 0 0 14951 48 0 0 25 0 1 0 453868353 24510464 4980 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5984 4980 231 231 0 5753 0
vsize: 23936
[startup+160.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7187 0 0 0 15948 51 0 0 25 0 1 0 453868353 24788992 5049 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6052 5049 231 231 0 5821 0
vsize: 24208
[startup+170.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7278 0 0 0 16945 54 0 0 25 0 1 0 453868353 24985600 5093 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6100 5093 231 231 0 5869 0
vsize: 24400
[startup+180.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7428 0 0 0 17943 56 0 0 25 0 1 0 453868353 25378816 5149 4294967295 134512640 135450300 3221224624 3221223036 134533040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5149 231 231 0 5965 0
vsize: 24784
[startup+190.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7501 0 0 0 18942 58 0 0 25 0 1 0 453868353 25378816 5175 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5175 231 231 0 5965 0
vsize: 24784
[startup+200.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7556 0 0 0 19938 61 0 0 25 0 1 0 453868353 25378816 5183 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5183 231 231 0 5965 0
vsize: 24784
[startup+210.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7609 0 0 0 20936 64 0 0 25 0 1 0 453868353 25378816 5189 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5189 231 231 0 5965 0
vsize: 24784
[startup+220.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7650 0 0 0 21934 66 0 0 25 0 1 0 453868353 25575424 5230 4294967295 134512640 135450300 3221224624 3221223232 134537562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6244 5230 231 231 0 6013 0
vsize: 24976
[startup+230.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7704 0 0 0 22931 69 0 0 25 0 1 0 453868353 25575424 5237 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6244 5237 231 231 0 6013 0
vsize: 24976
[startup+240.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7819 0 0 0 23929 70 0 0 25 0 1 0 453868353 25739264 5258 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5258 231 231 0 6053 0
vsize: 25136
[startup+250.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7878 0 0 0 24926 73 0 0 25 0 1 0 453868353 25739264 5270 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5270 231 231 0 6053 0
vsize: 25136
[startup+260.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 7936 0 0 0 25924 76 0 0 25 0 1 0 453868353 25894912 5281 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6322 5281 231 231 0 6091 0
vsize: 25288
[startup+270.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8051 0 0 0 26920 80 0 0 25 0 1 0 453868353 26038272 5302 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6357 5302 231 231 0 6126 0
vsize: 25428
[startup+280.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8117 0 0 0 27917 82 0 0 25 0 1 0 453868353 26038272 5321 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6357 5321 231 231 0 6126 0
vsize: 25428
[startup+290.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8226 0 0 0 28914 85 0 0 25 0 1 0 453868353 26038272 5336 4294967295 134512640 135450300 3221224624 3221223360 134538604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6357 5336 231 231 0 6126 0
vsize: 25428
[startup+300.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8250 0 0 0 29912 88 0 0 25 0 1 0 453868353 26173440 5360 4294967295 134512640 135450300 3221224624 3221223140 135077518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 5360 231 231 0 6159 0
vsize: 25560
[startup+310.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8358 0 0 0 30911 89 0 0 25 0 1 0 453868353 26173440 5374 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 5374 231 231 0 6159 0
vsize: 25560
[startup+320.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8444 0 0 0 31908 91 0 0 25 0 1 0 453868353 26349568 5413 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6433 5413 231 231 0 6202 0
vsize: 25732
[startup+330.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8562 0 0 0 32907 93 0 0 25 0 1 0 453868353 26349568 5484 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 5484 231 231 0 6202 0
vsize: 25732
[startup+340.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8647 0 0 0 33905 95 0 0 25 0 1 0 453868353 26349568 5522 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 5522 231 231 0 6202 0
vsize: 25732
[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8783 0 0 0 34903 97 0 0 25 0 1 0 453868353 26497024 5611 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6469 5611 231 231 0 6238 0
vsize: 25876
[startup+360.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 8919 0 0 0 35900 100 0 0 25 0 1 0 453868353 26497024 5700 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6469 5700 231 231 0 6238 0
vsize: 25876
[startup+370.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9040 0 0 0 36898 102 0 0 25 0 1 0 453868353 26660864 5774 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6509 5774 231 231 0 6278 0
vsize: 26036
[startup+380.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9104 0 0 0 37897 104 0 0 25 0 1 0 453868353 26660864 5791 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6509 5791 231 231 0 6278 0
vsize: 26036
[startup+390.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9218 0 0 0 38894 107 0 0 25 0 1 0 453868353 26660864 5811 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6509 5811 231 231 0 6278 0
vsize: 26036
[startup+400.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9356 0 0 0 39893 108 0 0 25 0 1 0 453868353 35049472 5902 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8557 5902 231 231 0 8326 0
vsize: 34228
[startup+410.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9516 0 0 0 40891 110 0 0 25 0 1 0 453868353 35188736 6015 4294967295 134512640 135450300 3221224624 3221223440 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8591 6016 231 231 0 8360 0
vsize: 34364
[startup+420.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9581 0 0 0 41890 111 0 0 25 0 1 0 453868353 35188736 6033 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8591 6033 231 231 0 8360 0
vsize: 34364
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9643 0 0 0 42888 113 0 0 25 0 1 0 453868353 35352576 6048 4294967295 134512640 135450300 3221224624 3221223036 134533040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8631 6048 231 231 0 8400 0
vsize: 34524
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9706 0 0 0 43888 114 0 0 25 0 1 0 453868353 35352576 6064 4294967295 134512640 135450300 3221224624 3221223360 134538974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8631 6064 231 231 0 8400 0
vsize: 34524
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9840 0 0 0 44886 116 0 0 25 0 1 0 453868353 35352576 6151 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8631 6151 231 231 0 8400 0
vsize: 34524
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 9984 0 0 0 45884 118 0 0 25 0 1 0 453868353 35487744 6248 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8664 6248 231 231 0 8433 0
vsize: 34656
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10115 0 0 0 46883 119 0 0 25 0 1 0 453868353 35487744 6332 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8664 6332 231 231 0 8433 0
vsize: 34656
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10181 0 0 0 47881 121 0 0 25 0 1 0 453868353 35487744 6351 4294967295 134512640 135450300 3221224624 3221223232 134537600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8664 6351 231 231 0 8433 0
vsize: 34656
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10312 0 0 0 48880 123 0 0 25 0 1 0 453868353 35672064 6388 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6388 231 231 0 8478 0
vsize: 34836
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10379 0 0 0 49878 125 0 0 25 0 1 0 453868353 35672064 6455 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6455 231 231 0 8478 0
vsize: 34836
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10546 0 0 0 50877 127 0 0 25 0 1 0 453868353 35672064 6528 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6528 231 231 0 8478 0
vsize: 34836
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2154
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10603 0 0 0 51875 128 0 0 25 0 1 0 453868353 35672064 6538 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6538 231 231 0 8478 0
vsize: 34836
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 2168
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10664 0 0 0 52874 130 0 0 25 0 1 0 453868353 35672064 6552 4294967295 134512640 135450300 3221224624 3221223360 134538724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6552 231 231 0 8478 0
vsize: 34836
[startup+540.028 s]
Raw data (loadavg): 1.23 1.02 0.93 2/58 2197
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10726 0 0 0 53872 132 0 0 25 0 1 0 453868353 35672064 6567 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6567 231 231 0 8478 0
vsize: 34836
[startup+550.028 s]
Raw data (loadavg): 1.27 1.04 0.93 2/54 2207
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10785 0 0 0 54870 134 0 0 25 0 1 0 453868353 35672064 6579 4294967295 134512640 135450300 3221224624 3221223360 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6579 231 231 0 8478 0
vsize: 34836
[startup+560.029 s]
Raw data (loadavg): 1.22 1.03 0.93 2/54 2207
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10900 0 0 0 55869 135 0 0 25 0 1 0 453868353 35848192 6647 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8752 6647 231 231 0 8521 0
vsize: 35008
[startup+570.029 s]
Raw data (loadavg): 1.19 1.03 0.93 2/54 2207
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10956 0 0 0 56868 136 0 0 25 0 1 0 453868353 35848192 6656 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8752 6656 231 231 0 8521 0
vsize: 35008
[startup+580.029 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 2207
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10968 0 0 0 57865 139 0 0 25 0 1 0 453868353 35991552 6668 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6668 231 231 0 8556 0
vsize: 35148
[startup+590.03 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 2207
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 10974 0 0 0 58864 141 0 0 25 0 1 0 453868353 35991552 6674 4294967295 134512640 135450300 3221224624 3221223336 134537786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6674 231 231 0 8556 0
vsize: 35148
[startup+600.03 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 2207
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11033 0 0 0 59863 142 0 0 25 0 1 0 453868353 35991552 6686 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6686 231 231 0 8556 0
vsize: 35148
[startup+610.031 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11099 0 0 0 60862 144 0 0 25 0 1 0 453868353 35991552 6705 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6705 231 231 0 8556 0
vsize: 35148
[startup+620.031 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11153 0 0 0 61861 145 0 0 25 0 1 0 453868353 35991552 6712 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6712 231 231 0 8556 0
vsize: 35148
[startup+630.03 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11208 0 0 0 62860 146 0 0 25 0 1 0 453868353 35991552 6720 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6720 231 231 0 8556 0
vsize: 35148
[startup+640.031 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11261 0 0 0 63858 148 0 0 25 0 1 0 453868353 36122624 6726 4294967295 134512640 135450300 3221224624 3221223088 134532773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8819 6726 231 231 0 8588 0
vsize: 35276
[startup+650.031 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11330 0 0 0 64857 149 0 0 25 0 1 0 453868353 36122624 6748 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8819 6748 231 231 0 8588 0
vsize: 35276
[startup+660.032 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11464 0 0 0 65854 152 0 0 25 0 1 0 453868353 36122624 6835 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8819 6835 231 231 0 8588 0
vsize: 35276
[startup+670.032 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11534 0 0 0 66853 153 0 0 25 0 1 0 453868353 36122624 6905 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8819 6905 231 231 0 8588 0
vsize: 35276
[startup+680.032 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11649 0 0 0 67851 156 0 0 25 0 1 0 453868353 36122624 6973 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8819 6973 231 231 0 8588 0
vsize: 35276
[startup+690.032 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11720 0 0 0 68849 158 0 0 25 0 1 0 453868353 36261888 6997 4294967295 134512640 135450300 3221224624 3221223488 134539260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 6997 231 231 0 8622 0
vsize: 35412
[startup+700.032 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 11771 0 0 0 69847 160 0 0 25 0 1 0 453868353 36261888 7001 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 7001 231 231 0 8622 0
vsize: 35412
[startup+710.033 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 12644 0 0 0 70844 163 0 0 25 0 1 0 453868353 39407616 7011 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 7011 231 231 0 9390 0
vsize: 38484
[startup+720.033 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 12700 0 0 0 71842 165 0 0 25 0 1 0 453868353 39407616 7020 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 7020 231 231 0 9390 0
vsize: 38484
[startup+730.033 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 12815 0 0 0 72840 167 0 0 25 0 1 0 453868353 39407616 7088 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 7088 231 231 0 9390 0
vsize: 38484
[startup+740.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 12976 0 0 0 73838 169 0 0 25 0 1 0 453868353 39546880 7202 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9655 7202 231 231 0 9424 0
vsize: 38620
[startup+750.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 13211 0 0 0 74836 172 0 0 25 0 1 0 453868353 39546880 7343 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9655 7343 231 231 0 9424 0
vsize: 38620
[startup+760.036 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 13358 0 0 0 75833 175 0 0 25 0 1 0 453868353 39710720 7443 4294967295 134512640 135450300 3221224624 3221223488 134539260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 7443 231 231 0 9464 0
vsize: 38780
[startup+770.036 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 13453 0 0 0 76831 177 0 0 25 0 1 0 453868353 39845888 7491 4294967295 134512640 135450300 3221224624 3221223488 134539241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9728 7491 231 231 0 9497 0
vsize: 38912
[startup+780.037 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 13598 0 0 0 77828 180 0 0 25 0 1 0 453868353 40030208 7542 4294967295 134512640 135450300 3221224624 3221223528 134580065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 7542 231 231 0 9542 0
vsize: 39092
[startup+790.038 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 13781 0 0 0 78826 182 0 0 25 0 1 0 453868353 40030208 7678 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 7678 231 231 0 9542 0
vsize: 39092
[startup+800.039 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 13965 0 0 0 79824 184 0 0 25 0 1 0 453868353 40030208 7815 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 7815 231 231 0 9542 0
vsize: 39092
[startup+810.041 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14097 0 0 0 80822 186 0 0 25 0 1 0 453868353 40177664 7900 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 7900 231 231 0 9578 0
vsize: 39236
[startup+820.042 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14166 0 0 0 81820 188 0 0 25 0 1 0 453868353 40177664 7922 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 7922 231 231 0 9578 0
vsize: 39236
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14254 0 0 0 82818 189 0 0 25 0 1 0 453868353 40177664 7963 4294967295 134512640 135450300 3221224624 3221223440 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 7963 231 231 0 9578 0
vsize: 39236
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14378 0 0 0 83817 191 0 0 25 0 1 0 453868353 40177664 8040 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 8040 231 231 0 9578 0
vsize: 39236
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14459 0 0 0 84814 193 0 0 25 0 1 0 453868353 40177664 8121 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 8121 231 231 0 9578 0
vsize: 39236
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2209
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14571 0 0 0 85813 195 0 0 25 0 1 0 453868353 40312832 8186 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8186 231 231 0 9611 0
vsize: 39368
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14701 0 0 0 86810 197 0 0 25 0 1 0 453868353 40312832 8269 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8269 231 231 0 9611 0
vsize: 39368
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14757 0 0 0 87807 200 0 0 25 0 1 0 453868353 40312832 8278 4294967295 134512640 135450300 3221224624 3221223360 134538512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8278 231 231 0 9611 0
vsize: 39368
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14810 0 0 0 88805 202 0 0 25 0 1 0 453868353 40312832 8284 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8284 231 231 0 9611 0
vsize: 39368
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14821 0 0 0 89802 205 0 0 25 0 1 0 453868353 40312832 8295 4294967295 134512640 135450300 3221224624 3221222976 134533212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8295 231 231 0 9611 0
vsize: 39368
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14922 0 0 0 90800 207 0 0 25 0 1 0 453868353 40452096 8302 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9876 8302 231 231 0 9645 0
vsize: 39504
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 14935 0 0 0 91799 208 0 0 25 0 1 0 453868353 40452096 8315 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9876 8315 231 231 0 9645 0
vsize: 39504
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15041 0 0 0 92796 211 0 0 25 0 1 0 453868353 40452096 8327 4294967295 134512640 135450300 3221224624 3221222976 134533052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9876 8327 231 231 0 9645 0
vsize: 39504
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15113 0 0 0 93795 212 0 0 25 0 1 0 453868353 40587264 8352 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9909 8352 231 231 0 9678 0
vsize: 39636
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15119 0 0 0 94792 215 0 0 25 0 1 0 453868353 40587264 8358 4294967295 134512640 135450300 3221224624 3221222976 134533118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9909 8358 231 231 0 9678 0
vsize: 39636
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15171 0 0 0 95790 217 0 0 25 0 1 0 453868353 40783872 8363 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9957 8363 231 231 0 9726 0
vsize: 39828
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15225 0 0 0 96787 220 0 0 25 0 1 0 453868353 40783872 8370 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9957 8370 231 231 0 9726 0
vsize: 39828
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15322 0 0 0 97785 222 0 0 25 0 1 0 453868353 40919040 8420 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9990 8420 231 231 0 9759 0
vsize: 39960
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15325 0 0 0 98784 223 0 0 25 0 1 0 453868353 40919040 8423 4294967295 134512640 135450300 3221224624 3221223056 134533490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9990 8423 231 231 0 9759 0
vsize: 39960
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15378 0 0 0 99782 225 0 0 25 0 1 0 453868353 40919040 8429 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9990 8429 231 231 0 9759 0
vsize: 39960
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15476 0 0 0 100781 226 0 0 25 0 1 0 453868353 40919040 8480 4294967295 134512640 135450300 3221224624 3221223484 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9990 8480 231 231 0 9759 0
vsize: 39960
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 15786 0 0 0 101779 228 0 0 25 0 1 0 453868353 41054208 8696 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10023 8696 231 231 0 9792 0
vsize: 40092
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16112 0 0 0 102775 231 0 0 25 0 1 0 453868353 57831424 8975 4294967295 134512640 135450300 3221224624 3221223360 134538888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 8975 231 231 0 13888 0
vsize: 56476
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16167 0 0 0 103774 233 0 0 25 0 1 0 453868353 57831424 8983 4294967295 134512640 135450300 3221224624 3221223232 134537648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 8983 231 231 0 13888 0
vsize: 56476
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16219 0 0 0 104772 235 0 0 25 0 1 0 453868353 57831424 8988 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 8988 231 231 0 13888 0
vsize: 56476
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16320 0 0 0 105770 236 0 0 25 0 1 0 453868353 57831424 8995 4294967295 134512640 135450300 3221224624 3221223464 134538065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 8995 231 231 0 13888 0
vsize: 56476
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16420 0 0 0 106769 238 0 0 25 0 1 0 453868353 57831424 9048 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 9048 231 231 0 13888 0
vsize: 56476
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16425 0 0 0 107766 240 0 0 25 0 1 0 453868353 57831424 9053 4294967295 134512640 135450300 3221224624 3221223440 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14119 9053 231 231 0 13888 0
vsize: 56476
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16485 0 0 0 108765 241 0 0 25 0 1 0 453868353 57831424 9066 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14119 9066 231 231 0 13888 0
vsize: 56476
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16545 0 0 0 109764 243 0 0 25 0 1 0 453868353 57831424 9079 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14119 9079 231 231 0 13888 0
vsize: 56476
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16648 0 0 0 110763 244 0 0 25 0 1 0 453868353 57831424 9088 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14119 9088 231 231 0 13888 0
vsize: 56476
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16747 0 0 0 111762 246 0 0 25 0 1 0 453868353 57978880 9140 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14155 9140 231 231 0 13924 0
vsize: 56620
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 16896 0 0 0 112760 247 0 0 25 0 1 0 453868353 57978880 9242 4294967295 134512640 135450300 3221224624 3221222976 134533306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14155 9242 231 231 0 13924 0
vsize: 56620
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17415 0 0 0 113758 249 0 0 25 0 1 0 453868353 58187776 9714 4294967295 134512640 135450300 3221224624 3221223056 134533440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14206 9714 231 231 0 13975 0
vsize: 56824
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17581 0 0 0 114757 251 0 0 25 0 1 0 453868353 58187776 9833 4294967295 134512640 135450300 3221224624 3221223360 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14206 9833 231 231 0 13975 0
vsize: 56824
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17737 0 0 0 115754 254 0 0 25 0 1 0 453868353 58187776 9942 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14206 9942 231 231 0 13975 0
vsize: 56824
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17824 0 0 0 116752 256 0 0 25 0 1 0 453868353 58187776 9982 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14206 9982 231 231 0 13975 0
vsize: 56824
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17881 0 0 0 117751 258 0 0 25 0 1 0 453868353 58318848 9992 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14238 9992 231 231 0 14007 0
vsize: 56952
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17889 0 0 0 118749 259 0 0 25 0 1 0 453868353 58318848 10000 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14238 10000 231 231 0 14007 0
vsize: 56952
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2211
Raw data (stat): 2154 (PBS4) R 2153 5897 5896 0 -1 0 17945 0 0 0 119748 261 0 0 25 0 1 0 453868353 58318848 10009 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14238 10009 231 231 0 14007 0
vsize: 56952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 2211
Raw data (stat): 2154 (PBS4) Z 2153 5897 5896 0 -1 1036 17945 0 0 0 119748 263 0 0 25 0 1 0 453868353 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.08
CPU time (s): 1200.12
CPU user time (s): 1197.48
CPU system time (s): 2.6346
CPU usage (%): 100.003
Max. virtual memory (Kb): 56952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####