PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        379364 kB
Buffers:         16572 kB
Cached:         615896 kB
SwapCached:          0 kB
Active:          32820 kB
Inactive:       602408 kB
HighTotal:      131008 kB
HighFree:        29848 kB
LowTotal:       903652 kB
LowFree:        349516 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14480 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:48:53 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 11914 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-lp4l.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.93 2/54 5118
Raw data (stat): 5118 (runsolver) R 5117 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485777558 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.87 0.94 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 663 0 0 0 996 3 0 0 25 0 1 0 485777558 3985408 659 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 973 659 231 231 0 742 0
vsize: 3892
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 1160 0 0 0 1994 4 0 0 25 0 1 0 485777558 6082560 1156 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1485 1156 231 231 0 1254 0
vsize: 5940
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 1815 0 0 0 2992 6 0 0 25 0 1 0 485777558 10612736 1811 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2591 1811 231 231 0 2360 0
vsize: 10364
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.94 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 2459 0 0 0 3989 8 0 0 25 0 1 0 485777558 19136512 2455 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 2456 231 231 0 4441 0
vsize: 18688
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 2848 0 0 0 4988 10 0 0 25 0 1 0 485777558 19603456 2795 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 2795 231 231 0 4555 0
vsize: 19144
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 3150 0 0 0 5986 12 0 0 25 0 1 0 485777558 19738624 3097 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3097 231 231 0 4588 0
vsize: 19276
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 3458 0 0 0 6984 14 0 0 25 0 1 0 485777558 19873792 3405 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3405 231 231 0 4621 0
vsize: 19408
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 3681 0 0 0 7983 16 0 0 25 0 1 0 485777558 20008960 3628 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4885 3628 231 231 0 4654 0
vsize: 19540
[startup+90.0032 s]
Raw data (loadavg): 0.96 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 4035 0 0 0 8981 18 0 0 25 0 1 0 485777558 20144128 3982 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4918 3982 231 231 0 4687 0
vsize: 19672
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 4288 0 0 0 9980 19 0 0 25 0 1 0 485777558 20279296 4235 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4951 4235 231 231 0 4720 0
vsize: 19804
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 4531 0 0 0 10978 21 0 0 25 0 1 0 485777558 20410368 4478 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4478 231 231 0 4752 0
vsize: 19932
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 4765 0 0 0 11977 22 0 0 25 0 1 0 485777558 20410368 4712 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4712 231 231 0 4752 0
vsize: 19932
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5080 0 0 0 12975 24 0 0 25 0 1 0 485777558 21233664 4930 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4930 231 231 0 4953 0
vsize: 20736
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5087 0 0 0 13974 25 0 0 25 0 1 0 485777558 21233664 4937 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4937 231 231 0 4953 0
vsize: 20736
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5095 0 0 0 14974 26 0 0 25 0 1 0 485777558 21233664 4945 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4945 231 231 0 4953 0
vsize: 20736
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5102 0 0 0 15973 27 0 0 25 0 1 0 485777558 21233664 4952 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4952 231 231 0 4953 0
vsize: 20736
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5108 0 0 0 16973 27 0 0 25 0 1 0 485777558 21233664 4958 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4958 231 231 0 4953 0
vsize: 20736
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5117 0 0 0 17972 28 0 0 25 0 1 0 485777558 21233664 4967 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4967 231 231 0 4953 0
vsize: 20736
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5132 0 0 0 18973 28 0 0 25 0 1 0 485777558 21233664 4982 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5184 4982 231 231 0 4953 0
vsize: 20736
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5141 0 0 0 19971 29 0 0 25 0 1 0 485777558 21368832 4991 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 4991 231 231 0 4986 0
vsize: 20868
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5147 0 0 0 20971 30 0 0 25 0 1 0 485777558 21368832 4997 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 4997 231 231 0 4986 0
vsize: 20868
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5158 0 0 0 21971 30 0 0 25 0 1 0 485777558 21368832 5008 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 5008 231 231 0 4986 0
vsize: 20868
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5169 0 0 0 22970 31 0 0 25 0 1 0 485777558 21368832 5019 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 5019 231 231 0 4986 0
vsize: 20868
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5180 0 0 0 23970 31 0 0 25 0 1 0 485777558 21368832 5030 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 5030 231 231 0 4986 0
vsize: 20868
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5196 0 0 0 24970 31 0 0 25 0 1 0 485777558 21368832 5046 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 5046 231 231 0 4986 0
vsize: 20868
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5209 0 0 0 25970 32 0 0 25 0 1 0 485777558 21504000 5059 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5250 5059 231 231 0 5019 0
vsize: 21000
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5220 0 0 0 26969 32 0 0 25 0 1 0 485777558 21504000 5070 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5250 5070 231 231 0 5019 0
vsize: 21000
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5234 0 0 0 27969 33 0 0 25 0 1 0 485777558 21504000 5084 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5250 5084 231 231 0 5019 0
vsize: 21000
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5257 0 0 0 28969 33 0 0 25 0 1 0 485777558 21639168 5107 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 5107 231 231 0 5052 0
vsize: 21132
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5274 0 0 0 29968 34 0 0 25 0 1 0 485777558 21639168 5124 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 5124 231 231 0 5052 0
vsize: 21132
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5286 0 0 0 30967 35 0 0 25 0 1 0 485777558 21639168 5136 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 5136 231 231 0 5052 0
vsize: 21132
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5490 0 0 0 31967 36 0 0 25 0 1 0 485777558 22425600 5147 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5475 5147 231 231 0 5244 0
vsize: 21900
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5525 0 0 0 32966 37 0 0 25 0 1 0 485777558 22560768 5182 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5508 5182 231 231 0 5277 0
vsize: 22032
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5622 0 0 0 33964 38 0 0 25 0 1 0 485777558 39473152 5279 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9637 5279 231 231 0 9406 0
vsize: 38548
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 5845 0 0 0 34963 40 0 0 25 0 1 0 485777558 39473152 5502 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9637 5502 231 231 0 9406 0
vsize: 38548
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 6040 0 0 0 35963 41 0 0 25 0 1 0 485777558 39473152 5697 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9637 5697 231 231 0 9406 0
vsize: 38548
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 6170 0 0 0 36962 41 0 0 25 0 1 0 485777558 39473152 5827 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9637 5827 231 231 0 9406 0
vsize: 38548
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 6334 0 0 0 37960 44 0 0 25 0 1 0 485777558 39608320 5991 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9670 5991 231 231 0 9439 0
vsize: 38680
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 6516 0 0 0 38958 45 0 0 25 0 1 0 485777558 39743488 6173 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9703 6173 231 231 0 9472 0
vsize: 38812
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 6800 0 0 0 39958 46 0 0 25 0 1 0 485777558 39743488 6457 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9703 6457 231 231 0 9472 0
vsize: 38812
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 7017 0 0 0 40956 48 0 0 25 0 1 0 485777558 39743488 6674 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9703 6674 231 231 0 9472 0
vsize: 38812
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 7216 0 0 0 41956 48 0 0 25 0 1 0 485777558 39878656 6873 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 6873 231 231 0 9505 0
vsize: 38944
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 7417 0 0 0 42955 49 0 0 25 0 1 0 485777558 39878656 7074 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 7074 231 231 0 9505 0
vsize: 38944
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 7770 0 0 0 43955 50 0 0 25 0 1 0 485777558 39878656 7427 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 7427 231 231 0 9505 0
vsize: 38944
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 7977 0 0 0 44955 50 0 0 25 0 1 0 485777558 40013824 7634 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9769 7634 231 231 0 9538 0
vsize: 39076
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8102 0 0 0 45954 51 0 0 25 0 1 0 485777558 40013824 7759 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9769 7759 231 231 0 9538 0
vsize: 39076
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8326 0 0 0 46953 52 0 0 25 0 1 0 485777558 40013824 7983 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9769 7983 231 231 0 9538 0
vsize: 39076
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8381 0 0 0 47953 52 0 0 25 0 1 0 485777558 40148992 8038 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9802 8038 231 231 0 9571 0
vsize: 39208
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8390 0 0 0 48953 53 0 0 25 0 1 0 485777558 40148992 8047 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9802 8047 231 231 0 9571 0
vsize: 39208
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8407 0 0 0 49953 53 0 0 25 0 1 0 485777558 40148992 8064 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9802 8064 231 231 0 9571 0
vsize: 39208
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8416 0 0 0 50953 53 0 0 25 0 1 0 485777558 40148992 8073 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9802 8073 231 231 0 9571 0
vsize: 39208
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8433 0 0 0 51953 53 0 0 25 0 1 0 485777558 40275968 8090 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9833 8090 231 231 0 9602 0
vsize: 39332
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8443 0 0 0 52952 54 0 0 25 0 1 0 485777558 40275968 8100 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9833 8100 231 231 0 9602 0
vsize: 39332
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8482 0 0 0 53951 55 0 0 25 0 1 0 485777558 40411136 8139 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9866 8139 231 231 0 9635 0
vsize: 39464
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8718 0 0 0 54950 56 0 0 25 0 1 0 485777558 40411136 8375 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9866 8375 231 231 0 9635 0
vsize: 39464
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8943 0 0 0 55949 57 0 0 25 0 1 0 485777558 40411136 8600 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9866 8600 231 231 0 9635 0
vsize: 39464
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 8979 0 0 0 56949 58 0 0 25 0 1 0 485777558 40546304 8636 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9899 8636 231 231 0 9668 0
vsize: 39596
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9037 0 0 0 57948 59 0 0 25 0 1 0 485777558 40681472 8694 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9932 8694 231 231 0 9701 0
vsize: 39728
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9166 0 0 0 58948 59 0 0 25 0 1 0 485777558 40824832 8823 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 8823 231 231 0 9736 0
vsize: 39868
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9263 0 0 0 59947 60 0 0 25 0 1 0 485777558 40824832 8920 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 8920 231 231 0 9736 0
vsize: 39868
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9373 0 0 0 60948 60 0 0 25 0 1 0 485777558 40824832 9030 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9030 231 231 0 9736 0
vsize: 39868
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9464 0 0 0 61947 61 0 0 25 0 1 0 485777558 40824832 9121 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9121 231 231 0 9736 0
vsize: 39868
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9521 0 0 0 62947 61 0 0 25 0 1 0 485777558 40824832 9178 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9178 231 231 0 9736 0
vsize: 39868
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9530 0 0 0 63947 61 0 0 25 0 1 0 485777558 40824832 9187 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9187 231 231 0 9736 0
vsize: 39868
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9538 0 0 0 64947 61 0 0 25 0 1 0 485777558 40824832 9195 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9195 231 231 0 9736 0
vsize: 39868
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9548 0 0 0 65947 61 0 0 25 0 1 0 485777558 40951808 9205 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9998 9205 231 231 0 9767 0
vsize: 39992
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9560 0 0 0 66947 61 0 0 25 0 1 0 485777558 40951808 9217 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9998 9217 231 231 0 9767 0
vsize: 39992
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9583 0 0 0 67947 62 0 0 25 0 1 0 485777558 41086976 9240 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9240 231 231 0 9800 0
vsize: 40124
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9590 0 0 0 68947 62 0 0 25 0 1 0 485777558 41086976 9247 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9247 231 231 0 9800 0
vsize: 40124
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9602 0 0 0 69947 62 0 0 25 0 1 0 485777558 41086976 9259 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9259 231 231 0 9800 0
vsize: 40124
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9612 0 0 0 70947 62 0 0 25 0 1 0 485777558 41086976 9269 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9269 231 231 0 9800 0
vsize: 40124
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9615 0 0 0 71947 62 0 0 25 0 1 0 485777558 41086976 9272 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9272 231 231 0 9800 0
vsize: 40124
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9627 0 0 0 72947 63 0 0 25 0 1 0 485777558 41086976 9284 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9284 231 231 0 9800 0
vsize: 40124
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9685 0 0 0 73947 63 0 0 25 0 1 0 485777558 41222144 9342 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10064 9342 231 231 0 9833 0
vsize: 40256
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9804 0 0 0 74946 64 0 0 25 0 1 0 485777558 41222144 9461 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10064 9461 231 231 0 9833 0
vsize: 40256
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 9971 0 0 0 75945 65 0 0 25 0 1 0 485777558 41222144 9628 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10064 9628 231 231 0 9833 0
vsize: 40256
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 10137 0 0 0 76945 65 0 0 25 0 1 0 485777558 41222144 9794 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10064 9794 231 231 0 9833 0
vsize: 40256
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 10281 0 0 0 77944 66 0 0 25 0 1 0 485777558 74776576 9938 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18256 9938 231 231 0 18025 0
vsize: 73024
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 10443 0 0 0 78944 67 0 0 25 0 1 0 485777558 74903552 10100 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18287 10100 231 231 0 18056 0
vsize: 73148
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 10567 0 0 0 79943 68 0 0 25 0 1 0 485777558 74903552 10224 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18287 10224 231 231 0 18056 0
vsize: 73148
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 10996 0 0 0 80942 69 0 0 25 0 1 0 485777558 76476416 10268 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18671 10268 231 231 0 18440 0
vsize: 74684
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 11169 0 0 0 81942 69 0 0 25 0 1 0 485777558 76476416 10441 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18671 10441 231 231 0 18440 0
vsize: 74684
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 11324 0 0 0 82941 70 0 0 25 0 1 0 485777558 76611584 10596 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 10596 231 231 0 18473 0
vsize: 74816
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 11402 0 0 0 83941 71 0 0 25 0 1 0 485777558 76611584 10674 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 10674 231 231 0 18473 0
vsize: 74816
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 11599 0 0 0 84939 72 0 0 25 0 1 0 485777558 76611584 10871 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 10871 231 231 0 18473 0
vsize: 74816
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 11737 0 0 0 85939 73 0 0 25 0 1 0 485777558 76611584 11009 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 11009 231 231 0 18473 0
vsize: 74816
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 11864 0 0 0 86938 74 0 0 25 0 1 0 485777558 76611584 11136 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 11136 231 231 0 18473 0
vsize: 74816
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12063 0 0 0 87937 75 0 0 25 0 1 0 485777558 76611584 11335 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 11335 231 231 0 18473 0
vsize: 74816
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12194 0 0 0 88937 76 0 0 25 0 1 0 485777558 76611584 11466 4294967295 134512640 135450300 3221224640 3221223360 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 11466 231 231 0 18473 0
vsize: 74816
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12312 0 0 0 89937 76 0 0 25 0 1 0 485777558 76742656 11584 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18736 11584 231 231 0 18505 0
vsize: 74944
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12455 0 0 0 90937 76 0 0 25 0 1 0 485777558 76742656 11727 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18736 11727 231 231 0 18505 0
vsize: 74944
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12515 0 0 0 91937 77 0 0 25 0 1 0 485777558 76742656 11787 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18736 11787 231 231 0 18505 0
vsize: 74944
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12611 0 0 0 92936 77 0 0 25 0 1 0 485777558 76742656 11883 4294967295 134512640 135450300 3221224640 3221223552 134597086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18736 11883 231 231 0 18505 0
vsize: 74944
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12672 0 0 0 93936 78 0 0 25 0 1 0 485777558 76742656 11944 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18736 11944 231 231 0 18505 0
vsize: 74944
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 12823 0 0 0 94935 78 0 0 25 0 1 0 485777558 76869632 12095 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 12095 231 231 0 18536 0
vsize: 75068
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13069 0 0 0 95935 79 0 0 25 0 1 0 485777558 76869632 12341 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 12341 231 231 0 18536 0
vsize: 75068
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13208 0 0 0 96934 80 0 0 25 0 1 0 485777558 77008896 12480 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 12480 231 231 0 18570 0
vsize: 75204
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13300 0 0 0 97934 80 0 0 25 0 1 0 485777558 77008896 12572 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 12572 231 231 0 18570 0
vsize: 75204
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13391 0 0 0 98934 80 0 0 25 0 1 0 485777558 77008896 12663 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 12663 231 231 0 18570 0
vsize: 75204
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13503 0 0 0 99935 81 0 0 25 0 1 0 485777558 77008896 12775 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 12775 231 231 0 18570 0
vsize: 75204
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13528 0 0 0 100935 81 0 0 25 0 1 0 485777558 77008896 12800 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 12800 231 231 0 18570 0
vsize: 75204
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13611 0 0 0 101934 82 0 0 25 0 1 0 485777558 77008896 12883 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 12883 231 231 0 18570 0
vsize: 75204
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13774 0 0 0 102934 82 0 0 25 0 1 0 485777558 77144064 13046 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13046 231 231 0 18603 0
vsize: 75336
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 13940 0 0 0 103933 83 0 0 25 0 1 0 485777558 77144064 13212 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13212 231 231 0 18603 0
vsize: 75336
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14112 0 0 0 104933 83 0 0 25 0 1 0 485777558 77144064 13384 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13384 231 231 0 18603 0
vsize: 75336
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14190 0 0 0 105933 84 0 0 25 0 1 0 485777558 77144064 13462 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13462 231 231 0 18603 0
vsize: 75336
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14248 0 0 0 106933 84 0 0 25 0 1 0 485777558 77144064 13520 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13520 231 231 0 18603 0
vsize: 75336
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14251 0 0 0 107933 84 0 0 25 0 1 0 485777558 77144064 13523 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13523 231 231 0 18603 0
vsize: 75336
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14476 0 0 0 108932 85 0 0 25 0 1 0 485777558 77144064 13748 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13748 231 231 0 18603 0
vsize: 75336
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14580 0 0 0 109932 85 0 0 25 0 1 0 485777558 77144064 13852 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13852 231 231 0 18603 0
vsize: 75336
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14674 0 0 0 110932 86 0 0 25 0 1 0 485777558 77144064 13946 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 13946 231 231 0 18603 0
vsize: 75336
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14783 0 0 0 111932 86 0 0 25 0 1 0 485777558 77144064 14055 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 14055 231 231 0 18603 0
vsize: 75336
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14878 0 0 0 112931 87 0 0 25 0 1 0 485777558 77279232 14150 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18867 14150 231 231 0 18636 0
vsize: 75468
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 14990 0 0 0 113931 87 0 0 25 0 1 0 485777558 77279232 14262 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18867 14262 231 231 0 18636 0
vsize: 75468
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 15011 0 0 0 114931 88 0 0 25 0 1 0 485777558 77279232 14283 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18867 14283 231 231 0 18636 0
vsize: 75468
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 15030 0 0 0 115931 88 0 0 25 0 1 0 485777558 77426688 14302 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18903 14302 231 231 0 18672 0
vsize: 75612
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 15121 0 0 0 116930 88 0 0 25 0 1 0 485777558 77426688 14393 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18903 14393 231 231 0 18672 0
vsize: 75612
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 15346 0 0 0 117929 89 0 0 25 0 1 0 485777558 77565952 14618 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18937 14618 231 231 0 18706 0
vsize: 75748
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 15459 0 0 0 118929 90 0 0 25 0 1 0 485777558 77565952 14731 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18937 14731 231 231 0 18706 0
vsize: 75748
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5118
Raw data (stat): 5118 (PBS4) R 5117 5897 5896 0 -1 0 15581 0 0 0 119928 91 0 0 25 0 1 0 485777558 77565952 14853 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18937 14853 231 231 0 18706 0
vsize: 75748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 5118
Raw data (stat): 5118 (PBS4) Z 5117 5897 5896 0 -1 1036 15581 0 0 0 119928 94 0 0 25 0 1 0 485777558 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.06
CPU time (s): 1200.23
CPU user time (s): 1199.29
CPU system time (s): 0.940856
CPU usage (%): 100.014
Max. virtual memory (Kb): 75748
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####