PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.02084
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 15052

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 02:44:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18622 boxname=wulflinc27 idbench=1433 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 18622
/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:        856816 kB
Buffers:         15268 kB
Cached:         134340 kB
SwapCached:        604 kB
Active:          28072 kB
Inactive:       123596 kB
HighTotal:      131008 kB
HighFree:        44660 kB
LowTotal:       903652 kB
LowFree:        812156 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5232 kB
Slab:            20624 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:04:45 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 18622 7 1200.2 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-13-7-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.77 0.92 0.89 2/54 11169
Raw data (stat): 11169 (runsolver) R 11168 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541575482 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.0008 s]
Raw data (loadavg): 0.81 0.92 0.89 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 299 0 0 0 987 11 0 0 25 0 1 0 541575482 2023424 295 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 494 295 231 231 0 263 0
vsize: 1976
[startup+20.0019 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 571 0 0 0 1985 13 0 0 25 0 1 0 541575482 3731456 567 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 911 567 231 231 0 680 0
vsize: 3644
[startup+30.0017 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 1100 0 0 0 2984 14 0 0 25 0 1 0 541575482 6098944 1096 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1489 1096 231 231 0 1258 0
vsize: 5956
[startup+40.0022 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 1321 0 0 0 3984 15 0 0 25 0 1 0 541575482 6098944 1317 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1489 1317 231 231 0 1258 0
vsize: 5956
[startup+50.0024 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 1541 0 0 0 4983 15 0 0 25 0 1 0 541575482 10633216 1537 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1537 231 231 0 2365 0
vsize: 10384
[startup+60.0032 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 1747 0 0 0 5982 16 0 0 25 0 1 0 541575482 10633216 1743 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1743 231 231 0 2365 0
vsize: 10384
[startup+70.0038 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 1980 0 0 0 6982 17 0 0 25 0 1 0 541575482 10768384 1976 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1976 231 231 0 2398 0
vsize: 10516
[startup+80.0039 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2136 0 0 0 7981 18 0 0 25 0 1 0 541575482 10911744 2132 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 2132 231 231 0 2433 0
vsize: 10656
[startup+90.0047 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2146 0 0 0 8981 18 0 0 25 0 1 0 541575482 10911744 2142 4294967295 134512640 135450300 3221224624 3221223456 134549317 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.004 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2216 0 0 0 9980 19 0 0 25 0 1 0 541575482 11108352 2163 4294967295 134512640 135450300 3221224624 3221223232 134537659 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.005 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2240 0 0 0 10980 20 0 0 25 0 1 0 541575482 11247616 2187 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2187 231 231 0 2515 0
vsize: 10984
[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2272 0 0 0 11980 20 0 0 25 0 1 0 541575482 11247616 2219 4294967295 134512640 135450300 3221224624 3221223360 134538025 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.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2294 0 0 0 12979 21 0 0 25 0 1 0 541575482 11382784 2241 4294967295 134512640 135450300 3221224624 3221223344 134535703 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.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2321 0 0 0 13978 22 0 0 25 0 1 0 541575482 11382784 2268 4294967295 134512640 135450300 3221224624 3221223344 134535782 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.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2446 0 0 0 14978 23 0 0 25 0 1 0 541575482 11907072 2296 4294967295 134512640 135450300 3221224624 3221223344 134535779 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.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2466 0 0 0 15978 23 0 0 25 0 1 0 541575482 11907072 2316 4294967295 134512640 135450300 3221224624 3221223344 134535775 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.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2488 0 0 0 16977 24 0 0 25 0 1 0 541575482 12058624 2338 4294967295 134512640 135450300 3221224624 3221223360 134538029 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.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2506 0 0 0 17976 25 0 0 25 0 1 0 541575482 12058624 2356 4294967295 134512640 135450300 3221224624 3221223500 135126769 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2526 0 0 0 18975 26 0 0 25 0 1 0 541575482 12058624 2376 4294967295 134512640 135450300 3221224624 3221223456 134549281 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2541 0 0 0 19975 27 0 0 25 0 1 0 541575482 12058624 2391 4294967295 134512640 135450300 3221224624 3221223344 134535911 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2558 0 0 0 20974 28 0 0 25 0 1 0 541575482 12189696 2408 4294967295 134512640 135450300 3221224624 3221223344 134535722 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2578 0 0 0 21974 28 0 0 25 0 1 0 541575482 12189696 2428 4294967295 134512640 135450300 3221224624 3221223456 134549281 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2596 0 0 0 22973 29 0 0 25 0 1 0 541575482 12189696 2446 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2446 231 231 0 2745 0
vsize: 11904
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2615 0 0 0 23973 29 0 0 25 0 1 0 541575482 12353536 2465 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2465 231 231 0 2785 0
vsize: 12064
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2634 0 0 0 24973 30 0 0 25 0 1 0 541575482 12353536 2484 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2484 231 231 0 2785 0
vsize: 12064
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2844 0 0 0 25972 31 0 0 25 0 1 0 541575482 13139968 2501 4294967295 134512640 135450300 3221224624 3221223232 134537659 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.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2853 0 0 0 26972 31 0 0 25 0 1 0 541575482 13139968 2510 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2510 231 231 0 2977 0
vsize: 12832
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2871 0 0 0 27971 32 0 0 25 0 1 0 541575482 13275136 2528 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2528 231 231 0 3010 0
vsize: 12964
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2882 0 0 0 28971 33 0 0 25 0 1 0 541575482 13275136 2539 4294967295 134512640 135450300 3221224624 3221223344 134535722 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.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2898 0 0 0 29970 33 0 0 25 0 1 0 541575482 13275136 2555 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2555 231 231 0 3010 0
vsize: 12964
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2911 0 0 0 30970 33 0 0 25 0 1 0 541575482 13275136 2568 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2568 231 231 0 3010 0
vsize: 12964
[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2921 0 0 0 31970 34 0 0 25 0 1 0 541575482 13275136 2578 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2578 231 231 0 3010 0
vsize: 12964
[startup+330.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2930 0 0 0 32970 34 0 0 25 0 1 0 541575482 13410304 2587 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2587 231 231 0 3043 0
vsize: 13096
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2954 0 0 0 33969 35 0 0 25 0 1 0 541575482 13410304 2611 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2611 231 231 0 3043 0
vsize: 13096
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2964 0 0 0 34969 35 0 0 25 0 1 0 541575482 13410304 2621 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2621 231 231 0 3043 0
vsize: 13096
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2972 0 0 0 35969 35 0 0 25 0 1 0 541575482 13410304 2629 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2629 231 231 0 3043 0
vsize: 13096
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2988 0 0 0 36969 36 0 0 25 0 1 0 541575482 13410304 2645 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2645 231 231 0 3043 0
vsize: 13096
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 2997 0 0 0 37969 36 0 0 25 0 1 0 541575482 13410304 2654 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2654 231 231 0 3043 0
vsize: 13096
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3021 0 0 0 38968 37 0 0 25 0 1 0 541575482 13586432 2678 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2678 231 231 0 3086 0
vsize: 13268
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3032 0 0 0 39968 38 0 0 25 0 1 0 541575482 13586432 2689 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2689 231 231 0 3086 0
vsize: 13268
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3044 0 0 0 40968 38 0 0 25 0 1 0 541575482 13586432 2701 4294967295 134512640 135450300 3221224624 3221223344 134535740 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3049 0 0 0 41968 38 0 0 25 0 1 0 541575482 13586432 2706 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2706 231 231 0 3086 0
vsize: 13268
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3071 0 0 0 42967 39 0 0 25 0 1 0 541575482 13586432 2728 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2728 231 231 0 3086 0
vsize: 13268
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3082 0 0 0 43967 39 0 0 25 0 1 0 541575482 13586432 2739 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2739 231 231 0 3086 0
vsize: 13268
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3093 0 0 0 44966 40 0 0 25 0 1 0 541575482 13783040 2750 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2750 231 231 0 3134 0
vsize: 13460
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3209 0 0 0 45966 40 0 0 25 0 1 0 541575482 13783040 2866 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2866 231 231 0 3134 0
vsize: 13460
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3221 0 0 0 46966 41 0 0 25 0 1 0 541575482 13783040 2878 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2878 231 231 0 3134 0
vsize: 13460
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3245 0 0 0 47966 41 0 0 25 0 1 0 541575482 13783040 2902 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2902 231 231 0 3134 0
vsize: 13460
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3254 0 0 0 48965 42 0 0 25 0 1 0 541575482 13783040 2911 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2911 231 231 0 3134 0
vsize: 13460
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3261 0 0 0 49965 42 0 0 25 0 1 0 541575482 13783040 2918 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2918 231 231 0 3134 0
vsize: 13460
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3267 0 0 0 50964 43 0 0 25 0 1 0 541575482 13783040 2924 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2924 231 231 0 3134 0
vsize: 13460
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3286 0 0 0 51963 44 0 0 25 0 1 0 541575482 13987840 2943 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2943 231 231 0 3184 0
vsize: 13660
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3295 0 0 0 52963 44 0 0 25 0 1 0 541575482 13987840 2952 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2952 231 231 0 3184 0
vsize: 13660
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3305 0 0 0 53962 45 0 0 25 0 1 0 541575482 13987840 2962 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2962 231 231 0 3184 0
vsize: 13660
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3314 0 0 0 54962 45 0 0 25 0 1 0 541575482 13987840 2971 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2971 231 231 0 3184 0
vsize: 13660
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3326 0 0 0 55962 46 0 0 25 0 1 0 541575482 13987840 2983 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2983 231 231 0 3184 0
vsize: 13660
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3332 0 0 0 56962 46 0 0 25 0 1 0 541575482 13987840 2989 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2989 231 231 0 3184 0
vsize: 13660
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3731 0 0 0 57961 47 0 0 25 0 1 0 541575482 15560704 3003 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3003 231 231 0 3568 0
vsize: 15196
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3743 0 0 0 58960 48 0 0 25 0 1 0 541575482 15560704 3015 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3015 231 231 0 3568 0
vsize: 15196
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3758 0 0 0 59960 48 0 0 25 0 1 0 541575482 15699968 3030 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3030 231 231 0 3602 0
vsize: 15332
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3763 0 0 0 60960 49 0 0 25 0 1 0 541575482 15699968 3035 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3035 231 231 0 3602 0
vsize: 15332
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3783 0 0 0 61959 49 0 0 25 0 1 0 541575482 15699968 3055 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3055 231 231 0 3602 0
vsize: 15332
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3788 0 0 0 62959 50 0 0 25 0 1 0 541575482 15699968 3060 4294967295 134512640 135450300 3221224624 3221222976 134533281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3060 231 231 0 3602 0
vsize: 15332
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3793 0 0 0 63959 50 0 0 25 0 1 0 541575482 15699968 3065 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3065 231 231 0 3602 0
vsize: 15332
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3802 0 0 0 64959 50 0 0 25 0 1 0 541575482 15699968 3074 4294967295 134512640 135450300 3221224624 3221223088 134532777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3074 231 231 0 3602 0
vsize: 15332
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3819 0 0 0 65959 50 0 0 25 0 1 0 541575482 15699968 3091 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3091 231 231 0 3602 0
vsize: 15332
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3824 0 0 0 66959 51 0 0 25 0 1 0 541575482 15699968 3096 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3833 3096 231 231 0 3602 0
vsize: 15332
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3834 0 0 0 67958 51 0 0 25 0 1 0 541575482 15839232 3106 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3106 231 231 0 3636 0
vsize: 15468
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3842 0 0 0 68958 51 0 0 25 0 1 0 541575482 15839232 3114 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3114 231 231 0 3636 0
vsize: 15468
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3859 0 0 0 69958 52 0 0 25 0 1 0 541575482 15839232 3131 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3131 231 231 0 3636 0
vsize: 15468
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3870 0 0 0 70958 52 0 0 25 0 1 0 541575482 15839232 3142 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3142 231 231 0 3636 0
vsize: 15468
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3876 0 0 0 71958 52 0 0 25 0 1 0 541575482 15839232 3148 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3148 231 231 0 3636 0
vsize: 15468
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3882 0 0 0 72958 52 0 0 25 0 1 0 541575482 15839232 3154 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3154 231 231 0 3636 0
vsize: 15468
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3891 0 0 0 73958 53 0 0 25 0 1 0 541575482 15839232 3163 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3163 231 231 0 3636 0
vsize: 15468
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3903 0 0 0 74958 53 0 0 25 0 1 0 541575482 16084992 3175 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3175 231 231 0 3696 0
vsize: 15708
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3916 0 0 0 75958 53 0 0 25 0 1 0 541575482 16084992 3188 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3188 231 231 0 3696 0
vsize: 15708
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3922 0 0 0 76957 54 0 0 25 0 1 0 541575482 16084992 3194 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3194 231 231 0 3696 0
vsize: 15708
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3930 0 0 0 77957 54 0 0 25 0 1 0 541575482 16084992 3202 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3202 231 231 0 3696 0
vsize: 15708
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3935 0 0 0 78957 54 0 0 25 0 1 0 541575482 16084992 3207 4294967295 134512640 135450300 3221224624 3221223008 134579426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3207 231 231 0 3696 0
vsize: 15708
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3943 0 0 0 79957 55 0 0 25 0 1 0 541575482 16084992 3215 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3215 231 231 0 3696 0
vsize: 15708
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3955 0 0 0 80956 55 0 0 25 0 1 0 541575482 16084992 3227 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3227 231 231 0 3696 0
vsize: 15708
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3968 0 0 0 81956 56 0 0 25 0 1 0 541575482 16084992 3240 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3240 231 231 0 3696 0
vsize: 15708
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3973 0 0 0 82956 56 0 0 25 0 1 0 541575482 16269312 3245 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3245 231 231 0 3741 0
vsize: 15888
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3990 0 0 0 83955 57 0 0 25 0 1 0 541575482 16269312 3262 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3262 231 231 0 3741 0
vsize: 15888
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 3997 0 0 0 84955 57 0 0 25 0 1 0 541575482 16269312 3269 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3269 231 231 0 3741 0
vsize: 15888
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4003 0 0 0 85956 57 0 0 25 0 1 0 541575482 16269312 3275 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3275 231 231 0 3741 0
vsize: 15888
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4020 0 0 0 86956 57 0 0 25 0 1 0 541575482 16269312 3292 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3292 231 231 0 3741 0
vsize: 15888
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4026 0 0 0 87955 58 0 0 25 0 1 0 541575482 16269312 3298 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3298 231 231 0 3741 0
vsize: 15888
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4036 0 0 0 88955 58 0 0 25 0 1 0 541575482 16269312 3308 4294967295 134512640 135450300 3221224624 3221223100 134572086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3308 231 231 0 3741 0
vsize: 15888
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4051 0 0 0 89955 58 0 0 25 0 1 0 541575482 16269312 3323 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3323 231 231 0 3741 0
vsize: 15888
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4060 0 0 0 90954 59 0 0 25 0 1 0 541575482 16269312 3332 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3332 231 231 0 3741 0
vsize: 15888
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11169
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4101 0 0 0 91954 60 0 0 25 0 1 0 541575482 16404480 3373 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3373 231 231 0 3774 0
vsize: 16020
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11222
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4109 0 0 0 92953 60 0 0 25 0 1 0 541575482 16404480 3381 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3381 231 231 0 3774 0
vsize: 16020
[startup+940.024 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 11222
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4113 0 0 0 93952 61 0 0 25 0 1 0 541575482 16404480 3385 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3385 231 231 0 3774 0
vsize: 16020
[startup+950.024 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 11222
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4129 0 0 0 94951 62 0 0 25 0 1 0 541575482 16404480 3401 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3401 231 231 0 3774 0
vsize: 16020
[startup+960.024 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 11222
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4133 0 0 0 95951 62 0 0 25 0 1 0 541575482 16404480 3405 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 3405 231 231 0 3774 0
vsize: 16020
[startup+970.024 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 11222
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4146 0 0 0 96950 63 0 0 25 0 1 0 541575482 16543744 3418 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3418 231 231 0 3808 0
vsize: 16156
[startup+980.024 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 11222
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4150 0 0 0 97950 64 0 0 25 0 1 0 541575482 16543744 3422 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3422 231 231 0 3808 0
vsize: 16156
[startup+990.024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4156 0 0 0 98949 65 0 0 25 0 1 0 541575482 16543744 3428 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3428 231 231 0 3808 0
vsize: 16156
[startup+1000.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4159 0 0 0 99949 65 0 0 25 0 1 0 541575482 16543744 3431 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3431 231 231 0 3808 0
vsize: 16156
[startup+1010.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4164 0 0 0 100948 66 0 0 25 0 1 0 541575482 16543744 3436 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3436 231 231 0 3808 0
vsize: 16156
[startup+1020.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4177 0 0 0 101948 66 0 0 25 0 1 0 541575482 16687104 3449 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3449 231 231 0 3843 0
vsize: 16296
[startup+1030.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4182 0 0 0 102948 67 0 0 25 0 1 0 541575482 16687104 3454 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3454 231 231 0 3843 0
vsize: 16296
[startup+1040.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4186 0 0 0 103947 67 0 0 25 0 1 0 541575482 16687104 3458 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3458 231 231 0 3843 0
vsize: 16296
[startup+1050.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4199 0 0 0 104947 68 0 0 25 0 1 0 541575482 16687104 3471 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3471 231 231 0 3843 0
vsize: 16296
[startup+1060.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4202 0 0 0 105946 68 0 0 25 0 1 0 541575482 16687104 3474 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3474 231 231 0 3843 0
vsize: 16296
[startup+1070.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4207 0 0 0 106946 68 0 0 25 0 1 0 541575482 16687104 3479 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3479 231 231 0 3843 0
vsize: 16296
[startup+1080.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4214 0 0 0 107947 69 0 0 25 0 1 0 541575482 16687104 3486 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3486 231 231 0 3843 0
vsize: 16296
[startup+1090.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4218 0 0 0 108947 69 0 0 25 0 1 0 541575482 16687104 3490 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3490 231 231 0 3843 0
vsize: 16296
[startup+1100.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4225 0 0 0 109946 70 0 0 25 0 1 0 541575482 16687104 3497 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3497 231 231 0 3843 0
vsize: 16296
[startup+1110.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4230 0 0 0 110946 71 0 0 25 0 1 0 541575482 16687104 3502 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3502 231 231 0 3843 0
vsize: 16296
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4233 0 0 0 111946 71 0 0 25 0 1 0 541575482 16687104 3505 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3505 231 231 0 3843 0
vsize: 16296
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4237 0 0 0 112945 71 0 0 25 0 1 0 541575482 16687104 3509 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3509 231 231 0 3843 0
vsize: 16296
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4241 0 0 0 113945 72 0 0 25 0 1 0 541575482 16687104 3513 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3513 231 231 0 3843 0
vsize: 16296
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4244 0 0 0 114944 73 0 0 25 0 1 0 541575482 16838656 3516 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3516 231 231 0 3880 0
vsize: 16444
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4248 0 0 0 115944 73 0 0 25 0 1 0 541575482 16838656 3520 4294967295 134512640 135450300 3221224624 3221223344 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3520 231 231 0 3880 0
vsize: 16444
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4258 0 0 0 116943 74 0 0 25 0 1 0 541575482 16838656 3530 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3530 231 231 0 3880 0
vsize: 16444
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4273 0 0 0 117943 75 0 0 25 0 1 0 541575482 16838656 3545 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3545 231 231 0 3880 0
vsize: 16444
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4279 0 0 0 118943 75 0 0 25 0 1 0 541575482 16838656 3551 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3551 231 231 0 3880 0
vsize: 16444
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11224
Raw data (stat): 11169 (PBS4) R 11168 18865 18864 0 -1 0 4284 0 0 0 119942 75 0 0 25 0 1 0 541575482 16838656 3556 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3556 231 231 0 3880 0
vsize: 16444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 11224
Raw data (stat): 11169 (PBS4) Z 11168 18865 18864 0 -1 1036 4284 0 0 0 119942 76 0 0 25 0 1 0 541575482 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.2
CPU user time (s): 1199.43
CPU system time (s): 0.765883
CPU usage (%): 100.013
Max. virtual memory (Kb): 16444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####