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/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM	6604a6c0d979e1f2b09762e6e4f70f84
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	259
Optimality of the best value was proved	NO
Number of terms in the objective function	1278
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	1278
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1278
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	1278
Total number of constraints	1087
Number of constraints which are clauses	1087
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	1
Maximum length of a constraint	18
Trace number 7680

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-17 15:39:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=519 boxname=wulflinc31 idbench=58 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
IDLAUNCH: 519
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        854004 kB
Buffers:         37332 kB
Cached:         103648 kB
SwapCached:        392 kB
Active:          72200 kB
Inactive:        71992 kB
HighTotal:      131008 kB
HighFree:        23576 kB
LowTotal:       903652 kB
LowFree:        830428 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6840 kB
Slab:            31016 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:59:18 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 519 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.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.01 0.02 0.00 2/54 16323
Raw data (stat): 16323 (runsolver) R 16322 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511648057 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.16 0.05 0.01 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1142 0 0 0 988 10 0 0 25 0 1 0 511648057 5922816 1138 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1446 1138 231 231 0 1215 0
vsize: 5784
[startup+20 s]
Raw data (loadavg): 0.29 0.08 0.02 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1220 0 0 0 1987 11 0 0 25 0 1 0 511648057 5922816 1216 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1446 1216 231 231 0 1215 0
vsize: 5784
[startup+30.001 s]
Raw data (loadavg): 0.40 0.11 0.03 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1303 0 0 0 2987 12 0 0 25 0 1 0 511648057 6107136 1299 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1491 1299 231 231 0 1260 0
vsize: 5964
[startup+40.0009 s]
Raw data (loadavg): 0.49 0.14 0.04 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1373 0 0 0 3987 12 0 0 25 0 1 0 511648057 10301440 1369 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1369 231 231 0 2284 0
vsize: 10060
[startup+50.0018 s]
Raw data (loadavg): 0.57 0.16 0.05 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1443 0 0 0 4988 12 0 0 25 0 1 0 511648057 10301440 1439 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1439 231 231 0 2284 0
vsize: 10060
[startup+60.0017 s]
Raw data (loadavg): 0.63 0.19 0.06 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1514 0 0 0 5987 12 0 0 25 0 1 0 511648057 10301440 1510 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1510 231 231 0 2284 0
vsize: 10060
[startup+70.0019 s]
Raw data (loadavg): 0.69 0.22 0.07 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1582 0 0 0 6987 12 0 0 25 0 1 0 511648057 10301440 1578 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1578 231 231 0 2284 0
vsize: 10060
[startup+80.0025 s]
Raw data (loadavg): 0.74 0.24 0.08 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1653 0 0 0 7987 12 0 0 25 0 1 0 511648057 10301440 1649 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1649 231 231 0 2284 0
vsize: 10060
[startup+90.0024 s]
Raw data (loadavg): 0.78 0.27 0.09 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1722 0 0 0 8987 13 0 0 25 0 1 0 511648057 10301440 1718 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1718 231 231 0 2284 0
vsize: 10060
[startup+100.002 s]
Raw data (loadavg): 0.81 0.29 0.10 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1793 0 0 0 9987 13 0 0 25 0 1 0 511648057 10301440 1789 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1789 231 231 0 2284 0
vsize: 10060
[startup+110.002 s]
Raw data (loadavg): 0.84 0.31 0.11 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1863 0 0 0 10987 13 0 0 25 0 1 0 511648057 10301440 1859 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1859 231 231 0 2284 0
vsize: 10060
[startup+120.002 s]
Raw data (loadavg): 0.86 0.34 0.12 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 1932 0 0 0 11987 13 0 0 25 0 1 0 511648057 10301440 1928 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1928 231 231 0 2284 0
vsize: 10060
[startup+130.002 s]
Raw data (loadavg): 0.88 0.36 0.12 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2003 0 0 0 12987 13 0 0 25 0 1 0 511648057 10301440 1999 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1999 231 231 0 2284 0
vsize: 10060
[startup+140.002 s]
Raw data (loadavg): 0.90 0.38 0.13 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2073 0 0 0 13987 14 0 0 25 0 1 0 511648057 10301440 2069 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 2069 231 231 0 2284 0
vsize: 10060
[startup+150.003 s]
Raw data (loadavg): 0.92 0.40 0.14 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2143 0 0 0 14987 14 0 0 25 0 1 0 511648057 10301440 2139 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 2139 231 231 0 2284 0
vsize: 10060
[startup+160.003 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2213 0 0 0 15987 14 0 0 25 0 1 0 511648057 10301440 2209 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 2209 231 231 0 2284 0
vsize: 10060
[startup+170.003 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2281 0 0 0 16987 14 0 0 25 0 1 0 511648057 10301440 2277 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 2277 231 231 0 2284 0
vsize: 10060
[startup+180.003 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2350 0 0 0 17987 14 0 0 25 0 1 0 511648057 18690048 2346 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 2346 231 231 0 4332 0
vsize: 18252
[startup+190.003 s]
Raw data (loadavg): 0.95 0.47 0.18 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2419 0 0 0 18987 14 0 0 25 0 1 0 511648057 18690048 2415 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 2415 231 231 0 4332 0
vsize: 18252
[startup+200.003 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2491 0 0 0 19987 15 0 0 25 0 1 0 511648057 18690048 2487 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 2487 231 231 0 4332 0
vsize: 18252
[startup+210.003 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2560 0 0 0 20987 15 0 0 25 0 1 0 511648057 18690048 2556 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 2556 231 231 0 4332 0
vsize: 18252
[startup+220.003 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2628 0 0 0 21987 15 0 0 25 0 1 0 511648057 18690048 2624 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 2624 231 231 0 4332 0
vsize: 18252
[startup+230.003 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2720 0 0 0 22987 15 0 0 25 0 1 0 511648057 18792448 2716 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 2716 231 231 0 4357 0
vsize: 18352
[startup+240.003 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2789 0 0 0 23987 15 0 0 25 0 1 0 511648057 18792448 2785 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 2785 231 231 0 4357 0
vsize: 18352
[startup+250.004 s]
Raw data (loadavg): 0.98 0.57 0.22 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2857 0 0 0 24987 16 0 0 25 0 1 0 511648057 18792448 2853 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 2853 231 231 0 4357 0
vsize: 18352
[startup+260.005 s]
Raw data (loadavg): 0.98 0.58 0.23 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2926 0 0 0 25987 16 0 0 25 0 1 0 511648057 18792448 2922 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 2922 231 231 0 4357 0
vsize: 18352
[startup+270.005 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 2996 0 0 0 26987 16 0 0 25 0 1 0 511648057 18792448 2992 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 2992 231 231 0 4357 0
vsize: 18352
[startup+280.005 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3066 0 0 0 27987 16 0 0 25 0 1 0 511648057 18792448 3062 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3062 231 231 0 4357 0
vsize: 18352
[startup+290.005 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3137 0 0 0 28987 17 0 0 25 0 1 0 511648057 18792448 3133 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3133 231 231 0 4357 0
vsize: 18352
[startup+300.006 s]
Raw data (loadavg): 0.99 0.63 0.26 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3208 0 0 0 29987 17 0 0 25 0 1 0 511648057 18792448 3204 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3204 231 231 0 4357 0
vsize: 18352
[startup+310.006 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3279 0 0 0 30987 17 0 0 25 0 1 0 511648057 18792448 3275 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3275 231 231 0 4357 0
vsize: 18352
[startup+320.005 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3350 0 0 0 31986 18 0 0 25 0 1 0 511648057 18792448 3346 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3346 231 231 0 4357 0
vsize: 18352
[startup+330.005 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3419 0 0 0 32986 18 0 0 25 0 1 0 511648057 18792448 3415 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3415 231 231 0 4357 0
vsize: 18352
[startup+340.005 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3489 0 0 0 33986 18 0 0 25 0 1 0 511648057 18792448 3485 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3485 231 231 0 4357 0
vsize: 18352
[startup+350.006 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3559 0 0 0 34986 18 0 0 25 0 1 0 511648057 18792448 3555 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3555 231 231 0 4357 0
vsize: 18352
[startup+360.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3630 0 0 0 35986 19 0 0 25 0 1 0 511648057 18792448 3626 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3626 231 231 0 4357 0
vsize: 18352
[startup+370.007 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3696 0 0 0 36986 19 0 0 25 0 1 0 511648057 18792448 3692 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3692 231 231 0 4357 0
vsize: 18352
[startup+380.008 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3765 0 0 0 37986 19 0 0 25 0 1 0 511648057 18792448 3761 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3761 231 231 0 4357 0
vsize: 18352
[startup+390.008 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3835 0 0 0 38986 19 0 0 25 0 1 0 511648057 18792448 3831 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3831 231 231 0 4357 0
vsize: 18352
[startup+400.009 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3903 0 0 0 39986 20 0 0 25 0 1 0 511648057 18792448 3899 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3899 231 231 0 4357 0
vsize: 18352
[startup+410.009 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 3973 0 0 0 40986 20 0 0 25 0 1 0 511648057 18792448 3969 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3969 231 231 0 4357 0
vsize: 18352
[startup+420.008 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4045 0 0 0 41986 20 0 0 25 0 1 0 511648057 18792448 4041 4294967295 134512640 135450300 3221224640 3221223568 134539744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 4041 231 231 0 4357 0
vsize: 18352
[startup+430.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4115 0 0 0 42986 20 0 0 25 0 1 0 511648057 18792448 4111 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 4111 231 231 0 4357 0
vsize: 18352
[startup+440.008 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4184 0 0 0 43986 20 0 0 25 0 1 0 511648057 18792448 4180 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 4180 231 231 0 4357 0
vsize: 18352
[startup+450.009 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4255 0 0 0 44986 20 0 0 25 0 1 0 511648057 18792448 4251 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 4251 231 231 0 4357 0
vsize: 18352
[startup+460.009 s]
Raw data (loadavg): 0.99 0.78 0.37 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4324 0 0 0 45986 20 0 0 25 0 1 0 511648057 18792448 4320 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 4320 231 231 0 4357 0
vsize: 18352
[startup+470.009 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4395 0 0 0 46986 20 0 0 25 0 1 0 511648057 18792448 4391 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 4391 231 231 0 4357 0
vsize: 18352
[startup+480.01 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4464 0 0 0 47986 20 0 0 25 0 1 0 511648057 35569664 4460 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4460 231 231 0 8453 0
vsize: 34736
[startup+490.01 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4532 0 0 0 48987 20 0 0 25 0 1 0 511648057 35569664 4528 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4528 231 231 0 8453 0
vsize: 34736
[startup+500.011 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4600 0 0 0 49987 21 0 0 25 0 1 0 511648057 35569664 4596 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4596 231 231 0 8453 0
vsize: 34736
[startup+510.012 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4668 0 0 0 50987 21 0 0 25 0 1 0 511648057 35569664 4664 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4664 231 231 0 8453 0
vsize: 34736
[startup+520.011 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4738 0 0 0 51987 21 0 0 25 0 1 0 511648057 35569664 4734 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4734 231 231 0 8453 0
vsize: 34736
[startup+530.011 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4803 0 0 0 52987 21 0 0 25 0 1 0 511648057 35569664 4799 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4799 231 231 0 8453 0
vsize: 34736
[startup+540.011 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4872 0 0 0 53986 21 0 0 25 0 1 0 511648057 35569664 4868 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4868 231 231 0 8453 0
vsize: 34736
[startup+550.012 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 4940 0 0 0 54986 22 0 0 25 0 1 0 511648057 35569664 4936 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 4936 231 231 0 8453 0
vsize: 34736
[startup+560.012 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5005 0 0 0 55986 22 0 0 25 0 1 0 511648057 35569664 5001 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5001 231 231 0 8453 0
vsize: 34736
[startup+570.012 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5071 0 0 0 56986 23 0 0 25 0 1 0 511648057 35569664 5067 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5067 231 231 0 8453 0
vsize: 34736
[startup+580.012 s]
Raw data (loadavg): 0.99 0.85 0.44 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5137 0 0 0 57986 23 0 0 25 0 1 0 511648057 35569664 5133 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5133 231 231 0 8453 0
vsize: 34736
[startup+590.012 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5205 0 0 0 58986 23 0 0 25 0 1 0 511648057 35569664 5201 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5201 231 231 0 8453 0
vsize: 34736
[startup+600.013 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5270 0 0 0 59986 23 0 0 25 0 1 0 511648057 35569664 5266 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5266 231 231 0 8453 0
vsize: 34736
[startup+610.013 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5325 0 0 0 60986 24 0 0 25 0 1 0 511648057 35569664 5321 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5321 231 231 0 8453 0
vsize: 34736
[startup+620.012 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5358 0 0 0 61982 27 0 0 25 0 1 0 511648057 35704832 5354 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8717 5354 231 231 0 8486 0
vsize: 34868
[startup+630.013 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5428 0 0 0 62979 31 0 0 25 0 1 0 511648057 36036608 5375 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 5375 231 231 0 8567 0
vsize: 35192
[startup+640.013 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5435 0 0 0 63976 33 0 0 25 0 1 0 511648057 36036608 5382 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 5382 231 231 0 8567 0
vsize: 35192
[startup+650.014 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5437 0 0 0 64974 36 0 0 25 0 1 0 511648057 36036608 5384 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 5384 231 231 0 8567 0
vsize: 35192
[startup+660.015 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5438 0 0 0 65974 36 0 0 25 0 1 0 511648057 36036608 5385 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 5385 231 231 0 8567 0
vsize: 35192
[startup+670.015 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5438 0 0 0 66974 36 0 0 25 0 1 0 511648057 36036608 5385 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 5385 231 231 0 8567 0
vsize: 35192
[startup+680.016 s]
Raw data (loadavg): 0.99 0.89 0.49 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5439 0 0 0 67974 36 0 0 25 0 1 0 511648057 36036608 5386 4294967295 134512640 135450300 3221224640 3221223456 134546477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 5386 231 231 0 8567 0
vsize: 35192
[startup+690.016 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5492 0 0 0 68971 39 0 0 25 0 1 0 511648057 36311040 5439 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 5439 231 231 0 8634 0
vsize: 35460
[startup+700.017 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5496 0 0 0 69969 42 0 0 25 0 1 0 511648057 36311040 5443 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 5443 231 231 0 8634 0
vsize: 35460
[startup+710.016 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5498 0 0 0 70969 43 0 0 25 0 1 0 511648057 36311040 5445 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 5445 231 231 0 8634 0
vsize: 35460
[startup+720.016 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5498 0 0 0 71969 43 0 0 25 0 1 0 511648057 36311040 5445 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 5445 231 231 0 8634 0
vsize: 35460
[startup+730.018 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5519 0 0 0 72969 43 0 0 25 0 1 0 511648057 36311040 5466 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 5466 231 231 0 8634 0
vsize: 35460
[startup+740.017 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5596 0 0 0 73969 43 0 0 25 0 1 0 511648057 36311040 5543 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 5543 231 231 0 8634 0
vsize: 35460
[startup+750.018 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5680 0 0 0 74965 47 0 0 25 0 1 0 511648057 36446208 5627 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 5627 231 231 0 8667 0
vsize: 35592
[startup+760.019 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5750 0 0 0 75962 50 0 0 25 0 1 0 511648057 36446208 5697 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 5697 231 231 0 8667 0
vsize: 35592
[startup+770.019 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5816 0 0 0 76961 52 0 0 25 0 1 0 511648057 36446208 5763 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 5763 231 231 0 8667 0
vsize: 35592
[startup+780.019 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5876 0 0 0 77961 52 0 0 25 0 1 0 511648057 36446208 5823 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 5823 231 231 0 8667 0
vsize: 35592
[startup+790.019 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5936 0 0 0 78961 52 0 0 25 0 1 0 511648057 36446208 5883 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 5883 231 231 0 8667 0
vsize: 35592
[startup+800.02 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 5997 0 0 0 79961 52 0 0 25 0 1 0 511648057 36446208 5944 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 5944 231 231 0 8667 0
vsize: 35592
[startup+810.02 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6059 0 0 0 80961 52 0 0 25 0 1 0 511648057 36446208 6006 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6006 231 231 0 8667 0
vsize: 35592
[startup+820.019 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6138 0 0 0 81960 53 0 0 25 0 1 0 511648057 36446208 6085 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6085 231 231 0 8667 0
vsize: 35592
[startup+830.02 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6213 0 0 0 82958 55 0 0 25 0 1 0 511648057 36446208 6160 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6160 231 231 0 8667 0
vsize: 35592
[startup+840.02 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6291 0 0 0 83955 58 0 0 25 0 1 0 511648057 36446208 6238 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6238 231 231 0 8667 0
vsize: 35592
[startup+850.021 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6364 0 0 0 84955 59 0 0 25 0 1 0 511648057 36446208 6311 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6311 231 231 0 8667 0
vsize: 35592
[startup+860.021 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6439 0 0 0 85955 59 0 0 25 0 1 0 511648057 36446208 6386 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6386 231 231 0 8667 0
vsize: 35592
[startup+870.021 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6513 0 0 0 86955 59 0 0 25 0 1 0 511648057 36446208 6460 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6460 231 231 0 8667 0
vsize: 35592
[startup+880.021 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6591 0 0 0 87955 59 0 0 25 0 1 0 511648057 36446208 6538 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6538 231 231 0 8667 0
vsize: 35592
[startup+890.021 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6665 0 0 0 88951 63 0 0 25 0 1 0 511648057 36446208 6612 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6612 231 231 0 8667 0
vsize: 35592
[startup+900.022 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6734 0 0 0 89948 66 0 0 25 0 1 0 511648057 36446208 6681 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6681 231 231 0 8667 0
vsize: 35592
[startup+910.022 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6804 0 0 0 90947 67 0 0 25 0 1 0 511648057 36446208 6751 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6751 231 231 0 8667 0
vsize: 35592
[startup+920.021 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6863 0 0 0 91947 68 0 0 25 0 1 0 511648057 36446208 6810 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6810 231 231 0 8667 0
vsize: 35592
[startup+930.021 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6923 0 0 0 92947 68 0 0 25 0 1 0 511648057 36446208 6870 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6870 231 231 0 8667 0
vsize: 35592
[startup+940.021 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 6984 0 0 0 93947 68 0 0 25 0 1 0 511648057 36446208 6931 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6931 231 231 0 8667 0
vsize: 35592
[startup+950.022 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7043 0 0 0 94947 68 0 0 25 0 1 0 511648057 36446208 6990 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 6990 231 231 0 8667 0
vsize: 35592
[startup+960.022 s]
Raw data (loadavg): 0.99 0.95 0.61 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7083 0 0 0 95947 69 0 0 25 0 1 0 511648057 36597760 7030 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7030 231 231 0 8704 0
vsize: 35740
[startup+970.022 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7085 0 0 0 96944 72 0 0 25 0 1 0 511648057 36597760 7032 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7032 231 231 0 8704 0
vsize: 35740
[startup+980.023 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7089 0 0 0 97940 76 0 0 25 0 1 0 511648057 36597760 7036 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7036 231 231 0 8704 0
vsize: 35740
[startup+990.023 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7090 0 0 0 98941 76 0 0 25 0 1 0 511648057 36597760 7037 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7037 231 231 0 8704 0
vsize: 35740
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7090 0 0 0 99941 76 0 0 25 0 1 0 511648057 36597760 7037 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7037 231 231 0 8704 0
vsize: 35740
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7092 0 0 0 100941 76 0 0 25 0 1 0 511648057 36597760 7039 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7039 231 231 0 8704 0
vsize: 35740
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7101 0 0 0 101940 77 0 0 25 0 1 0 511648057 36597760 7048 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7048 231 231 0 8704 0
vsize: 35740
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7102 0 0 0 102938 79 0 0 25 0 1 0 511648057 36597760 7049 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7049 231 231 0 8704 0
vsize: 35740
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7103 0 0 0 103933 84 0 0 25 0 1 0 511648057 36597760 7050 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7050 231 231 0 8704 0
vsize: 35740
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7103 0 0 0 104933 84 0 0 25 0 1 0 511648057 36597760 7050 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7050 231 231 0 8704 0
vsize: 35740
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7104 0 0 0 105933 84 0 0 25 0 1 0 511648057 36597760 7051 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7051 231 231 0 8704 0
vsize: 35740
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7105 0 0 0 106933 84 0 0 25 0 1 0 511648057 36597760 7052 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7052 231 231 0 8704 0
vsize: 35740
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7105 0 0 0 107933 84 0 0 25 0 1 0 511648057 36597760 7052 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7052 231 231 0 8704 0
vsize: 35740
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7113 0 0 0 108933 85 0 0 25 0 1 0 511648057 36597760 7060 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7060 231 231 0 8704 0
vsize: 35740
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7113 0 0 0 109932 86 0 0 25 0 1 0 511648057 36597760 7060 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7060 231 231 0 8704 0
vsize: 35740
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7114 0 0 0 110930 89 0 0 25 0 1 0 511648057 36597760 7061 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7061 231 231 0 8704 0
vsize: 35740
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7115 0 0 0 111929 89 0 0 25 0 1 0 511648057 36597760 7062 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7062 231 231 0 8704 0
vsize: 35740
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7115 0 0 0 112929 89 0 0 25 0 1 0 511648057 36597760 7062 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7062 231 231 0 8704 0
vsize: 35740
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7116 0 0 0 113929 89 0 0 25 0 1 0 511648057 36597760 7063 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7063 231 231 0 8704 0
vsize: 35740
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7116 0 0 0 114930 89 0 0 25 0 1 0 511648057 36597760 7063 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 7063 231 231 0 8704 0
vsize: 35740
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.96 0.68 3/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7125 0 0 0 115928 91 0 0 25 0 1 0 511648057 36732928 7072 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 7072 231 231 0 8737 0
vsize: 35872
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7126 0 0 0 116926 93 0 0 25 0 1 0 511648057 36732928 7073 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 7073 231 231 0 8737 0
vsize: 35872
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7128 0 0 0 117924 96 0 0 25 0 1 0 511648057 36732928 7075 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 7075 231 231 0 8737 0
vsize: 35872
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7130 0 0 0 118924 96 0 0 25 0 1 0 511648057 36732928 7077 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 7077 231 231 0 8737 0
vsize: 35872
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 16323
Raw data (stat): 16323 (PBS4) R 16322 23176 23175 0 -1 0 7130 0 0 0 119924 96 0 0 25 0 1 0 511648057 36732928 7077 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 7077 231 231 0 8737 0
vsize: 35872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 16323
Raw data (stat): 16323 (PBS4) Z 16322 23176 23175 0 -1 1036 7130 0 0 0 119924 97 0 0 25 0 1 0 511648057 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.04
CPU time (s): 1200.22
CPU user time (s): 1199.24
CPU system time (s): 0.977851
CPU usage (%): 100.015
Max. virtual memory (Kb): 35872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####