PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
MD5SUM	b78d16df5ec546c41fce5f9f07c0fd92
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	207
Optimality of the best value was proved	NO
Number of terms in the objective function	498
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	498
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	498
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03184
Number of variables	498
Total number of constraints	2431
Number of constraints which are clauses	2431
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 7739

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-17 16:02:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1365 boxname=wulflinc9 idbench=152 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b78d16df5ec546c41fce5f9f07c0fd92  /oldhome/oroussel/tmp/wulflinc9/normalized-ii32c2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-ii32c2.opb
IDLAUNCH: 1365
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        851316 kB
Buffers:         37956 kB
Cached:         124068 kB
SwapCached:        564 kB
Active:          68276 kB
Inactive:        97092 kB
HighTotal:      131008 kB
HighFree:         3108 kB
LowTotal:       903652 kB
LowFree:        848208 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12524 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:22:11 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1365 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-ii32c2.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.97 1.00 0.71 2/54 25046
Raw data (stat): 25046 (runsolver) R 25045 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453577554 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+9.99973 s]
Raw data (loadavg): 0.98 1.00 0.71 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 1307 0 0 0 994 4 0 0 25 0 1 0 453577554 10096640 1303 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2465 1303 231 231 0 2234 0
vsize: 9860
[startup+20.0001 s]
Raw data (loadavg): 0.98 1.00 0.72 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 2130 0 0 0 1992 6 0 0 25 0 1 0 453577554 10096640 2126 4294967295 134512640 135450300 3221224640 3221223024 134579238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2465 2126 231 231 0 2234 0
vsize: 9860
[startup+30.0002 s]
Raw data (loadavg): 0.98 1.00 0.72 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 2905 0 0 0 2990 8 0 0 25 0 1 0 453577554 18485248 2901 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 2901 231 231 0 4282 0
vsize: 18052
[startup+40.0009 s]
Raw data (loadavg): 0.98 1.00 0.72 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 3674 0 0 0 3988 10 0 0 25 0 1 0 453577554 18837504 3621 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4599 3621 231 231 0 4368 0
vsize: 18396
[startup+50.0012 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 4085 0 0 0 4986 12 0 0 25 0 1 0 453577554 18972672 4032 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4632 4032 231 231 0 4401 0
vsize: 18528
[startup+60.0013 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 4383 0 0 0 5985 14 0 0 25 0 1 0 453577554 19107840 4330 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4665 4330 231 231 0 4434 0
vsize: 18660
[startup+70.002 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 4676 0 0 0 6984 15 0 0 25 0 1 0 453577554 35885056 4623 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 4623 231 231 0 8530 0
vsize: 35044
[startup+80.0014 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 4986 0 0 0 7983 16 0 0 25 0 1 0 453577554 35885056 4933 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 4933 231 231 0 8530 0
vsize: 35044
[startup+90.0015 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 5119 0 0 0 8983 16 0 0 25 0 1 0 453577554 36024320 5066 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8795 5066 231 231 0 8564 0
vsize: 35180
[startup+100.001 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 5178 0 0 0 9983 17 0 0 25 0 1 0 453577554 36024320 5125 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8795 5125 231 231 0 8564 0
vsize: 35180
[startup+110.001 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 5240 0 0 0 10983 17 0 0 25 0 1 0 453577554 36024320 5187 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8795 5187 231 231 0 8564 0
vsize: 35180
[startup+120.002 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 5303 0 0 0 11982 18 0 0 25 0 1 0 453577554 36024320 5250 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8795 5250 231 231 0 8564 0
vsize: 35180
[startup+130.001 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 5480 0 0 0 12982 18 0 0 25 0 1 0 453577554 36298752 5427 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8862 5427 231 231 0 8631 0
vsize: 35448
[startup+140.002 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 5935 0 0 0 13979 21 0 0 25 0 1 0 453577554 36298752 5882 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8862 5882 231 231 0 8631 0
vsize: 35448
[startup+150.002 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6224 0 0 0 14978 23 0 0 25 0 1 0 453577554 36569088 6171 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8928 6171 231 231 0 8697 0
vsize: 35712
[startup+160.001 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6413 0 0 0 15977 24 0 0 25 0 1 0 453577554 36704256 6360 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8961 6360 231 231 0 8730 0
vsize: 35844
[startup+170.001 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6670 0 0 0 16975 25 0 0 25 0 1 0 453577554 36704256 6617 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8961 6617 231 231 0 8730 0
vsize: 35844
[startup+180.001 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6853 0 0 0 17974 27 0 0 25 0 1 0 453577554 37232640 6703 4294967295 134512640 135450300 3221224640 3221223516 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6703 231 231 0 8859 0
vsize: 36360
[startup+190.002 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6868 0 0 0 18973 28 0 0 25 0 1 0 453577554 37232640 6718 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6718 231 231 0 8859 0
vsize: 36360
[startup+200.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6869 0 0 0 19974 28 0 0 25 0 1 0 453577554 37232640 6719 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6719 231 231 0 8859 0
vsize: 36360
[startup+210.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6870 0 0 0 20974 28 0 0 25 0 1 0 453577554 37232640 6720 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6720 231 231 0 8859 0
vsize: 36360
[startup+220.002 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6870 0 0 0 21974 28 0 0 25 0 1 0 453577554 37232640 6720 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6720 231 231 0 8859 0
vsize: 36360
[startup+230.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 25046
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6871 0 0 0 22974 28 0 0 25 0 1 0 453577554 37232640 6721 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6721 231 231 0 8859 0
vsize: 36360
[startup+240.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6871 0 0 0 23974 28 0 0 25 0 1 0 453577554 37232640 6721 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6721 231 231 0 8859 0
vsize: 36360
[startup+250.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6872 0 0 0 24974 28 0 0 25 0 1 0 453577554 37232640 6722 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6722 231 231 0 8859 0
vsize: 36360
[startup+260 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6910 0 0 0 25973 29 0 0 25 0 1 0 453577554 37367808 6760 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6760 231 231 0 8892 0
vsize: 36492
[startup+270 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6913 0 0 0 26973 29 0 0 25 0 1 0 453577554 37367808 6763 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6763 231 231 0 8892 0
vsize: 36492
[startup+280 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6914 0 0 0 27973 29 0 0 25 0 1 0 453577554 37367808 6764 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6764 231 231 0 8892 0
vsize: 36492
[startup+290.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6915 0 0 0 28974 29 0 0 25 0 1 0 453577554 37367808 6765 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6765 231 231 0 8892 0
vsize: 36492
[startup+300.001 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6916 0 0 0 29974 29 0 0 25 0 1 0 453577554 37367808 6766 4294967295 134512640 135450300 3221224640 3221223424 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6766 231 231 0 8892 0
vsize: 36492
[startup+310 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6917 0 0 0 30974 29 0 0 25 0 1 0 453577554 37367808 6767 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6767 231 231 0 8892 0
vsize: 36492
[startup+320 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6925 0 0 0 31974 29 0 0 25 0 1 0 453577554 37507072 6775 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9157 6775 231 231 0 8926 0
vsize: 36628
[startup+330 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6932 0 0 0 32973 30 0 0 25 0 1 0 453577554 37507072 6782 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9157 6782 231 231 0 8926 0
vsize: 36628
[startup+340.001 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6956 0 0 0 33973 30 0 0 25 0 1 0 453577554 37507072 6806 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9157 6806 231 231 0 8926 0
vsize: 36628
[startup+350 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6969 0 0 0 34973 31 0 0 25 0 1 0 453577554 37642240 6819 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 6819 231 231 0 8959 0
vsize: 36760
[startup+360 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6990 0 0 0 35973 31 0 0 25 0 1 0 453577554 37642240 6840 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 6840 231 231 0 8959 0
vsize: 36760
[startup+370.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6992 0 0 0 36973 31 0 0 25 0 1 0 453577554 37642240 6842 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 6842 231 231 0 8959 0
vsize: 36760
[startup+380 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 6997 0 0 0 37973 31 0 0 25 0 1 0 453577554 37777408 6847 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6847 231 231 0 8992 0
vsize: 36892
[startup+390 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7000 0 0 0 38974 31 0 0 25 0 1 0 453577554 37777408 6850 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6850 231 231 0 8992 0
vsize: 36892
[startup+400.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7000 0 0 0 39974 31 0 0 25 0 1 0 453577554 37777408 6850 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6850 231 231 0 8992 0
vsize: 36892
[startup+410 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7001 0 0 0 40974 31 0 0 25 0 1 0 453577554 37777408 6851 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6851 231 231 0 8992 0
vsize: 36892
[startup+420.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7002 0 0 0 41974 31 0 0 25 0 1 0 453577554 37777408 6852 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6852 231 231 0 8992 0
vsize: 36892
[startup+430.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7004 0 0 0 42974 31 0 0 25 0 1 0 453577554 37777408 6854 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6854 231 231 0 8992 0
vsize: 36892
[startup+440.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7005 0 0 0 43974 31 0 0 25 0 1 0 453577554 37777408 6855 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6855 231 231 0 8992 0
vsize: 36892
[startup+450.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7006 0 0 0 44974 32 0 0 25 0 1 0 453577554 37777408 6856 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6856 231 231 0 8992 0
vsize: 36892
[startup+460.001 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7009 0 0 0 45974 32 0 0 25 0 1 0 453577554 37777408 6859 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6859 231 231 0 8992 0
vsize: 36892
[startup+470.002 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7010 0 0 0 46975 32 0 0 25 0 1 0 453577554 37777408 6860 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6860 231 231 0 8992 0
vsize: 36892
[startup+480.002 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7010 0 0 0 47975 32 0 0 25 0 1 0 453577554 37777408 6860 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6860 231 231 0 8992 0
vsize: 36892
[startup+490.002 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7030 0 0 0 48975 32 0 0 25 0 1 0 453577554 37777408 6880 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6880 231 231 0 8992 0
vsize: 36892
[startup+500.003 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7045 0 0 0 49975 32 0 0 25 0 1 0 453577554 37912576 6895 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9256 6895 231 231 0 9025 0
vsize: 37024
[startup+510.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7052 0 0 0 50975 32 0 0 25 0 1 0 453577554 37912576 6902 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9256 6902 231 231 0 9025 0
vsize: 37024
[startup+520.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7103 0 0 0 51975 33 0 0 25 0 1 0 453577554 38047744 6953 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9289 6953 231 231 0 9058 0
vsize: 37156
[startup+530.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7119 0 0 0 52974 33 0 0 25 0 1 0 453577554 38187008 6969 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 6969 231 231 0 9092 0
vsize: 37292
[startup+540.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7120 0 0 0 53974 33 0 0 25 0 1 0 453577554 38187008 6970 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 6970 231 231 0 9092 0
vsize: 37292
[startup+550.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7157 0 0 0 54974 34 0 0 25 0 1 0 453577554 38187008 7007 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 7007 231 231 0 9092 0
vsize: 37292
[startup+560.002 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7201 0 0 0 55974 34 0 0 25 0 1 0 453577554 38187008 7051 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 7051 231 231 0 9092 0
vsize: 37292
[startup+570.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7247 0 0 0 56974 34 0 0 25 0 1 0 453577554 38187008 7097 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 7097 231 231 0 9092 0
vsize: 37292
[startup+580.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7291 0 0 0 57974 34 0 0 25 0 1 0 453577554 38187008 7141 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 7141 231 231 0 9092 0
vsize: 37292
[startup+590.004 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7336 0 0 0 58974 35 0 0 25 0 1 0 453577554 38187008 7186 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9323 7186 231 231 0 9092 0
vsize: 37292
[startup+600.003 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7706 0 0 0 59972 37 0 0 25 0 1 0 453577554 38322176 7556 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9356 7556 231 231 0 9125 0
vsize: 37424
[startup+610.003 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7738 0 0 0 60971 38 0 0 25 0 1 0 453577554 38461440 7588 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7588 231 231 0 9159 0
vsize: 37560
[startup+620.004 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7742 0 0 0 61971 38 0 0 25 0 1 0 453577554 38461440 7592 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7592 231 231 0 9159 0
vsize: 37560
[startup+630.003 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7758 0 0 0 62971 39 0 0 25 0 1 0 453577554 38461440 7608 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7608 231 231 0 9159 0
vsize: 37560
[startup+640.003 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7761 0 0 0 63971 39 0 0 25 0 1 0 453577554 38461440 7611 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7611 231 231 0 9159 0
vsize: 37560
[startup+650.004 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7767 0 0 0 64971 39 0 0 25 0 1 0 453577554 38461440 7617 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7617 231 231 0 9159 0
vsize: 37560
[startup+660.004 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7769 0 0 0 65971 39 0 0 25 0 1 0 453577554 38461440 7619 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7619 231 231 0 9159 0
vsize: 37560
[startup+670.004 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7773 0 0 0 66971 39 0 0 25 0 1 0 453577554 38461440 7623 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7623 231 231 0 9159 0
vsize: 37560
[startup+680.005 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7774 0 0 0 67971 39 0 0 25 0 1 0 453577554 38461440 7624 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7624 231 231 0 9159 0
vsize: 37560
[startup+690.005 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7774 0 0 0 68971 39 0 0 25 0 1 0 453577554 38461440 7624 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7624 231 231 0 9159 0
vsize: 37560
[startup+700.005 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7775 0 0 0 69972 39 0 0 25 0 1 0 453577554 38461440 7625 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7625 231 231 0 9159 0
vsize: 37560
[startup+710.005 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7776 0 0 0 70972 39 0 0 25 0 1 0 453577554 38461440 7626 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7626 231 231 0 9159 0
vsize: 37560
[startup+720.006 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7776 0 0 0 71972 39 0 0 25 0 1 0 453577554 38461440 7626 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7626 231 231 0 9159 0
vsize: 37560
[startup+730.006 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7777 0 0 0 72972 39 0 0 25 0 1 0 453577554 38461440 7627 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9390 7627 231 231 0 9159 0
vsize: 37560
[startup+740.006 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7790 0 0 0 73972 39 0 0 25 0 1 0 453577554 38600704 7640 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 7640 231 231 0 9193 0
vsize: 37696
[startup+750.007 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7805 0 0 0 74972 40 0 0 25 0 1 0 453577554 38600704 7655 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 7655 231 231 0 9193 0
vsize: 37696
[startup+760.007 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 7914 0 0 0 75971 41 0 0 25 0 1 0 453577554 38600704 7764 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9424 7764 231 231 0 9193 0
vsize: 37696
[startup+770.007 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8116 0 0 0 76971 41 0 0 25 0 1 0 453577554 39387136 7773 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9616 7773 231 231 0 9385 0
vsize: 38464
[startup+780.007 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8118 0 0 0 77971 41 0 0 25 0 1 0 453577554 39387136 7775 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9616 7775 231 231 0 9385 0
vsize: 38464
[startup+790.008 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8131 0 0 0 78971 41 0 0 25 0 1 0 453577554 39387136 7788 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9616 7788 231 231 0 9385 0
vsize: 38464
[startup+800.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8144 0 0 0 79971 41 0 0 25 0 1 0 453577554 39526400 7801 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7801 231 231 0 9419 0
vsize: 38600
[startup+810.007 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8144 0 0 0 80971 42 0 0 25 0 1 0 453577554 39526400 7801 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7801 231 231 0 9419 0
vsize: 38600
[startup+820.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8145 0 0 0 81971 42 0 0 25 0 1 0 453577554 39526400 7802 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7802 231 231 0 9419 0
vsize: 38600
[startup+830.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8146 0 0 0 82971 42 0 0 25 0 1 0 453577554 39526400 7803 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7803 231 231 0 9419 0
vsize: 38600
[startup+840.009 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8146 0 0 0 83972 42 0 0 25 0 1 0 453577554 39526400 7803 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7803 231 231 0 9419 0
vsize: 38600
[startup+850.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8147 0 0 0 84972 42 0 0 25 0 1 0 453577554 39526400 7804 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7804 231 231 0 9419 0
vsize: 38600
[startup+860.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8174 0 0 0 85972 42 0 0 25 0 1 0 453577554 39526400 7831 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 7831 231 231 0 9419 0
vsize: 38600
[startup+870.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8440 0 0 0 86971 43 0 0 25 0 1 0 453577554 39526400 8097 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8097 231 231 0 9419 0
vsize: 38600
[startup+880.008 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8827 0 0 0 87970 44 0 0 25 0 1 0 453577554 39661568 8484 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8484 231 231 0 9452 0
vsize: 38732
[startup+890.009 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8868 0 0 0 88970 44 0 0 25 0 1 0 453577554 39661568 8525 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8525 231 231 0 9452 0
vsize: 38732
[startup+900.009 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8877 0 0 0 89971 44 0 0 25 0 1 0 453577554 39661568 8534 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8534 231 231 0 9452 0
vsize: 38732
[startup+910.009 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8877 0 0 0 90971 44 0 0 25 0 1 0 453577554 39661568 8534 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8534 231 231 0 9452 0
vsize: 38732
[startup+920.009 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8878 0 0 0 91971 44 0 0 25 0 1 0 453577554 39661568 8535 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8535 231 231 0 9452 0
vsize: 38732
[startup+930.01 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8879 0 0 0 92971 44 0 0 25 0 1 0 453577554 39661568 8536 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8536 231 231 0 9452 0
vsize: 38732
[startup+940.01 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8880 0 0 0 93971 44 0 0 25 0 1 0 453577554 39661568 8537 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8537 231 231 0 9452 0
vsize: 38732
[startup+950.009 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8893 0 0 0 94971 45 0 0 25 0 1 0 453577554 39661568 8550 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8550 231 231 0 9452 0
vsize: 38732
[startup+960.009 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8906 0 0 0 95971 45 0 0 25 0 1 0 453577554 39796736 8563 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8563 231 231 0 9485 0
vsize: 38864
[startup+970.01 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8911 0 0 0 96971 45 0 0 25 0 1 0 453577554 39796736 8568 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8568 231 231 0 9485 0
vsize: 38864
[startup+980.01 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8912 0 0 0 97971 45 0 0 25 0 1 0 453577554 39796736 8569 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8569 231 231 0 9485 0
vsize: 38864
[startup+990.01 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8934 0 0 0 98971 45 0 0 25 0 1 0 453577554 39796736 8591 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8591 231 231 0 9485 0
vsize: 38864
[startup+1000.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 8978 0 0 0 99971 45 0 0 25 0 1 0 453577554 39796736 8635 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8635 231 231 0 9485 0
vsize: 38864
[startup+1010.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9021 0 0 0 100971 45 0 0 25 0 1 0 453577554 39796736 8678 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8678 231 231 0 9485 0
vsize: 38864
[startup+1020.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9066 0 0 0 101971 45 0 0 25 0 1 0 453577554 39796736 8723 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8723 231 231 0 9485 0
vsize: 38864
[startup+1030.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9096 0 0 0 102971 46 0 0 25 0 1 0 453577554 39796736 8753 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8753 231 231 0 9485 0
vsize: 38864
[startup+1040.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9100 0 0 0 103971 46 0 0 25 0 1 0 453577554 39796736 8757 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8757 231 231 0 9485 0
vsize: 38864
[startup+1050.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9113 0 0 0 104972 46 0 0 25 0 1 0 453577554 39948288 8770 4294967295 134512640 135450300 3221224640 3221223360 134535995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8770 231 231 0 9522 0
vsize: 39012
[startup+1060.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9114 0 0 0 105972 46 0 0 25 0 1 0 453577554 39948288 8771 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8771 231 231 0 9522 0
vsize: 39012
[startup+1070.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9115 0 0 0 106972 46 0 0 25 0 1 0 453577554 39948288 8772 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8772 231 231 0 9522 0
vsize: 39012
[startup+1080.01 s]
Raw data (loadavg): 1.07 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9122 0 0 0 107972 46 0 0 25 0 1 0 453577554 39948288 8779 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8779 231 231 0 9522 0
vsize: 39012
[startup+1090.01 s]
Raw data (loadavg): 1.06 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9122 0 0 0 108972 46 0 0 25 0 1 0 453577554 39948288 8779 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8779 231 231 0 9522 0
vsize: 39012
[startup+1100.01 s]
Raw data (loadavg): 1.05 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9123 0 0 0 109972 46 0 0 25 0 1 0 453577554 39948288 8780 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8780 231 231 0 9522 0
vsize: 39012
[startup+1110.01 s]
Raw data (loadavg): 1.04 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9123 0 0 0 110973 46 0 0 25 0 1 0 453577554 39948288 8780 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8780 231 231 0 9522 0
vsize: 39012
[startup+1120.01 s]
Raw data (loadavg): 1.04 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9124 0 0 0 111973 46 0 0 25 0 1 0 453577554 39948288 8781 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8781 231 231 0 9522 0
vsize: 39012
[startup+1130.01 s]
Raw data (loadavg): 1.03 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9125 0 0 0 112973 46 0 0 25 0 1 0 453577554 39948288 8782 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8782 231 231 0 9522 0
vsize: 39012
[startup+1140.01 s]
Raw data (loadavg): 1.03 1.01 0.88 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9125 0 0 0 113973 46 0 0 25 0 1 0 453577554 39948288 8782 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8782 231 231 0 9522 0
vsize: 39012
[startup+1150.01 s]
Raw data (loadavg): 1.02 1.01 0.89 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9133 0 0 0 114973 46 0 0 25 0 1 0 453577554 39948288 8790 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8790 231 231 0 9522 0
vsize: 39012
[startup+1160.01 s]
Raw data (loadavg): 1.02 1.01 0.89 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9134 0 0 0 115973 47 0 0 25 0 1 0 453577554 39948288 8791 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8791 231 231 0 9522 0
vsize: 39012
[startup+1170.01 s]
Raw data (loadavg): 1.01 1.01 0.89 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9135 0 0 0 116973 47 0 0 25 0 1 0 453577554 39948288 8792 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8792 231 231 0 9522 0
vsize: 39012
[startup+1180.01 s]
Raw data (loadavg): 1.01 1.00 0.89 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9136 0 0 0 117973 47 0 0 25 0 1 0 453577554 39948288 8793 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8793 231 231 0 9522 0
vsize: 39012
[startup+1190.01 s]
Raw data (loadavg): 1.01 1.00 0.89 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9137 0 0 0 118973 47 0 0 25 0 1 0 453577554 39948288 8794 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8794 231 231 0 9522 0
vsize: 39012
[startup+1200.01 s]
Raw data (loadavg): 1.01 1.00 0.89 2/54 25048
Raw data (stat): 25046 (PBS4) R 25045 30854 30853 0 -1 0 9149 0 0 0 119973 47 0 0 25 0 1 0 453577554 39948288 8806 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9753 8806 231 231 0 9522 0
vsize: 39012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.01 1.00 0.89 1/54 25048
Raw data (stat): 25046 (PBS4) Z 25045 30854 30853 0 -1 1036 9149 0 0 0 119973 49 0 0 25 0 1 0 453577554 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.03
CPU time (s): 1200.23
CPU user time (s): 1199.74
CPU system time (s): 0.490925
CPU usage (%): 100.016
Max. virtual memory (Kb): 39012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####