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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
MD5SUM	bc393d4b1cc38ed414c3e21eb8bc6b60
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	56
Optimality of the best value was proved	NO
Number of terms in the objective function	4447
Biggest coefficient in the objective function	2128
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	12580
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	2128
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	12580
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.06284
Number of variables	4447
Total number of constraints	9372
Number of constraints which are clauses	4205
Number of constraints which are cardinality constraints (but not clauses)	5167
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	27
Trace number 7960

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-17 17:31:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3345 boxname=wulflinc8 idbench=372 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  bc393d4b1cc38ed414c3e21eb8bc6b60  /oldhome/oroussel/tmp/wulflinc8/normalized-30:30:4.5:0.5:100.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc8/normalized-30:30:4.5:0.5:100.opb
IDLAUNCH: 3345
/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:        830712 kB
Buffers:         38740 kB
Cached:         142412 kB
SwapCached:          0 kB
Active:          90288 kB
Inactive:        95556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830460 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12540 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:51:42 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3345 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc8/normalized-30:30:4.5:0.5:100.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 19523
Raw data (stat): 19523 (runsolver) R 19522 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 440549909 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.0001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 798 0 0 0 994 5 0 0 25 0 1 0 440549909 4116480 794 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1005 794 231 231 0 774 0
vsize: 4020
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 938 0 0 0 1993 5 0 0 25 0 1 0 440549909 5443584 934 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1329 934 231 231 0 1098 0
vsize: 5316
[startup+30.0003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 995 0 0 0 2993 5 0 0 25 0 1 0 440549909 5443584 991 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1329 991 231 231 0 1098 0
vsize: 5316
[startup+40.0004 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1027 0 0 0 3993 6 0 0 25 0 1 0 440549909 5443584 1023 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1329 1023 231 231 0 1098 0
vsize: 5316
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1060 0 0 0 4994 6 0 0 25 0 1 0 440549909 5443584 1056 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1329 1056 231 231 0 1098 0
vsize: 5316
[startup+60.0007 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1116 0 0 0 5994 6 0 0 25 0 1 0 440549909 5443584 1112 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1329 1112 231 231 0 1098 0
vsize: 5316
[startup+70.0009 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1159 0 0 0 6994 6 0 0 25 0 1 0 440549909 5591040 1155 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1365 1155 231 231 0 1134 0
vsize: 5460
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1202 0 0 0 7994 6 0 0 25 0 1 0 440549909 7688192 1198 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1198 231 231 0 1646 0
vsize: 7508
[startup+90.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1257 0 0 0 8994 6 0 0 25 0 1 0 440549909 7688192 1253 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1253 231 231 0 1646 0
vsize: 7508
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1303 0 0 0 9994 6 0 0 25 0 1 0 440549909 7688192 1299 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1299 231 231 0 1646 0
vsize: 7508
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1335 0 0 0 10994 7 0 0 25 0 1 0 440549909 7688192 1331 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1331 231 231 0 1646 0
vsize: 7508
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1390 0 0 0 11994 7 0 0 25 0 1 0 440549909 7688192 1386 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1386 231 231 0 1646 0
vsize: 7508
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1444 0 0 0 12994 7 0 0 25 0 1 0 440549909 7688192 1440 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1440 231 231 0 1646 0
vsize: 7508
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1512 0 0 0 13994 7 0 0 25 0 1 0 440549909 7688192 1508 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1508 231 231 0 1646 0
vsize: 7508
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1538 0 0 0 14994 7 0 0 25 0 1 0 440549909 7688192 1534 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1534 231 231 0 1646 0
vsize: 7508
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1622 0 0 0 15994 7 0 0 25 0 1 0 440549909 7688192 1618 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1618 231 231 0 1646 0
vsize: 7508
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1675 0 0 0 16994 7 0 0 25 0 1 0 440549909 7688192 1671 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1671 231 231 0 1646 0
vsize: 7508
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1726 0 0 0 17994 7 0 0 25 0 1 0 440549909 11882496 1722 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 1722 231 231 0 2670 0
vsize: 11604
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1811 0 0 0 18994 8 0 0 25 0 1 0 440549909 11882496 1807 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 1807 231 231 0 2670 0
vsize: 11604
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1859 0 0 0 19994 8 0 0 25 0 1 0 440549909 11882496 1855 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 1855 231 231 0 2670 0
vsize: 11604
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1900 0 0 0 20994 8 0 0 25 0 1 0 440549909 11882496 1896 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 1896 231 231 0 2670 0
vsize: 11604
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 1957 0 0 0 21994 8 0 0 25 0 1 0 440549909 11882496 1953 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 1953 231 231 0 2670 0
vsize: 11604
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2021 0 0 0 22994 8 0 0 25 0 1 0 440549909 11882496 2017 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2017 231 231 0 2670 0
vsize: 11604
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2084 0 0 0 23994 8 0 0 25 0 1 0 440549909 11882496 2080 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2080 231 231 0 2670 0
vsize: 11604
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2170 0 0 0 24994 8 0 0 25 0 1 0 440549909 11882496 2166 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2166 231 231 0 2670 0
vsize: 11604
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2231 0 0 0 25994 9 0 0 25 0 1 0 440549909 11882496 2227 4294967295 134512640 135450300 3221224640 3221222992 134533252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2227 231 231 0 2670 0
vsize: 11604
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2299 0 0 0 26994 9 0 0 25 0 1 0 440549909 11882496 2295 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2295 231 231 0 2670 0
vsize: 11604
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2347 0 0 0 27994 9 0 0 25 0 1 0 440549909 11882496 2343 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2343 231 231 0 2670 0
vsize: 11604
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2416 0 0 0 28994 9 0 0 25 0 1 0 440549909 11882496 2412 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2412 231 231 0 2670 0
vsize: 11604
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2465 0 0 0 29994 9 0 0 25 0 1 0 440549909 11882496 2461 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2461 231 231 0 2670 0
vsize: 11604
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2563 0 0 0 30994 9 0 0 25 0 1 0 440549909 11882496 2559 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2559 231 231 0 2670 0
vsize: 11604
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2627 0 0 0 31995 10 0 0 25 0 1 0 440549909 11882496 2623 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2623 231 231 0 2670 0
vsize: 11604
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2740 0 0 0 32994 10 0 0 25 0 1 0 440549909 20271104 2736 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 2736 231 231 0 4718 0
vsize: 19796
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2791 0 0 0 33994 10 0 0 25 0 1 0 440549909 20271104 2787 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 2787 231 231 0 4718 0
vsize: 19796
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2834 0 0 0 34994 10 0 0 25 0 1 0 440549909 20271104 2830 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 2830 231 231 0 4718 0
vsize: 19796
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 2916 0 0 0 35995 10 0 0 25 0 1 0 440549909 20271104 2912 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 2912 231 231 0 4718 0
vsize: 19796
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3005 0 0 0 36994 11 0 0 25 0 1 0 440549909 20271104 3001 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3001 231 231 0 4718 0
vsize: 19796
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3079 0 0 0 37994 11 0 0 25 0 1 0 440549909 20271104 3075 4294967295 134512640 135450300 3221224640 3221223504 134539260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3075 231 231 0 4718 0
vsize: 19796
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3112 0 0 0 38995 11 0 0 25 0 1 0 440549909 20271104 3108 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3108 231 231 0 4718 0
vsize: 19796
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3186 0 0 0 39995 11 0 0 25 0 1 0 440549909 20271104 3182 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3182 231 231 0 4718 0
vsize: 19796
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3247 0 0 0 40994 11 0 0 25 0 1 0 440549909 20271104 3243 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3243 231 231 0 4718 0
vsize: 19796
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3286 0 0 0 41995 12 0 0 25 0 1 0 440549909 20271104 3282 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3282 231 231 0 4718 0
vsize: 19796
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3353 0 0 0 42995 12 0 0 25 0 1 0 440549909 20271104 3349 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3349 231 231 0 4718 0
vsize: 19796
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3393 0 0 0 43995 12 0 0 25 0 1 0 440549909 20271104 3389 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3389 231 231 0 4718 0
vsize: 19796
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3422 0 0 0 44995 12 0 0 25 0 1 0 440549909 20271104 3418 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3418 231 231 0 4718 0
vsize: 19796
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3452 0 0 0 45994 12 0 0 25 0 1 0 440549909 20271104 3448 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3448 231 231 0 4718 0
vsize: 19796
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3499 0 0 0 46994 12 0 0 25 0 1 0 440549909 20271104 3495 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3495 231 231 0 4718 0
vsize: 19796
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3571 0 0 0 47995 13 0 0 25 0 1 0 440549909 20271104 3567 4294967295 134512640 135450300 3221224640 3221223152 134544680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3567 231 231 0 4718 0
vsize: 19796
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3655 0 0 0 48995 13 0 0 25 0 1 0 440549909 20271104 3651 4294967295 134512640 135450300 3221224640 3221223456 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3651 231 231 0 4718 0
vsize: 19796
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3704 0 0 0 49995 13 0 0 25 0 1 0 440549909 20271104 3700 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3700 231 231 0 4718 0
vsize: 19796
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3745 0 0 0 50995 13 0 0 25 0 1 0 440549909 20271104 3741 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3741 231 231 0 4718 0
vsize: 19796
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3791 0 0 0 51995 13 0 0 25 0 1 0 440549909 20271104 3787 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3787 231 231 0 4718 0
vsize: 19796
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3824 0 0 0 52995 13 0 0 25 0 1 0 440549909 20271104 3820 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3820 231 231 0 4718 0
vsize: 19796
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 3897 0 0 0 53995 13 0 0 25 0 1 0 440549909 20271104 3893 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 3893 231 231 0 4718 0
vsize: 19796
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4018 0 0 0 54995 14 0 0 25 0 1 0 440549909 20271104 4014 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4014 231 231 0 4718 0
vsize: 19796
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4057 0 0 0 55995 14 0 0 25 0 1 0 440549909 20271104 4053 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4053 231 231 0 4718 0
vsize: 19796
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4091 0 0 0 56996 14 0 0 25 0 1 0 440549909 20271104 4087 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4087 231 231 0 4718 0
vsize: 19796
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4168 0 0 0 57995 14 0 0 25 0 1 0 440549909 20271104 4164 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4164 231 231 0 4718 0
vsize: 19796
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4197 0 0 0 58996 14 0 0 25 0 1 0 440549909 20271104 4193 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4193 231 231 0 4718 0
vsize: 19796
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4225 0 0 0 59996 14 0 0 25 0 1 0 440549909 20271104 4221 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4221 231 231 0 4718 0
vsize: 19796
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4258 0 0 0 60996 14 0 0 25 0 1 0 440549909 20271104 4254 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4254 231 231 0 4718 0
vsize: 19796
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4307 0 0 0 61996 14 0 0 25 0 1 0 440549909 20271104 4303 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4303 231 231 0 4718 0
vsize: 19796
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4346 0 0 0 62996 14 0 0 25 0 1 0 440549909 20271104 4342 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4342 231 231 0 4718 0
vsize: 19796
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4418 0 0 0 63996 14 0 0 25 0 1 0 440549909 20271104 4414 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4414 231 231 0 4718 0
vsize: 19796
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4478 0 0 0 64996 15 0 0 25 0 1 0 440549909 20271104 4474 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4474 231 231 0 4718 0
vsize: 19796
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4558 0 0 0 65996 15 0 0 25 0 1 0 440549909 20271104 4554 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4554 231 231 0 4718 0
vsize: 19796
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4662 0 0 0 66996 15 0 0 25 0 1 0 440549909 20271104 4658 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4658 231 231 0 4718 0
vsize: 19796
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4727 0 0 0 67996 16 0 0 25 0 1 0 440549909 20271104 4723 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4723 231 231 0 4718 0
vsize: 19796
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4777 0 0 0 68996 16 0 0 25 0 1 0 440549909 20271104 4773 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4773 231 231 0 4718 0
vsize: 19796
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4808 0 0 0 69996 16 0 0 25 0 1 0 440549909 37048320 4804 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 4804 231 231 0 8814 0
vsize: 36180
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4854 0 0 0 70996 16 0 0 25 0 1 0 440549909 37048320 4850 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 4850 231 231 0 8814 0
vsize: 36180
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 4945 0 0 0 71996 16 0 0 25 0 1 0 440549909 37048320 4941 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 4941 231 231 0 8814 0
vsize: 36180
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5047 0 0 0 72996 16 0 0 25 0 1 0 440549909 37048320 5043 4294967295 134512640 135450300 3221224640 3221223248 134537535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5043 231 231 0 8814 0
vsize: 36180
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5127 0 0 0 73996 16 0 0 25 0 1 0 440549909 37048320 5123 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5123 231 231 0 8814 0
vsize: 36180
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5177 0 0 0 74996 17 0 0 25 0 1 0 440549909 37048320 5173 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5173 231 231 0 8814 0
vsize: 36180
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5234 0 0 0 75996 17 0 0 25 0 1 0 440549909 37048320 5230 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5230 231 231 0 8814 0
vsize: 36180
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5281 0 0 0 76996 17 0 0 25 0 1 0 440549909 37048320 5277 4294967295 134512640 135450300 3221224640 3221223168 134543673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5277 231 231 0 8814 0
vsize: 36180
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5351 0 0 0 77996 17 0 0 25 0 1 0 440549909 37048320 5347 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5347 231 231 0 8814 0
vsize: 36180
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5396 0 0 0 78996 17 0 0 25 0 1 0 440549909 37048320 5392 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5392 231 231 0 8814 0
vsize: 36180
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5435 0 0 0 79996 18 0 0 25 0 1 0 440549909 37048320 5431 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5431 231 231 0 8814 0
vsize: 36180
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5544 0 0 0 80996 18 0 0 25 0 1 0 440549909 37048320 5540 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5540 231 231 0 8814 0
vsize: 36180
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5591 0 0 0 81996 18 0 0 25 0 1 0 440549909 37048320 5587 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5587 231 231 0 8814 0
vsize: 36180
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5683 0 0 0 82995 19 0 0 25 0 1 0 440549909 37048320 5679 4294967295 134512640 135450300 3221224640 3221223132 134579990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5679 231 231 0 8814 0
vsize: 36180
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5732 0 0 0 83996 19 0 0 25 0 1 0 440549909 37048320 5728 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5728 231 231 0 8814 0
vsize: 36180
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5817 0 0 0 84995 19 0 0 25 0 1 0 440549909 37048320 5813 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5813 231 231 0 8814 0
vsize: 36180
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5882 0 0 0 85996 19 0 0 25 0 1 0 440549909 37048320 5878 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5878 231 231 0 8814 0
vsize: 36180
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5929 0 0 0 86995 20 0 0 25 0 1 0 440549909 37048320 5925 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5925 231 231 0 8814 0
vsize: 36180
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 5959 0 0 0 87996 20 0 0 25 0 1 0 440549909 37048320 5955 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 5955 231 231 0 8814 0
vsize: 36180
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6004 0 0 0 88996 20 0 0 25 0 1 0 440549909 37048320 6000 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6000 231 231 0 8814 0
vsize: 36180
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6037 0 0 0 89996 20 0 0 25 0 1 0 440549909 37048320 6033 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6033 231 231 0 8814 0
vsize: 36180
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6058 0 0 0 90996 20 0 0 25 0 1 0 440549909 37048320 6054 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6054 231 231 0 8814 0
vsize: 36180
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6138 0 0 0 91996 20 0 0 25 0 1 0 440549909 37048320 6134 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6134 231 231 0 8814 0
vsize: 36180
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6262 0 0 0 92996 20 0 0 25 0 1 0 440549909 37048320 6258 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6258 231 231 0 8814 0
vsize: 36180
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6322 0 0 0 93996 20 0 0 25 0 1 0 440549909 37048320 6318 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6318 231 231 0 8814 0
vsize: 36180
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6361 0 0 0 94996 20 0 0 25 0 1 0 440549909 37048320 6357 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6357 231 231 0 8814 0
vsize: 36180
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6386 0 0 0 95996 21 0 0 25 0 1 0 440549909 37048320 6382 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6382 231 231 0 8814 0
vsize: 36180
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6423 0 0 0 96996 21 0 0 25 0 1 0 440549909 37048320 6419 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6419 231 231 0 8814 0
vsize: 36180
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6488 0 0 0 97996 21 0 0 25 0 1 0 440549909 37048320 6484 4294967295 134512640 135450300 3221224640 3221223456 134547177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6484 231 231 0 8814 0
vsize: 36180
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6611 0 0 0 98996 22 0 0 25 0 1 0 440549909 37048320 6607 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6607 231 231 0 8814 0
vsize: 36180
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6642 0 0 0 99995 22 0 0 25 0 1 0 440549909 37048320 6638 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6638 231 231 0 8814 0
vsize: 36180
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6693 0 0 0 100995 22 0 0 25 0 1 0 440549909 37048320 6689 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6689 231 231 0 8814 0
vsize: 36180
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6780 0 0 0 101995 22 0 0 25 0 1 0 440549909 37048320 6776 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6776 231 231 0 8814 0
vsize: 36180
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6864 0 0 0 102996 22 0 0 25 0 1 0 440549909 37048320 6860 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6860 231 231 0 8814 0
vsize: 36180
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6926 0 0 0 103996 23 0 0 25 0 1 0 440549909 37048320 6922 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6922 231 231 0 8814 0
vsize: 36180
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 6988 0 0 0 104995 23 0 0 25 0 1 0 440549909 37048320 6984 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 6984 231 231 0 8814 0
vsize: 36180
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7068 0 0 0 105995 23 0 0 25 0 1 0 440549909 37048320 7064 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7064 231 231 0 8814 0
vsize: 36180
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7131 0 0 0 106995 24 0 0 25 0 1 0 440549909 37048320 7127 4294967295 134512640 135450300 3221224640 3221223376 134538219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7127 231 231 0 8814 0
vsize: 36180
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7213 0 0 0 107995 24 0 0 25 0 1 0 440549909 37048320 7209 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7209 231 231 0 8814 0
vsize: 36180
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7275 0 0 0 108995 24 0 0 25 0 1 0 440549909 37048320 7271 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7271 231 231 0 8814 0
vsize: 36180
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7350 0 0 0 109996 24 0 0 25 0 1 0 440549909 37048320 7346 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7346 231 231 0 8814 0
vsize: 36180
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7403 0 0 0 110995 24 0 0 25 0 1 0 440549909 37048320 7399 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7399 231 231 0 8814 0
vsize: 36180
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7471 0 0 0 111995 25 0 0 25 0 1 0 440549909 37048320 7467 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7467 231 231 0 8814 0
vsize: 36180
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7530 0 0 0 112995 25 0 0 25 0 1 0 440549909 37048320 7526 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7526 231 231 0 8814 0
vsize: 36180
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7556 0 0 0 113995 25 0 0 25 0 1 0 440549909 37048320 7552 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7552 231 231 0 8814 0
vsize: 36180
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7662 0 0 0 114995 26 0 0 25 0 1 0 440549909 37048320 7658 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7658 231 231 0 8814 0
vsize: 36180
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7738 0 0 0 115995 26 0 0 25 0 1 0 440549909 37048320 7734 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7734 231 231 0 8814 0
vsize: 36180
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7822 0 0 0 116995 26 0 0 25 0 1 0 440549909 37048320 7818 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7818 231 231 0 8814 0
vsize: 36180
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 7947 0 0 0 117995 27 0 0 25 0 1 0 440549909 37048320 7943 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 7943 231 231 0 8814 0
vsize: 36180
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 8014 0 0 0 118995 27 0 0 25 0 1 0 440549909 37048320 8010 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 8010 231 231 0 8814 0
vsize: 36180
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19523
Raw data (stat): 19523 (PBS4) R 19522 26667 26666 0 -1 0 8086 0 0 0 119994 27 0 0 25 0 1 0 440549909 37048320 8082 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 8082 231 231 0 8814 0
vsize: 36180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19523
Raw data (stat): 19523 (PBS4) Z 19522 26667 26666 0 -1 1036 8086 0 0 0 119994 29 0 0 25 0 1 0 440549909 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.24
CPU user time (s): 1199.95
CPU system time (s): 0.292955
CPU usage (%): 100.016
Max. virtual memory (Kb): 36180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####