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-3.opb
MD5SUM	25457db86ce3cc3b7604dfa37c8096b4
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	27931
Number of constraints which are clauses	27931
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 7888

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-17 16:59:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2886 boxname=wulflinc7 idbench=321 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc7/normalized-frb35-17-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc7/normalized-frb35-17-3.opb
IDLAUNCH: 2886
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        807064 kB
Buffers:         39232 kB
Cached:         167148 kB
SwapCached:          0 kB
Active:         110712 kB
Inactive:        98572 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806812 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12632 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:19:48 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2886 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-frb35-17-3.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/54 15832
Raw data (stat): 15832 (runsolver) R 15831 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453927830 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.0002 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 15832
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 2779 0 0 0 992 6 0 0 25 0 1 0 453927830 19349504 2623 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4724 2623 231 231 0 4493 0
vsize: 18896
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 15832
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 4145 0 0 0 1988 10 0 0 25 0 1 0 453927830 19484672 3989 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4757 3989 231 231 0 4526 0
vsize: 19028
[startup+30.0012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/58 15875
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 5658 0 0 0 2983 16 0 0 25 0 1 0 453927830 36401152 5502 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8887 5502 231 231 0 8656 0
vsize: 35548
[startup+40.0021 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 7115 0 0 0 3979 20 0 0 25 0 1 0 453927830 37326848 6766 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9113 6766 231 231 0 8882 0
vsize: 36452
[startup+50.0024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 8002 0 0 0 4978 22 0 0 25 0 1 0 453927830 37466112 7653 4294967295 134512640 135450300 3221224640 3221223472 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9147 7653 231 231 0 8916 0
vsize: 36588
[startup+60.0023 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 9090 0 0 0 5975 25 0 0 25 0 1 0 453927830 37908480 8741 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9255 8742 231 231 0 9024 0
vsize: 37020
[startup+70.0029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 9985 0 0 0 6972 28 0 0 25 0 1 0 453927830 72609792 9636 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17727 9636 231 231 0 17496 0
vsize: 70908
[startup+80.0033 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 11431 0 0 0 7969 31 0 0 25 0 1 0 453927830 73854976 11082 4294967295 134512640 135450300 3221224640 3221223116 134572571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18031 11082 231 231 0 17800 0
vsize: 72124
[startup+90.0039 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 12392 0 0 0 8967 33 0 0 25 0 1 0 453927830 74002432 12043 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18067 12043 231 231 0 17836 0
vsize: 72268
[startup+100.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15885
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 12433 0 0 0 9967 33 0 0 25 0 1 0 453927830 74133504 12084 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18099 12084 231 231 0 17868 0
vsize: 72396
[startup+110.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 13409 0 0 0 10964 37 0 0 25 0 1 0 453927830 74399744 13060 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18164 13060 231 231 0 17933 0
vsize: 72656
[startup+120.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 14276 0 0 0 11962 39 0 0 25 0 1 0 453927830 74674176 13927 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18231 13927 231 231 0 18000 0
vsize: 72924
[startup+130.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 14359 0 0 0 12961 40 0 0 25 0 1 0 453927830 74973184 14010 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18304 14010 231 231 0 18073 0
vsize: 73216
[startup+140.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 14732 0 0 0 13960 41 0 0 25 0 1 0 453927830 75694080 14383 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18480 14383 231 231 0 18249 0
vsize: 73920
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 15415 0 0 0 14959 42 0 0 25 0 1 0 453927830 75833344 15066 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18514 15066 231 231 0 18283 0
vsize: 74056
[startup+160.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 15479 0 0 0 15959 42 0 0 25 0 1 0 453927830 76128256 15130 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 15130 231 231 0 18355 0
vsize: 74344
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 15526 0 0 0 16959 43 0 0 25 0 1 0 453927830 76423168 15177 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18658 15177 231 231 0 18427 0
vsize: 74632
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 16289 0 0 0 17957 45 0 0 25 0 1 0 453927830 77012992 15940 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18802 15940 231 231 0 18571 0
vsize: 75208
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 16317 0 0 0 18957 45 0 0 25 0 1 0 453927830 77012992 15968 4294967295 134512640 135450300 3221224640 3221223360 134598308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18802 15968 231 231 0 18571 0
vsize: 75208
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 16439 0 0 0 19956 46 0 0 25 0 1 0 453927830 77582336 16090 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18941 16090 231 231 0 18710 0
vsize: 75764
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 16474 0 0 0 20956 47 0 0 25 0 1 0 453927830 77729792 16125 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18977 16125 231 231 0 18746 0
vsize: 75908
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 16512 0 0 0 21956 47 0 0 25 0 1 0 453927830 77873152 16163 4294967295 134512640 135450300 3221224640 3221223144 134571797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19012 16163 231 231 0 18781 0
vsize: 76048
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 16539 0 0 0 22956 47 0 0 25 0 1 0 453927830 78020608 16190 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19048 16190 231 231 0 18817 0
vsize: 76192
[startup+240.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17119 0 0 0 23954 49 0 0 25 0 1 0 453927830 78168064 16770 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19084 16770 231 231 0 18853 0
vsize: 76336
[startup+250.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17364 0 0 0 24953 50 0 0 25 0 1 0 453927830 78315520 17015 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19120 17015 231 231 0 18889 0
vsize: 76480
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17445 0 0 0 25953 51 0 0 25 0 1 0 453927830 78737408 17096 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19223 17096 231 231 0 18992 0
vsize: 76892
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17475 0 0 0 26952 51 0 0 25 0 1 0 453927830 78901248 17126 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19263 17126 231 231 0 19032 0
vsize: 77052
[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17635 0 0 0 27952 52 0 0 25 0 1 0 453927830 79065088 17286 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19303 17286 231 231 0 19072 0
vsize: 77212
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17786 0 0 0 28952 52 0 0 25 0 1 0 453927830 79065088 17437 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19303 17437 231 231 0 19072 0
vsize: 77212
[startup+300.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17841 0 0 0 29952 53 0 0 25 0 1 0 453927830 79372288 17492 4294967295 134512640 135450300 3221224640 3221223068 134579206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19378 17492 231 231 0 19147 0
vsize: 77512
[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 17913 0 0 0 30951 53 0 0 25 0 1 0 453927830 79691776 17564 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19456 17564 231 231 0 19225 0
vsize: 77824
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18123 0 0 0 31951 54 0 0 25 0 1 0 453927830 79855616 17774 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19496 17774 231 231 0 19265 0
vsize: 77984
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18140 0 0 0 32950 54 0 0 25 0 1 0 453927830 79998976 17791 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19531 17791 231 231 0 19300 0
vsize: 78124
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18190 0 0 0 33950 55 0 0 25 0 1 0 453927830 80162816 17841 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19571 17841 231 231 0 19340 0
vsize: 78284
[startup+350.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18734 0 0 0 34949 56 0 0 25 0 1 0 453927830 81735680 18000 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19955 18000 231 231 0 19724 0
vsize: 79820
[startup+360.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15887
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18799 0 0 0 35949 56 0 0 25 0 1 0 453927830 82030592 18065 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20027 18065 231 231 0 19796 0
vsize: 80108
[startup+370.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18843 0 0 0 36948 57 0 0 25 0 1 0 453927830 82341888 18109 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20103 18109 231 231 0 19872 0
vsize: 80412
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 18891 0 0 0 37948 58 0 0 25 0 1 0 453927830 82505728 18157 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20143 18157 231 231 0 19912 0
vsize: 80572
[startup+390.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19004 0 0 0 38947 58 0 0 25 0 1 0 453927830 82505728 18270 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20143 18270 231 231 0 19912 0
vsize: 80572
[startup+400.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19031 0 0 0 39947 58 0 0 25 0 1 0 453927830 82644992 18297 4294967295 134512640 135450300 3221224640 3221223168 134544995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20177 18297 231 231 0 19946 0
vsize: 80708
[startup+410.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19053 0 0 0 40947 59 0 0 25 0 1 0 453927830 82817024 18319 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20219 18319 231 231 0 19988 0
vsize: 80876
[startup+420.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19144 0 0 0 41946 60 0 0 25 0 1 0 453927830 82817024 18410 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20219 18410 231 231 0 19988 0
vsize: 80876
[startup+430.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19194 0 0 0 42946 60 0 0 25 0 1 0 453927830 82980864 18460 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20259 18460 231 231 0 20028 0
vsize: 81036
[startup+440.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19227 0 0 0 43946 61 0 0 25 0 1 0 453927830 83169280 18493 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20305 18493 231 231 0 20074 0
vsize: 81220
[startup+450.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19250 0 0 0 44946 61 0 0 25 0 1 0 453927830 83320832 18516 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20342 18516 231 231 0 20111 0
vsize: 81368
[startup+460.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19311 0 0 0 45945 62 0 0 25 0 1 0 453927830 83320832 18577 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20342 18577 231 231 0 20111 0
vsize: 81368
[startup+470.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19326 0 0 0 46945 62 0 0 25 0 1 0 453927830 83480576 18592 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20381 18592 231 231 0 20150 0
vsize: 81524
[startup+480.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19365 0 0 0 47946 62 0 0 25 0 1 0 453927830 83480576 18631 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20381 18631 231 231 0 20150 0
vsize: 81524
[startup+490.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19424 0 0 0 48945 62 0 0 25 0 1 0 453927830 83644416 18690 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20421 18690 231 231 0 20190 0
vsize: 81684
[startup+500.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19479 0 0 0 49945 63 0 0 25 0 1 0 453927830 83959808 18745 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20498 18745 231 231 0 20267 0
vsize: 81992
[startup+510.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19505 0 0 0 50945 63 0 0 25 0 1 0 453927830 83959808 18771 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20498 18771 231 231 0 20267 0
vsize: 81992
[startup+520.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19540 0 0 0 51945 64 0 0 25 0 1 0 453927830 84107264 18806 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20534 18806 231 231 0 20303 0
vsize: 82136
[startup+530.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19622 0 0 0 52945 64 0 0 25 0 1 0 453927830 84426752 18888 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20612 18888 231 231 0 20381 0
vsize: 82448
[startup+540.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19655 0 0 0 53944 64 0 0 25 0 1 0 453927830 84590592 18921 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20652 18921 231 231 0 20421 0
vsize: 82608
[startup+550.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19670 0 0 0 54945 64 0 0 25 0 1 0 453927830 84799488 18936 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 18936 231 231 0 20472 0
vsize: 82812
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19722 0 0 0 55944 64 0 0 25 0 1 0 453927830 84799488 18988 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 18988 231 231 0 20472 0
vsize: 82812
[startup+570.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19741 0 0 0 56944 65 0 0 25 0 1 0 453927830 84799488 19007 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 19007 231 231 0 20472 0
vsize: 82812
[startup+580.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19776 0 0 0 57944 65 0 0 25 0 1 0 453927830 84963328 19042 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20743 19042 231 231 0 20512 0
vsize: 82972
[startup+590.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19799 0 0 0 58944 65 0 0 25 0 1 0 453927830 85110784 19065 4294967295 134512640 135450300 3221224640 3221223168 134544635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20779 19065 231 231 0 20548 0
vsize: 83116
[startup+600.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19834 0 0 0 59944 66 0 0 25 0 1 0 453927830 85110784 19100 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20779 19100 231 231 0 20548 0
vsize: 83116
[startup+610.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19849 0 0 0 60944 66 0 0 25 0 1 0 453927830 85274624 19115 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20819 19115 231 231 0 20588 0
vsize: 83276
[startup+620.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19913 0 0 0 61943 67 0 0 25 0 1 0 453927830 85626880 19179 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20905 19179 231 231 0 20674 0
vsize: 83620
[startup+630.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19940 0 0 0 62943 67 0 0 25 0 1 0 453927830 85626880 19206 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20905 19206 231 231 0 20674 0
vsize: 83620
[startup+640.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 19972 0 0 0 63943 68 0 0 25 0 1 0 453927830 85823488 19238 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20953 19238 231 231 0 20722 0
vsize: 83812
[startup+650.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20040 0 0 0 64942 69 0 0 25 0 1 0 453927830 86020096 19306 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21001 19306 231 231 0 20770 0
vsize: 84004
[startup+660.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20053 0 0 0 65942 69 0 0 25 0 1 0 453927830 86245376 19319 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19319 231 231 0 20825 0
vsize: 84224
[startup+670.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20064 0 0 0 66942 69 0 0 25 0 1 0 453927830 86245376 19330 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19330 231 231 0 20825 0
vsize: 84224
[startup+680.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20083 0 0 0 67941 70 0 0 25 0 1 0 453927830 86245376 19349 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19349 231 231 0 20825 0
vsize: 84224
[startup+690.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20095 0 0 0 68941 70 0 0 25 0 1 0 453927830 86245376 19361 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19361 231 231 0 20825 0
vsize: 84224
[startup+700.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20106 0 0 0 69941 70 0 0 25 0 1 0 453927830 86245376 19372 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19372 231 231 0 20825 0
vsize: 84224
[startup+710.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20125 0 0 0 70941 71 0 0 25 0 1 0 453927830 86245376 19391 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19391 231 231 0 20825 0
vsize: 84224
[startup+720.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20132 0 0 0 71941 71 0 0 25 0 1 0 453927830 86245376 19398 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19398 231 231 0 20825 0
vsize: 84224
[startup+730.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20151 0 0 0 72941 71 0 0 25 0 1 0 453927830 86245376 19417 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19417 231 231 0 20825 0
vsize: 84224
[startup+740.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20167 0 0 0 73940 72 0 0 25 0 1 0 453927830 86409216 19433 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21096 19433 231 231 0 20865 0
vsize: 84384
[startup+750.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20193 0 0 0 74940 72 0 0 25 0 1 0 453927830 86409216 19459 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21096 19459 231 231 0 20865 0
vsize: 84384
[startup+760.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20219 0 0 0 75940 72 0 0 25 0 1 0 453927830 86642688 19485 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21153 19485 231 231 0 20922 0
vsize: 84612
[startup+770.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20249 0 0 0 76940 73 0 0 25 0 1 0 453927830 86777856 19515 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21186 19515 231 231 0 20955 0
vsize: 84744
[startup+780.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20264 0 0 0 77940 73 0 0 25 0 1 0 453927830 86777856 19530 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21186 19530 231 231 0 20955 0
vsize: 84744
[startup+790.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20278 0 0 0 78940 73 0 0 25 0 1 0 453927830 86777856 19544 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21186 19544 231 231 0 20955 0
vsize: 84744
[startup+800.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20300 0 0 0 79940 74 0 0 25 0 1 0 453927830 86777856 19566 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21186 19566 231 231 0 20955 0
vsize: 84744
[startup+810.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20317 0 0 0 80940 74 0 0 25 0 1 0 453927830 87019520 19583 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21245 19583 231 231 0 21014 0
vsize: 84980
[startup+820.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20330 0 0 0 81940 74 0 0 25 0 1 0 453927830 87019520 19596 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21245 19596 231 231 0 21014 0
vsize: 84980
[startup+830.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20360 0 0 0 82940 74 0 0 25 0 1 0 453927830 87019520 19626 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21245 19626 231 231 0 21014 0
vsize: 84980
[startup+840.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20391 0 0 0 83940 74 0 0 25 0 1 0 453927830 87166976 19657 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21281 19657 231 231 0 21050 0
vsize: 85124
[startup+850.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20417 0 0 0 84940 74 0 0 25 0 1 0 453927830 87166976 19683 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21281 19683 231 231 0 21050 0
vsize: 85124
[startup+860.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20465 0 0 0 85940 75 0 0 25 0 1 0 453927830 87547904 19731 4294967295 134512640 135450300 3221224640 3221223104 134532920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21374 19731 231 231 0 21143 0
vsize: 85496
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20483 0 0 0 86939 75 0 0 25 0 1 0 453927830 87547904 19749 4294967295 134512640 135450300 3221224640 3221223552 134597058 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21374 19749 231 231 0 21143 0
vsize: 85496
[startup+880.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20507 0 0 0 87939 75 0 0 25 0 1 0 453927830 87547904 19773 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21374 19773 231 231 0 21143 0
vsize: 85496
[startup+890.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20524 0 0 0 88939 76 0 0 25 0 1 0 453927830 87711744 19790 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21414 19790 231 231 0 21183 0
vsize: 85656
[startup+900.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20538 0 0 0 89939 76 0 0 25 0 1 0 453927830 87711744 19804 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21414 19804 231 231 0 21183 0
vsize: 85656
[startup+910.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20557 0 0 0 90939 76 0 0 25 0 1 0 453927830 87711744 19823 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21414 19823 231 231 0 21183 0
vsize: 85656
[startup+920.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20577 0 0 0 91939 77 0 0 25 0 1 0 453927830 87871488 19843 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21453 19843 231 231 0 21222 0
vsize: 85812
[startup+930.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20595 0 0 0 92939 77 0 0 25 0 1 0 453927830 87871488 19861 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21453 19861 231 231 0 21222 0
vsize: 85812
[startup+940.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20619 0 0 0 93939 77 0 0 25 0 1 0 453927830 87871488 19885 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21453 19885 231 231 0 21222 0
vsize: 85812
[startup+950.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20649 0 0 0 94939 77 0 0 25 0 1 0 453927830 88035328 19915 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21493 19915 231 231 0 21262 0
vsize: 85972
[startup+960.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20674 0 0 0 95939 78 0 0 25 0 1 0 453927830 88035328 19940 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21493 19940 231 231 0 21262 0
vsize: 85972
[startup+970.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20683 0 0 0 96939 78 0 0 25 0 1 0 453927830 88170496 19949 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21526 19949 231 231 0 21295 0
vsize: 86104
[startup+980.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20703 0 0 0 97938 78 0 0 25 0 1 0 453927830 88334336 19969 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21566 19969 231 231 0 21335 0
vsize: 86264
[startup+990.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20736 0 0 0 98938 78 0 0 25 0 1 0 453927830 88334336 20002 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21566 20002 231 231 0 21335 0
vsize: 86264
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20747 0 0 0 99938 79 0 0 25 0 1 0 453927830 88334336 20013 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21566 20013 231 231 0 21335 0
vsize: 86264
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20763 0 0 0 100938 79 0 0 25 0 1 0 453927830 88498176 20029 4294967295 134512640 135450300 3221224640 3221223456 134537242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21606 20029 231 231 0 21375 0
vsize: 86424
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20783 0 0 0 101938 80 0 0 25 0 1 0 453927830 88498176 20049 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21606 20049 231 231 0 21375 0
vsize: 86424
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20794 0 0 0 102938 80 0 0 25 0 1 0 453927830 88641536 20060 4294967295 134512640 135450300 3221224640 3221223024 134579589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21641 20060 231 231 0 21410 0
vsize: 86564
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20804 0 0 0 103938 80 0 0 25 0 1 0 453927830 88641536 20070 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21641 20070 231 231 0 21410 0
vsize: 86564
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 20828 0 0 0 104938 80 0 0 25 0 1 0 453927830 88641536 20094 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21641 20094 231 231 0 21410 0
vsize: 86564
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21607 0 0 0 105936 82 0 0 25 0 1 0 453927830 91787264 20104 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22409 20104 231 231 0 22178 0
vsize: 89636
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21615 0 0 0 106936 83 0 0 25 0 1 0 453927830 91787264 20112 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22409 20112 231 231 0 22178 0
vsize: 89636
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21626 0 0 0 107936 83 0 0 25 0 1 0 453927830 91787264 20123 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22409 20123 231 231 0 22178 0
vsize: 89636
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21645 0 0 0 108936 83 0 0 25 0 1 0 453927830 91787264 20142 4294967295 134512640 135450300 3221224640 3221223376 134538501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22409 20142 231 231 0 22178 0
vsize: 89636
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21655 0 0 0 109936 83 0 0 25 0 1 0 453927830 91938816 20152 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22446 20152 231 231 0 22215 0
vsize: 89784
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21664 0 0 0 110936 83 0 0 25 0 1 0 453927830 91938816 20161 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22446 20161 231 231 0 22215 0
vsize: 89784
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21678 0 0 0 111936 84 0 0 25 0 1 0 453927830 91938816 20175 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22446 20175 231 231 0 22215 0
vsize: 89784
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21687 0 0 0 112936 84 0 0 25 0 1 0 453927830 91938816 20184 4294967295 134512640 135450300 3221224640 3221223168 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22446 20184 231 231 0 22215 0
vsize: 89784
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21702 0 0 0 113936 84 0 0 25 0 1 0 453927830 92102656 20199 4294967295 134512640 135450300 3221224640 3221223456 134547900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 20199 231 231 0 22255 0
vsize: 89944
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21716 0 0 0 114935 85 0 0 25 0 1 0 453927830 92102656 20213 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 20213 231 231 0 22255 0
vsize: 89944
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21735 0 0 0 115935 85 0 0 25 0 1 0 453927830 92102656 20232 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 20232 231 231 0 22255 0
vsize: 89944
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21745 0 0 0 116935 85 0 0 25 0 1 0 453927830 92266496 20242 4294967295 134512640 135450300 3221224640 3221223104 134532784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22526 20242 231 231 0 22295 0
vsize: 90104
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21754 0 0 0 117935 85 0 0 25 0 1 0 453927830 92266496 20251 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22526 20251 231 231 0 22295 0
vsize: 90104
[startup+1190 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21763 0 0 0 118935 86 0 0 25 0 1 0 453927830 92266496 20260 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22526 20260 231 231 0 22295 0
vsize: 90104
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15889
Raw data (stat): 15832 (PBS4) R 15831 22932 22931 0 -1 0 21771 0 0 0 119935 86 0 0 25 0 1 0 453927830 92266496 20268 4294967295 134512640 135450300 3221224640 3221223456 134546494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22526 20268 231 231 0 22295 0
vsize: 90104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 15889
Raw data (stat): 15832 (PBS4) Z 15831 22932 22931 0 -1 1036 21771 0 0 0 119935 90 0 0 25 0 1 0 453927830 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.04
CPU time (s): 1200.26
CPU user time (s): 1199.35
CPU system time (s): 0.905862
CPU usage (%): 100.018
Max. virtual memory (Kb): 90104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####