PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb
MD5SUM	9f27aad2edb50c2232eec4dba5ec2271
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	672
Total number of constraints	2028
Number of constraints which are clauses	2004
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 7840

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-17 16:32:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2130 boxname=wulflinc27 idbench=237 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  9f27aad2edb50c2232eec4dba5ec2271  /oldhome/oroussel/tmp/wulflinc27/normalized-s4-4-3-1pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-s4-4-3-1pb.opb
IDLAUNCH: 2130
/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:        793960 kB
Buffers:         36592 kB
Cached:         165812 kB
SwapCached:       3160 kB
Active:         100360 kB
Inactive:       108064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793708 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            26464 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:52:09 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2130 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-s4-4-3-1pb.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.72 0.92 0.89 2/54 10556
Raw data (stat): 10556 (runsolver) R 10555 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511976044 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.001 s]
Raw data (loadavg): 0.76 0.92 0.89 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 1113 0 0 0 992 7 0 0 25 0 1 0 511976044 5115904 963 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1249 963 231 231 0 1018 0
vsize: 4996
[startup+20.0021 s]
Raw data (loadavg): 0.80 0.92 0.89 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 1487 0 0 0 1987 12 0 0 25 0 1 0 511976044 7766016 1337 4294967295 134512640 135450300 3221224640 3221223500 134539310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1896 1337 231 231 0 1665 0
vsize: 7584
[startup+30.0026 s]
Raw data (loadavg): 0.83 0.93 0.89 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 2005 0 0 0 2982 17 0 0 25 0 1 0 511976044 9117696 1662 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2226 1662 231 231 0 1995 0
vsize: 8904
[startup+40.0035 s]
Raw data (loadavg): 0.86 0.93 0.89 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 2249 0 0 0 3978 21 0 0 25 0 1 0 511976044 9416704 1906 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2299 1906 231 231 0 2068 0
vsize: 9196
[startup+50.0042 s]
Raw data (loadavg): 0.88 0.93 0.89 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 2509 0 0 0 4976 24 0 0 25 0 1 0 511976044 13885440 2166 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3390 2166 231 231 0 3159 0
vsize: 13560
[startup+60.005 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 2734 0 0 0 5972 28 0 0 25 0 1 0 511976044 14245888 2391 4294967295 134512640 135450300 3221224640 3221223360 134535715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3478 2391 231 231 0 3247 0
vsize: 13912
[startup+70.0058 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 2912 0 0 0 6970 31 0 0 25 0 1 0 511976044 14741504 2569 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3599 2569 231 231 0 3368 0
vsize: 14396
[startup+80.0059 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 3478 0 0 0 7967 33 0 0 25 0 1 0 511976044 16457728 2750 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4018 2750 231 231 0 3787 0
vsize: 16072
[startup+90.0065 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 3564 0 0 0 8966 35 0 0 25 0 1 0 511976044 16629760 2836 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4060 2836 231 231 0 3829 0
vsize: 16240
[startup+100.006 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 3754 0 0 0 9964 37 0 0 25 0 1 0 511976044 16793600 3026 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4100 3026 231 231 0 3869 0
vsize: 16400
[startup+110.007 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 3880 0 0 0 10963 38 0 0 25 0 1 0 511976044 16941056 3152 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3152 231 231 0 3905 0
vsize: 16544
[startup+120.008 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 3970 0 0 0 11961 40 0 0 25 0 1 0 511976044 17125376 3242 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4181 3242 231 231 0 3950 0
vsize: 16724
[startup+130.008 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4082 0 0 0 12960 41 0 0 25 0 1 0 511976044 17485824 3354 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4269 3354 231 231 0 4038 0
vsize: 17076
[startup+140.009 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4203 0 0 0 13958 43 0 0 25 0 1 0 511976044 17485824 3475 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4269 3475 231 231 0 4038 0
vsize: 17076
[startup+150.009 s]
Raw data (loadavg): 0.97 0.95 0.90 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4314 0 0 0 14958 44 0 0 25 0 1 0 511976044 17485824 3586 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4269 3586 231 231 0 4038 0
vsize: 17076
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4463 0 0 0 15957 45 0 0 25 0 1 0 511976044 17674240 3735 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4315 3735 231 231 0 4084 0
vsize: 17260
[startup+170.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4634 0 0 0 16956 47 0 0 25 0 1 0 511976044 26062848 3906 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 3906 231 231 0 6132 0
vsize: 25452
[startup+180.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4779 0 0 0 17955 47 0 0 25 0 1 0 511976044 26226688 4051 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6403 4051 231 231 0 6172 0
vsize: 25612
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4834 0 0 0 18955 48 0 0 25 0 1 0 511976044 26226688 4106 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6403 4106 231 231 0 6172 0
vsize: 25612
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4968 0 0 0 19953 50 0 0 25 0 1 0 511976044 26517504 4240 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6474 4240 231 231 0 6243 0
vsize: 25896
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 4991 0 0 0 20952 51 0 0 25 0 1 0 511976044 26718208 4263 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6523 4263 231 231 0 6292 0
vsize: 26092
[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5037 0 0 0 21952 52 0 0 25 0 1 0 511976044 26853376 4309 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6556 4309 231 231 0 6325 0
vsize: 26224
[startup+230.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5162 0 0 0 22950 54 0 0 25 0 1 0 511976044 26988544 4434 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6589 4434 231 231 0 6358 0
vsize: 26356
[startup+240.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5215 0 0 0 23950 54 0 0 25 0 1 0 511976044 27172864 4487 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 4487 231 231 0 6403 0
vsize: 26536
[startup+250.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5242 0 0 0 24949 55 0 0 25 0 1 0 511976044 27172864 4514 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 4514 231 231 0 6403 0
vsize: 26536
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5281 0 0 0 25949 56 0 0 25 0 1 0 511976044 27320320 4553 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6670 4553 231 231 0 6439 0
vsize: 26680
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5327 0 0 0 26948 57 0 0 25 0 1 0 511976044 27320320 4599 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6670 4599 231 231 0 6439 0
vsize: 26680
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5351 0 0 0 27947 58 0 0 25 0 1 0 511976044 27541504 4623 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6724 4623 231 231 0 6493 0
vsize: 26896
[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5377 0 0 0 28946 58 0 0 25 0 1 0 511976044 27541504 4649 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6724 4649 231 231 0 6493 0
vsize: 26896
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5483 0 0 0 29946 59 0 0 25 0 1 0 511976044 27541504 4755 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6724 4755 231 231 0 6493 0
vsize: 26896
[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5693 0 0 0 30944 61 0 0 25 0 1 0 511976044 27840512 4965 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6797 4965 231 231 0 6566 0
vsize: 27188
[startup+320.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5738 0 0 0 31944 61 0 0 25 0 1 0 511976044 28037120 5010 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6845 5010 231 231 0 6614 0
vsize: 27380
[startup+330.017 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 5811 0 0 0 32944 62 0 0 25 0 1 0 511976044 28196864 5083 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6884 5083 231 231 0 6653 0
vsize: 27536
[startup+340.017 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6685 0 0 0 33941 65 0 0 25 0 1 0 511976044 31342592 5188 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7652 5188 231 231 0 7421 0
vsize: 30608
[startup+350.018 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6721 0 0 0 34941 66 0 0 25 0 1 0 511976044 31477760 5224 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7685 5224 231 231 0 7454 0
vsize: 30740
[startup+360.018 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6770 0 0 0 35940 67 0 0 25 0 1 0 511976044 31817728 5273 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7768 5273 231 231 0 7537 0
vsize: 31072
[startup+370.018 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6798 0 0 0 36939 68 0 0 25 0 1 0 511976044 31817728 5301 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7768 5301 231 231 0 7537 0
vsize: 31072
[startup+380.018 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6819 0 0 0 37938 69 0 0 25 0 1 0 511976044 31817728 5322 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7768 5322 231 231 0 7537 0
vsize: 31072
[startup+390.019 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6851 0 0 0 38937 70 0 0 25 0 1 0 511976044 32051200 5354 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7825 5354 231 231 0 7594 0
vsize: 31300
[startup+400.02 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6859 0 0 0 39937 70 0 0 25 0 1 0 511976044 32051200 5362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7825 5362 231 231 0 7594 0
vsize: 31300
[startup+410.021 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6872 0 0 0 40936 71 0 0 25 0 1 0 511976044 32051200 5375 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7825 5375 231 231 0 7594 0
vsize: 31300
[startup+420.02 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6914 0 0 0 41936 72 0 0 25 0 1 0 511976044 32051200 5417 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7825 5417 231 231 0 7594 0
vsize: 31300
[startup+430.02 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 6949 0 0 0 42935 73 0 0 25 0 1 0 511976044 32186368 5452 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7858 5452 231 231 0 7627 0
vsize: 31432
[startup+440.021 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7020 0 0 0 43934 74 0 0 25 0 1 0 511976044 32481280 5523 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7930 5523 231 231 0 7699 0
vsize: 31720
[startup+450.022 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7036 0 0 0 44934 74 0 0 25 0 1 0 511976044 32620544 5539 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7964 5539 231 231 0 7733 0
vsize: 31856
[startup+460.023 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7043 0 0 0 45934 75 0 0 25 0 1 0 511976044 32620544 5546 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7964 5546 231 231 0 7733 0
vsize: 31856
[startup+470.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7076 0 0 0 46933 75 0 0 25 0 1 0 511976044 32620544 5579 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7964 5579 231 231 0 7733 0
vsize: 31856
[startup+480.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7091 0 0 0 47932 77 0 0 25 0 1 0 511976044 32620544 5594 4294967295 134512640 135450300 3221224640 3221223456 134536489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7964 5594 231 231 0 7733 0
vsize: 31856
[startup+490.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7125 0 0 0 48932 77 0 0 25 0 1 0 511976044 32768000 5628 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8000 5628 231 231 0 7769 0
vsize: 32000
[startup+500.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7145 0 0 0 49931 78 0 0 25 0 1 0 511976044 32768000 5648 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8000 5648 231 231 0 7769 0
vsize: 32000
[startup+510.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7158 0 0 0 50931 78 0 0 25 0 1 0 511976044 32768000 5661 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8000 5661 231 231 0 7769 0
vsize: 32000
[startup+520.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7194 0 0 0 51931 79 0 0 25 0 1 0 511976044 32903168 5697 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8033 5697 231 231 0 7802 0
vsize: 32132
[startup+530.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7232 0 0 0 52930 80 0 0 25 0 1 0 511976044 33058816 5735 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8071 5735 231 231 0 7840 0
vsize: 32284
[startup+540.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7252 0 0 0 53929 81 0 0 25 0 1 0 511976044 33058816 5755 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8071 5755 231 231 0 7840 0
vsize: 32284
[startup+550.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7279 0 0 0 54928 82 0 0 25 0 1 0 511976044 33255424 5782 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8119 5782 231 231 0 7888 0
vsize: 32476
[startup+560.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7319 0 0 0 55927 83 0 0 25 0 1 0 511976044 33390592 5822 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 5822 231 231 0 7921 0
vsize: 32608
[startup+570.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7457 0 0 0 56927 84 0 0 25 0 1 0 511976044 33390592 5960 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 5960 231 231 0 7921 0
vsize: 32608
[startup+580.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7593 0 0 0 57926 85 0 0 25 0 1 0 511976044 33390592 6096 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 6096 231 231 0 7921 0
vsize: 32608
[startup+590.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7727 0 0 0 58925 86 0 0 25 0 1 0 511976044 33390592 6230 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 6230 231 231 0 7921 0
vsize: 32608
[startup+600.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7767 0 0 0 59925 86 0 0 25 0 1 0 511976044 33554432 6270 4294967295 134512640 135450300 3221224640 3221223152 134621615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6270 231 231 0 7961 0
vsize: 32768
[startup+610.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7870 0 0 0 60924 88 0 0 25 0 1 0 511976044 33554432 6373 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6373 231 231 0 7961 0
vsize: 32768
[startup+620.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7882 0 0 0 61923 88 0 0 25 0 1 0 511976044 33554432 6385 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6385 231 231 0 7961 0
vsize: 32768
[startup+630.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7895 0 0 0 62923 89 0 0 25 0 1 0 511976044 33554432 6398 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6398 231 231 0 7961 0
vsize: 32768
[startup+640.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7911 0 0 0 63923 89 0 0 25 0 1 0 511976044 33554432 6414 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6414 231 231 0 7961 0
vsize: 32768
[startup+650.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 7962 0 0 0 64922 90 0 0 25 0 1 0 511976044 33554432 6465 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6465 231 231 0 7961 0
vsize: 32768
[startup+660.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8084 0 0 0 65920 92 0 0 25 0 1 0 511976044 33554432 6587 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6587 231 231 0 7961 0
vsize: 32768
[startup+670.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8257 0 0 0 66920 93 0 0 25 0 1 0 511976044 33693696 6760 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8226 6760 231 231 0 7995 0
vsize: 32904
[startup+680.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8350 0 0 0 67919 93 0 0 25 0 1 0 511976044 33869824 6853 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8269 6853 231 231 0 8038 0
vsize: 33076
[startup+690.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8364 0 0 0 68919 94 0 0 25 0 1 0 511976044 33869824 6867 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8269 6867 231 231 0 8038 0
vsize: 33076
[startup+700.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8375 0 0 0 69919 94 0 0 25 0 1 0 511976044 33869824 6878 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8269 6878 231 231 0 8038 0
vsize: 33076
[startup+710.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8398 0 0 0 70918 95 0 0 25 0 1 0 511976044 34054144 6901 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8314 6901 231 231 0 8083 0
vsize: 33256
[startup+720.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8417 0 0 0 71917 96 0 0 25 0 1 0 511976044 34234368 6920 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8358 6920 231 231 0 8127 0
vsize: 33432
[startup+730.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8439 0 0 0 72917 97 0 0 25 0 1 0 511976044 34234368 6942 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8358 6942 231 231 0 8127 0
vsize: 33432
[startup+740.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8452 0 0 0 73916 98 0 0 25 0 1 0 511976044 34234368 6955 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8358 6955 231 231 0 8127 0
vsize: 33432
[startup+750.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8488 0 0 0 74915 99 0 0 25 0 1 0 511976044 34369536 6991 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8391 6991 231 231 0 8160 0
vsize: 33564
[startup+760.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8511 0 0 0 75915 99 0 0 25 0 1 0 511976044 34369536 7014 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8391 7014 231 231 0 8160 0
vsize: 33564
[startup+770.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8541 0 0 0 76914 100 0 0 25 0 1 0 511976044 34369536 7044 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8391 7044 231 231 0 8160 0
vsize: 33564
[startup+780.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8550 0 0 0 77914 100 0 0 25 0 1 0 511976044 34369536 7053 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8391 7053 231 231 0 8160 0
vsize: 33564
[startup+790.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8573 0 0 0 78914 101 0 0 25 0 1 0 511976044 34369536 7076 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8391 7076 231 231 0 8160 0
vsize: 33564
[startup+800.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8606 0 0 0 79913 101 0 0 25 0 1 0 511976044 34566144 7109 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8439 7109 231 231 0 8208 0
vsize: 33756
[startup+810.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8616 0 0 0 80913 102 0 0 25 0 1 0 511976044 34566144 7119 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8439 7119 231 231 0 8208 0
vsize: 33756
[startup+820.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8627 0 0 0 81912 103 0 0 25 0 1 0 511976044 34566144 7130 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8439 7130 231 231 0 8208 0
vsize: 33756
[startup+830.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8680 0 0 0 82912 103 0 0 25 0 1 0 511976044 34701312 7183 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8472 7183 231 231 0 8241 0
vsize: 33888
[startup+840.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8687 0 0 0 83912 103 0 0 25 0 1 0 511976044 34701312 7190 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8472 7190 231 231 0 8241 0
vsize: 33888
[startup+850.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8698 0 0 0 84912 104 0 0 25 0 1 0 511976044 34701312 7201 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8472 7201 231 231 0 8241 0
vsize: 33888
[startup+860.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8719 0 0 0 85911 105 0 0 25 0 1 0 511976044 34881536 7222 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8516 7222 231 231 0 8285 0
vsize: 34064
[startup+870.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8760 0 0 0 86911 105 0 0 25 0 1 0 511976044 35090432 7263 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8567 7263 231 231 0 8336 0
vsize: 34268
[startup+880.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8770 0 0 0 87910 106 0 0 25 0 1 0 511976044 35090432 7273 4294967295 134512640 135450300 3221224640 3221223376 134538705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8567 7273 231 231 0 8336 0
vsize: 34268
[startup+890.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8817 0 0 0 88909 108 0 0 25 0 1 0 511976044 35311616 7320 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7320 231 231 0 8390 0
vsize: 34484
[startup+900.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8845 0 0 0 89908 108 0 0 25 0 1 0 511976044 35311616 7348 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7348 231 231 0 8390 0
vsize: 34484
[startup+910.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8864 0 0 0 90907 109 0 0 25 0 1 0 511976044 35311616 7367 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7367 231 231 0 8390 0
vsize: 34484
[startup+920.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8881 0 0 0 91907 110 0 0 25 0 1 0 511976044 35311616 7384 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7384 231 231 0 8390 0
vsize: 34484
[startup+930.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8899 0 0 0 92906 111 0 0 25 0 1 0 511976044 35311616 7402 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7402 231 231 0 8390 0
vsize: 34484
[startup+940.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8906 0 0 0 93906 111 0 0 25 0 1 0 511976044 35311616 7409 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7409 231 231 0 8390 0
vsize: 34484
[startup+950.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 8913 0 0 0 94905 112 0 0 25 0 1 0 511976044 35311616 7416 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7416 231 231 0 8390 0
vsize: 34484
[startup+960.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9004 0 0 0 95905 113 0 0 25 0 1 0 511976044 35311616 7507 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7507 231 231 0 8390 0
vsize: 34484
[startup+970.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9169 0 0 0 96904 114 0 0 25 0 1 0 511976044 35311616 7672 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7672 231 231 0 8390 0
vsize: 34484
[startup+980.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9327 0 0 0 97904 115 0 0 25 0 1 0 511976044 35446784 7830 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8654 7830 231 231 0 8423 0
vsize: 34616
[startup+990.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9440 0 0 0 98903 116 0 0 25 0 1 0 511976044 35594240 7943 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8690 7943 231 231 0 8459 0
vsize: 34760
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9595 0 0 0 99902 117 0 0 25 0 1 0 511976044 35594240 8098 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8690 8098 231 231 0 8459 0
vsize: 34760
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9735 0 0 0 100900 118 0 0 25 0 1 0 511976044 52518912 8238 4294967295 134512640 135450300 3221224640 3221223376 134538751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12822 8238 231 231 0 12591 0
vsize: 51288
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9844 0 0 0 101899 119 0 0 25 0 1 0 511976044 52756480 8347 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 8347 231 231 0 12649 0
vsize: 51520
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9852 0 0 0 102899 120 0 0 25 0 1 0 511976044 52756480 8355 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 8355 231 231 0 12649 0
vsize: 51520
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9857 0 0 0 103898 120 0 0 25 0 1 0 511976044 52756480 8360 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 8360 231 231 0 12649 0
vsize: 51520
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9863 0 0 0 104898 121 0 0 25 0 1 0 511976044 52756480 8366 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 8366 231 231 0 12649 0
vsize: 51520
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9878 0 0 0 105898 121 0 0 25 0 1 0 511976044 52756480 8381 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 8381 231 231 0 12649 0
vsize: 51520
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9892 0 0 0 106898 122 0 0 25 0 1 0 511976044 52756480 8395 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 8395 231 231 0 12649 0
vsize: 51520
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9922 0 0 0 107897 122 0 0 25 0 1 0 511976044 52891648 8425 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12913 8425 231 231 0 12682 0
vsize: 51652
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9932 0 0 0 108897 123 0 0 25 0 1 0 511976044 52891648 8435 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12913 8435 231 231 0 12682 0
vsize: 51652
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9942 0 0 0 109896 124 0 0 25 0 1 0 511976044 52891648 8445 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12913 8445 231 231 0 12682 0
vsize: 51652
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9951 0 0 0 110896 124 0 0 25 0 1 0 511976044 52891648 8454 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12913 8454 231 231 0 12682 0
vsize: 51652
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9957 0 0 0 111896 124 0 0 25 0 1 0 511976044 52891648 8460 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12913 8460 231 231 0 12682 0
vsize: 51652
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 9973 0 0 0 112896 125 0 0 25 0 1 0 511976044 52891648 8476 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12913 8476 231 231 0 12682 0
vsize: 51652
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 10077 0 0 0 113895 125 0 0 25 0 1 0 511976044 53088256 8580 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12961 8580 231 231 0 12730 0
vsize: 51844
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 10231 0 0 0 114895 126 0 0 25 0 1 0 511976044 53088256 8734 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12961 8734 231 231 0 12730 0
vsize: 51844
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 10373 0 0 0 115893 128 0 0 25 0 1 0 511976044 53088256 8876 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12961 8876 231 231 0 12730 0
vsize: 51844
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 10485 0 0 0 116893 128 0 0 25 0 1 0 511976044 53088256 8988 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12961 8988 231 231 0 12730 0
vsize: 51844
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 10626 0 0 0 117892 129 0 0 25 0 1 0 511976044 53235712 9129 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12997 9129 231 231 0 12766 0
vsize: 51988
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 10798 0 0 0 118891 131 0 0 25 0 1 0 511976044 53235712 9301 4294967295 134512640 135450300 3221224640 3221223376 134538438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12997 9301 231 231 0 12766 0
vsize: 51988
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 10556
Raw data (stat): 10556 (PBS4) R 10555 18865 18864 0 -1 0 12431 0 0 0 119887 134 0 0 25 0 1 0 511976044 59527168 9397 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14533 9397 231 231 0 14302 0
vsize: 58132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 10556
Raw data (stat): 10556 (PBS4) Z 10555 18865 18864 0 -1 1036 12431 0 0 0 119887 136 0 0 25 0 1 0 511976044 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.06
CPU time (s): 1200.25
CPU user time (s): 1198.88
CPU system time (s): 1.36879
CPU usage (%): 100.015
Max. virtual memory (Kb): 58132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####