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/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM	f82b685b64af240616b701a750c82883
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10
Optimality of the best value was proved	NO
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	934
Total number of constraints	1996
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	1117
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 7955

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-17 17:25:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3300 boxname=wulflinc25 idbench=367 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc25/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 3300
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        792944 kB
Buffers:         36536 kB
Cached:         169400 kB
SwapCached:         36 kB
Active:          72780 kB
Inactive:       136096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        792692 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            27200 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:45:26 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 3300 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-10:20:4.5:0.95:100.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.95 0.91 2/54 22729
Raw data (stat): 22729 (runsolver) R 22728 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512308424 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.0005 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 889 0 0 0 995 3 0 0 25 0 1 0 512308424 5820416 885 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1421 885 231 231 0 1190 0
vsize: 5684
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 1200 0 0 0 1993 4 0 0 25 0 1 0 512308424 6025216 1196 4294967295 134512640 135450300 3221224624 3221223008 134602314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1471 1196 231 231 0 1240 0
vsize: 5884
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 1540 0 0 0 2993 5 0 0 25 0 1 0 512308424 10219520 1536 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1536 231 231 0 2264 0
vsize: 9980
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 1987 0 0 0 3992 6 0 0 25 0 1 0 512308424 10219520 1983 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1983 231 231 0 2264 0
vsize: 9980
[startup+50.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 2309 0 0 0 4991 7 0 0 25 0 1 0 512308424 10420224 2305 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 2305 231 231 0 2313 0
vsize: 10176
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 2567 0 0 0 5990 8 0 0 25 0 1 0 512308424 18808832 2563 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 2563 231 231 0 4361 0
vsize: 18368
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 2812 0 0 0 6990 9 0 0 25 0 1 0 512308424 18808832 2808 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 2808 231 231 0 4361 0
vsize: 18368
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 3101 0 0 0 7989 10 0 0 25 0 1 0 512308424 18808832 3097 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3097 231 231 0 4361 0
vsize: 18368
[startup+90.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 3415 0 0 0 8988 11 0 0 25 0 1 0 512308424 18808832 3411 4294967295 134512640 135450300 3221224624 3221223344 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3411 231 231 0 4361 0
vsize: 18368
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 3826 0 0 0 9987 12 0 0 25 0 1 0 512308424 18808832 3822 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3822 231 231 0 4361 0
vsize: 18368
[startup+110.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 4254 0 0 0 10986 13 0 0 25 0 1 0 512308424 18808832 4250 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 4250 231 231 0 4361 0
vsize: 18368
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 4706 0 0 0 11984 15 0 0 25 0 1 0 512308424 35917824 4653 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8769 4653 231 231 0 8538 0
vsize: 35076
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5022 0 0 0 12983 17 0 0 25 0 1 0 512308424 36065280 4969 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8805 4969 231 231 0 8574 0
vsize: 35220
[startup+140.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5300 0 0 0 13982 18 0 0 25 0 1 0 512308424 36065280 5247 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8805 5247 231 231 0 8574 0
vsize: 35220
[startup+150.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5615 0 0 0 14981 19 0 0 25 0 1 0 512308424 36192256 5562 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5562 231 231 0 8605 0
vsize: 35344
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5795 0 0 0 15980 21 0 0 25 0 1 0 512308424 36192256 5742 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5742 231 231 0 8605 0
vsize: 35344
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5799 0 0 0 16980 21 0 0 25 0 1 0 512308424 36192256 5746 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5746 231 231 0 8605 0
vsize: 35344
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5806 0 0 0 17979 21 0 0 25 0 1 0 512308424 36192256 5753 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5753 231 231 0 8605 0
vsize: 35344
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5813 0 0 0 18979 22 0 0 25 0 1 0 512308424 36192256 5760 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 5760 231 231 0 8605 0
vsize: 35344
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5830 0 0 0 19978 23 0 0 25 0 1 0 512308424 36319232 5777 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 5777 231 231 0 8636 0
vsize: 35468
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5834 0 0 0 20978 23 0 0 25 0 1 0 512308424 36319232 5781 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 5781 231 231 0 8636 0
vsize: 35468
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5835 0 0 0 21978 24 0 0 25 0 1 0 512308424 36319232 5782 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 5782 231 231 0 8636 0
vsize: 35468
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5843 0 0 0 22978 24 0 0 25 0 1 0 512308424 36319232 5790 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 5790 231 231 0 8636 0
vsize: 35468
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5850 0 0 0 23978 24 0 0 25 0 1 0 512308424 36454400 5797 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5797 231 231 0 8669 0
vsize: 35600
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5860 0 0 0 24977 25 0 0 25 0 1 0 512308424 36454400 5807 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5807 231 231 0 8669 0
vsize: 35600
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5863 0 0 0 25977 25 0 0 25 0 1 0 512308424 36454400 5810 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5810 231 231 0 8669 0
vsize: 35600
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5871 0 0 0 26977 26 0 0 25 0 1 0 512308424 36454400 5818 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5818 231 231 0 8669 0
vsize: 35600
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5876 0 0 0 27977 26 0 0 25 0 1 0 512308424 36454400 5823 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5823 231 231 0 8669 0
vsize: 35600
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5883 0 0 0 28977 26 0 0 25 0 1 0 512308424 36454400 5830 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5830 231 231 0 8669 0
vsize: 35600
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5888 0 0 0 29977 26 0 0 25 0 1 0 512308424 36454400 5835 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5835 231 231 0 8669 0
vsize: 35600
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5894 0 0 0 30976 27 0 0 25 0 1 0 512308424 36454400 5841 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5841 231 231 0 8669 0
vsize: 35600
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5898 0 0 0 31976 28 0 0 25 0 1 0 512308424 36454400 5845 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8900 5845 231 231 0 8669 0
vsize: 35600
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5905 0 0 0 32976 28 0 0 25 0 1 0 512308424 36597760 5852 4294967295 134512640 135450300 3221224624 3221223344 134535540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8935 5852 231 231 0 8704 0
vsize: 35740
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 5912 0 0 0 33975 29 0 0 25 0 1 0 512308424 36597760 5859 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8935 5859 231 231 0 8704 0
vsize: 35740
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6021 0 0 0 34975 30 0 0 25 0 1 0 512308424 36990976 5871 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5871 231 231 0 8800 0
vsize: 36124
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6023 0 0 0 35975 30 0 0 25 0 1 0 512308424 36990976 5873 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5873 231 231 0 8800 0
vsize: 36124
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6026 0 0 0 36975 30 0 0 25 0 1 0 512308424 36990976 5876 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5876 231 231 0 8800 0
vsize: 36124
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6032 0 0 0 37975 30 0 0 25 0 1 0 512308424 36990976 5882 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5882 231 231 0 8800 0
vsize: 36124
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6035 0 0 0 38975 30 0 0 25 0 1 0 512308424 36990976 5885 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5885 231 231 0 8800 0
vsize: 36124
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6044 0 0 0 39974 31 0 0 25 0 1 0 512308424 36990976 5894 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9031 5894 231 231 0 8800 0
vsize: 36124
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6046 0 0 0 40974 31 0 0 25 0 1 0 512308424 37126144 5896 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5896 231 231 0 8833 0
vsize: 36256
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6052 0 0 0 41974 31 0 0 25 0 1 0 512308424 37126144 5902 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5902 231 231 0 8833 0
vsize: 36256
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6054 0 0 0 42974 32 0 0 25 0 1 0 512308424 37126144 5904 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5904 231 231 0 8833 0
vsize: 36256
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6062 0 0 0 43974 32 0 0 25 0 1 0 512308424 37126144 5912 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5912 231 231 0 8833 0
vsize: 36256
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6066 0 0 0 44973 33 0 0 25 0 1 0 512308424 37126144 5916 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5916 231 231 0 8833 0
vsize: 36256
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6073 0 0 0 45973 33 0 0 25 0 1 0 512308424 37126144 5923 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5923 231 231 0 8833 0
vsize: 36256
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6075 0 0 0 46973 33 0 0 25 0 1 0 512308424 37126144 5925 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5925 231 231 0 8833 0
vsize: 36256
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6076 0 0 0 47973 33 0 0 25 0 1 0 512308424 37126144 5926 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5926 231 231 0 8833 0
vsize: 36256
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6092 0 0 0 48973 34 0 0 25 0 1 0 512308424 37126144 5942 4294967295 134512640 135450300 3221224624 3221223440 134536841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5944 231 231 0 8833 0
vsize: 36256
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6096 0 0 0 49973 34 0 0 25 0 1 0 512308424 37126144 5946 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5946 231 231 0 8833 0
vsize: 36256
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6099 0 0 0 50973 34 0 0 25 0 1 0 512308424 37126144 5949 4294967295 134512640 135450300 3221224624 3221223512 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5949 231 231 0 8833 0
vsize: 36256
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6107 0 0 0 51972 35 0 0 25 0 1 0 512308424 37126144 5957 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 5957 231 231 0 8833 0
vsize: 36256
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6114 0 0 0 52972 35 0 0 25 0 1 0 512308424 37249024 5964 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5964 231 231 0 8863 0
vsize: 36376
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6117 0 0 0 53972 36 0 0 25 0 1 0 512308424 37249024 5967 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5967 231 231 0 8863 0
vsize: 36376
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6119 0 0 0 54972 36 0 0 25 0 1 0 512308424 37249024 5969 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5969 231 231 0 8863 0
vsize: 36376
[startup+560.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6121 0 0 0 55972 36 0 0 25 0 1 0 512308424 37249024 5971 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5971 231 231 0 8863 0
vsize: 36376
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6128 0 0 0 56972 36 0 0 25 0 1 0 512308424 37249024 5978 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5978 231 231 0 8863 0
vsize: 36376
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6131 0 0 0 57972 36 0 0 25 0 1 0 512308424 37249024 5981 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5981 231 231 0 8863 0
vsize: 36376
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6139 0 0 0 58972 37 0 0 25 0 1 0 512308424 37249024 5989 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5989 231 231 0 8863 0
vsize: 36376
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6142 0 0 0 59971 38 0 0 25 0 1 0 512308424 37249024 5992 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5992 231 231 0 8863 0
vsize: 36376
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6146 0 0 0 60971 38 0 0 25 0 1 0 512308424 37249024 5996 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 5996 231 231 0 8863 0
vsize: 36376
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6153 0 0 0 61971 38 0 0 25 0 1 0 512308424 37371904 6003 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6003 231 231 0 8893 0
vsize: 36496
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6159 0 0 0 62971 38 0 0 25 0 1 0 512308424 37371904 6009 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6009 231 231 0 8893 0
vsize: 36496
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6165 0 0 0 63971 38 0 0 25 0 1 0 512308424 37371904 6015 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6015 231 231 0 8893 0
vsize: 36496
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6169 0 0 0 64971 39 0 0 25 0 1 0 512308424 37371904 6019 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6019 231 231 0 8893 0
vsize: 36496
[startup+660 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6175 0 0 0 65971 39 0 0 25 0 1 0 512308424 37371904 6025 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6025 231 231 0 8893 0
vsize: 36496
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6179 0 0 0 66970 40 0 0 25 0 1 0 512308424 37371904 6029 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6029 231 231 0 8893 0
vsize: 36496
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6186 0 0 0 67970 40 0 0 25 0 1 0 512308424 37371904 6036 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6036 231 231 0 8893 0
vsize: 36496
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6189 0 0 0 68970 41 0 0 25 0 1 0 512308424 37371904 6039 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6039 231 231 0 8893 0
vsize: 36496
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6198 0 0 0 69970 41 0 0 25 0 1 0 512308424 37511168 6048 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6048 231 231 0 8927 0
vsize: 36632
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6201 0 0 0 70970 41 0 0 25 0 1 0 512308424 37511168 6051 4294967295 134512640 135450300 3221224624 3221223344 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6051 231 231 0 8927 0
vsize: 36632
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6203 0 0 0 71969 41 0 0 25 0 1 0 512308424 37511168 6053 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6053 231 231 0 8927 0
vsize: 36632
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6209 0 0 0 72968 43 0 0 25 0 1 0 512308424 37511168 6059 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6059 231 231 0 8927 0
vsize: 36632
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6217 0 0 0 73968 43 0 0 25 0 1 0 512308424 37511168 6067 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6067 231 231 0 8927 0
vsize: 36632
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6228 0 0 0 74968 44 0 0 25 0 1 0 512308424 37511168 6078 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6078 231 231 0 8927 0
vsize: 36632
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6232 0 0 0 75968 44 0 0 25 0 1 0 512308424 37511168 6082 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6082 231 231 0 8927 0
vsize: 36632
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6235 0 0 0 76968 44 0 0 25 0 1 0 512308424 37511168 6085 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6085 231 231 0 8927 0
vsize: 36632
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6241 0 0 0 77967 45 0 0 25 0 1 0 512308424 37511168 6091 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6091 231 231 0 8927 0
vsize: 36632
[startup+789.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6244 0 0 0 78967 45 0 0 25 0 1 0 512308424 37511168 6094 4294967295 134512640 135450300 3221224624 3221223344 134536052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6094 231 231 0 8927 0
vsize: 36632
[startup+799.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6251 0 0 0 79967 46 0 0 25 0 1 0 512308424 37511168 6101 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6101 231 231 0 8927 0
vsize: 36632
[startup+810 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6254 0 0 0 80966 46 0 0 25 0 1 0 512308424 37511168 6104 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 6104 231 231 0 8927 0
vsize: 36632
[startup+820 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6260 0 0 0 81966 46 0 0 25 0 1 0 512308424 37675008 6110 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9198 6110 231 231 0 8967 0
vsize: 36792
[startup+830 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6460 0 0 0 82966 47 0 0 25 0 1 0 512308424 38461440 6117 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6117 231 231 0 9159 0
vsize: 37560
[startup+840 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6467 0 0 0 83966 47 0 0 25 0 1 0 512308424 38461440 6124 4294967295 134512640 135450300 3221224624 3221223344 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6124 231 231 0 9159 0
vsize: 37560
[startup+850 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6473 0 0 0 84966 47 0 0 25 0 1 0 512308424 38461440 6130 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6130 231 231 0 9159 0
vsize: 37560
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6477 0 0 0 85966 47 0 0 25 0 1 0 512308424 38461440 6134 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6134 231 231 0 9159 0
vsize: 37560
[startup+870 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6484 0 0 0 86966 48 0 0 25 0 1 0 512308424 38461440 6141 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6141 231 231 0 9159 0
vsize: 37560
[startup+880 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6486 0 0 0 87965 48 0 0 25 0 1 0 512308424 38461440 6143 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6143 231 231 0 9159 0
vsize: 37560
[startup+890 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6492 0 0 0 88965 49 0 0 25 0 1 0 512308424 38461440 6149 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6149 231 231 0 9159 0
vsize: 37560
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6496 0 0 0 89965 49 0 0 25 0 1 0 512308424 38461440 6153 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6153 231 231 0 9159 0
vsize: 37560
[startup+910 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6502 0 0 0 90965 50 0 0 25 0 1 0 512308424 38461440 6159 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6159 231 231 0 9159 0
vsize: 37560
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6506 0 0 0 91964 50 0 0 25 0 1 0 512308424 38461440 6163 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6163 231 231 0 9159 0
vsize: 37560
[startup+930.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6514 0 0 0 92964 50 0 0 25 0 1 0 512308424 38461440 6171 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 6171 231 231 0 9159 0
vsize: 37560
[startup+940 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6517 0 0 0 93964 50 0 0 25 0 1 0 512308424 38629376 6174 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6174 231 231 0 9200 0
vsize: 37724
[startup+950 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6522 0 0 0 94964 51 0 0 25 0 1 0 512308424 38629376 6179 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6179 231 231 0 9200 0
vsize: 37724
[startup+960 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6524 0 0 0 95964 51 0 0 25 0 1 0 512308424 38629376 6181 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6181 231 231 0 9200 0
vsize: 37724
[startup+970 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6530 0 0 0 96964 51 0 0 25 0 1 0 512308424 38629376 6187 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6187 231 231 0 9200 0
vsize: 37724
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6532 0 0 0 97964 51 0 0 25 0 1 0 512308424 38629376 6189 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6189 231 231 0 9200 0
vsize: 37724
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6534 0 0 0 98964 52 0 0 25 0 1 0 512308424 38629376 6191 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6191 231 231 0 9200 0
vsize: 37724
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6539 0 0 0 99964 52 0 0 25 0 1 0 512308424 38629376 6196 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6196 231 231 0 9200 0
vsize: 37724
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6541 0 0 0 100964 52 0 0 25 0 1 0 512308424 38629376 6198 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6198 231 231 0 9200 0
vsize: 37724
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6548 0 0 0 101963 53 0 0 25 0 1 0 512308424 38629376 6205 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6205 231 231 0 9200 0
vsize: 37724
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6551 0 0 0 102963 53 0 0 25 0 1 0 512308424 38629376 6208 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6208 231 231 0 9200 0
vsize: 37724
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6559 0 0 0 103963 54 0 0 25 0 1 0 512308424 38629376 6216 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6216 231 231 0 9200 0
vsize: 37724
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6562 0 0 0 104963 54 0 0 25 0 1 0 512308424 38629376 6219 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6219 231 231 0 9200 0
vsize: 37724
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6568 0 0 0 105962 55 0 0 25 0 1 0 512308424 38629376 6225 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6225 231 231 0 9200 0
vsize: 37724
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6570 0 0 0 106962 56 0 0 25 0 1 0 512308424 38629376 6227 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6227 231 231 0 9200 0
vsize: 37724
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6578 0 0 0 107961 56 0 0 25 0 1 0 512308424 38629376 6235 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6235 231 231 0 9200 0
vsize: 37724
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6585 0 0 0 108961 57 0 0 25 0 1 0 512308424 38629376 6242 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6242 231 231 0 9200 0
vsize: 37724
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6588 0 0 0 109961 57 0 0 25 0 1 0 512308424 38629376 6245 4294967295 134512640 135450300 3221224624 3221223344 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6245 231 231 0 9200 0
vsize: 37724
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6591 0 0 0 110961 58 0 0 25 0 1 0 512308424 38629376 6248 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9431 6248 231 231 0 9200 0
vsize: 37724
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6597 0 0 0 111960 58 0 0 25 0 1 0 512308424 38805504 6254 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6254 231 231 0 9243 0
vsize: 37896
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6602 0 0 0 112960 59 0 0 25 0 1 0 512308424 38805504 6259 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6259 231 231 0 9243 0
vsize: 37896
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6604 0 0 0 113960 59 0 0 25 0 1 0 512308424 38805504 6261 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6261 231 231 0 9243 0
vsize: 37896
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6613 0 0 0 114960 60 0 0 25 0 1 0 512308424 38805504 6270 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6270 231 231 0 9243 0
vsize: 37896
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6617 0 0 0 115959 60 0 0 25 0 1 0 512308424 38805504 6274 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6274 231 231 0 9243 0
vsize: 37896
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6621 0 0 0 116959 60 0 0 25 0 1 0 512308424 38805504 6278 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6278 231 231 0 9243 0
vsize: 37896
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6625 0 0 0 117958 61 0 0 25 0 1 0 512308424 38805504 6282 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6282 231 231 0 9243 0
vsize: 37896
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6626 0 0 0 118958 61 0 0 25 0 1 0 512308424 38805504 6283 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6283 231 231 0 9243 0
vsize: 37896
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22729
Raw data (stat): 22729 (PBS4) R 22728 28099 28098 0 -1 0 6633 0 0 0 119958 62 0 0 25 0 1 0 512308424 38805504 6290 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 6290 231 231 0 9243 0
vsize: 37896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22729
Raw data (stat): 22729 (PBS4) Z 22728 28099 28098 0 -1 1036 6633 0 0 0 119958 63 0 0 25 0 1 0 512308424 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.02
CPU time (s): 1200.23
CPU user time (s): 1199.59
CPU system time (s): 0.636903
CPU usage (%): 100.017
Max. virtual memory (Kb): 37896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####