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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM	16a8eb66aae2bcfd534a482dd0a3948e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
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	1175.05
Number of variables	595
Total number of constraints	27856
Number of constraints which are clauses	27856
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	2
Trace number 7886

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-17 16:59:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2868 boxname=wulflinc17 idbench=319 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb
IDLAUNCH: 2868
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        734488 kB
Buffers:         37420 kB
Cached:         227036 kB
SwapCached:       2376 kB
Active:          68948 kB
Inactive:       200880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        734236 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7044 kB
Slab:            24716 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:19:34 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2868 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.91 2/55 17155
Raw data (stat): 17155 (runsolver) R 17154 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512150898 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.0002 s]
Raw data (loadavg): 0.87 0.97 0.91 2/55 17155
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 2760 0 0 0 992 6 0 0 25 0 1 0 512150898 19357696 2606 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4726 2606 231 231 0 4495 0
vsize: 18904
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.97 0.91 2/55 17157
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 4006 0 0 0 1990 9 0 0 25 0 1 0 512150898 19496960 3852 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3852 231 231 0 4529 0
vsize: 19040
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.97 0.91 2/55 17157
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 5758 0 0 0 2985 14 0 0 25 0 1 0 512150898 36413440 5604 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8890 5604 231 231 0 8659 0
vsize: 35560
[startup+40.0025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/58 17199
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 7431 0 0 0 3982 17 0 0 25 0 1 0 512150898 37339136 7084 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9116 7084 231 231 0 8885 0
vsize: 36464
[startup+50.0043 s]
Raw data (loadavg): 1.15 1.02 0.93 2/55 17210
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 8864 0 0 0 4979 21 0 0 25 0 1 0 512150898 37486592 8517 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9152 8517 231 231 0 8921 0
vsize: 36608
[startup+60.0039 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 17210
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 10603 0 0 0 5974 26 0 0 25 0 1 0 512150898 71913472 10256 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17557 10256 231 231 0 17326 0
vsize: 70228
[startup+70.0045 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 17210
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 12251 0 0 0 6970 30 0 0 25 0 1 0 512150898 72335360 11904 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17660 11904 231 231 0 17429 0
vsize: 70640
[startup+80.0041 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 17210
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 12340 0 0 0 7970 30 0 0 25 0 1 0 512150898 72753152 11993 4294967295 134512640 135450300 3221224640 3221223472 134549453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17762 11993 231 231 0 17531 0
vsize: 71048
[startup+90.0047 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 17210
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 12666 0 0 0 8970 31 0 0 25 0 1 0 512150898 73195520 12319 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17870 12319 231 231 0 17639 0
vsize: 71480
[startup+100.004 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 17210
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 13794 0 0 0 9967 34 0 0 25 0 1 0 512150898 73478144 13447 4294967295 134512640 135450300 3221224640 3221223360 134535562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17939 13447 231 231 0 17708 0
vsize: 71756
[startup+110.004 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 13834 0 0 0 10966 34 0 0 25 0 1 0 512150898 73617408 13487 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17973 13487 231 231 0 17742 0
vsize: 71892
[startup+120.005 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 13925 0 0 0 11966 35 0 0 25 0 1 0 512150898 74027008 13578 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18073 13578 231 231 0 17842 0
vsize: 72292
[startup+130.004 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 14969 0 0 0 12964 37 0 0 25 0 1 0 512150898 74649600 14622 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18225 14622 231 231 0 17994 0
vsize: 72900
[startup+140.005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 15074 0 0 0 13964 38 0 0 25 0 1 0 512150898 75218944 14727 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18364 14727 231 231 0 18133 0
vsize: 73456
[startup+150.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 15225 0 0 0 14963 38 0 0 25 0 1 0 512150898 75812864 14878 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18509 14878 231 231 0 18278 0
vsize: 74036
[startup+160.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 15278 0 0 0 15963 39 0 0 25 0 1 0 512150898 75948032 14931 4294967295 134512640 135450300 3221224640 3221223120 134580011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18542 14931 231 231 0 18311 0
vsize: 74168
[startup+170.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 15338 0 0 0 16963 39 0 0 25 0 1 0 512150898 76222464 14991 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18609 14991 231 231 0 18378 0
vsize: 74436
[startup+180.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 16090 0 0 0 17960 42 0 0 25 0 1 0 512150898 76509184 15743 4294967295 134512640 135450300 3221224640 3221223024 134602513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18679 15743 231 231 0 18448 0
vsize: 74716
[startup+190.005 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 16529 0 0 0 18959 43 0 0 25 0 1 0 512150898 76644352 16182 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18712 16182 231 231 0 18481 0
vsize: 74848
[startup+200.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 16606 0 0 0 19959 44 0 0 25 0 1 0 512150898 76955648 16259 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18788 16259 231 231 0 18557 0
vsize: 75152
[startup+210.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 16662 0 0 0 20959 44 0 0 25 0 1 0 512150898 77262848 16315 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18863 16315 231 231 0 18632 0
vsize: 75452
[startup+220.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17100 0 0 0 21957 46 0 0 25 0 1 0 512150898 77422592 16753 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18902 16753 231 231 0 18671 0
vsize: 75608
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17150 0 0 0 22957 46 0 0 25 0 1 0 512150898 77701120 16803 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16803 231 231 0 18739 0
vsize: 75880
[startup+240.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17216 0 0 0 23956 47 0 0 25 0 1 0 512150898 77983744 16869 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19039 16869 231 231 0 18808 0
vsize: 76156
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17477 0 0 0 24955 48 0 0 25 0 1 0 512150898 78131200 17130 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19075 17130 231 231 0 18844 0
vsize: 76300
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17585 0 0 0 25955 49 0 0 25 0 1 0 512150898 78266368 17238 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19108 17238 231 231 0 18877 0
vsize: 76432
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17605 0 0 0 26954 50 0 0 25 0 1 0 512150898 78413824 17258 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19144 17258 231 231 0 18913 0
vsize: 76576
[startup+280.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17656 0 0 0 27954 50 0 0 25 0 1 0 512150898 78721024 17309 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19219 17309 231 231 0 18988 0
vsize: 76876
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17885 0 0 0 28953 51 0 0 25 0 1 0 512150898 78721024 17538 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19219 17538 231 231 0 18988 0
vsize: 76876
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17914 0 0 0 29953 51 0 0 25 0 1 0 512150898 78884864 17567 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19259 17567 231 231 0 19028 0
vsize: 77036
[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17212
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 17944 0 0 0 30953 51 0 0 25 0 1 0 512150898 79020032 17597 4294967295 134512640 135450300 3221224640 3221223456 134537266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19292 17597 231 231 0 19061 0
vsize: 77168
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18158 0 0 0 31952 52 0 0 25 0 1 0 512150898 79306752 17811 4294967295 134512640 135450300 3221224640 3221223024 134579486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 17811 231 231 0 19131 0
vsize: 77448
[startup+330.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18567 0 0 0 32952 53 0 0 25 0 1 0 512150898 80879616 17835 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19746 17835 231 231 0 19515 0
vsize: 78984
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18615 0 0 0 33952 53 0 0 25 0 1 0 512150898 81166336 17883 4294967295 134512640 135450300 3221224640 3221223024 134602457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19816 17883 231 231 0 19585 0
vsize: 79264
[startup+350.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18753 0 0 0 34952 54 0 0 25 0 1 0 512150898 81313792 18021 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19852 18021 231 231 0 19621 0
vsize: 79408
[startup+360.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18809 0 0 0 35951 54 0 0 25 0 1 0 512150898 81596416 18077 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19921 18077 231 231 0 19690 0
vsize: 79684
[startup+370.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18862 0 0 0 36951 54 0 0 25 0 1 0 512150898 81760256 18130 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19961 18130 231 231 0 19730 0
vsize: 79844
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18886 0 0 0 37951 55 0 0 25 0 1 0 512150898 81944576 18154 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20006 18154 231 231 0 19775 0
vsize: 80024
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 18977 0 0 0 38951 55 0 0 25 0 1 0 512150898 81944576 18245 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20006 18245 231 231 0 19775 0
vsize: 80024
[startup+400.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17214
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19012 0 0 0 39952 55 0 0 25 0 1 0 512150898 82092032 18280 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20042 18280 231 231 0 19811 0
vsize: 80168
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19052 0 0 0 40951 55 0 0 25 0 1 0 512150898 82235392 18320 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20077 18320 231 231 0 19846 0
vsize: 80308
[startup+420.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19132 0 0 0 41951 56 0 0 25 0 1 0 512150898 82382848 18400 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20113 18400 231 231 0 19882 0
vsize: 80452
[startup+430.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19166 0 0 0 42951 56 0 0 25 0 1 0 512150898 82542592 18434 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20152 18434 231 231 0 19921 0
vsize: 80608
[startup+440.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19221 0 0 0 43950 57 0 0 25 0 1 0 512150898 82690048 18489 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20188 18489 231 231 0 19957 0
vsize: 80752
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19286 0 0 0 44950 57 0 0 25 0 1 0 512150898 82841600 18554 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20225 18554 231 231 0 19994 0
vsize: 80900
[startup+460.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19304 0 0 0 45950 57 0 0 25 0 1 0 512150898 82841600 18572 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20225 18572 231 231 0 19994 0
vsize: 80900
[startup+470.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19359 0 0 0 46950 58 0 0 25 0 1 0 512150898 83140608 18627 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20298 18627 231 231 0 20067 0
vsize: 81192
[startup+480.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19378 0 0 0 47950 58 0 0 25 0 1 0 512150898 83140608 18646 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20298 18646 231 231 0 20067 0
vsize: 81192
[startup+490.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19431 0 0 0 48950 58 0 0 25 0 1 0 512150898 83140608 18699 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20298 18699 231 231 0 20067 0
vsize: 81192
[startup+500.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19461 0 0 0 49950 58 0 0 25 0 1 0 512150898 83288064 18729 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20334 18729 231 231 0 20103 0
vsize: 81336
[startup+510.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19481 0 0 0 50950 58 0 0 25 0 1 0 512150898 83427328 18749 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20368 18749 231 231 0 20137 0
vsize: 81472
[startup+520.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19600 0 0 0 51949 59 0 0 25 0 1 0 512150898 83755008 18868 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20448 18868 231 231 0 20217 0
vsize: 81792
[startup+530.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19637 0 0 0 52949 60 0 0 25 0 1 0 512150898 83918848 18905 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20488 18905 231 231 0 20257 0
vsize: 81952
[startup+540.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19838 0 0 0 53948 60 0 0 25 0 1 0 512150898 84721664 19106 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20684 19106 231 231 0 20453 0
vsize: 82736
[startup+550.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 19933 0 0 0 54947 62 0 0 25 0 1 0 512150898 85213184 19201 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20804 19201 231 231 0 20573 0
vsize: 83216
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20063 0 0 0 55947 62 0 0 25 0 1 0 512150898 85704704 19331 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20924 19331 231 231 0 20693 0
vsize: 83696
[startup+570.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20091 0 0 0 56946 63 0 0 25 0 1 0 512150898 85856256 19359 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20961 19359 231 231 0 20730 0
vsize: 83844
[startup+580.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20148 0 0 0 57946 63 0 0 25 0 1 0 512150898 86020096 19416 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21001 19416 231 231 0 20770 0
vsize: 84004
[startup+590.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20195 0 0 0 58946 63 0 0 25 0 1 0 512150898 86183936 19463 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21041 19463 231 231 0 20810 0
vsize: 84164
[startup+600.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20225 0 0 0 59946 63 0 0 25 0 1 0 512150898 86347776 19493 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21081 19493 231 231 0 20850 0
vsize: 84324
[startup+610.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17216
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20249 0 0 0 60946 64 0 0 25 0 1 0 512150898 86503424 19517 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21119 19517 231 231 0 20888 0
vsize: 84476
[startup+620.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20267 0 0 0 61947 64 0 0 25 0 1 0 512150898 86503424 19535 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21119 19535 231 231 0 20888 0
vsize: 84476
[startup+630.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20280 0 0 0 62946 64 0 0 25 0 1 0 512150898 86503424 19548 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21119 19548 231 231 0 20888 0
vsize: 84476
[startup+640.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20300 0 0 0 63946 65 0 0 25 0 1 0 512150898 86700032 19568 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21167 19568 231 231 0 20936 0
vsize: 84668
[startup+650.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20316 0 0 0 64946 65 0 0 25 0 1 0 512150898 86700032 19584 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21167 19584 231 231 0 20936 0
vsize: 84668
[startup+660.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20354 0 0 0 65946 65 0 0 25 0 1 0 512150898 86863872 19622 4294967295 134512640 135450300 3221224640 3221223116 134571791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21207 19622 231 231 0 20976 0
vsize: 84828
[startup+670.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20379 0 0 0 66946 65 0 0 25 0 1 0 512150898 86863872 19647 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21207 19647 231 231 0 20976 0
vsize: 84828
[startup+680.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20401 0 0 0 67945 66 0 0 25 0 1 0 512150898 86863872 19669 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21207 19669 231 231 0 20976 0
vsize: 84828
[startup+690.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20432 0 0 0 68945 67 0 0 25 0 1 0 512150898 87064576 19700 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21256 19700 231 231 0 21025 0
vsize: 85024
[startup+700.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20448 0 0 0 69945 67 0 0 25 0 1 0 512150898 87064576 19716 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21256 19716 231 231 0 21025 0
vsize: 85024
[startup+710.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20472 0 0 0 70945 67 0 0 25 0 1 0 512150898 87228416 19740 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21296 19740 231 231 0 21065 0
vsize: 85184
[startup+720.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20482 0 0 0 71945 67 0 0 25 0 1 0 512150898 87228416 19750 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21296 19750 231 231 0 21065 0
vsize: 85184
[startup+730.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20500 0 0 0 72945 67 0 0 25 0 1 0 512150898 87400448 19768 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21338 19768 231 231 0 21107 0
vsize: 85352
[startup+740.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20513 0 0 0 73945 68 0 0 25 0 1 0 512150898 87400448 19781 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21338 19781 231 231 0 21107 0
vsize: 85352
[startup+750.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20523 0 0 0 74945 68 0 0 25 0 1 0 512150898 87400448 19791 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21338 19791 231 231 0 21107 0
vsize: 85352
[startup+760.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20590 0 0 0 75945 68 0 0 25 0 1 0 512150898 87564288 19858 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21378 19858 231 231 0 21147 0
vsize: 85512
[startup+770.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20664 0 0 0 76945 68 0 0 25 0 1 0 512150898 87891968 19932 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21458 19932 231 231 0 21227 0
vsize: 85832
[startup+780.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20694 0 0 0 77944 69 0 0 25 0 1 0 512150898 88109056 19962 4294967295 134512640 135450300 3221224640 3221223104 134532905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21511 19962 231 231 0 21280 0
vsize: 86044
[startup+790.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20760 0 0 0 78944 69 0 0 25 0 1 0 512150898 88436736 20028 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20028 231 231 0 21360 0
vsize: 86364
[startup+800.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20777 0 0 0 79944 70 0 0 25 0 1 0 512150898 88436736 20045 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20045 231 231 0 21360 0
vsize: 86364
[startup+810.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20794 0 0 0 80944 70 0 0 25 0 1 0 512150898 88436736 20062 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20062 231 231 0 21360 0
vsize: 86364
[startup+820.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20805 0 0 0 81944 70 0 0 25 0 1 0 512150898 88436736 20073 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20073 231 231 0 21360 0
vsize: 86364
[startup+830.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20822 0 0 0 82944 71 0 0 25 0 1 0 512150898 88592384 20090 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21629 20090 231 231 0 21398 0
vsize: 86516
[startup+840.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20835 0 0 0 83944 71 0 0 25 0 1 0 512150898 88592384 20103 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21629 20103 231 231 0 21398 0
vsize: 86516
[startup+850.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20860 0 0 0 84943 71 0 0 25 0 1 0 512150898 88592384 20128 4294967295 134512640 135450300 3221224640 3221223376 134538543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21629 20128 231 231 0 21398 0
vsize: 86516
[startup+860.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20873 0 0 0 85943 71 0 0 25 0 1 0 512150898 88592384 20141 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21629 20141 231 231 0 21398 0
vsize: 86516
[startup+870.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20890 0 0 0 86943 72 0 0 25 0 1 0 512150898 88592384 20158 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21629 20158 231 231 0 21398 0
vsize: 86516
[startup+880.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20913 0 0 0 87943 72 0 0 25 0 1 0 512150898 88756224 20181 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21669 20181 231 231 0 21438 0
vsize: 86676
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20942 0 0 0 88943 72 0 0 25 0 1 0 512150898 88985600 20210 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21725 20210 231 231 0 21494 0
vsize: 86900
[startup+900.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20970 0 0 0 89943 72 0 0 25 0 1 0 512150898 88985600 20238 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21725 20238 231 231 0 21494 0
vsize: 86900
[startup+910.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17218
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20985 0 0 0 90943 72 0 0 25 0 1 0 512150898 88985600 20253 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21725 20253 231 231 0 21494 0
vsize: 86900
[startup+920.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 20999 0 0 0 91943 73 0 0 25 0 1 0 512150898 88985600 20267 4294967295 134512640 135450300 3221224640 3221223024 134579426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21725 20267 231 231 0 21494 0
vsize: 86900
[startup+930.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21010 0 0 0 92943 73 0 0 25 0 1 0 512150898 88985600 20278 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21725 20278 231 231 0 21494 0
vsize: 86900
[startup+940.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21024 0 0 0 93943 74 0 0 25 0 1 0 512150898 89124864 20292 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20292 231 231 0 21528 0
vsize: 87036
[startup+950.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21035 0 0 0 94943 74 0 0 25 0 1 0 512150898 89124864 20303 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20303 231 231 0 21528 0
vsize: 87036
[startup+960.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21044 0 0 0 95943 74 0 0 25 0 1 0 512150898 89124864 20312 4294967295 134512640 135450300 3221224640 3221223024 134602283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20312 231 231 0 21528 0
vsize: 87036
[startup+970.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21058 0 0 0 96943 74 0 0 25 0 1 0 512150898 89124864 20326 4294967295 134512640 135450300 3221224640 3221223116 134571772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20326 231 231 0 21528 0
vsize: 87036
[startup+980.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21068 0 0 0 97943 75 0 0 25 0 1 0 512150898 89124864 20336 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20336 231 231 0 21528 0
vsize: 87036
[startup+990.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21857 0 0 0 98941 76 0 0 25 0 1 0 512150898 92434432 20356 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22567 20356 231 231 0 22336 0
vsize: 90268
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21877 0 0 0 99941 77 0 0 25 0 1 0 512150898 92581888 20376 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22603 20376 231 231 0 22372 0
vsize: 90412
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21887 0 0 0 100941 77 0 0 25 0 1 0 512150898 92581888 20386 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22603 20386 231 231 0 22372 0
vsize: 90412
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21910 0 0 0 101941 77 0 0 25 0 1 0 512150898 92581888 20409 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22603 20409 231 231 0 22372 0
vsize: 90412
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21925 0 0 0 102940 77 0 0 25 0 1 0 512150898 92581888 20424 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22603 20424 231 231 0 22372 0
vsize: 90412
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21936 0 0 0 103940 78 0 0 25 0 1 0 512150898 92581888 20435 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22603 20435 231 231 0 22372 0
vsize: 90412
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21948 0 0 0 104940 78 0 0 25 0 1 0 512150898 92581888 20447 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22603 20447 231 231 0 22372 0
vsize: 90412
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21966 0 0 0 105940 78 0 0 25 0 1 0 512150898 92741632 20465 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22642 20465 231 231 0 22411 0
vsize: 90568
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21976 0 0 0 106940 79 0 0 25 0 1 0 512150898 92741632 20475 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22642 20475 231 231 0 22411 0
vsize: 90568
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 21989 0 0 0 107940 79 0 0 25 0 1 0 512150898 92741632 20488 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22642 20488 231 231 0 22411 0
vsize: 90568
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22004 0 0 0 108939 80 0 0 25 0 1 0 512150898 92905472 20503 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22682 20503 231 231 0 22451 0
vsize: 90728
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22015 0 0 0 109939 80 0 0 25 0 1 0 512150898 92905472 20514 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22682 20514 231 231 0 22451 0
vsize: 90728
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22028 0 0 0 110939 80 0 0 25 0 1 0 512150898 92905472 20527 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22682 20527 231 231 0 22451 0
vsize: 90728
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22042 0 0 0 111939 80 0 0 25 0 1 0 512150898 92905472 20541 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22682 20541 231 231 0 22451 0
vsize: 90728
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22063 0 0 0 112939 81 0 0 25 0 1 0 512150898 92905472 20562 4294967295 134512640 135450300 3221224640 3221223104 134532787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22682 20562 231 231 0 22451 0
vsize: 90728
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22073 0 0 0 113938 81 0 0 25 0 1 0 512150898 93073408 20572 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22723 20572 231 231 0 22492 0
vsize: 90892
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22111 0 0 0 114938 82 0 0 25 0 1 0 512150898 93237248 20610 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22763 20610 231 231 0 22532 0
vsize: 91052
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22134 0 0 0 115938 82 0 0 25 0 1 0 512150898 93401088 20633 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22803 20633 231 231 0 22572 0
vsize: 91212
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22144 0 0 0 116938 82 0 0 25 0 1 0 512150898 93401088 20643 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22803 20643 231 231 0 22572 0
vsize: 91212
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22163 0 0 0 117938 82 0 0 25 0 1 0 512150898 93401088 20662 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22803 20662 231 231 0 22572 0
vsize: 91212
[startup+1190 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22173 0 0 0 118938 83 0 0 25 0 1 0 512150898 93401088 20672 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22803 20672 231 231 0 22572 0
vsize: 91212
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17220
Raw data (stat): 17155 (PBS4) R 17154 20838 20837 0 -1 0 22219 0 0 0 119938 83 0 0 25 0 1 0 512150898 93564928 20718 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22843 20718 231 231 0 22612 0
vsize: 91372
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 17220
Raw data (stat): 17155 (PBS4) Z 17154 20838 20837 0 -1 1036 22219 0 0 0 119938 87 0 0 25 0 1 0 512150898 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.26
CPU user time (s): 1199.38
CPU system time (s): 0.875866
CPU usage (%): 100.018
Max. virtual memory (Kb): 91372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####