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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 18162

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 13:44:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18492 boxname=wulflinc31 idbench=1423 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 18492
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        607888 kB
Buffers:         34180 kB
Cached:         364984 kB
SwapCached:        540 kB
Active:         131764 kB
Inactive:       269412 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        607636 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            19988 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:04:54 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 18492 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.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.92 0.97 0.98 2/54 26500
Raw data (stat): 26500 (runsolver) R 26499 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545525531 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.0012 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1036 0 0 0 994 4 0 0 25 0 1 0 545525531 6504448 983 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1588 983 231 231 0 1357 0
vsize: 6352
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1156 0 0 0 1991 6 0 0 25 0 1 0 545525531 6647808 1103 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1623 1103 231 231 0 1392 0
vsize: 6492
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1371 0 0 0 2989 8 0 0 25 0 1 0 545525531 7176192 1221 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1221 231 231 0 1521 0
vsize: 7008
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1438 0 0 0 3987 10 0 0 25 0 1 0 545525531 7315456 1288 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1786 1288 231 231 0 1555 0
vsize: 7144
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1477 0 0 0 4987 11 0 0 25 0 1 0 545525531 7454720 1327 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1820 1327 231 231 0 1589 0
vsize: 7280
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1514 0 0 0 5986 12 0 0 25 0 1 0 545525531 7618560 1364 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1860 1364 231 231 0 1629 0
vsize: 7440
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1555 0 0 0 6985 12 0 0 25 0 1 0 545525531 7618560 1405 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1860 1405 231 231 0 1629 0
vsize: 7440
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1642 0 0 0 7984 13 0 0 25 0 1 0 545525531 7782400 1492 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1900 1492 231 231 0 1669 0
vsize: 7600
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1714 0 0 0 8984 14 0 0 25 0 1 0 545525531 7929856 1564 4294967295 134512640 135450300 3221224640 3221223504 134539263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 1564 231 231 0 1705 0
vsize: 7744
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 1753 0 0 0 9984 14 0 0 25 0 1 0 545525531 7929856 1603 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 1603 231 231 0 1705 0
vsize: 7744
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2029 0 0 0 10982 16 0 0 25 0 1 0 545525531 8855552 1686 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2162 1686 231 231 0 1931 0
vsize: 8648
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2082 0 0 0 11982 17 0 0 25 0 1 0 545525531 8855552 1739 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2162 1739 231 231 0 1931 0
vsize: 8648
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2162 0 0 0 12981 18 0 0 25 0 1 0 545525531 13185024 1819 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3219 1819 231 231 0 2988 0
vsize: 12876
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2233 0 0 0 13980 19 0 0 25 0 1 0 545525531 13185024 1890 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3219 1890 231 231 0 2988 0
vsize: 12876
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2308 0 0 0 14980 20 0 0 25 0 1 0 545525531 13340672 1965 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 1965 231 231 0 3026 0
vsize: 13028
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2378 0 0 0 15979 20 0 0 25 0 1 0 545525531 13340672 2035 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2035 231 231 0 3026 0
vsize: 13028
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2419 0 0 0 16979 20 0 0 25 0 1 0 545525531 13340672 2076 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2076 231 231 0 3026 0
vsize: 13028
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2487 0 0 0 17978 21 0 0 25 0 1 0 545525531 13340672 2144 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2144 231 231 0 3026 0
vsize: 13028
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2526 0 0 0 18978 21 0 0 25 0 1 0 545525531 13524992 2183 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 2183 231 231 0 3071 0
vsize: 13208
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2568 0 0 0 19978 22 0 0 25 0 1 0 545525531 13524992 2225 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 2225 231 231 0 3071 0
vsize: 13208
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2631 0 0 0 20976 24 0 0 25 0 1 0 545525531 13717504 2288 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3349 2288 231 231 0 3118 0
vsize: 13396
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2662 0 0 0 21976 24 0 0 25 0 1 0 545525531 13717504 2319 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3349 2319 231 231 0 3118 0
vsize: 13396
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2743 0 0 0 22975 25 0 0 25 0 1 0 545525531 13881344 2400 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2400 231 231 0 3158 0
vsize: 13556
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2790 0 0 0 23975 26 0 0 25 0 1 0 545525531 13881344 2447 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2447 231 231 0 3158 0
vsize: 13556
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2855 0 0 0 24975 26 0 0 25 0 1 0 545525531 13881344 2512 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2512 231 231 0 3158 0
vsize: 13556
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2915 0 0 0 25974 27 0 0 25 0 1 0 545525531 14069760 2572 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2572 231 231 0 3204 0
vsize: 13740
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 2955 0 0 0 26974 27 0 0 25 0 1 0 545525531 14069760 2612 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2612 231 231 0 3204 0
vsize: 13740
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3054 0 0 0 27973 28 0 0 25 0 1 0 545525531 14069760 2711 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2711 231 231 0 3204 0
vsize: 13740
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3126 0 0 0 28973 29 0 0 25 0 1 0 545525531 14266368 2783 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2783 231 231 0 3252 0
vsize: 13932
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3154 0 0 0 29973 29 0 0 25 0 1 0 545525531 14266368 2811 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2811 231 231 0 3252 0
vsize: 13932
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3179 0 0 0 30972 30 0 0 25 0 1 0 545525531 14266368 2836 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2836 231 231 0 3252 0
vsize: 13932
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3263 0 0 0 31971 31 0 0 25 0 1 0 545525531 14430208 2920 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2920 231 231 0 3292 0
vsize: 14092
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3326 0 0 0 32971 32 0 0 25 0 1 0 545525531 14430208 2983 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2983 231 231 0 3292 0
vsize: 14092
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3386 0 0 0 33970 33 0 0 25 0 1 0 545525531 14626816 3043 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 3043 231 231 0 3340 0
vsize: 14284
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3847 0 0 0 34968 34 0 0 25 0 1 0 545525531 16199680 3119 4294967295 134512640 135450300 3221224640 3221223376 134538089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 3119 231 231 0 3724 0
vsize: 15820
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 3924 0 0 0 35968 35 0 0 25 0 1 0 545525531 16396288 3196 4294967295 134512640 135450300 3221224640 3221223456 134537149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4003 3196 231 231 0 3772 0
vsize: 16012
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4006 0 0 0 36967 36 0 0 25 0 1 0 545525531 16564224 3278 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3278 231 231 0 3813 0
vsize: 16176
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4016 0 0 0 37967 36 0 0 25 0 1 0 545525531 16564224 3288 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3288 231 231 0 3813 0
vsize: 16176
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4039 0 0 0 38967 37 0 0 25 0 1 0 545525531 16564224 3311 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3311 231 231 0 3813 0
vsize: 16176
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4101 0 0 0 39967 37 0 0 25 0 1 0 545525531 16564224 3373 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3373 231 231 0 3813 0
vsize: 16176
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4138 0 0 0 40967 37 0 0 25 0 1 0 545525531 16564224 3410 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3410 231 231 0 3813 0
vsize: 16176
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4177 0 0 0 41966 38 0 0 25 0 1 0 545525531 16564224 3449 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3449 231 231 0 3813 0
vsize: 16176
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4238 0 0 0 42966 38 0 0 25 0 1 0 545525531 25149440 3510 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6140 3510 231 231 0 5909 0
vsize: 24560
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4317 0 0 0 43966 38 0 0 25 0 1 0 545525531 25284608 3589 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3589 231 231 0 5942 0
vsize: 24692
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4329 0 0 0 44966 39 0 0 25 0 1 0 545525531 25284608 3601 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3601 231 231 0 5942 0
vsize: 24692
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4361 0 0 0 45966 39 0 0 25 0 1 0 545525531 25284608 3633 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3633 231 231 0 5942 0
vsize: 24692
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4396 0 0 0 46965 40 0 0 25 0 1 0 545525531 25284608 3668 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3668 231 231 0 5942 0
vsize: 24692
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4446 0 0 0 47965 40 0 0 25 0 1 0 545525531 25284608 3718 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3718 231 231 0 5942 0
vsize: 24692
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4506 0 0 0 48965 41 0 0 25 0 1 0 545525531 25284608 3778 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3778 231 231 0 5942 0
vsize: 24692
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4564 0 0 0 49964 42 0 0 25 0 1 0 545525531 25284608 3836 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3836 231 231 0 5942 0
vsize: 24692
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4647 0 0 0 50964 42 0 0 25 0 1 0 545525531 25419776 3919 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 3919 231 231 0 5975 0
vsize: 24824
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4700 0 0 0 51964 42 0 0 25 0 1 0 545525531 25419776 3972 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 3972 231 231 0 5975 0
vsize: 24824
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4761 0 0 0 52963 43 0 0 25 0 1 0 545525531 25583616 4033 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4033 231 231 0 6015 0
vsize: 24984
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4779 0 0 0 53963 44 0 0 25 0 1 0 545525531 25583616 4051 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4051 231 231 0 6015 0
vsize: 24984
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4786 0 0 0 54963 44 0 0 25 0 1 0 545525531 25583616 4058 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4058 231 231 0 6015 0
vsize: 24984
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4821 0 0 0 55963 44 0 0 25 0 1 0 545525531 25583616 4093 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4093 231 231 0 6015 0
vsize: 24984
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4938 0 0 0 56961 46 0 0 25 0 1 0 545525531 25853952 4210 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4210 231 231 0 6081 0
vsize: 25248
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 4961 0 0 0 57961 46 0 0 25 0 1 0 545525531 25853952 4233 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4233 231 231 0 6081 0
vsize: 25248
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5001 0 0 0 58961 46 0 0 25 0 1 0 545525531 25989120 4273 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4273 231 231 0 6114 0
vsize: 25380
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5030 0 0 0 59961 47 0 0 25 0 1 0 545525531 25989120 4302 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4302 231 231 0 6114 0
vsize: 25380
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5077 0 0 0 60960 47 0 0 25 0 1 0 545525531 25989120 4349 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4349 231 231 0 6114 0
vsize: 25380
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5089 0 0 0 61960 48 0 0 25 0 1 0 545525531 25989120 4361 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4361 231 231 0 6114 0
vsize: 25380
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5127 0 0 0 62960 49 0 0 25 0 1 0 545525531 26124288 4399 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4399 231 231 0 6147 0
vsize: 25512
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5210 0 0 0 63958 50 0 0 25 0 1 0 545525531 26259456 4482 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4482 231 231 0 6180 0
vsize: 25644
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5265 0 0 0 64958 50 0 0 25 0 1 0 545525531 26394624 4537 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4537 231 231 0 6213 0
vsize: 25776
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5309 0 0 0 65958 51 0 0 25 0 1 0 545525531 26394624 4581 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4581 231 231 0 6213 0
vsize: 25776
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5335 0 0 0 66958 51 0 0 25 0 1 0 545525531 26394624 4607 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4607 231 231 0 6213 0
vsize: 25776
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5391 0 0 0 67957 52 0 0 25 0 1 0 545525531 26394624 4663 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4663 231 231 0 6213 0
vsize: 25776
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5413 0 0 0 68957 53 0 0 25 0 1 0 545525531 26529792 4685 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6477 4685 231 231 0 6246 0
vsize: 25908
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5419 0 0 0 69957 53 0 0 25 0 1 0 545525531 26529792 4691 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6477 4691 231 231 0 6246 0
vsize: 25908
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5498 0 0 0 70955 54 0 0 25 0 1 0 545525531 26664960 4770 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4770 231 231 0 6279 0
vsize: 26040
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5500 0 0 0 71955 55 0 0 25 0 1 0 545525531 26664960 4772 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4772 231 231 0 6279 0
vsize: 26040
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5539 0 0 0 72955 55 0 0 25 0 1 0 545525531 26664960 4811 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4811 231 231 0 6279 0
vsize: 26040
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5569 0 0 0 73955 55 0 0 25 0 1 0 545525531 26664960 4841 4294967295 134512640 135450300 3221224640 3221223456 134536841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4841 231 231 0 6279 0
vsize: 26040
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5589 0 0 0 74955 56 0 0 25 0 1 0 545525531 26664960 4861 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4861 231 231 0 6279 0
vsize: 26040
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5608 0 0 0 75954 56 0 0 25 0 1 0 545525531 26664960 4880 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4880 231 231 0 6279 0
vsize: 26040
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5621 0 0 0 76954 56 0 0 25 0 1 0 545525531 26664960 4893 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4893 231 231 0 6279 0
vsize: 26040
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5648 0 0 0 77954 57 0 0 25 0 1 0 545525531 26664960 4920 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4920 231 231 0 6279 0
vsize: 26040
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5678 0 0 0 78954 57 0 0 25 0 1 0 545525531 26664960 4950 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4950 231 231 0 6279 0
vsize: 26040
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5727 0 0 0 79953 58 0 0 25 0 1 0 545525531 26664960 4999 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4999 231 231 0 6279 0
vsize: 26040
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5772 0 0 0 80953 58 0 0 25 0 1 0 545525531 26664960 5044 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 5044 231 231 0 6279 0
vsize: 26040
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5838 0 0 0 81953 59 0 0 25 0 1 0 545525531 26800128 5110 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6543 5110 231 231 0 6312 0
vsize: 26172
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5881 0 0 0 82953 59 0 0 25 0 1 0 545525531 26996736 5153 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5153 231 231 0 6360 0
vsize: 26364
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5894 0 0 0 83953 59 0 0 25 0 1 0 545525531 26996736 5166 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5166 231 231 0 6360 0
vsize: 26364
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5912 0 0 0 84952 60 0 0 25 0 1 0 545525531 26996736 5184 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5184 231 231 0 6360 0
vsize: 26364
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5925 0 0 0 85952 60 0 0 25 0 1 0 545525531 26996736 5197 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5197 231 231 0 6360 0
vsize: 26364
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 5973 0 0 0 86952 61 0 0 25 0 1 0 545525531 26996736 5245 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5245 231 231 0 6360 0
vsize: 26364
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6052 0 0 0 87952 61 0 0 25 0 1 0 545525531 27328512 5324 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5324 231 231 0 6441 0
vsize: 26688
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6080 0 0 0 88952 61 0 0 25 0 1 0 545525531 27328512 5352 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5352 231 231 0 6441 0
vsize: 26688
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6116 0 0 0 89951 62 0 0 25 0 1 0 545525531 27328512 5388 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5388 231 231 0 6441 0
vsize: 26688
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26500
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6131 0 0 0 90951 62 0 0 25 0 1 0 545525531 27328512 5403 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5403 231 231 0 6441 0
vsize: 26688
[startup+920.031 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6143 0 0 0 91951 62 0 0 25 0 1 0 545525531 27328512 5415 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5415 231 231 0 6441 0
vsize: 26688
[startup+930.032 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6191 0 0 0 92951 63 0 0 25 0 1 0 545525531 27328512 5463 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5463 231 231 0 6441 0
vsize: 26688
[startup+940.032 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6273 0 0 0 93950 64 0 0 25 0 1 0 545525531 27463680 5545 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5545 231 231 0 6474 0
vsize: 26820
[startup+950.032 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6299 0 0 0 94949 65 0 0 25 0 1 0 545525531 27463680 5571 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5571 231 231 0 6474 0
vsize: 26820
[startup+960.033 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6367 0 0 0 95948 66 0 0 25 0 1 0 545525531 27463680 5639 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5639 231 231 0 6474 0
vsize: 26820
[startup+970.033 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6391 0 0 0 96947 66 0 0 25 0 1 0 545525531 27463680 5663 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5663 231 231 0 6474 0
vsize: 26820
[startup+980.033 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 26553
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6433 0 0 0 97947 67 0 0 25 0 1 0 545525531 27463680 5705 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5705 231 231 0 6474 0
vsize: 26820
[startup+990.033 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6485 0 0 0 98946 68 0 0 25 0 1 0 545525531 27627520 5757 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 5757 231 231 0 6514 0
vsize: 26980
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6512 0 0 0 99946 68 0 0 25 0 1 0 545525531 27627520 5784 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5784 231 231 0 6514 0
vsize: 26980
[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6523 0 0 0 100946 69 0 0 25 0 1 0 545525531 27627520 5795 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5795 231 231 0 6514 0
vsize: 26980
[startup+1020.04 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6586 0 0 0 101946 69 0 0 25 0 1 0 545525531 27627520 5858 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5858 231 231 0 6514 0
vsize: 26980
[startup+1030.04 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6615 0 0 0 102945 70 0 0 25 0 1 0 545525531 27627520 5887 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5887 231 231 0 6514 0
vsize: 26980
[startup+1040.04 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6688 0 0 0 103945 71 0 0 25 0 1 0 545525531 27762688 5960 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5960 231 231 0 6547 0
vsize: 27112
[startup+1050.04 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6709 0 0 0 104945 71 0 0 25 0 1 0 545525531 27762688 5981 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5981 231 231 0 6547 0
vsize: 27112
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6722 0 0 0 105945 71 0 0 25 0 1 0 545525531 27762688 5994 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5994 231 231 0 6547 0
vsize: 27112
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6739 0 0 0 106945 71 0 0 25 0 1 0 545525531 27762688 6011 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 6011 231 231 0 6547 0
vsize: 27112
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6779 0 0 0 107944 72 0 0 25 0 1 0 545525531 27942912 6051 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 6051 231 231 0 6591 0
vsize: 27288
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6821 0 0 0 108945 72 0 0 25 0 1 0 545525531 27942912 6093 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 6093 231 231 0 6591 0
vsize: 27288
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6872 0 0 0 109944 73 0 0 25 0 1 0 545525531 28078080 6144 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6855 6144 231 231 0 6624 0
vsize: 27420
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6890 0 0 0 110944 73 0 0 25 0 1 0 545525531 28078080 6162 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6855 6162 231 231 0 6624 0
vsize: 27420
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 6905 0 0 0 111944 73 0 0 25 0 1 0 545525531 28078080 6177 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6855 6177 231 231 0 6624 0
vsize: 27420
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7703 0 0 0 112943 74 0 0 25 0 1 0 545525531 31387648 6206 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6206 231 231 0 7432 0
vsize: 30652
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7744 0 0 0 113943 74 0 0 25 0 1 0 545525531 31387648 6247 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6247 231 231 0 7432 0
vsize: 30652
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7784 0 0 0 114943 75 0 0 25 0 1 0 545525531 31387648 6287 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6287 231 231 0 7432 0
vsize: 30652
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7823 0 0 0 115943 75 0 0 25 0 1 0 545525531 31387648 6326 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6326 231 231 0 7432 0
vsize: 30652
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7848 0 0 0 116943 75 0 0 25 0 1 0 545525531 31387648 6351 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6351 231 231 0 7432 0
vsize: 30652
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7867 0 0 0 117943 75 0 0 25 0 1 0 545525531 31387648 6370 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6370 231 231 0 7432 0
vsize: 30652
[startup+1190.05 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7886 0 0 0 118943 75 0 0 25 0 1 0 545525531 31387648 6389 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6389 231 231 0 7432 0
vsize: 30652
[startup+1200.05 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 26555
Raw data (stat): 26500 (PBS4) R 26499 23176 23175 0 -1 0 7900 0 0 0 119943 76 0 0 25 0 1 0 545525531 31387648 6403 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6403 231 231 0 7432 0
vsize: 30652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.06 1.00 0.99 1/54 26555
Raw data (stat): 26500 (PBS4) Z 26499 23176 23175 0 -1 1036 7900 0 0 0 119943 77 0 0 25 0 1 0 545525531 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.21
CPU user time (s): 1199.43
CPU system time (s): 0.776881
CPU usage (%): 100.013
Max. virtual memory (Kb): 30652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####