PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7884

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-17 16:59:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2850 boxname=wulflinc29 idbench=317 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc29/normalized-frb30-15-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-frb30-15-4.opb
IDLAUNCH: 2850
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        778044 kB
Buffers:         37992 kB
Cached:         179868 kB
SwapCached:         12 kB
Active:          77440 kB
Inactive:       143300 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        777764 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            30172 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:19:31 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 2850 7 1200.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-frb30-15-4.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.75 0.91 0.89 2/54 19171
Raw data (stat): 19171 (runsolver) R 19170 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512139973 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.0005 s]
Raw data (loadavg): 0.79 0.91 0.89 2/54 19171
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 2340 0 0 0 993 6 0 0 25 0 1 0 512139973 10936320 2186 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2670 2186 231 231 0 2439 0
vsize: 10680
[startup+20.0012 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 19171
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 3873 0 0 0 1988 10 0 0 25 0 1 0 512139973 19464192 3719 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3719 231 231 0 4521 0
vsize: 19008
[startup+30.0016 s]
Raw data (loadavg): 0.85 0.92 0.89 2/54 19171
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 5016 0 0 0 2986 13 0 0 25 0 1 0 512139973 36536320 4862 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 4862 231 231 0 8689 0
vsize: 35680
[startup+40.1883 s]
Raw data (loadavg): 0.87 0.92 0.89 2/56 19185
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 6589 0 0 0 4001 17 0 0 25 0 1 0 512139973 36700160 6435 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 6435 231 231 0 8729 0
vsize: 35840
[startup+50.2275 s]
Raw data (loadavg): 1.21 0.99 0.92 4/59 19223
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 7878 0 0 0 4999 22 0 0 25 0 1 0 512139973 38039552 7724 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9287 7724 231 231 0 9056 0
vsize: 37148
[startup+60.2269 s]
Raw data (loadavg): 1.25 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 9244 0 0 0 5996 25 0 0 25 0 1 0 512139973 38600704 9090 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9424 9090 231 231 0 9193 0
vsize: 37696
[startup+70.228 s]
Raw data (loadavg): 1.21 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 9481 0 0 0 6995 26 0 0 25 0 1 0 512139973 72450048 9327 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17688 9327 231 231 0 17457 0
vsize: 70752
[startup+80.2284 s]
Raw data (loadavg): 1.18 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 10748 0 0 0 7992 30 0 0 25 0 1 0 512139973 72863744 10594 4294967295 134512640 135450300 3221224640 3221223104 134532878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17789 10594 231 231 0 17558 0
vsize: 71156
[startup+90.2282 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 11034 0 0 0 8991 31 0 0 25 0 1 0 512139973 73924608 10687 4294967295 134512640 135450300 3221224640 3221223024 134579668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18048 10687 231 231 0 17817 0
vsize: 72192
[startup+100.228 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 11832 0 0 0 9989 33 0 0 25 0 1 0 512139973 74821632 11485 4294967295 134512640 135450300 3221224640 3221223456 134537149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18267 11485 231 231 0 18036 0
vsize: 73068
[startup+110.228 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 11949 0 0 0 10988 34 0 0 25 0 1 0 512139973 75243520 11602 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18370 11602 231 231 0 18139 0
vsize: 73480
[startup+120.228 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19224
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 12175 0 0 0 11987 35 0 0 25 0 1 0 512139973 75853824 11828 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18519 11828 231 231 0 18288 0
vsize: 74076
[startup+130.229 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 12564 0 0 0 12986 36 0 0 25 0 1 0 512139973 76001280 12217 4294967295 134512640 135450300 3221224640 3221223472 134549466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18555 12217 231 231 0 18324 0
vsize: 74220
[startup+140.229 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 12655 0 0 0 13986 37 0 0 25 0 1 0 512139973 76460032 12308 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18667 12308 231 231 0 18436 0
vsize: 74668
[startup+150.23 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 13026 0 0 0 14984 39 0 0 25 0 1 0 512139973 76619776 12679 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18706 12679 231 231 0 18475 0
vsize: 74824
[startup+160.23 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 13109 0 0 0 15984 39 0 0 25 0 1 0 512139973 76902400 12762 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18775 12762 231 231 0 18544 0
vsize: 75100
[startup+170.231 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 13437 0 0 0 16984 40 0 0 25 0 1 0 512139973 77369344 13090 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 13090 231 231 0 18658 0
vsize: 75556
[startup+180.23 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 13496 0 0 0 17983 40 0 0 25 0 1 0 512139973 77697024 13149 4294967295 134512640 135450300 3221224640 3221223116 134572352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18969 13149 231 231 0 18738 0
vsize: 75876
[startup+190.231 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 13572 0 0 0 18983 41 0 0 25 0 1 0 512139973 77979648 13225 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19038 13225 231 231 0 18807 0
vsize: 76152
[startup+200.231 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 13665 0 0 0 19982 42 0 0 25 0 1 0 512139973 78426112 13318 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19147 13318 231 231 0 18916 0
vsize: 76588
[startup+210.23 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14007 0 0 0 20981 43 0 0 25 0 1 0 512139973 78565376 13660 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19181 13660 231 231 0 18950 0
vsize: 76724
[startup+220.231 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14086 0 0 0 21980 44 0 0 25 0 1 0 512139973 78852096 13739 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19251 13739 231 231 0 19020 0
vsize: 77004
[startup+230.231 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14124 0 0 0 22980 44 0 0 25 0 1 0 512139973 79015936 13777 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19291 13777 231 231 0 19060 0
vsize: 77164
[startup+240.232 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14242 0 0 0 23979 45 0 0 25 0 1 0 512139973 79159296 13895 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19326 13895 231 231 0 19095 0
vsize: 77304
[startup+250.232 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14284 0 0 0 24979 46 0 0 25 0 1 0 512139973 79306752 13937 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 13937 231 231 0 19131 0
vsize: 77448
[startup+260.231 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14405 0 0 0 25978 47 0 0 25 0 1 0 512139973 79618048 14058 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19438 14058 231 231 0 19207 0
vsize: 77752
[startup+270.232 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14480 0 0 0 26978 47 0 0 25 0 1 0 512139973 79966208 14133 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19523 14133 231 231 0 19292 0
vsize: 78092
[startup+280.232 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14593 0 0 0 27978 48 0 0 25 0 1 0 512139973 80285696 14246 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19601 14246 231 231 0 19370 0
vsize: 78404
[startup+290.233 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 14664 0 0 0 28977 48 0 0 25 0 1 0 512139973 80613376 14317 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19681 14317 231 231 0 19450 0
vsize: 78724
[startup+300.232 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15067 0 0 0 29977 49 0 0 25 0 1 0 512139973 82186240 14335 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20065 14335 231 231 0 19834 0
vsize: 80260
[startup+310.232 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15142 0 0 0 30976 49 0 0 25 0 1 0 512139973 82345984 14410 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20104 14410 231 231 0 19873 0
vsize: 80416
[startup+320.233 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15164 0 0 0 31976 50 0 0 25 0 1 0 512139973 82345984 14432 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20104 14432 231 231 0 19873 0
vsize: 80416
[startup+330.234 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15224 0 0 0 32976 50 0 0 25 0 1 0 512139973 82509824 14492 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20144 14492 231 231 0 19913 0
vsize: 80576
[startup+340.235 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15266 0 0 0 33976 51 0 0 25 0 1 0 512139973 82644992 14534 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20177 14534 231 231 0 19946 0
vsize: 80708
[startup+350.234 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15298 0 0 0 34976 51 0 0 25 0 1 0 512139973 82808832 14566 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20217 14566 231 231 0 19986 0
vsize: 80868
[startup+360.234 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15346 0 0 0 35975 51 0 0 25 0 1 0 512139973 82948096 14614 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20251 14614 231 231 0 20020 0
vsize: 81004
[startup+370.234 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15363 0 0 0 36975 52 0 0 25 0 1 0 512139973 82948096 14631 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20251 14631 231 231 0 20020 0
vsize: 81004
[startup+380.234 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15386 0 0 0 37975 53 0 0 25 0 1 0 512139973 83091456 14654 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20286 14654 231 231 0 20055 0
vsize: 81144
[startup+390.235 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15411 0 0 0 38974 53 0 0 25 0 1 0 512139973 83091456 14679 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20286 14679 231 231 0 20055 0
vsize: 81144
[startup+400.235 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15436 0 0 0 39974 53 0 0 25 0 1 0 512139973 83238912 14704 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 14704 231 231 0 20091 0
vsize: 81288
[startup+410.235 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15483 0 0 0 40974 54 0 0 25 0 1 0 512139973 83238912 14751 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 14751 231 231 0 20091 0
vsize: 81288
[startup+420.236 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19226
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15504 0 0 0 41974 54 0 0 25 0 1 0 512139973 83238912 14772 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 14772 231 231 0 20091 0
vsize: 81288
[startup+430.236 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15523 0 0 0 42974 55 0 0 25 0 1 0 512139973 83439616 14791 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20371 14791 231 231 0 20140 0
vsize: 81484
[startup+440.236 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15596 0 0 0 43973 55 0 0 25 0 1 0 512139973 83587072 14864 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20407 14864 231 231 0 20176 0
vsize: 81628
[startup+450.236 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15625 0 0 0 44973 56 0 0 25 0 1 0 512139973 83750912 14893 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20447 14893 231 231 0 20216 0
vsize: 81788
[startup+460.236 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15717 0 0 0 45973 56 0 0 25 0 1 0 512139973 84238336 14985 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20566 14985 231 231 0 20335 0
vsize: 82264
[startup+470.237 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15740 0 0 0 46972 57 0 0 25 0 1 0 512139973 84238336 15008 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20566 15008 231 231 0 20335 0
vsize: 82264
[startup+480.236 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15761 0 0 0 47972 57 0 0 25 0 1 0 512139973 84238336 15029 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20566 15029 231 231 0 20335 0
vsize: 82264
[startup+490.237 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15827 0 0 0 48972 57 0 0 25 0 1 0 512139973 84631552 15095 4294967295 134512640 135450300 3221224640 3221223024 134579443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20662 15095 231 231 0 20431 0
vsize: 82648
[startup+500.238 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15872 0 0 0 49972 58 0 0 25 0 1 0 512139973 84795392 15140 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20702 15140 231 231 0 20471 0
vsize: 82808
[startup+510.238 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15902 0 0 0 50971 59 0 0 25 0 1 0 512139973 84967424 15170 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20744 15170 231 231 0 20513 0
vsize: 82976
[startup+520.239 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15934 0 0 0 51971 59 0 0 25 0 1 0 512139973 84967424 15202 4294967295 134512640 135450300 3221224640 3221223024 134602108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20744 15202 231 231 0 20513 0
vsize: 82976
[startup+530.24 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15958 0 0 0 52971 60 0 0 25 0 1 0 512139973 84967424 15226 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20744 15226 231 231 0 20513 0
vsize: 82976
[startup+540.24 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 15982 0 0 0 53970 60 0 0 25 0 1 0 512139973 85131264 15250 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20784 15250 231 231 0 20553 0
vsize: 83136
[startup+550.24 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16049 0 0 0 54970 61 0 0 25 0 1 0 512139973 85442560 15317 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20860 15317 231 231 0 20629 0
vsize: 83440
[startup+560.24 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16081 0 0 0 55969 61 0 0 25 0 1 0 512139973 85606400 15349 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20900 15349 231 231 0 20669 0
vsize: 83600
[startup+570.241 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16122 0 0 0 56969 62 0 0 25 0 1 0 512139973 85606400 15390 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20900 15390 231 231 0 20669 0
vsize: 83600
[startup+580.241 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16151 0 0 0 57969 62 0 0 25 0 1 0 512139973 85770240 15419 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20940 15419 231 231 0 20709 0
vsize: 83760
[startup+590.241 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16168 0 0 0 58969 63 0 0 25 0 1 0 512139973 85770240 15436 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20940 15436 231 231 0 20709 0
vsize: 83760
[startup+600.242 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16190 0 0 0 59969 63 0 0 25 0 1 0 512139973 85921792 15458 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20977 15458 231 231 0 20746 0
vsize: 83908
[startup+610.242 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16203 0 0 0 60968 64 0 0 25 0 1 0 512139973 85921792 15471 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20977 15471 231 231 0 20746 0
vsize: 83908
[startup+620.243 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16217 0 0 0 61968 64 0 0 25 0 1 0 512139973 85921792 15485 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20977 15485 231 231 0 20746 0
vsize: 83908
[startup+630.244 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16242 0 0 0 62968 65 0 0 25 0 1 0 512139973 86077440 15510 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21015 15510 231 231 0 20784 0
vsize: 84060
[startup+640.244 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16272 0 0 0 63968 65 0 0 25 0 1 0 512139973 86077440 15540 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21015 15540 231 231 0 20784 0
vsize: 84060
[startup+650.244 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16291 0 0 0 64968 65 0 0 25 0 1 0 512139973 86077440 15559 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21015 15559 231 231 0 20784 0
vsize: 84060
[startup+660.244 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16302 0 0 0 65967 66 0 0 25 0 1 0 512139973 86077440 15570 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21015 15570 231 231 0 20784 0
vsize: 84060
[startup+670.245 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16359 0 0 0 66967 66 0 0 25 0 1 0 512139973 86376448 15627 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 15627 231 231 0 20857 0
vsize: 84352
[startup+680.245 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16383 0 0 0 67967 66 0 0 25 0 1 0 512139973 86376448 15651 4294967295 134512640 135450300 3221224640 3221223376 134538619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 15651 231 231 0 20857 0
vsize: 84352
[startup+690.245 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16402 0 0 0 68967 67 0 0 25 0 1 0 512139973 86376448 15670 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 15670 231 231 0 20857 0
vsize: 84352
[startup+700.246 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16416 0 0 0 69967 67 0 0 25 0 1 0 512139973 86376448 15684 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 15684 231 231 0 20857 0
vsize: 84352
[startup+710.246 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16432 0 0 0 70967 67 0 0 25 0 1 0 512139973 86519808 15700 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21123 15700 231 231 0 20892 0
vsize: 84492
[startup+720.246 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16451 0 0 0 71967 67 0 0 25 0 1 0 512139973 86519808 15719 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21123 15719 231 231 0 20892 0
vsize: 84492
[startup+730.246 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16468 0 0 0 72966 68 0 0 25 0 1 0 512139973 86519808 15736 4294967295 134512640 135450300 3221224640 3221223472 134549507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21123 15736 231 231 0 20892 0
vsize: 84492
[startup+740.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16482 0 0 0 73966 68 0 0 25 0 1 0 512139973 86519808 15750 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21123 15750 231 231 0 20892 0
vsize: 84492
[startup+750.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16509 0 0 0 74966 69 0 0 25 0 1 0 512139973 86683648 15777 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21163 15777 231 231 0 20932 0
vsize: 84652
[startup+760.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16547 0 0 0 75966 69 0 0 25 0 1 0 512139973 86835200 15815 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21200 15815 231 231 0 20969 0
vsize: 84800
[startup+770.248 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16564 0 0 0 76965 70 0 0 25 0 1 0 512139973 86835200 15832 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21200 15832 231 231 0 20969 0
vsize: 84800
[startup+780.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16586 0 0 0 77965 70 0 0 25 0 1 0 512139973 86999040 15854 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21240 15854 231 231 0 21009 0
vsize: 84960
[startup+790.248 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 16600 0 0 0 78964 71 0 0 25 0 1 0 512139973 86999040 15868 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21240 15868 231 231 0 21009 0
vsize: 84960
[startup+800.249 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17388 0 0 0 79963 73 0 0 25 0 1 0 512139973 90144768 15887 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22008 15887 231 231 0 21777 0
vsize: 88032
[startup+810.249 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17403 0 0 0 80963 73 0 0 25 0 1 0 512139973 90308608 15902 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22048 15902 231 231 0 21817 0
vsize: 88192
[startup+820.249 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17420 0 0 0 81963 73 0 0 25 0 1 0 512139973 90308608 15919 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22048 15919 231 231 0 21817 0
vsize: 88192
[startup+830.249 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17437 0 0 0 82962 74 0 0 25 0 1 0 512139973 90308608 15936 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22048 15936 231 231 0 21817 0
vsize: 88192
[startup+840.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17460 0 0 0 83962 74 0 0 25 0 1 0 512139973 90308608 15959 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22048 15959 231 231 0 21817 0
vsize: 88192
[startup+850.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17475 0 0 0 84962 75 0 0 25 0 1 0 512139973 90308608 15974 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22048 15974 231 231 0 21817 0
vsize: 88192
[startup+860.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17491 0 0 0 85962 75 0 0 25 0 1 0 512139973 90480640 15990 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22090 15990 231 231 0 21859 0
vsize: 88360
[startup+870.251 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17506 0 0 0 86961 76 0 0 25 0 1 0 512139973 90480640 16005 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22090 16005 231 231 0 21859 0
vsize: 88360
[startup+880.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17520 0 0 0 87961 77 0 0 25 0 1 0 512139973 90480640 16019 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22090 16019 231 231 0 21859 0
vsize: 88360
[startup+890.251 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17546 0 0 0 88960 77 0 0 25 0 1 0 512139973 90480640 16045 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22090 16045 231 231 0 21859 0
vsize: 88360
[startup+900.251 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17572 0 0 0 89960 78 0 0 25 0 1 0 512139973 90644480 16071 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22130 16071 231 231 0 21899 0
vsize: 88520
[startup+910.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17607 0 0 0 90959 79 0 0 25 0 1 0 512139973 90808320 16106 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22170 16106 231 231 0 21939 0
vsize: 88680
[startup+920.251 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17636 0 0 0 91959 79 0 0 25 0 1 0 512139973 90992640 16135 4294967295 134512640 135450300 3221224640 3221223456 134547909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16135 231 231 0 21984 0
vsize: 88860
[startup+930.251 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17655 0 0 0 92959 79 0 0 25 0 1 0 512139973 90992640 16154 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16154 231 231 0 21984 0
vsize: 88860
[startup+940.252 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17677 0 0 0 93959 79 0 0 25 0 1 0 512139973 90992640 16176 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16176 231 231 0 21984 0
vsize: 88860
[startup+950.253 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17689 0 0 0 94959 80 0 0 25 0 1 0 512139973 90992640 16188 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16188 231 231 0 21984 0
vsize: 88860
[startup+960.252 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17707 0 0 0 95959 80 0 0 25 0 1 0 512139973 90992640 16206 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16206 231 231 0 21984 0
vsize: 88860
[startup+970.252 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17737 0 0 0 96959 80 0 0 25 0 1 0 512139973 90992640 16236 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16236 231 231 0 21984 0
vsize: 88860
[startup+980.252 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17753 0 0 0 97959 80 0 0 25 0 1 0 512139973 90992640 16252 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 16252 231 231 0 21984 0
vsize: 88860
[startup+990.253 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17772 0 0 0 98958 81 0 0 25 0 1 0 512139973 91353088 16271 4294967295 134512640 135450300 3221224640 3221223360 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16271 231 231 0 22072 0
vsize: 89212
[startup+1000.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17801 0 0 0 99958 81 0 0 25 0 1 0 512139973 91353088 16300 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16300 231 231 0 22072 0
vsize: 89212
[startup+1010.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17830 0 0 0 100958 81 0 0 25 0 1 0 512139973 91353088 16329 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16329 231 231 0 22072 0
vsize: 89212
[startup+1020.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17841 0 0 0 101958 82 0 0 25 0 1 0 512139973 91353088 16340 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16340 231 231 0 22072 0
vsize: 89212
[startup+1030.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17856 0 0 0 102958 82 0 0 25 0 1 0 512139973 91353088 16355 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16355 231 231 0 22072 0
vsize: 89212
[startup+1040.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17867 0 0 0 103958 82 0 0 25 0 1 0 512139973 91353088 16366 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16366 231 231 0 22072 0
vsize: 89212
[startup+1050.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17882 0 0 0 104958 83 0 0 25 0 1 0 512139973 91353088 16381 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 16381 231 231 0 22072 0
vsize: 89212
[startup+1060.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17906 0 0 0 105958 83 0 0 25 0 1 0 512139973 91725824 16405 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 16405 231 231 0 22163 0
vsize: 89576
[startup+1070.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17920 0 0 0 106958 83 0 0 25 0 1 0 512139973 91725824 16419 4294967295 134512640 135450300 3221224640 3221223148 134571584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 16419 231 231 0 22163 0
vsize: 89576
[startup+1080.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17934 0 0 0 107958 83 0 0 25 0 1 0 512139973 91725824 16433 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 16433 231 231 0 22163 0
vsize: 89576
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17955 0 0 0 108957 84 0 0 25 0 1 0 512139973 91725824 16454 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 16454 231 231 0 22163 0
vsize: 89576
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 17973 0 0 0 109957 84 0 0 25 0 1 0 512139973 91725824 16472 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 16472 231 231 0 22163 0
vsize: 89576
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18002 0 0 0 110957 85 0 0 25 0 1 0 512139973 91889664 16501 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22434 16501 231 231 0 22203 0
vsize: 89736
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18016 0 0 0 111957 85 0 0 25 0 1 0 512139973 91889664 16515 4294967295 134512640 135450300 3221224640 3221223100 134580042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22434 16515 231 231 0 22203 0
vsize: 89736
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18030 0 0 0 112957 86 0 0 25 0 1 0 512139973 92110848 16529 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16529 231 231 0 22257 0
vsize: 89952
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18044 0 0 0 113956 86 0 0 25 0 1 0 512139973 92110848 16543 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16543 231 231 0 22257 0
vsize: 89952
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18057 0 0 0 114956 87 0 0 25 0 1 0 512139973 92110848 16556 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16556 231 231 0 22257 0
vsize: 89952
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18072 0 0 0 115956 87 0 0 25 0 1 0 512139973 92110848 16571 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16571 231 231 0 22257 0
vsize: 89952
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18086 0 0 0 116956 87 0 0 25 0 1 0 512139973 92110848 16585 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16585 231 231 0 22257 0
vsize: 89952
[startup+1180.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18100 0 0 0 117956 87 0 0 25 0 1 0 512139973 92110848 16599 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16599 231 231 0 22257 0
vsize: 89952
[startup+1190.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18118 0 0 0 118955 88 0 0 25 0 1 0 512139973 92110848 16617 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16617 231 231 0 22257 0
vsize: 89952
[startup+1200.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19228
Raw data (stat): 19171 (PBS4) R 19170 27222 27221 0 -1 0 18134 0 0 0 119955 88 0 0 25 0 1 0 512139973 92110848 16633 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 16633 231 231 0 22257 0
vsize: 89952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19228
Raw data (stat): 19171 (PBS4) Z 19170 27222 27221 0 -1 1036 18134 0 0 0 119955 91 0 0 25 0 1 0 512139973 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.29
CPU time (s): 1200.48
CPU user time (s): 1199.56
CPU system time (s): 0.91686
CPU usage (%): 100.015
Max. virtual memory (Kb): 89952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####