PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb
MD5SUM	581d778a36086562107993896110e0a2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	307
Optimality of the best value was proved	NO
Number of terms in the objective function	319
Biggest coefficient in the objective function	87
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	23554
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	22000
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	1027256
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	319
Total number of constraints	325
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	319
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	231
Trace number 21232

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 23:10:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13630 boxname=wulflinc27 idbench=1049 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 13630
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        451848 kB
Buffers:         28580 kB
Cached:         531228 kB
SwapCached:        512 kB
Active:          96284 kB
Inactive:       465464 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        451596 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15308 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:30:45 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 13630 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod008.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.85 0.97 0.91 2/54 27676
Raw data (stat): 27676 (runsolver) R 27675 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548932421 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.0005 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 297 0 0 0 989 9 0 0 25 0 1 0 548932421 2023424 293 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 494 293 231 231 0 263 0
vsize: 1976
[startup+20.001 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 559 0 0 0 1988 11 0 0 25 0 1 0 548932421 3731456 555 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 911 555 231 231 0 680 0
vsize: 3644
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 1098 0 0 0 2986 12 0 0 25 0 1 0 548932421 6098944 1094 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1489 1094 231 231 0 1258 0
vsize: 5956
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 1319 0 0 0 3985 14 0 0 25 0 1 0 548932421 6098944 1315 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1489 1315 231 231 0 1258 0
vsize: 5956
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 1538 0 0 0 4985 14 0 0 25 0 1 0 548932421 10633216 1534 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1534 231 231 0 2365 0
vsize: 10384
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 1744 0 0 0 5985 15 0 0 25 0 1 0 548932421 10633216 1740 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1740 231 231 0 2365 0
vsize: 10384
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 1978 0 0 0 6984 16 0 0 25 0 1 0 548932421 10768384 1974 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1974 231 231 0 2398 0
vsize: 10516
[startup+80.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2135 0 0 0 7983 16 0 0 25 0 1 0 548932421 10911744 2131 4294967295 134512640 135450300 3221224624 3221223360 134538029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 2131 231 231 0 2433 0
vsize: 10656
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2146 0 0 0 8983 17 0 0 25 0 1 0 548932421 10911744 2142 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 2142 231 231 0 2433 0
vsize: 10656
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2216 0 0 0 9983 17 0 0 25 0 1 0 548932421 11108352 2163 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2712 2163 231 231 0 2481 0
vsize: 10848
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2239 0 0 0 10982 18 0 0 25 0 1 0 548932421 11247616 2186 4294967295 134512640 135450300 3221224624 3221223456 134549299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2186 231 231 0 2515 0
vsize: 10984
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2272 0 0 0 11981 19 0 0 25 0 1 0 548932421 11247616 2219 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2219 231 231 0 2515 0
vsize: 10984
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2294 0 0 0 12981 20 0 0 25 0 1 0 548932421 11382784 2241 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2241 231 231 0 2548 0
vsize: 11116
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2321 0 0 0 13980 20 0 0 25 0 1 0 548932421 11382784 2268 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2268 231 231 0 2548 0
vsize: 11116
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2446 0 0 0 14980 21 0 0 25 0 1 0 548932421 11907072 2296 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2907 2296 231 231 0 2676 0
vsize: 11628
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2466 0 0 0 15979 22 0 0 25 0 1 0 548932421 11907072 2316 4294967295 134512640 135450300 3221224624 3221223456 134549299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2907 2316 231 231 0 2676 0
vsize: 11628
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2488 0 0 0 16979 23 0 0 25 0 1 0 548932421 12058624 2338 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2338 231 231 0 2713 0
vsize: 11776
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2506 0 0 0 17978 24 0 0 25 0 1 0 548932421 12058624 2356 4294967295 134512640 135450300 3221224624 3221223232 134537667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2356 231 231 0 2713 0
vsize: 11776
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2526 0 0 0 18977 24 0 0 25 0 1 0 548932421 12058624 2376 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2376 231 231 0 2713 0
vsize: 11776
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2541 0 0 0 19977 25 0 0 25 0 1 0 548932421 12058624 2391 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2391 231 231 0 2713 0
vsize: 11776
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2558 0 0 0 20977 25 0 0 25 0 1 0 548932421 12189696 2408 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2408 231 231 0 2745 0
vsize: 11904
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2578 0 0 0 21977 25 0 0 25 0 1 0 548932421 12189696 2428 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2428 231 231 0 2745 0
vsize: 11904
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2597 0 0 0 22977 26 0 0 25 0 1 0 548932421 12189696 2447 4294967295 134512640 135450300 3221224624 3221223456 134549453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2447 231 231 0 2745 0
vsize: 11904
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2616 0 0 0 23976 26 0 0 25 0 1 0 548932421 12353536 2466 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2466 231 231 0 2785 0
vsize: 12064
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2828 0 0 0 24975 27 0 0 25 0 1 0 548932421 13139968 2485 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2485 231 231 0 2977 0
vsize: 12832
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2844 0 0 0 25975 28 0 0 25 0 1 0 548932421 13139968 2501 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2501 231 231 0 2977 0
vsize: 12832
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2854 0 0 0 26975 28 0 0 25 0 1 0 548932421 13139968 2511 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2511 231 231 0 2977 0
vsize: 12832
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2872 0 0 0 27974 29 0 0 25 0 1 0 548932421 13275136 2529 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2529 231 231 0 3010 0
vsize: 12964
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2882 0 0 0 28974 29 0 0 25 0 1 0 548932421 13275136 2539 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2539 231 231 0 3010 0
vsize: 12964
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2899 0 0 0 29973 30 0 0 25 0 1 0 548932421 13275136 2556 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2556 231 231 0 3010 0
vsize: 12964
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2912 0 0 0 30973 31 0 0 25 0 1 0 548932421 13275136 2569 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2569 231 231 0 3010 0
vsize: 12964
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2923 0 0 0 31973 31 0 0 25 0 1 0 548932421 13275136 2580 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2580 231 231 0 3010 0
vsize: 12964
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2931 0 0 0 32972 32 0 0 25 0 1 0 548932421 13410304 2588 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2588 231 231 0 3043 0
vsize: 13096
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2955 0 0 0 33972 33 0 0 25 0 1 0 548932421 13410304 2612 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2612 231 231 0 3043 0
vsize: 13096
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2965 0 0 0 34971 33 0 0 25 0 1 0 548932421 13410304 2622 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2622 231 231 0 3043 0
vsize: 13096
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2974 0 0 0 35971 33 0 0 25 0 1 0 548932421 13410304 2631 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2631 231 231 0 3043 0
vsize: 13096
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 2989 0 0 0 36971 34 0 0 25 0 1 0 548932421 13410304 2646 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2646 231 231 0 3043 0
vsize: 13096
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3009 0 0 0 37971 34 0 0 25 0 1 0 548932421 13586432 2666 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2666 231 231 0 3086 0
vsize: 13268
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3023 0 0 0 38971 34 0 0 25 0 1 0 548932421 13586432 2680 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2680 231 231 0 3086 0
vsize: 13268
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3037 0 0 0 39971 34 0 0 25 0 1 0 548932421 13586432 2694 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2694 231 231 0 3086 0
vsize: 13268
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3044 0 0 0 40971 35 0 0 25 0 1 0 548932421 13586432 2701 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2701 231 231 0 3086 0
vsize: 13268
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3053 0 0 0 41970 36 0 0 25 0 1 0 548932421 13586432 2710 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2710 231 231 0 3086 0
vsize: 13268
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3073 0 0 0 42969 36 0 0 25 0 1 0 548932421 13586432 2730 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2730 231 231 0 3086 0
vsize: 13268
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3087 0 0 0 43969 37 0 0 25 0 1 0 548932421 13783040 2744 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2744 231 231 0 3134 0
vsize: 13460
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3094 0 0 0 44969 38 0 0 25 0 1 0 548932421 13783040 2751 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2751 231 231 0 3134 0
vsize: 13460
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3212 0 0 0 45968 38 0 0 25 0 1 0 548932421 13783040 2869 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2869 231 231 0 3134 0
vsize: 13460
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3223 0 0 0 46967 39 0 0 25 0 1 0 548932421 13783040 2880 4294967295 134512640 135450300 3221224624 3221223344 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2880 231 231 0 3134 0
vsize: 13460
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3246 0 0 0 47967 39 0 0 25 0 1 0 548932421 13783040 2903 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2903 231 231 0 3134 0
vsize: 13460
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3255 0 0 0 48967 40 0 0 25 0 1 0 548932421 13783040 2912 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2912 231 231 0 3134 0
vsize: 13460
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3262 0 0 0 49966 41 0 0 25 0 1 0 548932421 13783040 2919 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2919 231 231 0 3134 0
vsize: 13460
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3269 0 0 0 50966 41 0 0 25 0 1 0 548932421 13783040 2926 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2926 231 231 0 3134 0
vsize: 13460
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3288 0 0 0 51966 41 0 0 25 0 1 0 548932421 13987840 2945 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2945 231 231 0 3184 0
vsize: 13660
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3297 0 0 0 52966 42 0 0 25 0 1 0 548932421 13987840 2954 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2954 231 231 0 3184 0
vsize: 13660
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3309 0 0 0 53966 42 0 0 25 0 1 0 548932421 13987840 2966 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2966 231 231 0 3184 0
vsize: 13660
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3320 0 0 0 54966 42 0 0 25 0 1 0 548932421 13987840 2977 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2977 231 231 0 3184 0
vsize: 13660
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3328 0 0 0 55966 42 0 0 25 0 1 0 548932421 13987840 2985 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2985 231 231 0 3184 0
vsize: 13660
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3719 0 0 0 56965 43 0 0 25 0 1 0 548932421 15560704 2991 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2991 231 231 0 3568 0
vsize: 15196
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3733 0 0 0 57965 44 0 0 25 0 1 0 548932421 15560704 3005 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3005 231 231 0 3568 0
vsize: 15196
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3744 0 0 0 58965 44 0 0 25 0 1 0 548932421 15560704 3016 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3016 231 231 0 3568 0
vsize: 15196
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3759 0 0 0 59964 45 0 0 25 0 1 0 548932421 15699968 3031 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3031 231 231 0 3602 0
vsize: 15332
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3765 0 0 0 60964 45 0 0 25 0 1 0 548932421 15699968 3037 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3037 231 231 0 3602 0
vsize: 15332
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3786 0 0 0 61963 46 0 0 25 0 1 0 548932421 15699968 3058 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3058 231 231 0 3602 0
vsize: 15332
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3790 0 0 0 62963 46 0 0 25 0 1 0 548932421 15699968 3062 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3062 231 231 0 3602 0
vsize: 15332
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3799 0 0 0 63963 47 0 0 25 0 1 0 548932421 15699968 3071 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3071 231 231 0 3602 0
vsize: 15332
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3804 0 0 0 64963 47 0 0 25 0 1 0 548932421 15699968 3076 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3076 231 231 0 3602 0
vsize: 15332
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3820 0 0 0 65963 47 0 0 25 0 1 0 548932421 15699968 3092 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3092 231 231 0 3602 0
vsize: 15332
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3827 0 0 0 66963 48 0 0 25 0 1 0 548932421 15839232 3099 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3099 231 231 0 3636 0
vsize: 15468
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3836 0 0 0 67962 48 0 0 25 0 1 0 548932421 15839232 3108 4294967295 134512640 135450300 3221224624 3221223280 134532771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3108 231 231 0 3636 0
vsize: 15468
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3845 0 0 0 68962 49 0 0 25 0 1 0 548932421 15839232 3117 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3117 231 231 0 3636 0
vsize: 15468
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3861 0 0 0 69962 49 0 0 25 0 1 0 548932421 15839232 3133 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3133 231 231 0 3636 0
vsize: 15468
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3871 0 0 0 70962 49 0 0 25 0 1 0 548932421 15839232 3143 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3143 231 231 0 3636 0
vsize: 15468
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3878 0 0 0 71961 49 0 0 25 0 1 0 548932421 15839232 3150 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3150 231 231 0 3636 0
vsize: 15468
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3885 0 0 0 72960 50 0 0 25 0 1 0 548932421 15839232 3157 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3157 231 231 0 3636 0
vsize: 15468
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3895 0 0 0 73958 51 0 0 25 0 1 0 548932421 16084992 3167 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3167 231 231 0 3696 0
vsize: 15708
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3906 0 0 0 74958 52 0 0 25 0 1 0 548932421 16084992 3178 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3178 231 231 0 3696 0
vsize: 15708
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3918 0 0 0 75958 52 0 0 25 0 1 0 548932421 16084992 3190 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3190 231 231 0 3696 0
vsize: 15708
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3923 0 0 0 76958 52 0 0 25 0 1 0 548932421 16084992 3195 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3195 231 231 0 3696 0
vsize: 15708
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3931 0 0 0 77958 52 0 0 25 0 1 0 548932421 16084992 3203 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3203 231 231 0 3696 0
vsize: 15708
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3936 0 0 0 78958 53 0 0 25 0 1 0 548932421 16084992 3208 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3208 231 231 0 3696 0
vsize: 15708
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3946 0 0 0 79958 53 0 0 25 0 1 0 548932421 16084992 3218 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3218 231 231 0 3696 0
vsize: 15708
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3958 0 0 0 80957 53 0 0 25 0 1 0 548932421 16084992 3230 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3230 231 231 0 3696 0
vsize: 15708
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3970 0 0 0 81957 54 0 0 25 0 1 0 548932421 16084992 3242 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3242 231 231 0 3696 0
vsize: 15708
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3976 0 0 0 82957 54 0 0 25 0 1 0 548932421 16269312 3248 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3248 231 231 0 3741 0
vsize: 15888
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3993 0 0 0 83956 55 0 0 25 0 1 0 548932421 16269312 3265 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3265 231 231 0 3741 0
vsize: 15888
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 3999 0 0 0 84956 55 0 0 25 0 1 0 548932421 16269312 3271 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3271 231 231 0 3741 0
vsize: 15888
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4005 0 0 0 85956 55 0 0 25 0 1 0 548932421 16269312 3277 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3277 231 231 0 3741 0
vsize: 15888
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4024 0 0 0 86956 56 0 0 25 0 1 0 548932421 16269312 3296 4294967295 134512640 135450300 3221224624 3221223100 134572573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3296 231 231 0 3741 0
vsize: 15888
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4032 0 0 0 87956 56 0 0 25 0 1 0 548932421 16269312 3304 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3304 231 231 0 3741 0
vsize: 15888
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4048 0 0 0 88956 56 0 0 25 0 1 0 548932421 16269312 3320 4294967295 134512640 135450300 3221224624 3221223456 134549267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3320 231 231 0 3741 0
vsize: 15888
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4056 0 0 0 89955 57 0 0 25 0 1 0 548932421 16269312 3328 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3328 231 231 0 3741 0
vsize: 15888
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4099 0 0 0 90956 57 0 0 25 0 1 0 548932421 16404480 3371 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3371 231 231 0 3774 0
vsize: 16020
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4103 0 0 0 91956 58 0 0 25 0 1 0 548932421 16404480 3375 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3375 231 231 0 3774 0
vsize: 16020
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4110 0 0 0 92956 58 0 0 25 0 1 0 548932421 16404480 3382 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3382 231 231 0 3774 0
vsize: 16020
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4114 0 0 0 93956 58 0 0 25 0 1 0 548932421 16404480 3386 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3386 231 231 0 3774 0
vsize: 16020
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4131 0 0 0 94955 59 0 0 25 0 1 0 548932421 16404480 3403 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3403 231 231 0 3774 0
vsize: 16020
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4139 0 0 0 95956 59 0 0 25 0 1 0 548932421 16543744 3411 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3411 231 231 0 3808 0
vsize: 16156
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4149 0 0 0 96956 59 0 0 25 0 1 0 548932421 16543744 3421 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3421 231 231 0 3808 0
vsize: 16156
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4152 0 0 0 97956 59 0 0 25 0 1 0 548932421 16543744 3424 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3424 231 231 0 3808 0
vsize: 16156
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4158 0 0 0 98956 59 0 0 25 0 1 0 548932421 16543744 3430 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3430 231 231 0 3808 0
vsize: 16156
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4162 0 0 0 99956 59 0 0 25 0 1 0 548932421 16543744 3434 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3434 231 231 0 3808 0
vsize: 16156
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4175 0 0 0 100956 59 0 0 25 0 1 0 548932421 16687104 3447 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3447 231 231 0 3843 0
vsize: 16296
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4179 0 0 0 101956 59 0 0 25 0 1 0 548932421 16687104 3451 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3451 231 231 0 3843 0
vsize: 16296
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4184 0 0 0 102956 60 0 0 25 0 1 0 548932421 16687104 3456 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3456 231 231 0 3843 0
vsize: 16296
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4196 0 0 0 103956 60 0 0 25 0 1 0 548932421 16687104 3468 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3468 231 231 0 3843 0
vsize: 16296
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4200 0 0 0 104956 60 0 0 25 0 1 0 548932421 16687104 3472 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3472 231 231 0 3843 0
vsize: 16296
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4206 0 0 0 105955 61 0 0 25 0 1 0 548932421 16687104 3478 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3478 231 231 0 3843 0
vsize: 16296
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4209 0 0 0 106955 61 0 0 25 0 1 0 548932421 16687104 3481 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3481 231 231 0 3843 0
vsize: 16296
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4217 0 0 0 107955 61 0 0 25 0 1 0 548932421 16687104 3489 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3489 231 231 0 3843 0
vsize: 16296
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4222 0 0 0 108955 61 0 0 25 0 1 0 548932421 16687104 3494 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3494 231 231 0 3843 0
vsize: 16296
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4227 0 0 0 109955 62 0 0 25 0 1 0 548932421 16687104 3499 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3499 231 231 0 3843 0
vsize: 16296
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4231 0 0 0 110955 62 0 0 25 0 1 0 548932421 16687104 3503 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3503 231 231 0 3843 0
vsize: 16296
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4236 0 0 0 111955 62 0 0 25 0 1 0 548932421 16687104 3508 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3508 231 231 0 3843 0
vsize: 16296
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4240 0 0 0 112955 62 0 0 25 0 1 0 548932421 16687104 3512 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3512 231 231 0 3843 0
vsize: 16296
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4243 0 0 0 113955 63 0 0 25 0 1 0 548932421 16838656 3515 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3515 231 231 0 3880 0
vsize: 16444
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4246 0 0 0 114955 63 0 0 25 0 1 0 548932421 16838656 3518 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3518 231 231 0 3880 0
vsize: 16444
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4256 0 0 0 115955 63 0 0 25 0 1 0 548932421 16838656 3528 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3528 231 231 0 3880 0
vsize: 16444
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4264 0 0 0 116955 63 0 0 25 0 1 0 548932421 16838656 3536 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3536 231 231 0 3880 0
vsize: 16444
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4277 0 0 0 117955 63 0 0 25 0 1 0 548932421 16838656 3549 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3549 231 231 0 3880 0
vsize: 16444
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4282 0 0 0 118955 64 0 0 25 0 1 0 548932421 16838656 3554 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3554 231 231 0 3880 0
vsize: 16444
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27676
Raw data (stat): 27676 (PBS4) R 27675 18865 18864 0 -1 0 4286 0 0 0 119955 64 0 0 25 0 1 0 548932421 16838656 3558 4294967295 134512640 135450300 3221224624 3221223456 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3558 231 231 0 3880 0
vsize: 16444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27676
Raw data (stat): 27676 (PBS4) Z 27675 18865 18864 0 -1 1036 4286 0 0 0 119955 65 0 0 25 0 1 0 548932421 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.04
CPU time (s): 1200.21
CPU user time (s): 1199.55
CPU system time (s): 0.6529
CPU usage (%): 100.014
Max. virtual memory (Kb): 16444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####