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/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	101
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 7952

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-17 17:24:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3273 boxname=wulflinc2 idbench=364 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 3273
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        844880 kB
Buffers:         36828 kB
Cached:         130788 kB
SwapCached:          4 kB
Active:          68688 kB
Inactive:       101792 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        844628 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            13632 kB
Committed_AS:    71652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:44:42 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 3273 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-ppp:1-9,16-19.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.89 0.97 0.92 2/54 12985
Raw data (stat): 12985 (runsolver) R 12984 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454074530 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0009 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 2301 0 0 0 988 11 0 0 25 0 1 0 454074530 9691136 1958 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 1958 231 231 0 2135 0
vsize: 9464
[startup+20.0013 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 2871 0 0 0 1982 17 0 0 25 0 1 0 454074530 14483456 2528 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2528 231 231 0 3305 0
vsize: 14144
[startup+30.002 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 3274 0 0 0 2973 26 0 0 25 0 1 0 454074530 14909440 2931 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2931 231 231 0 3409 0
vsize: 14560
[startup+40.002 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 3348 0 0 0 3966 33 0 0 25 0 1 0 454074530 15032320 3005 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3670 3005 231 231 0 3439 0
vsize: 14680
[startup+50.0013 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 3427 0 0 0 4959 40 0 0 25 0 1 0 454074530 15372288 3084 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 3084 231 231 0 3522 0
vsize: 15012
[startup+60.0014 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 3476 0 0 0 5952 47 0 0 25 0 1 0 454074530 15495168 3133 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 3133 231 231 0 3552 0
vsize: 15132
[startup+70.0011 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 3918 0 0 0 6947 53 0 0 25 0 1 0 454074530 17248256 3190 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3190 231 231 0 3980 0
vsize: 16844
[startup+80.0014 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 3968 0 0 0 7940 60 0 0 25 0 1 0 454074530 17354752 3240 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 3240 231 231 0 4006 0
vsize: 16948
[startup+90.0011 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4034 0 0 0 8933 67 0 0 25 0 1 0 454074530 17530880 3306 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4280 3306 231 231 0 4049 0
vsize: 17120
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4098 0 0 0 9927 73 0 0 25 0 1 0 454074530 17707008 3370 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3370 231 231 0 4092 0
vsize: 17292
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4140 0 0 0 10921 79 0 0 25 0 1 0 454074530 17850368 3412 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4358 3412 231 231 0 4127 0
vsize: 17432
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4190 0 0 0 11913 87 0 0 25 0 1 0 454074530 17850368 3462 4294967295 134512640 135450300 3221224640 3221223552 134597075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4358 3462 231 231 0 4127 0
vsize: 17432
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4244 0 0 0 12906 94 0 0 25 0 1 0 454074530 18104320 3516 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3516 231 231 0 4189 0
vsize: 17680
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4283 0 0 0 13899 102 0 0 25 0 1 0 454074530 18104320 3555 4294967295 134512640 135450300 3221224640 3221223568 134539617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3555 231 231 0 4189 0
vsize: 17680
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4321 0 0 0 14891 110 0 0 25 0 1 0 454074530 18325504 3593 4294967295 134512640 135450300 3221224640 3221223580 134530372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 3593 231 231 0 4243 0
vsize: 17896
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4426 0 0 0 15884 117 0 0 25 0 1 0 454074530 18432000 3698 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4500 3698 231 231 0 4269 0
vsize: 18000
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4618 0 0 0 16878 124 0 0 25 0 1 0 454074530 18432000 3890 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4500 3890 231 231 0 4269 0
vsize: 18000
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4654 0 0 0 17872 129 0 0 25 0 1 0 454074530 18571264 3926 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4534 3926 231 231 0 4303 0
vsize: 18136
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4709 0 0 0 18867 134 0 0 25 0 1 0 454074530 18718720 3981 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4570 3981 231 231 0 4339 0
vsize: 18280
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4753 0 0 0 19862 140 0 0 25 0 1 0 454074530 18833408 4025 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4598 4025 231 231 0 4367 0
vsize: 18392
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4795 0 0 0 20855 146 0 0 25 0 1 0 454074530 18993152 4067 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 4067 231 231 0 4406 0
vsize: 18548
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4859 0 0 0 21851 151 0 0 25 0 1 0 454074530 19095552 4131 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 4131 231 231 0 4431 0
vsize: 18648
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4908 0 0 0 22844 158 0 0 25 0 1 0 454074530 19263488 4180 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4703 4180 231 231 0 4472 0
vsize: 18812
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4938 0 0 0 23840 162 0 0 25 0 1 0 454074530 19263488 4210 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4703 4210 231 231 0 4472 0
vsize: 18812
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4981 0 0 0 24836 167 0 0 25 0 1 0 454074530 19361792 4253 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4727 4253 231 231 0 4496 0
vsize: 18908
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 4998 0 0 0 25830 173 0 0 25 0 1 0 454074530 19361792 4270 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4727 4270 231 231 0 4496 0
vsize: 18908
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 5036 0 0 0 26826 177 0 0 25 0 1 0 454074530 19537920 4308 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 4308 231 231 0 4539 0
vsize: 19080
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 5063 0 0 0 27822 181 0 0 25 0 1 0 454074530 19537920 4335 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 4335 231 231 0 4539 0
vsize: 19080
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 5098 0 0 0 28820 184 0 0 25 0 1 0 454074530 19648512 4370 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4797 4370 231 231 0 4566 0
vsize: 19188
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 5886 0 0 0 29814 190 0 0 25 0 1 0 454074530 22794240 4389 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5565 4389 231 231 0 5334 0
vsize: 22260
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6087 0 0 0 30807 196 0 0 25 0 1 0 454074530 23093248 4590 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5638 4590 231 231 0 5407 0
vsize: 22552
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6164 0 0 0 31803 201 0 0 25 0 1 0 454074530 23293952 4667 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5687 4667 231 231 0 5456 0
vsize: 22748
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6199 0 0 0 32797 207 0 0 25 0 1 0 454074530 23293952 4702 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5687 4702 231 231 0 5456 0
vsize: 22748
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6221 0 0 0 33792 212 0 0 25 0 1 0 454074530 23293952 4724 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5687 4724 231 231 0 5456 0
vsize: 22748
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6259 0 0 0 34788 216 0 0 25 0 1 0 454074530 23506944 4762 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4762 231 231 0 5508 0
vsize: 22956
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6287 0 0 0 35785 219 0 0 25 0 1 0 454074530 23506944 4790 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4790 231 231 0 5508 0
vsize: 22956
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6323 0 0 0 36781 224 0 0 25 0 1 0 454074530 23506944 4826 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4826 231 231 0 5508 0
vsize: 22956
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6346 0 0 0 37775 230 0 0 25 0 1 0 454074530 23506944 4849 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4849 231 231 0 5508 0
vsize: 22956
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6384 0 0 0 38770 235 0 0 25 0 1 0 454074530 23732224 4887 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4887 231 231 0 5563 0
vsize: 23176
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6417 0 0 0 39766 239 0 0 25 0 1 0 454074530 23732224 4920 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4920 231 231 0 5563 0
vsize: 23176
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6452 0 0 0 40763 243 0 0 25 0 1 0 454074530 23732224 4955 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4955 231 231 0 5563 0
vsize: 23176
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6499 0 0 0 41757 249 0 0 25 0 1 0 454074530 24076288 5002 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 5002 231 231 0 5647 0
vsize: 23512
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6534 0 0 0 42752 254 0 0 25 0 1 0 454074530 24076288 5037 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 5037 231 231 0 5647 0
vsize: 23512
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6570 0 0 0 43749 257 0 0 25 0 1 0 454074530 24076288 5073 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 5073 231 231 0 5647 0
vsize: 23512
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6603 0 0 0 44743 263 0 0 25 0 1 0 454074530 24330240 5106 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5106 231 231 0 5709 0
vsize: 23760
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6633 0 0 0 45737 269 0 0 25 0 1 0 454074530 24330240 5136 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5136 231 231 0 5709 0
vsize: 23760
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6675 0 0 0 46731 275 0 0 25 0 1 0 454074530 24330240 5178 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5178 231 231 0 5709 0
vsize: 23760
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6708 0 0 0 47726 281 0 0 25 0 1 0 454074530 24330240 5211 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5211 231 231 0 5709 0
vsize: 23760
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6732 0 0 0 48722 285 0 0 25 0 1 0 454074530 24330240 5235 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5235 231 231 0 5709 0
vsize: 23760
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6751 0 0 0 49716 291 0 0 25 0 1 0 454074530 24428544 5254 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5964 5254 231 231 0 5733 0
vsize: 23856
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6790 0 0 0 50712 295 0 0 25 0 1 0 454074530 24698880 5293 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 5293 231 231 0 5799 0
vsize: 24120
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6809 0 0 0 51707 301 0 0 25 0 1 0 454074530 24698880 5312 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 5312 231 231 0 5799 0
vsize: 24120
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6865 0 0 0 52703 305 0 0 25 0 1 0 454074530 24698880 5368 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 5368 231 231 0 5799 0
vsize: 24120
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6889 0 0 0 53698 310 0 0 25 0 1 0 454074530 24698880 5392 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 5392 231 231 0 5799 0
vsize: 24120
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6935 0 0 0 54692 316 0 0 25 0 1 0 454074530 25083904 5438 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6124 5438 231 231 0 5893 0
vsize: 24496
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6961 0 0 0 55688 321 0 0 25 0 1 0 454074530 25083904 5464 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6124 5464 231 231 0 5893 0
vsize: 24496
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 6996 0 0 0 56682 326 0 0 25 0 1 0 454074530 25083904 5499 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6124 5499 231 231 0 5893 0
vsize: 24496
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7011 0 0 0 57675 333 0 0 25 0 1 0 454074530 25083904 5514 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6124 5514 231 231 0 5893 0
vsize: 24496
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7036 0 0 0 58670 338 0 0 25 0 1 0 454074530 25083904 5539 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6124 5539 231 231 0 5893 0
vsize: 24496
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7081 0 0 0 59665 344 0 0 25 0 1 0 454074530 25391104 5584 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 5584 231 231 0 5968 0
vsize: 24796
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7107 0 0 0 60657 352 0 0 25 0 1 0 454074530 25391104 5610 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 5610 231 231 0 5968 0
vsize: 24796
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7141 0 0 0 61651 358 0 0 25 0 1 0 454074530 25391104 5644 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 5644 231 231 0 5968 0
vsize: 24796
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7170 0 0 0 62647 362 0 0 25 0 1 0 454074530 25391104 5673 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 5673 231 231 0 5968 0
vsize: 24796
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7196 0 0 0 63641 368 0 0 25 0 1 0 454074530 25391104 5699 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 5699 231 231 0 5968 0
vsize: 24796
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7225 0 0 0 64638 372 0 0 25 0 1 0 454074530 25714688 5728 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 5728 231 231 0 6047 0
vsize: 25112
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7243 0 0 0 65633 377 0 0 25 0 1 0 454074530 25714688 5746 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 5746 231 231 0 6047 0
vsize: 25112
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7276 0 0 0 66630 381 0 0 25 0 1 0 454074530 25714688 5779 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 5779 231 231 0 6047 0
vsize: 25112
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7307 0 0 0 67625 385 0 0 25 0 1 0 454074530 25817088 5810 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6303 5810 231 231 0 6072 0
vsize: 25212
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7336 0 0 0 68620 390 0 0 25 0 1 0 454074530 25817088 5839 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6303 5839 231 231 0 6072 0
vsize: 25212
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7373 0 0 0 69615 395 0 0 25 0 1 0 454074530 25817088 5876 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6303 5876 231 231 0 6072 0
vsize: 25212
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7393 0 0 0 70611 400 0 0 25 0 1 0 454074530 26161152 5896 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5896 231 231 0 6156 0
vsize: 25548
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7431 0 0 0 71607 405 0 0 25 0 1 0 454074530 26161152 5934 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5934 231 231 0 6156 0
vsize: 25548
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7452 0 0 0 72602 410 0 0 25 0 1 0 454074530 26161152 5955 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5955 231 231 0 6156 0
vsize: 25548
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7472 0 0 0 73596 415 0 0 25 0 1 0 454074530 26161152 5975 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5975 231 231 0 6156 0
vsize: 25548
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7495 0 0 0 74593 419 0 0 25 0 1 0 454074530 26161152 5998 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5998 231 231 0 6156 0
vsize: 25548
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7526 0 0 0 75588 424 0 0 25 0 1 0 454074530 26161152 6029 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 6029 231 231 0 6156 0
vsize: 25548
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7557 0 0 0 76584 428 0 0 25 0 1 0 454074530 26161152 6060 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6387 6060 231 231 0 6156 0
vsize: 25548
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7579 0 0 0 77580 433 0 0 25 0 1 0 454074530 26525696 6082 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6476 6082 231 231 0 6245 0
vsize: 25904
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7606 0 0 0 78576 436 0 0 25 0 1 0 454074530 26624000 6109 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 6109 231 231 0 6269 0
vsize: 26000
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7619 0 0 0 79573 439 0 0 25 0 1 0 454074530 26624000 6122 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 6122 231 231 0 6269 0
vsize: 26000
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7671 0 0 0 80570 443 0 0 25 0 1 0 454074530 26624000 6174 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 6174 231 231 0 6269 0
vsize: 26000
[startup+820.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7689 0 0 0 81567 446 0 0 25 0 1 0 454074530 26624000 6192 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 6192 231 231 0 6269 0
vsize: 26000
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7704 0 0 0 82563 450 0 0 25 0 1 0 454074530 26624000 6207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 6207 231 231 0 6269 0
vsize: 26000
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 7725 0 0 0 83560 453 0 0 25 0 1 0 454074530 26624000 6228 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 6228 231 231 0 6269 0
vsize: 26000
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9298 0 0 0 84554 460 0 0 25 0 1 0 454074530 33304576 6264 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6264 231 231 0 7900 0
vsize: 32524
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9316 0 0 0 85550 464 0 0 25 0 1 0 454074530 33304576 6282 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6282 231 231 0 7900 0
vsize: 32524
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9356 0 0 0 86545 469 0 0 25 0 1 0 454074530 33304576 6322 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6322 231 231 0 7900 0
vsize: 32524
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9378 0 0 0 87540 474 0 0 25 0 1 0 454074530 33304576 6344 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6344 231 231 0 7900 0
vsize: 32524
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9406 0 0 0 88536 478 0 0 25 0 1 0 454074530 33304576 6372 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6372 231 231 0 7900 0
vsize: 32524
[startup+900.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9418 0 0 0 89534 481 0 0 25 0 1 0 454074530 33304576 6384 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6384 231 231 0 7900 0
vsize: 32524
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9443 0 0 0 90530 485 0 0 25 0 1 0 454074530 33304576 6409 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8131 6409 231 231 0 7900 0
vsize: 32524
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9492 0 0 0 91525 490 0 0 25 0 1 0 454074530 33402880 6458 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 6458 231 231 0 7924 0
vsize: 32620
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9527 0 0 0 92521 494 0 0 25 0 1 0 454074530 33816576 6493 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6493 231 231 0 8025 0
vsize: 33024
[startup+940.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9554 0 0 0 93518 498 0 0 25 0 1 0 454074530 33816576 6520 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6520 231 231 0 8025 0
vsize: 33024
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9573 0 0 0 94513 502 0 0 25 0 1 0 454074530 33816576 6539 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6539 231 231 0 8025 0
vsize: 33024
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9596 0 0 0 95510 506 0 0 25 0 1 0 454074530 33816576 6562 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6562 231 231 0 8025 0
vsize: 33024
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9624 0 0 0 96505 511 0 0 25 0 1 0 454074530 33816576 6590 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6590 231 231 0 8025 0
vsize: 33024
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9638 0 0 0 97500 516 0 0 25 0 1 0 454074530 33816576 6604 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6604 231 231 0 8025 0
vsize: 33024
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9659 0 0 0 98496 521 0 0 25 0 1 0 454074530 33816576 6625 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6625 231 231 0 8025 0
vsize: 33024
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9677 0 0 0 99491 525 0 0 25 0 1 0 454074530 33816576 6643 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 6643 231 231 0 8025 0
vsize: 33024
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9722 0 0 0 100486 531 0 0 25 0 1 0 454074530 34254848 6688 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 6688 231 231 0 8132 0
vsize: 33452
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9739 0 0 0 101481 536 0 0 25 0 1 0 454074530 34254848 6705 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 6705 231 231 0 8132 0
vsize: 33452
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9760 0 0 0 102477 540 0 0 25 0 1 0 454074530 34254848 6726 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 6726 231 231 0 8132 0
vsize: 33452
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9796 0 0 0 103473 544 0 0 25 0 1 0 454074530 34254848 6762 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 6762 231 231 0 8132 0
vsize: 33452
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9813 0 0 0 104469 548 0 0 25 0 1 0 454074530 34254848 6779 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 6779 231 231 0 8132 0
vsize: 33452
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9843 0 0 0 105466 552 0 0 25 0 1 0 454074530 34254848 6809 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 6809 231 231 0 8132 0
vsize: 33452
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9863 0 0 0 106461 557 0 0 25 0 1 0 454074530 34353152 6829 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8387 6829 231 231 0 8156 0
vsize: 33548
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9882 0 0 0 107456 562 0 0 25 0 1 0 454074530 34353152 6848 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8387 6848 231 231 0 8156 0
vsize: 33548
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9895 0 0 0 108452 566 0 0 25 0 1 0 454074530 34353152 6861 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8387 6861 231 231 0 8156 0
vsize: 33548
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9920 0 0 0 109447 572 0 0 25 0 1 0 454074530 34353152 6886 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8387 6886 231 231 0 8156 0
vsize: 33548
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 9935 0 0 0 110442 576 0 0 25 0 1 0 454074530 34353152 6901 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8387 6901 231 231 0 8156 0
vsize: 33548
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10057 0 0 0 111436 582 0 0 25 0 1 0 454074530 42741760 7023 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10435 7023 231 231 0 10204 0
vsize: 41740
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10083 0 0 0 112434 585 0 0 25 0 1 0 454074530 43208704 7049 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10549 7049 231 231 0 10318 0
vsize: 42196
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10140 0 0 0 113428 591 0 0 25 0 1 0 454074530 43307008 7106 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7106 231 231 0 10342 0
vsize: 42292
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10168 0 0 0 114425 594 0 0 25 0 1 0 454074530 43307008 7134 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7134 231 231 0 10342 0
vsize: 42292
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10198 0 0 0 115421 598 0 0 25 0 1 0 454074530 43307008 7164 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7164 231 231 0 10342 0
vsize: 42292
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10224 0 0 0 116417 603 0 0 25 0 1 0 454074530 43307008 7190 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7190 231 231 0 10342 0
vsize: 42292
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10251 0 0 0 117413 607 0 0 25 0 1 0 454074530 43307008 7217 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7217 231 231 0 10342 0
vsize: 42292
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10278 0 0 0 118408 612 0 0 25 0 1 0 454074530 43307008 7244 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7244 231 231 0 10342 0
vsize: 42292
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 12985
Raw data (stat): 12985 (PBS4) R 12984 20937 20936 0 -1 0 10305 0 0 0 119404 616 0 0 25 0 1 0 454074530 43405312 7271 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 7271 231 231 0 10366 0
vsize: 42388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 12985
Raw data (stat): 12985 (PBS4) Z 12984 20937 20936 0 -1 1036 10305 0 0 0 119404 617 0 0 25 0 1 0 454074530 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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