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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUMeedeccaceaf05a0e4d919e4f9df619c0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -38
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.11
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 7921

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-17 17:19:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3084 boxname=wulflinc1 idbench=343 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  eedeccaceaf05a0e4d919e4f9df619c0  /oldhome/oroussel/tmp/wulflinc1/normalized-frb53-24-5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-frb53-24-5.opb
IDLAUNCH: 3084
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        796600 kB
Buffers:         42740 kB
Cached:         169216 kB
SwapCached:          0 kB
Active:         126136 kB
Inactive:        88936 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        796348 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           7212 kB
Slab:            17256 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:39:31 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 3084 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-frb53-24-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.92 0.95 0.90 2/56 14439
Raw data (stat): 14439 (runsolver) R 14438 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 397186646 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/56 14439
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 4483 0 0 0 987 12 0 0 25 0 1 0 397186646 22941696 3750 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5601 3750 231 231 0 5370 0
vsize: 22404
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 14439
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 6352 0 0 0 1982 17 0 0 25 0 1 0 397186646 39718912 5619 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 5619 231 231 0 9466 0
vsize: 38788
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 14439
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 8593 0 0 0 2976 23 0 0 25 0 1 0 397186646 39718912 7860 4294967295 134512640 135450300 3221224640 3221223472 134549475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 7860 231 231 0 9466 0
vsize: 38788
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 14439
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 9982 0 0 0 3973 27 0 0 25 0 1 0 397186646 39858176 9249 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9731 9249 231 231 0 9500 0
vsize: 38924
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 14439
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 11789 0 0 0 4969 31 0 0 25 0 1 0 397186646 73547776 11056 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17956 11056 231 231 0 17725 0
vsize: 71824
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 14439
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 13513 0 0 0 5964 36 0 0 25 0 1 0 397186646 73547776 12780 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17956 12780 231 231 0 17725 0
vsize: 71824
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 14863 0 0 0 6959 41 0 0 25 0 1 0 397186646 73687040 14130 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 14130 231 231 0 17759 0
vsize: 71960
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 16303 0 0 0 7956 45 0 0 25 0 1 0 397186646 73834496 15570 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18026 15570 231 231 0 17795 0
vsize: 72104
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 17964 0 0 0 8951 49 0 0 25 0 1 0 397186646 73834496 17231 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18026 17231 231 231 0 17795 0
vsize: 72104
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 19549 0 0 0 9949 52 0 0 25 0 1 0 397186646 140943360 18816 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34410 18816 231 231 0 34179 0
vsize: 137640
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 21140 0 0 0 10945 56 0 0 25 0 1 0 397186646 141697024 20407 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34594 20407 231 231 0 34363 0
vsize: 138376
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 22857 0 0 0 11942 59 0 0 25 0 1 0 397186646 142319616 22124 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34746 22124 231 231 0 34515 0
vsize: 138984
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 23239 0 0 0 12941 60 0 0 25 0 1 0 397186646 142479360 22506 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34785 22506 231 231 0 34554 0
vsize: 139140
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 23390 0 0 0 13940 61 0 0 25 0 1 0 397186646 143396864 22657 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35009 22657 231 231 0 34778 0
vsize: 140036
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 24439 0 0 0 14938 63 0 0 25 0 1 0 397186646 143540224 23706 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35044 23706 231 231 0 34813 0
vsize: 140176
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26103 0 0 0 15935 67 0 0 25 0 1 0 397186646 143683584 25370 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35079 25370 231 231 0 34848 0
vsize: 140316
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26170 0 0 0 16934 67 0 0 25 0 1 0 397186646 144105472 25437 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35182 25437 231 231 0 34951 0
vsize: 140728
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26236 0 0 0 17933 68 0 0 25 0 1 0 397186646 144244736 25503 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35216 25503 231 231 0 34985 0
vsize: 140864
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26271 0 0 0 18933 68 0 0 25 0 1 0 397186646 144408576 25538 4294967295 134512640 135450300 3221224640 3221223376 134538607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35256 25538 231 231 0 35025 0
vsize: 141024
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 27536 0 0 0 19930 71 0 0 25 0 1 0 397186646 144408576 26803 4294967295 134512640 135450300 3221224640 3221223132 134579990 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35256 26803 231 231 0 35025 0
vsize: 141024
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 28944 0 0 0 20927 75 0 0 25 0 1 0 397186646 144674816 28211 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35321 28211 231 231 0 35090 0
vsize: 141284
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 30138 0 0 0 21925 77 0 0 25 0 1 0 397186646 144822272 29405 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35357 29405 231 231 0 35126 0
vsize: 141428
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31079 0 0 0 22924 79 0 0 25 0 1 0 397186646 145080320 30346 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35420 30346 231 231 0 35189 0
vsize: 141680
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31099 0 0 0 23923 79 0 0 25 0 1 0 397186646 145080320 30366 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35420 30366 231 231 0 35189 0
vsize: 141680
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31132 0 0 0 24923 80 0 0 25 0 1 0 397186646 145215488 30399 4294967295 134512640 135450300 3221224640 3221223432 134523537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 30399 231 231 0 35222 0
vsize: 141812
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31189 0 0 0 25922 80 0 0 25 0 1 0 397186646 145477632 30456 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35517 30456 231 231 0 35286 0
vsize: 142068
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31219 0 0 0 26922 81 0 0 25 0 1 0 397186646 145641472 30486 4294967295 134512640 135450300 3221224640 3221223168 134544130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35557 30486 231 231 0 35326 0
vsize: 142228
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31230 0 0 0 27922 81 0 0 25 0 1 0 397186646 145641472 30497 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35557 30497 231 231 0 35326 0
vsize: 142228
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 32635 0 0 0 28919 84 0 0 25 0 1 0 397186646 146067456 31902 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35661 31902 231 231 0 35430 0
vsize: 142644
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33042 0 0 0 29918 85 0 0 25 0 1 0 397186646 146509824 32309 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35769 32309 231 231 0 35538 0
vsize: 143076
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33066 0 0 0 30918 85 0 0 25 0 1 0 397186646 146673664 32333 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35809 32333 231 231 0 35578 0
vsize: 143236
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33103 0 0 0 31918 85 0 0 25 0 1 0 397186646 146837504 32370 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35849 32370 231 231 0 35618 0
vsize: 143396
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33176 0 0 0 32918 86 0 0 25 0 1 0 397186646 147144704 32443 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35924 32443 231 231 0 35693 0
vsize: 143696
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33273 0 0 0 33917 87 0 0 25 0 1 0 397186646 147570688 32540 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36028 32540 231 231 0 35797 0
vsize: 144112
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33276 0 0 0 34917 87 0 0 25 0 1 0 397186646 147570688 32543 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36028 32543 231 231 0 35797 0
vsize: 144112
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14441
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33803 0 0 0 35916 88 0 0 25 0 1 0 397186646 147705856 33070 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36061 33070 231 231 0 35830 0
vsize: 144244
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34501 0 0 0 36915 89 0 0 25 0 1 0 397186646 147705856 33768 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36061 33768 231 231 0 35830 0
vsize: 144244
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34543 0 0 0 37914 90 0 0 25 0 1 0 397186646 147841024 33810 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36094 33810 231 231 0 35863 0
vsize: 144376
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34584 0 0 0 38914 90 0 0 25 0 1 0 397186646 147980288 33851 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36128 33851 231 231 0 35897 0
vsize: 144512
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34621 0 0 0 39914 91 0 0 25 0 1 0 397186646 148127744 33888 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36164 33888 231 231 0 35933 0
vsize: 144656
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34660 0 0 0 40914 91 0 0 25 0 1 0 397186646 148267008 33927 4294967295 134512640 135450300 3221224640 3221223116 134571599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36198 33927 231 231 0 35967 0
vsize: 144792
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34663 0 0 0 41914 91 0 0 25 0 1 0 397186646 148267008 33930 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36198 33930 231 231 0 35967 0
vsize: 144792
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34737 0 0 0 42914 91 0 0 25 0 1 0 397186646 148553728 34004 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36268 34004 231 231 0 36037 0
vsize: 145072
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35649 0 0 0 43913 93 0 0 25 0 1 0 397186646 148701184 34916 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36304 34916 231 231 0 36073 0
vsize: 145216
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35695 0 0 0 44912 93 0 0 25 0 1 0 397186646 148865024 34962 4294967295 134512640 135450300 3221224640 3221223456 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36344 34962 231 231 0 36113 0
vsize: 145376
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35796 0 0 0 45912 94 0 0 25 0 1 0 397186646 149508096 35063 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36501 35063 231 231 0 36270 0
vsize: 146004
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35865 0 0 0 46912 94 0 0 25 0 1 0 397186646 149815296 35132 4294967295 134512640 135450300 3221224640 3221223376 134538472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36576 35132 231 231 0 36345 0
vsize: 146304
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35869 0 0 0 47912 94 0 0 25 0 1 0 397186646 149815296 35136 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36576 35136 231 231 0 36345 0
vsize: 146304
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35922 0 0 0 48912 94 0 0 25 0 1 0 397186646 149962752 35189 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36612 35189 231 231 0 36381 0
vsize: 146448
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35971 0 0 0 49912 94 0 0 25 0 1 0 397186646 150126592 35238 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36652 35238 231 231 0 36421 0
vsize: 146608
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36650 0 0 0 50911 96 0 0 25 0 1 0 397186646 150126592 35917 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36652 35917 231 231 0 36421 0
vsize: 146608
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36700 0 0 0 51911 96 0 0 25 0 1 0 397186646 150405120 35967 4294967295 134512640 135450300 3221224640 3221223456 134547906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36720 35967 231 231 0 36489 0
vsize: 146880
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36741 0 0 0 52911 96 0 0 25 0 1 0 397186646 150568960 36008 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36760 36008 231 231 0 36529 0
vsize: 147040
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36765 0 0 0 53911 96 0 0 25 0 1 0 397186646 150720512 36032 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36797 36032 231 231 0 36566 0
vsize: 147188
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36797 0 0 0 54911 97 0 0 25 0 1 0 397186646 150859776 36064 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36831 36064 231 231 0 36600 0
vsize: 147324
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36828 0 0 0 55911 97 0 0 25 0 1 0 397186646 150859776 36095 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36831 36095 231 231 0 36600 0
vsize: 147324
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36865 0 0 0 56910 97 0 0 25 0 1 0 397186646 150999040 36132 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36865 36132 231 231 0 36634 0
vsize: 147460
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37323 0 0 0 57910 98 0 0 25 0 1 0 397186646 285216768 36590 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69633 36590 231 231 0 69402 0
vsize: 278532
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37373 0 0 0 58910 98 0 0 25 0 1 0 397186646 285503488 36640 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69703 36640 231 231 0 69472 0
vsize: 278812
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37408 0 0 0 59910 99 0 0 25 0 1 0 397186646 285667328 36675 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69743 36675 231 231 0 69512 0
vsize: 278972
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37438 0 0 0 60909 99 0 0 25 0 1 0 397186646 285667328 36705 4294967295 134512640 135450300 3221224640 3221223024 134579548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69743 36705 231 231 0 69512 0
vsize: 278972
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37442 0 0 0 61909 100 0 0 25 0 1 0 397186646 285667328 36709 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69743 36709 231 231 0 69512 0
vsize: 278972
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37466 0 0 0 62909 100 0 0 25 0 1 0 397186646 285814784 36733 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69779 36733 231 231 0 69548 0
vsize: 279116
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37479 0 0 0 63909 100 0 0 25 0 1 0 397186646 285814784 36746 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69779 36746 231 231 0 69548 0
vsize: 279116
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37833 0 0 0 64908 101 0 0 25 0 1 0 397186646 285962240 37100 4294967295 134512640 135450300 3221224640 3221223168 134543751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69815 37100 231 231 0 69584 0
vsize: 279260
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14443
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37844 0 0 0 65908 101 0 0 25 0 1 0 397186646 285962240 37111 4294967295 134512640 135450300 3221224640 3221223168 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69815 37111 231 231 0 69584 0
vsize: 279260
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37862 0 0 0 66908 101 0 0 25 0 1 0 397186646 286113792 37129 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69852 37129 231 231 0 69621 0
vsize: 279408
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37900 0 0 0 67908 102 0 0 25 0 1 0 397186646 286113792 37167 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69852 37167 231 231 0 69621 0
vsize: 279408
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 38671 0 0 0 68906 103 0 0 25 0 1 0 397186646 289259520 37169 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70620 37169 231 231 0 70389 0
vsize: 282480
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 38699 0 0 0 69906 104 0 0 25 0 1 0 397186646 289390592 37197 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70652 37197 231 231 0 70421 0
vsize: 282608
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 38765 0 0 0 70905 104 0 0 25 0 1 0 397186646 289677312 37263 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70722 37263 231 231 0 70491 0
vsize: 282888
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39059 0 0 0 71904 106 0 0 25 0 1 0 397186646 289841152 37557 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70762 37557 231 231 0 70531 0
vsize: 283048
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39062 0 0 0 72904 106 0 0 25 0 1 0 397186646 289841152 37560 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70762 37560 231 231 0 70531 0
vsize: 283048
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39084 0 0 0 73904 106 0 0 25 0 1 0 397186646 290004992 37582 4294967295 134512640 135450300 3221224640 3221223376 134538607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70802 37582 231 231 0 70571 0
vsize: 283208
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39132 0 0 0 74903 107 0 0 25 0 1 0 397186646 290152448 37630 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70838 37630 231 231 0 70607 0
vsize: 283352
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39162 0 0 0 75903 107 0 0 25 0 1 0 397186646 290316288 37660 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70878 37660 231 231 0 70647 0
vsize: 283512
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39165 0 0 0 76903 107 0 0 25 0 1 0 397186646 290316288 37663 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70878 37663 231 231 0 70647 0
vsize: 283512
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39194 0 0 0 77903 107 0 0 25 0 1 0 397186646 290459648 37692 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70913 37692 231 231 0 70682 0
vsize: 283652
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39383 0 0 0 78903 108 0 0 25 0 1 0 397186646 290459648 37881 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70913 37881 231 231 0 70682 0
vsize: 283652
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39392 0 0 0 79903 108 0 0 25 0 1 0 397186646 290619392 37890 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70952 37890 231 231 0 70721 0
vsize: 283808
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39404 0 0 0 80903 108 0 0 25 0 1 0 397186646 290619392 37902 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70952 37902 231 231 0 70721 0
vsize: 283808
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39416 0 0 0 81903 109 0 0 25 0 1 0 397186646 290619392 37914 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70952 37914 231 231 0 70721 0
vsize: 283808
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39441 0 0 0 82903 109 0 0 25 0 1 0 397186646 290619392 37939 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70952 37939 231 231 0 70721 0
vsize: 283808
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39465 0 0 0 83903 109 0 0 25 0 1 0 397186646 290758656 37963 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70986 37963 231 231 0 70755 0
vsize: 283944
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39487 0 0 0 84902 109 0 0 25 0 1 0 397186646 290897920 37985 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71020 37985 231 231 0 70789 0
vsize: 284080
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39644 0 0 0 85902 110 0 0 25 0 1 0 397186646 291061760 38142 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71060 38142 231 231 0 70829 0
vsize: 284240
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39671 0 0 0 86902 110 0 0 25 0 1 0 397186646 291196928 38169 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71093 38169 231 231 0 70862 0
vsize: 284372
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39680 0 0 0 87902 111 0 0 25 0 1 0 397186646 291196928 38178 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71093 38178 231 231 0 70862 0
vsize: 284372
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39697 0 0 0 88901 111 0 0 25 0 1 0 397186646 291344384 38195 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71129 38195 231 231 0 70898 0
vsize: 284516
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39711 0 0 0 89902 111 0 0 25 0 1 0 397186646 291344384 38209 4294967295 134512640 135450300 3221224640 3221223104 134532832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71129 38209 231 231 0 70898 0
vsize: 284516
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39715 0 0 0 90902 111 0 0 25 0 1 0 397186646 291344384 38213 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71129 38213 231 231 0 70898 0
vsize: 284516
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39751 0 0 0 91901 112 0 0 25 0 1 0 397186646 291631104 38249 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71199 38249 231 231 0 70968 0
vsize: 284796
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39893 0 0 0 92901 113 0 0 25 0 1 0 397186646 291778560 38391 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71235 38391 231 231 0 71004 0
vsize: 284940
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39933 0 0 0 93900 113 0 0 25 0 1 0 397186646 291926016 38431 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71271 38431 231 231 0 71040 0
vsize: 285084
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39941 0 0 0 94900 113 0 0 25 0 1 0 397186646 291926016 38439 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71271 38439 231 231 0 71040 0
vsize: 285084
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14445
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39992 0 0 0 95900 114 0 0 25 0 1 0 397186646 292220928 38490 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71343 38490 231 231 0 71112 0
vsize: 285372
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40026 0 0 0 96900 114 0 0 25 0 1 0 397186646 292384768 38524 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71383 38524 231 231 0 71152 0
vsize: 285532
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40053 0 0 0 97899 115 0 0 25 0 1 0 397186646 292524032 38551 4294967295 134512640 135450300 3221224640 3221223024 134579348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71417 38551 231 231 0 71186 0
vsize: 285668
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40057 0 0 0 98899 115 0 0 25 0 1 0 397186646 292524032 38555 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71417 38555 231 231 0 71186 0
vsize: 285668
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40134 0 0 0 99899 115 0 0 25 0 1 0 397186646 292524032 38632 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71417 38632 231 231 0 71186 0
vsize: 285668
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40148 0 0 0 100899 115 0 0 25 0 1 0 397186646 292524032 38646 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71417 38646 231 231 0 71186 0
vsize: 285668
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40181 0 0 0 101899 116 0 0 25 0 1 0 397186646 292663296 38679 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71451 38679 231 231 0 71220 0
vsize: 285804
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40204 0 0 0 102899 116 0 0 25 0 1 0 397186646 292810752 38702 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71487 38702 231 231 0 71256 0
vsize: 285948
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40207 0 0 0 103898 116 0 0 25 0 1 0 397186646 292810752 38705 4294967295 134512640 135450300 3221224640 3221223456 134537291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71487 38705 231 231 0 71256 0
vsize: 285948
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40229 0 0 0 104898 117 0 0 25 0 1 0 397186646 292958208 38727 4294967295 134512640 135450300 3221224640 3221223024 134579438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71523 38727 231 231 0 71292 0
vsize: 286092
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40255 0 0 0 105898 118 0 0 25 0 1 0 397186646 292958208 38753 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71523 38753 231 231 0 71292 0
vsize: 286092
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40311 0 0 0 106897 118 0 0 25 0 1 0 397186646 292958208 38809 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71523 38809 231 231 0 71292 0
vsize: 286092
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40335 0 0 0 107897 118 0 0 25 0 1 0 397186646 293097472 38833 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71557 38833 231 231 0 71326 0
vsize: 286228
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40346 0 0 0 108897 119 0 0 25 0 1 0 397186646 293097472 38844 4294967295 134512640 135450300 3221224640 3221223104 134532816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71557 38844 231 231 0 71326 0
vsize: 286228
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40366 0 0 0 109897 119 0 0 25 0 1 0 397186646 293097472 38864 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71557 38864 231 231 0 71326 0
vsize: 286228
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40378 0 0 0 110897 119 0 0 25 0 1 0 397186646 293097472 38876 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71557 38876 231 231 0 71326 0
vsize: 286228
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40409 0 0 0 111897 119 0 0 25 0 1 0 397186646 293363712 38907 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71622 38907 231 231 0 71391 0
vsize: 286488
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40430 0 0 0 112897 119 0 0 25 0 1 0 397186646 293363712 38928 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71622 38928 231 231 0 71391 0
vsize: 286488
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40476 0 0 0 113897 120 0 0 25 0 1 0 397186646 293511168 38974 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71658 38974 231 231 0 71427 0
vsize: 286632
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40527 0 0 0 114897 120 0 0 25 0 1 0 397186646 293658624 39025 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71694 39025 231 231 0 71463 0
vsize: 286776
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40546 0 0 0 115897 120 0 0 25 0 1 0 397186646 293658624 39044 4294967295 134512640 135450300 3221224640 3221223148 134571798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71694 39044 231 231 0 71463 0
vsize: 286776
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40567 0 0 0 116897 120 0 0 25 0 1 0 397186646 293806080 39065 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71730 39065 231 231 0 71499 0
vsize: 286920
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40570 0 0 0 117896 121 0 0 25 0 1 0 397186646 293806080 39068 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71730 39068 231 231 0 71499 0
vsize: 286920
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40586 0 0 0 118896 121 0 0 25 0 1 0 397186646 293806080 39084 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71730 39084 231 231 0 71499 0
vsize: 286920
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14447
Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40610 0 0 0 119896 121 0 0 25 0 1 0 397186646 293949440 39108 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71765 39108 231 231 0 71534 0
vsize: 287060
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 14447
Raw data (stat): 14439 (PBS4) Z 14438 12452 12451 0 -1 1036 40610 0 0 0 119896 129 0 0 25 0 1 0 397186646 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.09
CPU time (s): 1200.26
CPU user time (s): 1198.97
CPU system time (s): 1.2908
CPU usage (%): 100.014
Max. virtual memory (Kb): 287060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####