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/een/normalized-seymour.opb
MD5SUM	23a177449585151350479e80b33e6416
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	353
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
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	1372
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	1372
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.04984
Number of variables	1255
Total number of constraints	4827
Number of constraints which are clauses	4827
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	19
Trace number 7965

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-17 17:39:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4998 boxname=wulflinc24 idbench=385 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  23a177449585151350479e80b33e6416  /oldhome/oroussel/tmp/wulflinc24/normalized-seymour.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-seymour.opb
IDLAUNCH: 4998
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        796068 kB
Buffers:         36952 kB
Cached:         157916 kB
SwapCached:       3828 kB
Active:          73052 kB
Inactive:       128496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        795816 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31456 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:59:48 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 4998 7 1200.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-seymour.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.92 0.95 0.91 2/54 22515
Raw data (stat): 22515 (runsolver) R 22514 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512381121 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.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 1079 0 0 0 987 11 0 0 25 0 1 0 512381121 6205440 1067 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1515 1067 231 231 0 1284 0
vsize: 6060
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 1799 0 0 0 1984 14 0 0 25 0 1 0 512381121 10399744 1787 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2539 1787 231 231 0 2308 0
vsize: 10156
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 2469 0 0 0 2981 17 0 0 25 0 1 0 512381121 18788352 2457 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4587 2457 231 231 0 4356 0
vsize: 18348
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 3143 0 0 0 3979 20 0 0 25 0 1 0 512381121 18788352 3131 4294967295 134512640 135450300 3221224640 3221223376 134538498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3131 231 231 0 4356 0
vsize: 18348
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 3880 0 0 0 4976 22 0 0 25 0 1 0 512381121 19132416 3819 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3819 231 231 0 4440 0
vsize: 18684
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 4585 0 0 0 5974 25 0 0 25 0 1 0 512381121 35909632 4524 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 4524 231 231 0 8536 0
vsize: 35068
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 5256 0 0 0 6971 28 0 0 25 0 1 0 512381121 35909632 5195 4294967295 134512640 135450300 3221224640 3221223360 134535982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 5195 231 231 0 8536 0
vsize: 35068
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 5902 0 0 0 7968 31 0 0 25 0 1 0 512381121 35909632 5841 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 5841 231 231 0 8536 0
vsize: 35068
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 6511 0 0 0 8966 33 0 0 25 0 1 0 512381121 35909632 6450 4294967295 134512640 135450300 3221224640 3221223376 134537905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 6450 231 231 0 8536 0
vsize: 35068
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 6749 0 0 0 9963 36 0 0 25 0 1 0 512381121 35909632 6688 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 6688 231 231 0 8536 0
vsize: 35068
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 6859 0 0 0 10962 37 0 0 25 0 1 0 512381121 36044800 6798 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 6798 231 231 0 8569 0
vsize: 35200
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 6958 0 0 0 11961 39 0 0 25 0 1 0 512381121 36044800 6897 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 6897 231 231 0 8569 0
vsize: 35200
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7054 0 0 0 12960 40 0 0 25 0 1 0 512381121 36044800 6993 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 6993 231 231 0 8569 0
vsize: 35200
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7142 0 0 0 13960 40 0 0 25 0 1 0 512381121 36044800 7081 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 7081 231 231 0 8569 0
vsize: 35200
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7224 0 0 0 14959 41 0 0 25 0 1 0 512381121 36044800 7163 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 7163 231 231 0 8569 0
vsize: 35200
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7306 0 0 0 15959 41 0 0 25 0 1 0 512381121 36044800 7245 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 7245 231 231 0 8569 0
vsize: 35200
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7436 0 0 0 16957 43 0 0 25 0 1 0 512381121 36323328 7375 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7375 231 231 0 8637 0
vsize: 35472
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7539 0 0 0 17954 46 0 0 25 0 1 0 512381121 36323328 7478 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7478 231 231 0 8637 0
vsize: 35472
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7632 0 0 0 18953 48 0 0 25 0 1 0 512381121 36323328 7571 4294967295 134512640 135450300 3221224640 3221223456 134547472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7571 231 231 0 8637 0
vsize: 35472
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7716 0 0 0 19952 48 0 0 25 0 1 0 512381121 36323328 7655 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7655 231 231 0 8637 0
vsize: 35472
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7803 0 0 0 20952 49 0 0 25 0 1 0 512381121 36323328 7742 4294967295 134512640 135450300 3221224640 3221223168 134544136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7742 231 231 0 8637 0
vsize: 35472
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7893 0 0 0 21951 49 0 0 25 0 1 0 512381121 36323328 7832 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7832 231 231 0 8637 0
vsize: 35472
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 7978 0 0 0 22951 50 0 0 25 0 1 0 512381121 36323328 7917 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8868 7917 231 231 0 8637 0
vsize: 35472
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8031 0 0 0 23949 51 0 0 25 0 1 0 512381121 36458496 7970 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7970 231 231 0 8670 0
vsize: 35604
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8035 0 0 0 24947 54 0 0 25 0 1 0 512381121 36458496 7974 4294967295 134512640 135450300 3221224640 3221223432 134535393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7974 231 231 0 8670 0
vsize: 35604
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8035 0 0 0 25945 56 0 0 25 0 1 0 512381121 36458496 7974 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7974 231 231 0 8670 0
vsize: 35604
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8037 0 0 0 26945 56 0 0 25 0 1 0 512381121 36458496 7976 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7976 231 231 0 8670 0
vsize: 35604
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8038 0 0 0 27945 56 0 0 25 0 1 0 512381121 36458496 7977 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7977 231 231 0 8670 0
vsize: 35604
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8038 0 0 0 28945 56 0 0 25 0 1 0 512381121 36458496 7977 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7977 231 231 0 8670 0
vsize: 35604
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8040 0 0 0 29945 56 0 0 25 0 1 0 512381121 36458496 7979 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7979 231 231 0 8670 0
vsize: 35604
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8049 0 0 0 30941 61 0 0 25 0 1 0 512381121 36458496 7988 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7988 231 231 0 8670 0
vsize: 35604
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8050 0 0 0 31936 65 0 0 25 0 1 0 512381121 36458496 7989 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7989 231 231 0 8670 0
vsize: 35604
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8055 0 0 0 32936 66 0 0 25 0 1 0 512381121 36458496 7994 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7994 231 231 0 8670 0
vsize: 35604
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8055 0 0 0 33936 66 0 0 25 0 1 0 512381121 36458496 7994 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7994 231 231 0 8670 0
vsize: 35604
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8056 0 0 0 34936 66 0 0 25 0 1 0 512381121 36458496 7995 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7995 231 231 0 8670 0
vsize: 35604
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8057 0 0 0 35936 67 0 0 25 0 1 0 512381121 36458496 7996 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 7996 231 231 0 8670 0
vsize: 35604
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8067 0 0 0 36935 68 0 0 25 0 1 0 512381121 36458496 8006 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8006 231 231 0 8670 0
vsize: 35604
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8070 0 0 0 37931 71 0 0 25 0 1 0 512381121 36458496 8009 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8009 231 231 0 8670 0
vsize: 35604
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8072 0 0 0 38930 72 0 0 25 0 1 0 512381121 36458496 8011 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8011 231 231 0 8670 0
vsize: 35604
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8073 0 0 0 39930 72 0 0 25 0 1 0 512381121 36458496 8012 4294967295 134512640 135450300 3221224640 3221223360 134535893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8012 231 231 0 8670 0
vsize: 35604
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8075 0 0 0 40930 73 0 0 25 0 1 0 512381121 36458496 8014 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8014 231 231 0 8670 0
vsize: 35604
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8075 0 0 0 41930 73 0 0 25 0 1 0 512381121 36458496 8014 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8014 231 231 0 8670 0
vsize: 35604
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8076 0 0 0 42930 73 0 0 25 0 1 0 512381121 36458496 8015 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8015 231 231 0 8670 0
vsize: 35604
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8082 0 0 0 43928 76 0 0 25 0 1 0 512381121 36585472 8021 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8021 231 231 0 8701 0
vsize: 35728
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8084 0 0 0 44925 78 0 0 25 0 1 0 512381121 36585472 8023 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8023 231 231 0 8701 0
vsize: 35728
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8085 0 0 0 45925 79 0 0 25 0 1 0 512381121 36585472 8024 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8024 231 231 0 8701 0
vsize: 35728
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8085 0 0 0 46924 79 0 0 25 0 1 0 512381121 36585472 8024 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8024 231 231 0 8701 0
vsize: 35728
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8086 0 0 0 47924 80 0 0 25 0 1 0 512381121 36585472 8025 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8025 231 231 0 8701 0
vsize: 35728
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8086 0 0 0 48924 80 0 0 25 0 1 0 512381121 36585472 8025 4294967295 134512640 135450300 3221224640 3221223456 134546474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8025 231 231 0 8701 0
vsize: 35728
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8088 0 0 0 49924 80 0 0 25 0 1 0 512381121 36585472 8027 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8027 231 231 0 8701 0
vsize: 35728
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8098 0 0 0 50923 82 0 0 25 0 1 0 512381121 36585472 8037 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8037 231 231 0 8701 0
vsize: 35728
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8099 0 0 0 51921 84 0 0 25 0 1 0 512381121 36585472 8038 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8038 231 231 0 8701 0
vsize: 35728
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8104 0 0 0 52920 85 0 0 25 0 1 0 512381121 36585472 8043 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8043 231 231 0 8701 0
vsize: 35728
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8202 0 0 0 53920 85 0 0 25 0 1 0 512381121 36978688 8044 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8044 231 231 0 8797 0
vsize: 36112
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8202 0 0 0 54919 85 0 0 25 0 1 0 512381121 36978688 8044 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8044 231 231 0 8797 0
vsize: 36112
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8203 0 0 0 55919 85 0 0 25 0 1 0 512381121 36978688 8045 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8045 231 231 0 8797 0
vsize: 36112
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8208 0 0 0 56919 86 0 0 25 0 1 0 512381121 36978688 8050 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8050 231 231 0 8797 0
vsize: 36112
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8209 0 0 0 57917 88 0 0 25 0 1 0 512381121 36978688 8051 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8051 231 231 0 8797 0
vsize: 36112
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8210 0 0 0 58914 91 0 0 25 0 1 0 512381121 36978688 8052 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8052 231 231 0 8797 0
vsize: 36112
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8210 0 0 0 59913 92 0 0 25 0 1 0 512381121 36978688 8052 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8052 231 231 0 8797 0
vsize: 36112
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8211 0 0 0 60913 92 0 0 25 0 1 0 512381121 36978688 8053 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8053 231 231 0 8797 0
vsize: 36112
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8212 0 0 0 61913 92 0 0 25 0 1 0 512381121 36978688 8054 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8054 231 231 0 8797 0
vsize: 36112
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8213 0 0 0 62913 92 0 0 25 0 1 0 512381121 36978688 8055 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8055 231 231 0 8797 0
vsize: 36112
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8217 0 0 0 63912 93 0 0 25 0 1 0 512381121 36978688 8059 4294967295 134512640 135450300 3221224640 3221222916 135071234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8059 231 231 0 8797 0
vsize: 36112
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8218 0 0 0 64912 93 0 0 25 0 1 0 512381121 36978688 8060 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8060 231 231 0 8797 0
vsize: 36112
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8219 0 0 0 65912 94 0 0 25 0 1 0 512381121 36978688 8061 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8061 231 231 0 8797 0
vsize: 36112
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8220 0 0 0 66912 94 0 0 25 0 1 0 512381121 36978688 8062 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8062 231 231 0 8797 0
vsize: 36112
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8222 0 0 0 67912 94 0 0 25 0 1 0 512381121 37113856 8064 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8064 231 231 0 8830 0
vsize: 36244
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8236 0 0 0 68911 95 0 0 25 0 1 0 512381121 37113856 8078 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8078 231 231 0 8830 0
vsize: 36244
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8237 0 0 0 69911 95 0 0 25 0 1 0 512381121 37113856 8079 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8079 231 231 0 8830 0
vsize: 36244
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8237 0 0 0 70911 95 0 0 25 0 1 0 512381121 37113856 8079 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8079 231 231 0 8830 0
vsize: 36244
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8238 0 0 0 71911 95 0 0 25 0 1 0 512381121 37113856 8080 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8080 231 231 0 8830 0
vsize: 36244
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8239 0 0 0 72911 96 0 0 25 0 1 0 512381121 37113856 8081 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8081 231 231 0 8830 0
vsize: 36244
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8240 0 0 0 73910 96 0 0 25 0 1 0 512381121 37113856 8082 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8082 231 231 0 8830 0
vsize: 36244
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8240 0 0 0 74910 97 0 0 25 0 1 0 512381121 37113856 8082 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8082 231 231 0 8830 0
vsize: 36244
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8249 0 0 0 75909 97 0 0 25 0 1 0 512381121 37113856 8091 4294967295 134512640 135450300 3221224640 3221223432 134535393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9061 8091 231 231 0 8830 0
vsize: 36244
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8258 0 0 0 76909 98 0 0 25 0 1 0 512381121 37244928 8100 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8100 231 231 0 8862 0
vsize: 36372
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8259 0 0 0 77909 99 0 0 25 0 1 0 512381121 37244928 8101 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8101 231 231 0 8862 0
vsize: 36372
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8260 0 0 0 78908 99 0 0 25 0 1 0 512381121 37244928 8102 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8102 231 231 0 8862 0
vsize: 36372
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8262 0 0 0 79908 100 0 0 25 0 1 0 512381121 37244928 8104 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8104 231 231 0 8862 0
vsize: 36372
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8269 0 0 0 80907 100 0 0 25 0 1 0 512381121 37244928 8111 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8111 231 231 0 8862 0
vsize: 36372
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8274 0 0 0 81906 101 0 0 25 0 1 0 512381121 37244928 8116 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8116 231 231 0 8862 0
vsize: 36372
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8275 0 0 0 82906 101 0 0 25 0 1 0 512381121 37244928 8117 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8117 231 231 0 8862 0
vsize: 36372
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8275 0 0 0 83906 102 0 0 25 0 1 0 512381121 37244928 8117 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8117 231 231 0 8862 0
vsize: 36372
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8276 0 0 0 84905 103 0 0 25 0 1 0 512381121 37244928 8118 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8118 231 231 0 8862 0
vsize: 36372
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8276 0 0 0 85905 103 0 0 25 0 1 0 512381121 37244928 8118 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8118 231 231 0 8862 0
vsize: 36372
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8277 0 0 0 86905 103 0 0 25 0 1 0 512381121 37244928 8119 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8119 231 231 0 8862 0
vsize: 36372
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8285 0 0 0 87904 105 0 0 25 0 1 0 512381121 37244928 8127 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8127 231 231 0 8862 0
vsize: 36372
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8286 0 0 0 88903 105 0 0 25 0 1 0 512381121 37244928 8128 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8128 231 231 0 8862 0
vsize: 36372
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8286 0 0 0 89903 106 0 0 25 0 1 0 512381121 37244928 8128 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8128 231 231 0 8862 0
vsize: 36372
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8287 0 0 0 90903 106 0 0 25 0 1 0 512381121 37244928 8129 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8129 231 231 0 8862 0
vsize: 36372
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8292 0 0 0 91902 107 0 0 25 0 1 0 512381121 37244928 8134 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 8134 231 231 0 8862 0
vsize: 36372
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8298 0 0 0 92900 108 0 0 25 0 1 0 512381121 37380096 8140 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8140 231 231 0 8895 0
vsize: 36504
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8299 0 0 0 93900 109 0 0 25 0 1 0 512381121 37380096 8141 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8141 231 231 0 8895 0
vsize: 36504
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8300 0 0 0 94900 109 0 0 25 0 1 0 512381121 37380096 8142 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8142 231 231 0 8895 0
vsize: 36504
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8300 0 0 0 95900 109 0 0 25 0 1 0 512381121 37380096 8142 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8142 231 231 0 8895 0
vsize: 36504
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8301 0 0 0 96900 109 0 0 25 0 1 0 512381121 37380096 8143 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8143 231 231 0 8895 0
vsize: 36504
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8301 0 0 0 97900 110 0 0 25 0 1 0 512381121 37380096 8143 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8143 231 231 0 8895 0
vsize: 36504
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8303 0 0 0 98899 110 0 0 25 0 1 0 512381121 37380096 8145 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8145 231 231 0 8895 0
vsize: 36504
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8306 0 0 0 99899 111 0 0 25 0 1 0 512381121 37380096 8148 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8148 231 231 0 8895 0
vsize: 36504
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8308 0 0 0 100899 111 0 0 25 0 1 0 512381121 37380096 8150 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8150 231 231 0 8895 0
vsize: 36504
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8309 0 0 0 101899 111 0 0 25 0 1 0 512381121 37380096 8151 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8151 231 231 0 8895 0
vsize: 36504
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8314 0 0 0 102899 111 0 0 25 0 1 0 512381121 37380096 8156 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8156 231 231 0 8895 0
vsize: 36504
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8315 0 0 0 103898 112 0 0 25 0 1 0 512381121 37380096 8157 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8157 231 231 0 8895 0
vsize: 36504
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8318 0 0 0 104898 112 0 0 25 0 1 0 512381121 37380096 8160 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8160 231 231 0 8895 0
vsize: 36504
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8322 0 0 0 105898 113 0 0 25 0 1 0 512381121 37380096 8164 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8164 231 231 0 8895 0
vsize: 36504
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8323 0 0 0 106896 114 0 0 25 0 1 0 512381121 37380096 8165 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8165 231 231 0 8895 0
vsize: 36504
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8323 0 0 0 107896 115 0 0 25 0 1 0 512381121 37380096 8165 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8165 231 231 0 8895 0
vsize: 36504
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8324 0 0 0 108896 115 0 0 25 0 1 0 512381121 37380096 8166 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8166 231 231 0 8895 0
vsize: 36504
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8324 0 0 0 109896 115 0 0 25 0 1 0 512381121 37380096 8166 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8166 231 231 0 8895 0
vsize: 36504
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8325 0 0 0 110895 116 0 0 25 0 1 0 512381121 37380096 8167 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8167 231 231 0 8895 0
vsize: 36504
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8325 0 0 0 111895 116 0 0 25 0 1 0 512381121 37380096 8167 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8167 231 231 0 8895 0
vsize: 36504
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8333 0 0 0 112895 116 0 0 25 0 1 0 512381121 37380096 8175 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8175 231 231 0 8895 0
vsize: 36504
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8337 0 0 0 113894 117 0 0 25 0 1 0 512381121 37380096 8179 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8179 231 231 0 8895 0
vsize: 36504
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8337 0 0 0 114894 118 0 0 25 0 1 0 512381121 37380096 8179 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8179 231 231 0 8895 0
vsize: 36504
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8338 0 0 0 115893 118 0 0 25 0 1 0 512381121 37380096 8180 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8180 231 231 0 8895 0
vsize: 36504
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8339 0 0 0 116893 118 0 0 25 0 1 0 512381121 37380096 8181 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8181 231 231 0 8895 0
vsize: 36504
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8344 0 0 0 117893 119 0 0 25 0 1 0 512381121 37380096 8186 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8186 231 231 0 8895 0
vsize: 36504
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8346 0 0 0 118892 120 0 0 25 0 1 0 512381121 37380096 8188 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8188 231 231 0 8895 0
vsize: 36504
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22515
Raw data (stat): 22515 (PBS4) R 22514 28546 28545 0 -1 0 8347 0 0 0 119891 121 0 0 25 0 1 0 512381121 37380096 8189 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8189 231 231 0 8895 0
vsize: 36504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22515
Raw data (stat): 22515 (PBS4) Z 22514 28546 28545 0 -1 1036 8347 0 0 0 119891 122 0 0 25 0 1 0 512381121 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.06
CPU time (s): 1200.14
CPU user time (s): 1198.91
CPU system time (s): 1.22781
CPU usage (%): 100.007
Max. virtual memory (Kb): 36504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####