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/miplib2003/normalized-mps-v2-13-7-mkc.opb
MD5SUM	44934b498b6e9897bcf8e950d9d30136
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2942
Trace number 18646

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 15:55:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17699 boxname=wulflinc5 idbench=1362 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  44934b498b6e9897bcf8e950d9d30136  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mkc.opb
IDLAUNCH: 17699
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        597028 kB
Buffers:         18364 kB
Cached:         397468 kB
SwapCached:        328 kB
Active:          41668 kB
Inactive:       376640 kB
HighTotal:      131008 kB
HighFree:         6608 kB
LowTotal:       903652 kB
LowFree:        590420 kB
SwapTotal:     2097136 kB
SwapFree:      2096444 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            13460 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:15:49 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 17699 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mkc.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.68 0.93 0.96 2/54 25210
Raw data (stat): 25210 (runsolver) R 25209 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488104147 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.0012 s]
Raw data (loadavg): 0.73 0.93 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 2195 0 0 0 992 7 0 0 25 0 1 0 488104147 11182080 2191 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 2191 231 231 0 2499 0
vsize: 10920
[startup+20.0018 s]
Raw data (loadavg): 0.77 0.94 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 4055 0 0 0 1989 10 0 0 25 0 1 0 488104147 19570688 4051 4294967295 134512640 135450300 3221224640 3221223024 134579527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4051 231 231 0 4547 0
vsize: 19112
[startup+30.0011 s]
Raw data (loadavg): 0.80 0.94 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 5351 0 0 0 2986 13 0 0 25 0 1 0 488104147 36347904 5347 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8874 5347 231 231 0 8643 0
vsize: 35496
[startup+40.0012 s]
Raw data (loadavg): 0.83 0.94 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 7025 0 0 0 3983 16 0 0 25 0 1 0 488104147 36548608 7021 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7021 231 231 0 8692 0
vsize: 35692
[startup+50.002 s]
Raw data (loadavg): 0.86 0.94 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 8286 0 0 0 4981 19 0 0 25 0 1 0 488104147 36548608 8282 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8923 8282 231 231 0 8692 0
vsize: 35692
[startup+60.0024 s]
Raw data (loadavg): 0.88 0.94 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 9606 0 0 0 5977 23 0 0 25 0 1 0 488104147 70103040 9602 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17115 9602 231 231 0 16884 0
vsize: 68460
[startup+70.0024 s]
Raw data (loadavg): 0.90 0.94 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 10629 0 0 0 6975 25 0 0 25 0 1 0 488104147 70103040 10625 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17115 10625 231 231 0 16884 0
vsize: 68460
[startup+80.0022 s]
Raw data (loadavg): 0.91 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 11856 0 0 0 7973 27 0 0 25 0 1 0 488104147 70103040 11852 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17115 11852 231 231 0 16884 0
vsize: 68460
[startup+90.0026 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 12975 0 0 0 8971 29 0 0 25 0 1 0 488104147 70103040 12971 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17115 12971 231 231 0 16884 0
vsize: 68460
[startup+100.003 s]
Raw data (loadavg): 0.94 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 14147 0 0 0 9969 31 0 0 25 0 1 0 488104147 70242304 14143 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 14143 231 231 0 16918 0
vsize: 68596
[startup+110.004 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 15172 0 0 0 10967 34 0 0 25 0 1 0 488104147 70242304 15168 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 15168 231 231 0 16918 0
vsize: 68596
[startup+120.004 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 16202 0 0 0 11966 36 0 0 25 0 1 0 488104147 70242304 16198 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 16198 231 231 0 16918 0
vsize: 68596
[startup+130.004 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 17319 0 0 0 12964 37 0 0 25 0 1 0 488104147 137351168 17315 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33533 17315 231 231 0 33302 0
vsize: 134132
[startup+140.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 18396 0 0 0 13962 39 0 0 25 0 1 0 488104147 137486336 18392 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33566 18392 231 231 0 33335 0
vsize: 134264
[startup+150.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 19098 0 0 0 14962 40 0 0 25 0 1 0 488104147 137486336 19094 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33566 19094 231 231 0 33335 0
vsize: 134264
[startup+160.006 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 19858 0 0 0 15960 42 0 0 25 0 1 0 488104147 137486336 19854 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33566 19854 231 231 0 33335 0
vsize: 134264
[startup+170.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 20689 0 0 0 16958 44 0 0 25 0 1 0 488104147 137625600 20685 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 20685 231 231 0 33369 0
vsize: 134400
[startup+180.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 21464 0 0 0 17958 45 0 0 25 0 1 0 488104147 137625600 21460 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 21460 231 231 0 33369 0
vsize: 134400
[startup+190.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 22291 0 0 0 18956 47 0 0 25 0 1 0 488104147 137625600 22287 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 22287 231 231 0 33369 0
vsize: 134400
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 23071 0 0 0 19954 49 0 0 25 0 1 0 488104147 137625600 23067 4294967295 134512640 135450300 3221224640 3221223104 134532865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 23067 231 231 0 33369 0
vsize: 134400
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 24234 0 0 0 20951 52 0 0 25 0 1 0 488104147 137625600 24230 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 24230 231 231 0 33369 0
vsize: 134400
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 25263 0 0 0 21949 55 0 0 25 0 1 0 488104147 137625600 25259 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 25259 231 231 0 33369 0
vsize: 134400
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 26364 0 0 0 22947 57 0 0 25 0 1 0 488104147 137625600 26360 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33600 26360 231 231 0 33369 0
vsize: 134400
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 26844 0 0 0 23946 57 0 0 25 0 1 0 488104147 137785344 26840 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33639 26840 231 231 0 33408 0
vsize: 134556
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25210
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 27847 0 0 0 24944 59 0 0 25 0 1 0 488104147 137785344 27843 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33639 27843 231 231 0 33408 0
vsize: 134556
[startup+260.009 s]
Raw data (loadavg): 1.07 0.98 0.97 4/59 25262
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 28796 0 0 0 25939 65 0 0 25 0 1 0 488104147 137785344 28792 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33639 28792 231 231 0 33408 0
vsize: 134556
[startup+270.009 s]
Raw data (loadavg): 1.06 0.98 0.97 2/54 25263
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 29746 0 0 0 26936 68 0 0 25 0 1 0 488104147 137785344 29742 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33639 29742 231 231 0 33408 0
vsize: 134556
[startup+280.009 s]
Raw data (loadavg): 1.05 0.98 0.97 2/54 25263
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 30727 0 0 0 27934 70 0 0 25 0 1 0 488104147 137981952 30674 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33687 30674 231 231 0 33456 0
vsize: 134748
[startup+290.01 s]
Raw data (loadavg): 1.04 0.98 0.97 2/54 25263
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 31578 0 0 0 28932 72 0 0 25 0 1 0 488104147 137981952 31525 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33687 31525 231 231 0 33456 0
vsize: 134748
[startup+300.009 s]
Raw data (loadavg): 1.04 0.98 0.97 2/54 25263
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 32792 0 0 0 29930 75 0 0 25 0 1 0 488104147 137981952 32739 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33687 32739 231 231 0 33456 0
vsize: 134748
[startup+310.01 s]
Raw data (loadavg): 1.03 0.98 0.97 2/54 25263
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 33982 0 0 0 30924 81 0 0 25 0 1 0 488104147 272363520 33929 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66495 33930 231 231 0 66264 0
vsize: 265980
[startup+320.011 s]
Raw data (loadavg): 1.02 0.98 0.97 2/54 25263
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 35043 0 0 0 31922 83 0 0 25 0 1 0 488104147 272363520 34990 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66495 34990 231 231 0 66264 0
vsize: 265980
[startup+330.011 s]
Raw data (loadavg): 1.02 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 36048 0 0 0 32919 86 0 0 25 0 1 0 488104147 272510976 35995 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66531 35995 231 231 0 66300 0
vsize: 266124
[startup+340.011 s]
Raw data (loadavg): 1.02 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 36714 0 0 0 33918 88 0 0 25 0 1 0 488104147 272658432 36661 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66567 36661 231 231 0 66336 0
vsize: 266268
[startup+350.011 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 37405 0 0 0 34915 90 0 0 25 0 1 0 488104147 272658432 37352 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66567 37352 231 231 0 66336 0
vsize: 266268
[startup+360.011 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 37909 0 0 0 35914 92 0 0 25 0 1 0 488104147 272658432 37856 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66567 37856 231 231 0 66336 0
vsize: 266268
[startup+370.011 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 38595 0 0 0 36912 94 0 0 25 0 1 0 488104147 272658432 38542 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66567 38542 231 231 0 66336 0
vsize: 266268
[startup+380.01 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 39680 0 0 0 37910 96 0 0 25 0 1 0 488104147 272658432 39627 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66567 39627 231 231 0 66336 0
vsize: 266268
[startup+390.01 s]
Raw data (loadavg): 1.01 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 40660 0 0 0 38907 99 0 0 25 0 1 0 488104147 272822272 40607 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66607 40607 231 231 0 66376 0
vsize: 266428
[startup+400.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 41172 0 0 0 39906 100 0 0 25 0 1 0 488104147 273641472 41119 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66807 41119 231 231 0 66576 0
vsize: 267228
[startup+410.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 41990 0 0 0 40904 102 0 0 25 0 1 0 488104147 273641472 41937 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66807 41937 231 231 0 66576 0
vsize: 267228
[startup+420.009 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 42740 0 0 0 41903 104 0 0 25 0 1 0 488104147 273641472 42687 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66807 42687 231 231 0 66576 0
vsize: 267228
[startup+430.009 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 43503 0 0 0 42901 106 0 0 25 0 1 0 488104147 273641472 43450 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66807 43450 231 231 0 66576 0
vsize: 267228
[startup+440.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 44226 0 0 0 43899 108 0 0 25 0 1 0 488104147 273641472 44173 4294967295 134512640 135450300 3221224640 3221223168 134545554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66807 44173 231 231 0 66576 0
vsize: 267228
[startup+450.009 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 44866 0 0 0 44898 109 0 0 25 0 1 0 488104147 273641472 44813 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66807 44813 231 231 0 66576 0
vsize: 267228
[startup+460.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 45473 0 0 0 45897 110 0 0 25 0 1 0 488104147 273780736 45420 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66841 45420 231 231 0 66610 0
vsize: 267364
[startup+470.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 46612 0 0 0 46895 112 0 0 25 0 1 0 488104147 273780736 46559 4294967295 134512640 135450300 3221224640 3221223360 134535963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66841 46559 231 231 0 66610 0
vsize: 267364
[startup+480.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 47751 0 0 0 47892 115 0 0 25 0 1 0 488104147 273915904 47698 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66874 47698 231 231 0 66643 0
vsize: 267496
[startup+490.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 48080 0 0 0 48892 116 0 0 25 0 1 0 488104147 274051072 48027 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66907 48027 231 231 0 66676 0
vsize: 267628
[startup+500.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 48429 0 0 0 49892 116 0 0 25 0 1 0 488104147 274051072 48376 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66907 48376 231 231 0 66676 0
vsize: 267628
[startup+510.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 49038 0 0 0 50890 118 0 0 25 0 1 0 488104147 274186240 48985 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66940 48985 231 231 0 66709 0
vsize: 267760
[startup+520.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 49895 0 0 0 51889 119 0 0 25 0 1 0 488104147 274186240 49842 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66940 49842 231 231 0 66709 0
vsize: 267760
[startup+530.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 50804 0 0 0 52887 121 0 0 25 0 1 0 488104147 274186240 50751 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66940 50751 231 231 0 66709 0
vsize: 267760
[startup+540.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 51444 0 0 0 53887 122 0 0 25 0 1 0 488104147 274186240 51391 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66940 51391 231 231 0 66709 0
vsize: 267760
[startup+550.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 52105 0 0 0 54885 124 0 0 25 0 1 0 488104147 274186240 52052 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66940 52052 231 231 0 66709 0
vsize: 267760
[startup+560.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 52743 0 0 0 55884 125 0 0 25 0 1 0 488104147 274186240 52690 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66940 52690 231 231 0 66709 0
vsize: 267760
[startup+570.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 53097 0 0 0 56883 126 0 0 25 0 1 0 488104147 274563072 53044 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67032 53044 231 231 0 66801 0
vsize: 268128
[startup+580.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25265
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 53794 0 0 0 57881 128 0 0 25 0 1 0 488104147 274563072 53741 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67032 53741 231 231 0 66801 0
vsize: 268128
[startup+590.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 54652 0 0 0 58880 129 0 0 25 0 1 0 488104147 274563072 54599 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67032 54599 231 231 0 66801 0
vsize: 268128
[startup+600.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 55208 0 0 0 59879 131 0 0 25 0 1 0 488104147 274563072 55155 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67032 55155 231 231 0 66801 0
vsize: 268128
[startup+610.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 55982 0 0 0 60878 132 0 0 25 0 1 0 488104147 274563072 55929 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67032 55929 231 231 0 66801 0
vsize: 268128
[startup+620.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 56913 0 0 0 61876 134 0 0 25 0 1 0 488104147 274563072 56860 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67032 56860 231 231 0 66801 0
vsize: 268128
[startup+630.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57030 0 0 0 62876 134 0 0 25 0 1 0 488104147 274698240 56977 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67065 56977 231 231 0 66834 0
vsize: 268260
[startup+640.012 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57042 0 0 0 63876 134 0 0 25 0 1 0 488104147 274698240 56989 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67065 56989 231 231 0 66834 0
vsize: 268260
[startup+650.012 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57048 0 0 0 64876 135 0 0 25 0 1 0 488104147 274698240 56995 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67065 56995 231 231 0 66834 0
vsize: 268260
[startup+660.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57099 0 0 0 65876 135 0 0 25 0 1 0 488104147 274960384 57046 4294967295 134512640 135450300 3221224640 3221223116 134572060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67129 57046 231 231 0 66898 0
vsize: 268516
[startup+670.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57101 0 0 0 66876 135 0 0 25 0 1 0 488104147 274960384 57048 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67129 57048 231 231 0 66898 0
vsize: 268516
[startup+680.012 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57103 0 0 0 67876 135 0 0 25 0 1 0 488104147 274960384 57050 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67129 57050 231 231 0 66898 0
vsize: 268516
[startup+690.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57106 0 0 0 68876 135 0 0 25 0 1 0 488104147 274960384 57053 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67129 57053 231 231 0 66898 0
vsize: 268516
[startup+700.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57128 0 0 0 69876 135 0 0 25 0 1 0 488104147 275095552 57075 4294967295 134512640 135450300 3221224640 3221223116 134572573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67162 57075 231 231 0 66931 0
vsize: 268648
[startup+710.011 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57129 0 0 0 70877 135 0 0 25 0 1 0 488104147 275095552 57076 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67162 57076 231 231 0 66931 0
vsize: 268648
[startup+720.012 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57133 0 0 0 71876 135 0 0 25 0 1 0 488104147 275095552 57080 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67162 57080 231 231 0 66931 0
vsize: 268648
[startup+730.012 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57186 0 0 0 72877 135 0 0 25 0 1 0 488104147 275230720 57133 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67195 57133 231 231 0 66964 0
vsize: 268780
[startup+740.012 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57188 0 0 0 73877 136 0 0 25 0 1 0 488104147 275230720 57135 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67195 57135 231 231 0 66964 0
vsize: 268780
[startup+750.013 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57189 0 0 0 74877 136 0 0 25 0 1 0 488104147 275230720 57136 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67195 57136 231 231 0 66964 0
vsize: 268780
[startup+760.013 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57255 0 0 0 75876 136 0 0 25 0 1 0 488104147 275619840 57202 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67290 57202 231 231 0 67059 0
vsize: 269160
[startup+770.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57256 0 0 0 76877 136 0 0 25 0 1 0 488104147 275619840 57203 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67290 57203 231 231 0 67059 0
vsize: 269160
[startup+780.013 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57261 0 0 0 77877 136 0 0 25 0 1 0 488104147 275619840 57208 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67290 57208 231 231 0 67059 0
vsize: 269160
[startup+790.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57361 0 0 0 78877 137 0 0 25 0 1 0 488104147 276013056 57211 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67386 57211 231 231 0 67155 0
vsize: 269544
[startup+800.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57389 0 0 0 79876 137 0 0 25 0 1 0 488104147 276148224 57239 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67419 57239 231 231 0 67188 0
vsize: 269676
[startup+810.013 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57391 0 0 0 80877 137 0 0 25 0 1 0 488104147 276148224 57241 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67419 57241 231 231 0 67188 0
vsize: 269676
[startup+820.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57393 0 0 0 81877 137 0 0 25 0 1 0 488104147 276148224 57243 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67419 57243 231 231 0 67188 0
vsize: 269676
[startup+830.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57406 0 0 0 82877 137 0 0 25 0 1 0 488104147 276148224 57256 4294967295 134512640 135450300 3221224640 3221223456 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67419 57256 231 231 0 67188 0
vsize: 269676
[startup+840.015 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57456 0 0 0 83877 137 0 0 25 0 1 0 488104147 276283392 57306 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67452 57306 231 231 0 67221 0
vsize: 269808
[startup+850.015 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57456 0 0 0 84877 137 0 0 25 0 1 0 488104147 276283392 57306 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67452 57306 231 231 0 67221 0
vsize: 269808
[startup+860.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57456 0 0 0 85877 137 0 0 25 0 1 0 488104147 276283392 57306 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67452 57306 231 231 0 67221 0
vsize: 269808
[startup+870.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57459 0 0 0 86877 137 0 0 25 0 1 0 488104147 276283392 57309 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67452 57309 231 231 0 67221 0
vsize: 269808
[startup+880.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57459 0 0 0 87877 137 0 0 25 0 1 0 488104147 276283392 57309 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67452 57309 231 231 0 67221 0
vsize: 269808
[startup+890.015 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57473 0 0 0 88878 137 0 0 25 0 1 0 488104147 276418560 57323 4294967295 134512640 135450300 3221224640 3221223168 134544604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67485 57323 231 231 0 67254 0
vsize: 269940
[startup+900.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57475 0 0 0 89878 137 0 0 25 0 1 0 488104147 276418560 57325 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67485 57325 231 231 0 67254 0
vsize: 269940
[startup+910.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57504 0 0 0 90878 137 0 0 25 0 1 0 488104147 276553728 57354 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67518 57354 231 231 0 67287 0
vsize: 270072
[startup+920.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57505 0 0 0 91878 137 0 0 25 0 1 0 488104147 276553728 57355 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67518 57355 231 231 0 67287 0
vsize: 270072
[startup+930.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57534 0 0 0 92878 137 0 0 25 0 1 0 488104147 276553728 57384 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67518 57384 231 231 0 67287 0
vsize: 270072
[startup+940.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57536 0 0 0 93878 137 0 0 25 0 1 0 488104147 276553728 57386 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67518 57386 231 231 0 67287 0
vsize: 270072
[startup+950.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57537 0 0 0 94879 137 0 0 25 0 1 0 488104147 276553728 57387 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67518 57387 231 231 0 67287 0
vsize: 270072
[startup+960.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57805 0 0 0 95878 138 0 0 25 0 1 0 488104147 277676032 57655 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57655 231 231 0 67561 0
vsize: 271168
[startup+970.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57805 0 0 0 96878 138 0 0 25 0 1 0 488104147 277676032 57655 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57655 231 231 0 67561 0
vsize: 271168
[startup+980.013 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57805 0 0 0 97878 138 0 0 25 0 1 0 488104147 277676032 57655 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57655 231 231 0 67561 0
vsize: 271168
[startup+990.014 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57805 0 0 0 98879 138 0 0 25 0 1 0 488104147 277676032 57655 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57655 231 231 0 67561 0
vsize: 271168
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57805 0 0 0 99879 138 0 0 25 0 1 0 488104147 277676032 57655 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57655 231 231 0 67561 0
vsize: 271168
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57805 0 0 0 100879 138 0 0 25 0 1 0 488104147 277676032 57655 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57655 231 231 0 67561 0
vsize: 271168
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57806 0 0 0 101879 138 0 0 25 0 1 0 488104147 277676032 57656 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57656 231 231 0 67561 0
vsize: 271168
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57806 0 0 0 102879 138 0 0 25 0 1 0 488104147 277676032 57656 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57656 231 231 0 67561 0
vsize: 271168
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57806 0 0 0 103879 138 0 0 25 0 1 0 488104147 277676032 57656 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57656 231 231 0 67561 0
vsize: 271168
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57806 0 0 0 104880 138 0 0 25 0 1 0 488104147 277676032 57656 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57656 231 231 0 67561 0
vsize: 271168
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57806 0 0 0 105880 138 0 0 25 0 1 0 488104147 277676032 57656 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57656 231 231 0 67561 0
vsize: 271168
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57806 0 0 0 106880 138 0 0 25 0 1 0 488104147 277676032 57656 4294967295 134512640 135450300 3221224640 3221223080 134579201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57656 231 231 0 67561 0
vsize: 271168
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57807 0 0 0 107880 138 0 0 25 0 1 0 488104147 277676032 57657 4294967295 134512640 135450300 3221224640 3221223472 134549524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57657 231 231 0 67561 0
vsize: 271168
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57808 0 0 0 108880 138 0 0 25 0 1 0 488104147 277676032 57658 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67792 57658 231 231 0 67561 0
vsize: 271168
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57950 0 0 0 109880 139 0 0 25 0 1 0 488104147 278351872 57800 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 57800 231 231 0 67726 0
vsize: 271828
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57950 0 0 0 110880 139 0 0 25 0 1 0 488104147 278351872 57800 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 57800 231 231 0 67726 0
vsize: 271828
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57951 0 0 0 111880 139 0 0 25 0 1 0 488104147 278351872 57801 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 57801 231 231 0 67726 0
vsize: 271828
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 57951 0 0 0 112880 139 0 0 25 0 1 0 488104147 278351872 57801 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 57801 231 231 0 67726 0
vsize: 271828
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 58168 0 0 0 113880 139 0 0 25 0 1 0 488104147 278351872 58018 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 58018 231 231 0 67726 0
vsize: 271828
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 59839 0 0 0 114877 143 0 0 25 0 1 0 488104147 278351872 59689 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 59689 231 231 0 67726 0
vsize: 271828
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 60883 0 0 0 115875 144 0 0 25 0 1 0 488104147 278351872 60733 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67957 60733 231 231 0 67726 0
vsize: 271828
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 62572 0 0 0 116872 148 0 0 25 0 1 0 488104147 286310400 62422 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69900 62422 231 231 0 69669 0
vsize: 279600
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 62572 0 0 0 117872 148 0 0 25 0 1 0 488104147 286310400 62422 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69900 62422 231 231 0 69669 0
vsize: 279600
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 62572 0 0 0 118873 148 0 0 25 0 1 0 488104147 286310400 62422 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69900 62422 231 231 0 69669 0
vsize: 279600
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.98 0.97 2/54 25267
Raw data (stat): 25210 (PBS4) R 25209 24215 24214 0 -1 0 62572 0 0 0 119873 148 0 0 25 0 1 0 488104147 286310400 62422 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69900 62422 231 231 0 69669 0
vsize: 279600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.98 0.97 1/54 25267
Raw data (stat): 25210 (PBS4) Z 25209 24215 24214 0 -1 1036 62572 0 0 0 119873 159 0 0 25 0 1 0 488104147 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.13
CPU time (s): 1200.33
CPU user time (s): 1198.73
CPU system time (s): 1.59576
CPU usage (%): 100.016
Max. virtual memory (Kb): 279600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####