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-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
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	28143
Number of constraints which are clauses	28143
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 7890

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-17 17:01:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2904 boxname=wulflinc13 idbench=323 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc13/normalized-frb35-17-5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-frb35-17-5.opb
IDLAUNCH: 2904
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        858264 kB
Buffers:         36608 kB
Cached:         118380 kB
SwapCached:        392 kB
Active:          66244 kB
Inactive:        92020 kB
HighTotal:      131008 kB
HighFree:         8764 kB
LowTotal:       903652 kB
LowFree:        849500 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12616 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:21:27 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2904 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-frb35-17-5.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.97 0.98 0.91 2/54 23958
Raw data (stat): 23958 (runsolver) R 23957 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453937036 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.97 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 2562 0 0 0 993 5 0 0 25 0 1 0 453937036 10960896 2406 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2676 2406 231 231 0 2445 0
vsize: 10704
[startup+20.0001 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 4411 0 0 0 1989 9 0 0 25 0 1 0 453937036 19484672 4255 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 4256 231 231 0 4526 0
vsize: 19028
[startup+30.0005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 6232 0 0 0 2985 14 0 0 25 0 1 0 453937036 37187584 5883 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9079 5883 231 231 0 8848 0
vsize: 36316
[startup+40.0001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 7716 0 0 0 3981 18 0 0 25 0 1 0 453937036 37490688 7367 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9153 7367 231 231 0 8922 0
vsize: 36612
[startup+50.0011 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 9028 0 0 0 4978 21 0 0 25 0 1 0 453937036 37933056 8679 4294967295 134512640 135450300 3221224640 3221223272 135084237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8680 231 231 0 9030 0
vsize: 37044
[startup+60.0004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 10704 0 0 0 5973 26 0 0 25 0 1 0 453937036 72474624 10355 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17694 10355 231 231 0 17463 0
vsize: 70776
[startup+70.0004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 12319 0 0 0 6969 30 0 0 25 0 1 0 453937036 73236480 11970 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17880 11970 231 231 0 17649 0
vsize: 71520
[startup+80.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 13264 0 0 0 7967 33 0 0 25 0 1 0 453937036 73531392 12915 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17952 12915 231 231 0 17721 0
vsize: 71808
[startup+90.0005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 13356 0 0 0 8966 33 0 0 25 0 1 0 453937036 73977856 13007 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18061 13007 231 231 0 17830 0
vsize: 72244
[startup+100.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 13402 0 0 0 9965 34 0 0 25 0 1 0 453937036 74125312 13053 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18097 13053 231 231 0 17866 0
vsize: 72388
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 14201 0 0 0 10964 36 0 0 25 0 1 0 453937036 74551296 13852 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18201 13852 231 231 0 17970 0
vsize: 72804
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 14304 0 0 0 11963 36 0 0 25 0 1 0 453937036 74838016 13955 4294967295 134512640 135450300 3221224640 3221223104 134532859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18271 13955 231 231 0 18040 0
vsize: 73084
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 14439 0 0 0 12963 37 0 0 25 0 1 0 453937036 74985472 14090 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18307 14090 231 231 0 18076 0
vsize: 73228
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 15340 0 0 0 13961 39 0 0 25 0 1 0 453937036 75689984 14991 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18479 14991 231 231 0 18248 0
vsize: 73916
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 15387 0 0 0 14960 40 0 0 25 0 1 0 453937036 75845632 15038 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18517 15038 231 231 0 18286 0
vsize: 74068
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 15464 0 0 0 15960 40 0 0 25 0 1 0 453937036 76140544 15115 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18589 15115 231 231 0 18358 0
vsize: 74356
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16118 0 0 0 16959 42 0 0 25 0 1 0 453937036 76288000 15769 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 15769 231 231 0 18394 0
vsize: 74500
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16211 0 0 0 17959 42 0 0 25 0 1 0 453937036 76566528 15862 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18693 15862 231 231 0 18462 0
vsize: 74772
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16238 0 0 0 18959 42 0 0 25 0 1 0 453937036 76730368 15889 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18733 15889 231 231 0 18502 0
vsize: 74932
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16471 0 0 0 19958 43 0 0 25 0 1 0 453937036 77029376 16122 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18806 16122 231 231 0 18575 0
vsize: 75224
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16850 0 0 0 20956 45 0 0 25 0 1 0 453937036 77520896 16501 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18926 16501 231 231 0 18695 0
vsize: 75704
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16929 0 0 0 21956 45 0 0 25 0 1 0 453937036 77848576 16580 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19006 16580 231 231 0 18775 0
vsize: 76024
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 16948 0 0 0 22956 45 0 0 25 0 1 0 453937036 77848576 16599 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19006 16599 231 231 0 18775 0
vsize: 76024
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17364 0 0 0 23954 47 0 0 25 0 1 0 453937036 78323712 17015 4294967295 134512640 135450300 3221224640 3221223456 134547889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19122 17015 231 231 0 18891 0
vsize: 76488
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17409 0 0 0 24954 48 0 0 25 0 1 0 453937036 78462976 17060 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19156 17060 231 231 0 18925 0
vsize: 76624
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23960
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17431 0 0 0 25954 48 0 0 25 0 1 0 453937036 78462976 17082 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19156 17082 231 231 0 18925 0
vsize: 76624
[startup+270.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17518 0 0 0 26953 49 0 0 25 0 1 0 453937036 78880768 17169 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19258 17169 231 231 0 19027 0
vsize: 77032
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17838 0 0 0 27952 50 0 0 25 0 1 0 453937036 79028224 17489 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19294 17489 231 231 0 19063 0
vsize: 77176
[startup+290.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17876 0 0 0 28951 51 0 0 25 0 1 0 453937036 79192064 17527 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19334 17527 231 231 0 19103 0
vsize: 77336
[startup+300.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 17915 0 0 0 29951 51 0 0 25 0 1 0 453937036 79335424 17566 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19369 17566 231 231 0 19138 0
vsize: 77476
[startup+310.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18109 0 0 0 30951 52 0 0 25 0 1 0 453937036 79335424 17760 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19369 17760 231 231 0 19138 0
vsize: 77476
[startup+320.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18173 0 0 0 31950 53 0 0 25 0 1 0 453937036 79642624 17824 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19444 17824 231 231 0 19213 0
vsize: 77776
[startup+330.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18567 0 0 0 32950 54 0 0 25 0 1 0 453937036 81215488 17833 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19828 17833 231 231 0 19597 0
vsize: 79312
[startup+340.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18615 0 0 0 33950 54 0 0 25 0 1 0 453937036 81367040 17881 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19865 17881 231 231 0 19634 0
vsize: 79460
[startup+350.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18754 0 0 0 34949 54 0 0 25 0 1 0 453937036 81514496 18020 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19901 18020 231 231 0 19670 0
vsize: 79604
[startup+360.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18782 0 0 0 35949 55 0 0 25 0 1 0 453937036 81514496 18048 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19901 18048 231 231 0 19670 0
vsize: 79604
[startup+370.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18840 0 0 0 36948 56 0 0 25 0 1 0 453937036 81809408 18106 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19973 18106 231 231 0 19742 0
vsize: 79892
[startup+380.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18951 0 0 0 37948 56 0 0 25 0 1 0 453937036 81997824 18217 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20019 18217 231 231 0 19788 0
vsize: 80076
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 18987 0 0 0 38948 57 0 0 25 0 1 0 453937036 81997824 18253 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20019 18253 231 231 0 19788 0
vsize: 80076
[startup+400.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19048 0 0 0 39947 58 0 0 25 0 1 0 453937036 82325504 18314 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20099 18314 231 231 0 19868 0
vsize: 80396
[startup+410.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19121 0 0 0 40947 58 0 0 25 0 1 0 453937036 82325504 18387 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20099 18387 231 231 0 19868 0
vsize: 80396
[startup+420.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19160 0 0 0 41946 59 0 0 25 0 1 0 453937036 82481152 18426 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20137 18426 231 231 0 19906 0
vsize: 80548
[startup+430.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19177 0 0 0 42946 59 0 0 25 0 1 0 453937036 82644992 18443 4294967295 134512640 135450300 3221224640 3221223568 134539635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20177 18443 231 231 0 19946 0
vsize: 80708
[startup+440.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19256 0 0 0 43946 59 0 0 25 0 1 0 453937036 82972672 18522 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18522 231 231 0 20026 0
vsize: 81028
[startup+450.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19316 0 0 0 44946 60 0 0 25 0 1 0 453937036 82972672 18582 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20257 18582 231 231 0 20026 0
vsize: 81028
[startup+460.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19343 0 0 0 45946 60 0 0 25 0 1 0 453937036 83136512 18609 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20297 18609 231 231 0 20066 0
vsize: 81188
[startup+470.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19366 0 0 0 46946 60 0 0 25 0 1 0 453937036 83136512 18632 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20297 18632 231 231 0 20066 0
vsize: 81188
[startup+480.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19399 0 0 0 47946 60 0 0 25 0 1 0 453937036 83136512 18665 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20297 18665 231 231 0 20066 0
vsize: 81188
[startup+490.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19467 0 0 0 48946 61 0 0 25 0 1 0 453937036 83300352 18733 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20337 18733 231 231 0 20106 0
vsize: 81348
[startup+500.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19508 0 0 0 49946 61 0 0 25 0 1 0 453937036 83435520 18774 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20370 18774 231 231 0 20139 0
vsize: 81480
[startup+510.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19520 0 0 0 50945 62 0 0 25 0 1 0 453937036 83435520 18786 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20370 18786 231 231 0 20139 0
vsize: 81480
[startup+520.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19550 0 0 0 51945 62 0 0 25 0 1 0 453937036 83611648 18816 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20413 18816 231 231 0 20182 0
vsize: 81652
[startup+530.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19561 0 0 0 52945 62 0 0 25 0 1 0 453937036 83611648 18827 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20413 18827 231 231 0 20182 0
vsize: 81652
[startup+540.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19576 0 0 0 53945 63 0 0 25 0 1 0 453937036 83611648 18842 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20413 18842 231 231 0 20182 0
vsize: 81652
[startup+550.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19593 0 0 0 54945 63 0 0 25 0 1 0 453937036 83611648 18859 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20413 18859 231 231 0 20182 0
vsize: 81652
[startup+560.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19622 0 0 0 55944 64 0 0 25 0 1 0 453937036 83611648 18888 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20413 18888 231 231 0 20182 0
vsize: 81652
[startup+570.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19683 0 0 0 56944 64 0 0 25 0 1 0 453937036 83902464 18949 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20484 18949 231 231 0 20253 0
vsize: 81936
[startup+580.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19701 0 0 0 57944 64 0 0 25 0 1 0 453937036 83902464 18967 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20484 18967 231 231 0 20253 0
vsize: 81936
[startup+590.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19724 0 0 0 58944 65 0 0 25 0 1 0 453937036 84049920 18990 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20520 18990 231 231 0 20289 0
vsize: 82080
[startup+600.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19758 0 0 0 59943 66 0 0 25 0 1 0 453937036 84185088 19024 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20553 19024 231 231 0 20322 0
vsize: 82212
[startup+610.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19778 0 0 0 60943 66 0 0 25 0 1 0 453937036 84185088 19044 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20553 19044 231 231 0 20322 0
vsize: 82212
[startup+620.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19792 0 0 0 61943 66 0 0 25 0 1 0 453937036 84185088 19058 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20553 19058 231 231 0 20322 0
vsize: 82212
[startup+630.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 19844 0 0 0 62943 66 0 0 25 0 1 0 453937036 84357120 19110 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 19110 231 231 0 20364 0
vsize: 82380
[startup+640.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20090 0 0 0 63942 67 0 0 25 0 1 0 453937036 84357120 19356 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 19356 231 231 0 20364 0
vsize: 82380
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20104 0 0 0 64942 67 0 0 25 0 1 0 453937036 84357120 19370 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 19370 231 231 0 20364 0
vsize: 82380
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20115 0 0 0 65942 68 0 0 25 0 1 0 453937036 84357120 19381 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 19381 231 231 0 20364 0
vsize: 82380
[startup+670.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20128 0 0 0 66942 68 0 0 25 0 1 0 453937036 84520960 19394 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19394 231 231 0 20404 0
vsize: 82540
[startup+680.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20157 0 0 0 67942 68 0 0 25 0 1 0 453937036 84520960 19423 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19423 231 231 0 20404 0
vsize: 82540
[startup+690.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20188 0 0 0 68942 68 0 0 25 0 1 0 453937036 84684800 19454 4294967295 134512640 135450300 3221224640 3221223140 134580057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20675 19454 231 231 0 20444 0
vsize: 82700
[startup+700.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20207 0 0 0 69942 69 0 0 25 0 1 0 453937036 84684800 19473 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20675 19473 231 231 0 20444 0
vsize: 82700
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20223 0 0 0 70942 69 0 0 25 0 1 0 453937036 84684800 19489 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20675 19489 231 231 0 20444 0
vsize: 82700
[startup+720.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20267 0 0 0 71941 70 0 0 25 0 1 0 453937036 84967424 19533 4294967295 134512640 135450300 3221224640 3221223360 134535974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20744 19533 231 231 0 20513 0
vsize: 82976
[startup+730.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20289 0 0 0 72941 70 0 0 25 0 1 0 453937036 85114880 19555 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20780 19555 231 231 0 20549 0
vsize: 83120
[startup+740.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20301 0 0 0 73941 70 0 0 25 0 1 0 453937036 85114880 19567 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20780 19567 231 231 0 20549 0
vsize: 83120
[startup+750.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20332 0 0 0 74941 71 0 0 25 0 1 0 453937036 85114880 19598 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20780 19598 231 231 0 20549 0
vsize: 83120
[startup+760.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20380 0 0 0 75941 71 0 0 25 0 1 0 453937036 85483520 19646 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20870 19646 231 231 0 20639 0
vsize: 83480
[startup+770.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20424 0 0 0 76940 72 0 0 25 0 1 0 453937036 85647360 19690 4294967295 134512640 135450300 3221224640 3221223024 134579702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20910 19690 231 231 0 20679 0
vsize: 83640
[startup+780.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20439 0 0 0 77940 72 0 0 25 0 1 0 453937036 85647360 19705 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20910 19705 231 231 0 20679 0
vsize: 83640
[startup+790.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20456 0 0 0 78940 72 0 0 25 0 1 0 453937036 85647360 19722 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20910 19722 231 231 0 20679 0
vsize: 83640
[startup+800.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20485 0 0 0 79940 72 0 0 25 0 1 0 453937036 85647360 19751 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20910 19751 231 231 0 20679 0
vsize: 83640
[startup+810.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20532 0 0 0 80940 72 0 0 25 0 1 0 453937036 86122496 19798 4294967295 134512640 135450300 3221224640 3221223456 134547914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21026 19798 231 231 0 20795 0
vsize: 84104
[startup+820.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20565 0 0 0 81940 73 0 0 25 0 1 0 453937036 86122496 19831 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21026 19831 231 231 0 20795 0
vsize: 84104
[startup+830.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20591 0 0 0 82940 73 0 0 25 0 1 0 453937036 86286336 19857 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21066 19857 231 231 0 20835 0
vsize: 84264
[startup+840.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20620 0 0 0 83939 74 0 0 25 0 1 0 453937036 86286336 19886 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21066 19886 231 231 0 20835 0
vsize: 84264
[startup+850.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20632 0 0 0 84939 74 0 0 25 0 1 0 453937036 86286336 19898 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21066 19898 231 231 0 20835 0
vsize: 84264
[startup+860.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20641 0 0 0 85939 75 0 0 25 0 1 0 453937036 86286336 19907 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21066 19907 231 231 0 20835 0
vsize: 84264
[startup+870.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20657 0 0 0 86939 75 0 0 25 0 1 0 453937036 86540288 19923 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21128 19923 231 231 0 20897 0
vsize: 84512
[startup+880.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20683 0 0 0 87939 75 0 0 25 0 1 0 453937036 86540288 19949 4294967295 134512640 135450300 3221224640 3221223360 134536059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21128 19949 231 231 0 20897 0
vsize: 84512
[startup+890.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20752 0 0 0 88939 76 0 0 25 0 1 0 453937036 86867968 20018 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21208 20018 231 231 0 20977 0
vsize: 84832
[startup+900.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20802 0 0 0 89939 76 0 0 25 0 1 0 453937036 87031808 20068 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21248 20068 231 231 0 21017 0
vsize: 84992
[startup+910.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20904 0 0 0 90938 76 0 0 25 0 1 0 453937036 87556096 20170 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21376 20170 231 231 0 21145 0
vsize: 85504
[startup+920.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20931 0 0 0 91938 76 0 0 25 0 1 0 453937036 87719936 20197 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21416 20197 231 231 0 21185 0
vsize: 85664
[startup+930.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20946 0 0 0 92938 77 0 0 25 0 1 0 453937036 87883776 20212 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21456 20212 231 231 0 21225 0
vsize: 85824
[startup+940.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 20962 0 0 0 93938 77 0 0 25 0 1 0 453937036 87883776 20228 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21456 20228 231 231 0 21225 0
vsize: 85824
[startup+950.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21027 0 0 0 94938 77 0 0 25 0 1 0 453937036 88211456 20293 4294967295 134512640 135450300 3221224640 3221223456 134547873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21536 20293 231 231 0 21305 0
vsize: 86144
[startup+960.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21041 0 0 0 95938 78 0 0 25 0 1 0 453937036 88211456 20307 4294967295 134512640 135450300 3221224640 3221222768 134620385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21536 20307 231 231 0 21305 0
vsize: 86144
[startup+970.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21055 0 0 0 96937 78 0 0 25 0 1 0 453937036 88211456 20321 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21536 20321 231 231 0 21305 0
vsize: 86144
[startup+980.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21076 0 0 0 97937 79 0 0 25 0 1 0 453937036 88375296 20342 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20342 231 231 0 21345 0
vsize: 86304
[startup+990.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21087 0 0 0 98937 79 0 0 25 0 1 0 453937036 88375296 20353 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20353 231 231 0 21345 0
vsize: 86304
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21095 0 0 0 99937 79 0 0 25 0 1 0 453937036 88514560 20361 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21610 20361 231 231 0 21379 0
vsize: 86440
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21116 0 0 0 100937 80 0 0 25 0 1 0 453937036 88514560 20382 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21610 20382 231 231 0 21379 0
vsize: 86440
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21134 0 0 0 101936 80 0 0 25 0 1 0 453937036 88514560 20400 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21610 20400 231 231 0 21379 0
vsize: 86440
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21156 0 0 0 102936 81 0 0 25 0 1 0 453937036 88514560 20422 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21610 20422 231 231 0 21379 0
vsize: 86440
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21168 0 0 0 103936 81 0 0 25 0 1 0 453937036 88514560 20434 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21610 20434 231 231 0 21379 0
vsize: 86440
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21177 0 0 0 104936 81 0 0 25 0 1 0 453937036 88514560 20443 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21610 20443 231 231 0 21379 0
vsize: 86440
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21956 0 0 0 105935 83 0 0 25 0 1 0 453937036 91807744 20453 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22414 20453 231 231 0 22183 0
vsize: 89656
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21971 0 0 0 106935 83 0 0 25 0 1 0 453937036 91971584 20468 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 20468 231 231 0 22223 0
vsize: 89816
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 21981 0 0 0 107935 83 0 0 25 0 1 0 453937036 91971584 20478 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 20478 231 231 0 22223 0
vsize: 89816
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22001 0 0 0 108934 83 0 0 25 0 1 0 453937036 91971584 20498 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 20498 231 231 0 22223 0
vsize: 89816
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22022 0 0 0 109934 84 0 0 25 0 1 0 453937036 91971584 20519 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 20519 231 231 0 22223 0
vsize: 89816
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22045 0 0 0 110935 84 0 0 25 0 1 0 453937036 92135424 20542 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22494 20542 231 231 0 22263 0
vsize: 89976
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22061 0 0 0 111935 84 0 0 25 0 1 0 453937036 92135424 20558 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22494 20558 231 231 0 22263 0
vsize: 89976
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22084 0 0 0 112935 84 0 0 25 0 1 0 453937036 92135424 20581 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22494 20581 231 231 0 22263 0
vsize: 89976
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22101 0 0 0 113935 84 0 0 25 0 1 0 453937036 92295168 20598 4294967295 134512640 135450300 3221224640 3221223360 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20598 231 231 0 22302 0
vsize: 90132
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22113 0 0 0 114935 85 0 0 25 0 1 0 453937036 92295168 20610 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20610 231 231 0 22302 0
vsize: 90132
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22126 0 0 0 115935 85 0 0 25 0 1 0 453937036 92295168 20623 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20623 231 231 0 22302 0
vsize: 90132
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22138 0 0 0 116935 85 0 0 25 0 1 0 453937036 92295168 20635 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20635 231 231 0 22302 0
vsize: 90132
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22152 0 0 0 117935 86 0 0 25 0 1 0 453937036 92295168 20649 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20649 231 231 0 22302 0
vsize: 90132
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22161 0 0 0 118935 86 0 0 25 0 1 0 453937036 92295168 20658 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20658 231 231 0 22302 0
vsize: 90132
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23962
Raw data (stat): 23958 (PBS4) R 23957 30701 30700 0 -1 0 22174 0 0 0 119935 86 0 0 25 0 1 0 453937036 92295168 20671 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22533 20671 231 231 0 22302 0
vsize: 90132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 23962
Raw data (stat): 23958 (PBS4) Z 23957 30701 30700 0 -1 1036 22174 0 0 0 119935 90 0 0 25 0 1 0 453937036 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.05
CPU time (s): 1200.25
CPU user time (s): 1199.35
CPU system time (s): 0.902862
CPU usage (%): 100.017
Max. virtual memory (Kb): 90132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####