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-8pb.opb
MD5SUM	2bf0a3299a380a62e2f4aaf6d6f8fe18
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	36
Optimality of the best value was proved	NO
Number of terms in the objective function	432
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	432
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	432
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.903861
Number of variables	432
Total number of constraints	1304
Number of constraints which are clauses	1280
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	18
Trace number 7849

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-17 16:38:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2193 boxname=wulflinc28 idbench=244 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  2bf0a3299a380a62e2f4aaf6d6f8fe18  /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-8pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-8pb.opb
IDLAUNCH: 2193
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        842724 kB
Buffers:         37352 kB
Cached:         116664 kB
SwapCached:          4 kB
Active:          72692 kB
Inactive:        85128 kB
HighTotal:      131008 kB
HighFree:         9828 kB
LowTotal:       903652 kB
LowFree:        832896 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            28460 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:58:55 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2193 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-8pb.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.84 0.94 0.90 2/54 6987
Raw data (stat): 6987 (runsolver) R 6986 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512023890 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 1089 0 0 0 990 8 0 0 25 0 1 0 512023890 4988928 939 4294967295 134512640 135450300 3221224640 3221223456 134546496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1218 939 231 231 0 987 0
vsize: 4872
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 1472 0 0 0 1986 11 0 0 25 0 1 0 512023890 7659520 1322 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1870 1322 231 231 0 1639 0
vsize: 7480
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 1751 0 0 0 2984 14 0 0 25 0 1 0 512023890 7938048 1601 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1938 1601 231 231 0 1707 0
vsize: 7752
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 2153 0 0 0 3982 17 0 0 25 0 1 0 512023890 13066240 1810 4294967295 134512640 135450300 3221224640 3221223456 134547909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3190 1810 231 231 0 2959 0
vsize: 12760
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 2343 0 0 0 4980 19 0 0 25 0 1 0 512023890 13205504 2000 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2000 231 231 0 2993 0
vsize: 12896
[startup+60.001 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 2465 0 0 0 5979 20 0 0 25 0 1 0 512023890 13348864 2122 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2122 231 231 0 3028 0
vsize: 13036
[startup+70.0014 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 2643 0 0 0 6978 21 0 0 25 0 1 0 512023890 13492224 2300 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2300 231 231 0 3063 0
vsize: 13176
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 2770 0 0 0 7976 23 0 0 25 0 1 0 512023890 13651968 2427 4294967295 134512640 135450300 3221224640 3221223376 134538721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3333 2427 231 231 0 3102 0
vsize: 13332
[startup+90.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3001 0 0 0 8974 25 0 0 25 0 1 0 512023890 13963264 2658 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2658 231 231 0 3178 0
vsize: 13636
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3139 0 0 0 9973 26 0 0 25 0 1 0 512023890 13963264 2796 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2796 231 231 0 3178 0
vsize: 13636
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3272 0 0 0 10973 27 0 0 25 0 1 0 512023890 14254080 2929 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2929 231 231 0 3249 0
vsize: 13920
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3422 0 0 0 11971 28 0 0 25 0 1 0 512023890 14401536 3079 4294967295 134512640 135450300 3221224640 3221223376 134538774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3516 3079 231 231 0 3285 0
vsize: 14064
[startup+130 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3515 0 0 0 12971 29 0 0 25 0 1 0 512023890 14401536 3172 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3516 3172 231 231 0 3285 0
vsize: 14064
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3676 0 0 0 13969 31 0 0 25 0 1 0 512023890 22925312 3333 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5597 3333 231 231 0 5366 0
vsize: 22388
[startup+150 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 3805 0 0 0 14967 33 0 0 25 0 1 0 512023890 23080960 3462 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 3462 231 231 0 5404 0
vsize: 22540
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4325 0 0 0 15965 36 0 0 25 0 1 0 512023890 24989696 3597 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6101 3597 231 231 0 5870 0
vsize: 24404
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4435 0 0 0 16964 37 0 0 25 0 1 0 512023890 25165824 3707 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6144 3707 231 231 0 5913 0
vsize: 24576
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4474 0 0 0 17963 38 0 0 25 0 1 0 512023890 25165824 3746 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6144 3746 231 231 0 5913 0
vsize: 24576
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4522 0 0 0 18962 39 0 0 25 0 1 0 512023890 25321472 3794 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6182 3794 231 231 0 5951 0
vsize: 24728
[startup+200 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4676 0 0 0 19961 40 0 0 25 0 1 0 512023890 25468928 3948 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 3948 231 231 0 5987 0
vsize: 24872
[startup+210 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4849 0 0 0 20960 42 0 0 25 0 1 0 512023890 25792512 4121 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6297 4121 231 231 0 6066 0
vsize: 25188
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 4958 0 0 0 21958 43 0 0 25 0 1 0 512023890 25792512 4230 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6297 4230 231 231 0 6066 0
vsize: 25188
[startup+229.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5045 0 0 0 22957 44 0 0 25 0 1 0 512023890 25972736 4317 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6341 4317 231 231 0 6110 0
vsize: 25364
[startup+239.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5136 0 0 0 23957 45 0 0 25 0 1 0 512023890 26136576 4408 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6381 4408 231 231 0 6150 0
vsize: 25524
[startup+249.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5198 0 0 0 24956 46 0 0 25 0 1 0 512023890 26136576 4470 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6381 4470 231 231 0 6150 0
vsize: 25524
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5260 0 0 0 25956 46 0 0 25 0 1 0 512023890 26136576 4532 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6381 4532 231 231 0 6150 0
vsize: 25524
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5329 0 0 0 26955 47 0 0 25 0 1 0 512023890 26316800 4601 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 4601 231 231 0 6194 0
vsize: 25700
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5398 0 0 0 27955 48 0 0 25 0 1 0 512023890 26316800 4670 4294967295 134512640 135450300 3221224640 3221223376 134538743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 4670 231 231 0 6194 0
vsize: 25700
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5483 0 0 0 28955 48 0 0 25 0 1 0 512023890 26316800 4755 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 4755 231 231 0 6194 0
vsize: 25700
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5565 0 0 0 29954 49 0 0 25 0 1 0 512023890 26316800 4837 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 4837 231 231 0 6194 0
vsize: 25700
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5647 0 0 0 30954 49 0 0 25 0 1 0 512023890 26316800 4919 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 4919 231 231 0 6194 0
vsize: 25700
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5784 0 0 0 31953 50 0 0 25 0 1 0 512023890 26464256 5056 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6461 5056 231 231 0 6230 0
vsize: 25844
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5930 0 0 0 32952 51 0 0 25 0 1 0 512023890 26845184 5202 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5202 231 231 0 6323 0
vsize: 26216
[startup+339.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 5936 0 0 0 33952 51 0 0 25 0 1 0 512023890 26845184 5208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5208 231 231 0 6323 0
vsize: 26216
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6045 0 0 0 34952 52 0 0 25 0 1 0 512023890 26845184 5317 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5317 231 231 0 6323 0
vsize: 26216
[startup+359.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6086 0 0 0 35952 52 0 0 25 0 1 0 512023890 26845184 5358 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6554 5358 231 231 0 6323 0
vsize: 26216
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6104 0 0 0 36952 52 0 0 25 0 1 0 512023890 27033600 5376 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 5376 231 231 0 6369 0
vsize: 26400
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6218 0 0 0 37951 54 0 0 25 0 1 0 512023890 27033600 5490 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 5490 231 231 0 6369 0
vsize: 26400
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6254 0 0 0 38951 54 0 0 25 0 1 0 512023890 27197440 5526 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 5526 231 231 0 6409 0
vsize: 26560
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6307 0 0 0 39950 55 0 0 25 0 1 0 512023890 27377664 5579 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 5579 231 231 0 6453 0
vsize: 26736
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6409 0 0 0 40949 56 0 0 25 0 1 0 512023890 27377664 5681 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 5681 231 231 0 6453 0
vsize: 26736
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6452 0 0 0 41949 57 0 0 25 0 1 0 512023890 27512832 5724 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5724 231 231 0 6486 0
vsize: 26868
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6560 0 0 0 42948 57 0 0 25 0 1 0 512023890 27512832 5832 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5832 231 231 0 6486 0
vsize: 26868
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6622 0 0 0 43948 58 0 0 25 0 1 0 512023890 27512832 5894 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5894 231 231 0 6486 0
vsize: 26868
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6719 0 0 0 44948 58 0 0 25 0 1 0 512023890 27672576 5991 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5991 231 231 0 6525 0
vsize: 27024
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6836 0 0 0 45947 59 0 0 25 0 1 0 512023890 27672576 6108 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 6108 231 231 0 6525 0
vsize: 27024
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6907 0 0 0 46946 60 0 0 25 0 1 0 512023890 27807744 6179 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6179 231 231 0 6558 0
vsize: 27156
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 6989 0 0 0 47946 61 0 0 25 0 1 0 512023890 27971584 6261 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6829 6261 231 231 0 6598 0
vsize: 27316
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7047 0 0 0 48945 61 0 0 25 0 1 0 512023890 27971584 6319 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6829 6319 231 231 0 6598 0
vsize: 27316
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7103 0 0 0 49945 61 0 0 25 0 1 0 512023890 27971584 6375 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6829 6375 231 231 0 6598 0
vsize: 27316
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7206 0 0 0 50944 63 0 0 25 0 1 0 512023890 44945408 6478 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10973 6478 231 231 0 10742 0
vsize: 43892
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7318 0 0 0 51944 63 0 0 25 0 1 0 512023890 45142016 6590 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11021 6590 231 231 0 10790 0
vsize: 44084
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7387 0 0 0 52944 64 0 0 25 0 1 0 512023890 45142016 6659 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11021 6659 231 231 0 10790 0
vsize: 44084
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7488 0 0 0 53943 64 0 0 25 0 1 0 512023890 45277184 6760 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 6760 231 231 0 10823 0
vsize: 44216
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7549 0 0 0 54942 65 0 0 25 0 1 0 512023890 45277184 6821 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 6821 231 231 0 10823 0
vsize: 44216
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7613 0 0 0 55942 66 0 0 25 0 1 0 512023890 45277184 6885 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 6885 231 231 0 10823 0
vsize: 44216
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7652 0 0 0 56942 67 0 0 25 0 1 0 512023890 45277184 6924 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 6924 231 231 0 10823 0
vsize: 44216
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7670 0 0 0 57941 67 0 0 25 0 1 0 512023890 45277184 6942 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 6942 231 231 0 10823 0
vsize: 44216
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7754 0 0 0 58941 67 0 0 25 0 1 0 512023890 45277184 7026 4294967295 134512640 135450300 3221224640 3221223456 134537158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 7026 231 231 0 10823 0
vsize: 44216
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7803 0 0 0 59941 68 0 0 25 0 1 0 512023890 45277184 7075 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 7075 231 231 0 10823 0
vsize: 44216
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7851 0 0 0 60940 68 0 0 25 0 1 0 512023890 45277184 7123 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11054 7123 231 231 0 10823 0
vsize: 44216
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 7954 0 0 0 61940 69 0 0 25 0 1 0 512023890 45576192 7226 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11127 7226 231 231 0 10896 0
vsize: 44508
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 8060 0 0 0 62939 70 0 0 25 0 1 0 512023890 45576192 7332 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11127 7332 231 231 0 10896 0
vsize: 44508
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 8918 0 0 0 63937 73 0 0 25 0 1 0 512023890 48857088 7421 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11928 7421 231 231 0 11697 0
vsize: 47712
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 8964 0 0 0 64936 73 0 0 25 0 1 0 512023890 48857088 7467 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11928 7467 231 231 0 11697 0
vsize: 47712
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9009 0 0 0 65936 74 0 0 25 0 1 0 512023890 48857088 7512 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11928 7512 231 231 0 11697 0
vsize: 47712
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9097 0 0 0 66936 74 0 0 25 0 1 0 512023890 49139712 7600 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11997 7600 231 231 0 11766 0
vsize: 47988
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9213 0 0 0 67934 76 0 0 25 0 1 0 512023890 49274880 7716 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12030 7716 231 231 0 11799 0
vsize: 48120
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9270 0 0 0 68934 76 0 0 25 0 1 0 512023890 49410048 7773 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12063 7773 231 231 0 11832 0
vsize: 48252
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9319 0 0 0 69934 77 0 0 25 0 1 0 512023890 49410048 7822 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12063 7822 231 231 0 11832 0
vsize: 48252
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9467 0 0 0 70933 77 0 0 25 0 1 0 512023890 49680384 7970 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12129 7970 231 231 0 11898 0
vsize: 48516
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9513 0 0 0 71933 78 0 0 25 0 1 0 512023890 49680384 8016 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12129 8016 231 231 0 11898 0
vsize: 48516
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9528 0 0 0 72933 78 0 0 25 0 1 0 512023890 49680384 8031 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12129 8031 231 231 0 11898 0
vsize: 48516
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9632 0 0 0 73933 79 0 0 25 0 1 0 512023890 49680384 8135 4294967295 134512640 135450300 3221224640 3221223456 134536465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12129 8135 231 231 0 11898 0
vsize: 48516
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9705 0 0 0 74932 79 0 0 25 0 1 0 512023890 49680384 8208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12129 8208 231 231 0 11898 0
vsize: 48516
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9771 0 0 0 75932 80 0 0 25 0 1 0 512023890 49680384 8274 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12129 8274 231 231 0 11898 0
vsize: 48516
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9848 0 0 0 76932 80 0 0 25 0 1 0 512023890 49876992 8351 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 8351 231 231 0 11946 0
vsize: 48708
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9898 0 0 0 77931 81 0 0 25 0 1 0 512023890 49876992 8401 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 8401 231 231 0 11946 0
vsize: 48708
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 9961 0 0 0 78931 81 0 0 25 0 1 0 512023890 49876992 8464 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 8464 231 231 0 11946 0
vsize: 48708
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10003 0 0 0 79931 82 0 0 25 0 1 0 512023890 49876992 8506 4294967295 134512640 135450300 3221224640 3221223472 134549307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 8506 231 231 0 11946 0
vsize: 48708
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10125 0 0 0 80931 82 0 0 25 0 1 0 512023890 50212864 8628 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 8628 231 231 0 12028 0
vsize: 49036
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10168 0 0 0 81930 83 0 0 25 0 1 0 512023890 50212864 8671 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 8671 231 231 0 12028 0
vsize: 49036
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10250 0 0 0 82930 83 0 0 25 0 1 0 512023890 50212864 8753 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 8753 231 231 0 12028 0
vsize: 49036
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10292 0 0 0 83930 84 0 0 25 0 1 0 512023890 50212864 8795 4294967295 134512640 135450300 3221224640 3221223456 134536537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 8795 231 231 0 12028 0
vsize: 49036
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10407 0 0 0 84929 84 0 0 25 0 1 0 512023890 50376704 8910 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12299 8910 231 231 0 12068 0
vsize: 49196
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10448 0 0 0 85929 85 0 0 25 0 1 0 512023890 50376704 8951 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12299 8951 231 231 0 12068 0
vsize: 49196
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10541 0 0 0 86929 85 0 0 25 0 1 0 512023890 50511872 9044 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12332 9044 231 231 0 12101 0
vsize: 49328
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10645 0 0 0 87928 86 0 0 25 0 1 0 512023890 50647040 9148 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12365 9148 231 231 0 12134 0
vsize: 49460
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10675 0 0 0 88928 86 0 0 25 0 1 0 512023890 50843648 9178 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12413 9178 231 231 0 12182 0
vsize: 49652
[startup+900.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10701 0 0 0 89928 86 0 0 25 0 1 0 512023890 50843648 9204 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12413 9204 231 231 0 12182 0
vsize: 49652
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10822 0 0 0 90927 88 0 0 25 0 1 0 512023890 50843648 9325 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12413 9325 231 231 0 12182 0
vsize: 49652
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 10937 0 0 0 91927 88 0 0 25 0 1 0 512023890 51175424 9440 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12494 9440 231 231 0 12263 0
vsize: 49976
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11094 0 0 0 92925 90 0 0 25 0 1 0 512023890 51453952 9597 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9597 231 231 0 12331 0
vsize: 50248
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11135 0 0 0 93925 90 0 0 25 0 1 0 512023890 51453952 9638 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9638 231 231 0 12331 0
vsize: 50248
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11175 0 0 0 94925 90 0 0 25 0 1 0 512023890 51453952 9678 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9678 231 231 0 12331 0
vsize: 50248
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11211 0 0 0 95925 90 0 0 25 0 1 0 512023890 51453952 9714 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9714 231 231 0 12331 0
vsize: 50248
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11228 0 0 0 96925 91 0 0 25 0 1 0 512023890 51453952 9731 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9731 231 231 0 12331 0
vsize: 50248
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11230 0 0 0 97925 91 0 0 25 0 1 0 512023890 51453952 9733 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9733 231 231 0 12331 0
vsize: 50248
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11233 0 0 0 98925 91 0 0 25 0 1 0 512023890 51453952 9736 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9736 231 231 0 12331 0
vsize: 50248
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11239 0 0 0 99925 91 0 0 25 0 1 0 512023890 51453952 9742 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9742 231 231 0 12331 0
vsize: 50248
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11265 0 0 0 100925 92 0 0 25 0 1 0 512023890 51453952 9768 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9768 231 231 0 12331 0
vsize: 50248
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11368 0 0 0 101924 93 0 0 25 0 1 0 512023890 51453952 9871 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9871 231 231 0 12331 0
vsize: 50248
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11373 0 0 0 102923 94 0 0 25 0 1 0 512023890 51453952 9876 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9876 231 231 0 12331 0
vsize: 50248
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11449 0 0 0 103923 94 0 0 25 0 1 0 512023890 51453952 9952 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9952 231 231 0 12331 0
vsize: 50248
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11499 0 0 0 104923 94 0 0 25 0 1 0 512023890 51453952 10002 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 10002 231 231 0 12331 0
vsize: 50248
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11530 0 0 0 105923 94 0 0 25 0 1 0 512023890 51453952 10033 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 10033 231 231 0 12331 0
vsize: 50248
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11532 0 0 0 106923 95 0 0 25 0 1 0 512023890 51453952 10035 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 10035 231 231 0 12331 0
vsize: 50248
[startup+1080.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11549 0 0 0 107923 95 0 0 25 0 1 0 512023890 51453952 10052 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 10052 231 231 0 12331 0
vsize: 50248
[startup+1090.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11587 0 0 0 108923 95 0 0 25 0 1 0 512023890 51453952 10090 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 10090 231 231 0 12331 0
vsize: 50248
[startup+1100.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11671 0 0 0 109922 96 0 0 25 0 1 0 512023890 51601408 10174 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 10174 231 231 0 12367 0
vsize: 50392
[startup+1110.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11708 0 0 0 110922 96 0 0 25 0 1 0 512023890 51601408 10211 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 10211 231 231 0 12367 0
vsize: 50392
[startup+1120.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11735 0 0 0 111922 96 0 0 25 0 1 0 512023890 51601408 10238 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 10238 231 231 0 12367 0
vsize: 50392
[startup+1130.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11767 0 0 0 112922 96 0 0 25 0 1 0 512023890 51601408 10270 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 10270 231 231 0 12367 0
vsize: 50392
[startup+1140.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11819 0 0 0 113922 97 0 0 25 0 1 0 512023890 51601408 10322 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 10322 231 231 0 12367 0
vsize: 50392
[startup+1150.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11954 0 0 0 114921 98 0 0 25 0 1 0 512023890 51916800 10457 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12675 10457 231 231 0 12444 0
vsize: 50700
[startup+1160.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 11987 0 0 0 115921 98 0 0 25 0 1 0 512023890 51916800 10490 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12675 10490 231 231 0 12444 0
vsize: 50700
[startup+1170.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 12019 0 0 0 116921 99 0 0 25 0 1 0 512023890 51916800 10522 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12675 10522 231 231 0 12444 0
vsize: 50700
[startup+1180.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 12101 0 0 0 117920 100 0 0 25 0 1 0 512023890 52051968 10604 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12708 10604 231 231 0 12477 0
vsize: 50832
[startup+1190.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 12103 0 0 0 118920 100 0 0 25 0 1 0 512023890 52051968 10606 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12708 10606 231 231 0 12477 0
vsize: 50832
[startup+1200.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6987
Raw data (stat): 6987 (PBS4) R 6986 10614 10613 0 -1 0 12104 0 0 0 119920 100 0 0 25 0 1 0 512023890 52051968 10607 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12708 10607 231 231 0 12477 0
vsize: 50832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.01 0.99 0.91 1/54 6987
Raw data (stat): 6987 (PBS4) Z 6986 10614 10613 0 -1 1036 12104 0 0 0 119920 102 0 0 25 0 1 0 512023890 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.03
CPU time (s): 1200.23
CPU user time (s): 1199.2
CPU system time (s): 1.02784
CPU usage (%): 100.017
Max. virtual memory (Kb): 50832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####