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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15249
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.38
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 15596

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-21 05:06:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17153 boxname=wulflinc13 idbench=1320 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 17153
/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:        792336 kB
Buffers:         33424 kB
Cached:         187060 kB
SwapCached:        176 kB
Active:          57020 kB
Inactive:       166208 kB
HighTotal:      131008 kB
HighFree:         5292 kB
LowTotal:       903652 kB
LowFree:        787044 kB
SwapTotal:     2097136 kB
SwapFree:      2096860 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6808 kB
Slab:            13576 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 05:26:30 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 17153 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-mps-v2-13-7-p0548.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.93 2/54 31015
Raw data (stat): 31015 (runsolver) R 31014 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484211648 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 1228 0 0 0 984 15 0 0 25 0 1 0 484211648 6406144 1224 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1564 1224 231 231 0 1333 0
vsize: 6256
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 1809 0 0 0 1974 25 0 0 25 0 1 0 484211648 10932224 1756 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1756 231 231 0 2438 0
vsize: 10676
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 2419 0 0 0 2972 27 0 0 25 0 1 0 484211648 11202560 2366 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2735 2366 231 231 0 2504 0
vsize: 10940
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 2571 0 0 0 3970 29 0 0 25 0 1 0 484211648 11730944 2421 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2864 2421 231 231 0 2633 0
vsize: 11456
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 2658 0 0 0 4967 32 0 0 25 0 1 0 484211648 11878400 2508 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2508 231 231 0 2669 0
vsize: 11600
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 2885 0 0 0 5965 35 0 0 25 0 1 0 484211648 20267008 2735 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4948 2735 231 231 0 4717 0
vsize: 19792
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 2935 0 0 0 6962 38 0 0 25 0 1 0 484211648 20402176 2785 4294967295 134512640 135450300 3221224640 3221222916 135070595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2785 231 231 0 4750 0
vsize: 19924
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 3055 0 0 0 7959 40 0 0 25 0 1 0 484211648 20672512 2905 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5047 2905 231 231 0 4816 0
vsize: 20188
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 3329 0 0 0 8956 44 0 0 25 0 1 0 484211648 20672512 3179 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5047 3179 231 231 0 4816 0
vsize: 20188
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 3712 0 0 0 9951 49 0 0 25 0 1 0 484211648 20811776 3562 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5081 3562 231 231 0 4850 0
vsize: 20324
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4022 0 0 0 10949 52 0 0 25 0 1 0 484211648 21766144 3679 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5314 3679 231 231 0 5083 0
vsize: 21256
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4051 0 0 0 11947 54 0 0 25 0 1 0 484211648 21766144 3708 4294967295 134512640 135450300 3221224640 3221223456 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5314 3708 231 231 0 5083 0
vsize: 21256
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4096 0 0 0 12945 55 0 0 25 0 1 0 484211648 21925888 3753 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 3753 231 231 0 5122 0
vsize: 21412
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4111 0 0 0 13944 57 0 0 25 0 1 0 484211648 21925888 3768 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5353 3768 231 231 0 5122 0
vsize: 21412
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4141 0 0 0 14943 58 0 0 25 0 1 0 484211648 22061056 3798 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5386 3798 231 231 0 5155 0
vsize: 21544
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4158 0 0 0 15943 59 0 0 25 0 1 0 484211648 22061056 3815 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5386 3815 231 231 0 5155 0
vsize: 21544
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4192 0 0 0 16941 60 0 0 25 0 1 0 484211648 22188032 3849 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5417 3849 231 231 0 5186 0
vsize: 21668
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4329 0 0 0 17940 62 0 0 25 0 1 0 484211648 22188032 3986 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5417 3986 231 231 0 5186 0
vsize: 21668
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4506 0 0 0 18940 62 0 0 25 0 1 0 484211648 22319104 4163 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5449 4163 231 231 0 5218 0
vsize: 21796
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4536 0 0 0 19939 63 0 0 25 0 1 0 484211648 22319104 4193 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5449 4193 231 231 0 5218 0
vsize: 21796
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4556 0 0 0 20939 64 0 0 25 0 1 0 484211648 22450176 4213 4294967295 134512640 135450300 3221224640 3221223440 134546449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 4213 231 231 0 5250 0
vsize: 21924
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4578 0 0 0 21938 64 0 0 25 0 1 0 484211648 22450176 4235 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 4235 231 231 0 5250 0
vsize: 21924
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4599 0 0 0 22938 65 0 0 25 0 1 0 484211648 22450176 4256 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 4256 231 231 0 5250 0
vsize: 21924
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4634 0 0 0 23938 65 0 0 25 0 1 0 484211648 22585344 4291 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4291 231 231 0 5283 0
vsize: 22056
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4675 0 0 0 24937 67 0 0 25 0 1 0 484211648 22736896 4332 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4332 231 231 0 5320 0
vsize: 22204
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4752 0 0 0 25935 68 0 0 25 0 1 0 484211648 22736896 4409 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4409 231 231 0 5320 0
vsize: 22204
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4825 0 0 0 26935 68 0 0 25 0 1 0 484211648 22736896 4482 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4482 231 231 0 5320 0
vsize: 22204
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 4994 0 0 0 27933 71 0 0 25 0 1 0 484211648 22736896 4651 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4651 231 231 0 5320 0
vsize: 22204
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5049 0 0 0 28932 72 0 0 25 0 1 0 484211648 22900736 4706 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4706 231 231 0 5360 0
vsize: 22364
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5461 0 0 0 29930 74 0 0 25 0 1 0 484211648 24621056 4733 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6011 4733 231 231 0 5780 0
vsize: 24044
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5485 0 0 0 30929 75 0 0 25 0 1 0 484211648 24621056 4757 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6011 4757 231 231 0 5780 0
vsize: 24044
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5522 0 0 0 31929 75 0 0 25 0 1 0 484211648 24842240 4794 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4794 231 231 0 5834 0
vsize: 24260
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5541 0 0 0 32928 77 0 0 25 0 1 0 484211648 24842240 4813 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4813 231 231 0 5834 0
vsize: 24260
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5564 0 0 0 33927 78 0 0 25 0 1 0 484211648 24842240 4836 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4836 231 231 0 5834 0
vsize: 24260
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5613 0 0 0 34926 79 0 0 25 0 1 0 484211648 24997888 4885 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 4885 231 231 0 5872 0
vsize: 24412
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5624 0 0 0 35925 81 0 0 25 0 1 0 484211648 24997888 4896 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 4896 231 231 0 5872 0
vsize: 24412
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5640 0 0 0 36924 81 0 0 25 0 1 0 484211648 24997888 4912 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 4912 231 231 0 5872 0
vsize: 24412
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5654 0 0 0 37924 82 0 0 25 0 1 0 484211648 24997888 4926 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 4926 231 231 0 5872 0
vsize: 24412
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5668 0 0 0 38923 82 0 0 25 0 1 0 484211648 24997888 4940 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 4940 231 231 0 5872 0
vsize: 24412
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5683 0 0 0 39923 83 0 0 25 0 1 0 484211648 25235456 4955 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 4955 231 231 0 5930 0
vsize: 24644
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5707 0 0 0 40922 84 0 0 25 0 1 0 484211648 25235456 4979 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 4979 231 231 0 5930 0
vsize: 24644
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5718 0 0 0 41922 85 0 0 25 0 1 0 484211648 25235456 4990 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 4990 231 231 0 5930 0
vsize: 24644
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5731 0 0 0 42921 86 0 0 25 0 1 0 484211648 25235456 5003 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 5003 231 231 0 5930 0
vsize: 24644
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5759 0 0 0 43921 86 0 0 25 0 1 0 484211648 25378816 5031 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5031 231 231 0 5965 0
vsize: 24784
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5791 0 0 0 44920 87 0 0 25 0 1 0 484211648 25378816 5063 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5063 231 231 0 5965 0
vsize: 24784
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5819 0 0 0 45918 89 0 0 25 0 1 0 484211648 25378816 5091 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5091 231 231 0 5965 0
vsize: 24784
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5847 0 0 0 46917 90 0 0 25 0 1 0 484211648 25563136 5119 4294967295 134512640 135450300 3221224640 3221223360 134535815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5119 231 231 0 6010 0
vsize: 24964
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5864 0 0 0 47917 91 0 0 25 0 1 0 484211648 25563136 5136 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5136 231 231 0 6010 0
vsize: 24964
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5888 0 0 0 48916 92 0 0 25 0 1 0 484211648 25739264 5160 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5160 231 231 0 6053 0
vsize: 25136
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5900 0 0 0 49915 93 0 0 25 0 1 0 484211648 25739264 5172 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5172 231 231 0 6053 0
vsize: 25136
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5919 0 0 0 50915 94 0 0 25 0 1 0 484211648 25739264 5191 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5191 231 231 0 6053 0
vsize: 25136
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5937 0 0 0 51914 95 0 0 25 0 1 0 484211648 25739264 5209 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5209 231 231 0 6053 0
vsize: 25136
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5957 0 0 0 52911 98 0 0 25 0 1 0 484211648 25739264 5229 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5229 231 231 0 6053 0
vsize: 25136
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5974 0 0 0 53911 98 0 0 25 0 1 0 484211648 25739264 5246 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 5246 231 231 0 6053 0
vsize: 25136
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 5996 0 0 0 54910 99 0 0 25 0 1 0 484211648 26021888 5268 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6353 5268 231 231 0 6122 0
vsize: 25412
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6015 0 0 0 55909 100 0 0 25 0 1 0 484211648 26021888 5287 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6353 5287 231 231 0 6122 0
vsize: 25412
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6027 0 0 0 56908 101 0 0 25 0 1 0 484211648 26021888 5299 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6353 5299 231 231 0 6122 0
vsize: 25412
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6040 0 0 0 57908 102 0 0 25 0 1 0 484211648 26021888 5312 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6353 5312 231 231 0 6122 0
vsize: 25412
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6067 0 0 0 58907 102 0 0 25 0 1 0 484211648 26165248 5339 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6388 5339 231 231 0 6157 0
vsize: 25552
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6087 0 0 0 59906 104 0 0 25 0 1 0 484211648 26165248 5359 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6388 5359 231 231 0 6157 0
vsize: 25552
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6106 0 0 0 60905 105 0 0 25 0 1 0 484211648 26165248 5378 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6388 5378 231 231 0 6157 0
vsize: 25552
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6158 0 0 0 61904 106 0 0 25 0 1 0 484211648 26316800 5430 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5430 231 231 0 6194 0
vsize: 25700
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6167 0 0 0 62904 107 0 0 25 0 1 0 484211648 26316800 5439 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5439 231 231 0 6194 0
vsize: 25700
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6176 0 0 0 63904 107 0 0 25 0 1 0 484211648 26316800 5448 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5448 231 231 0 6194 0
vsize: 25700
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6192 0 0 0 64903 108 0 0 25 0 1 0 484211648 26480640 5464 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5464 231 231 0 6234 0
vsize: 25860
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6202 0 0 0 65903 108 0 0 25 0 1 0 484211648 26480640 5474 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5474 231 231 0 6234 0
vsize: 25860
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6212 0 0 0 66902 109 0 0 25 0 1 0 484211648 26480640 5484 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5484 231 231 0 6234 0
vsize: 25860
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6227 0 0 0 67901 110 0 0 25 0 1 0 484211648 26480640 5499 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5499 231 231 0 6234 0
vsize: 25860
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6241 0 0 0 68901 111 0 0 25 0 1 0 484211648 26480640 5513 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5513 231 231 0 6234 0
vsize: 25860
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6257 0 0 0 69901 111 0 0 25 0 1 0 484211648 26480640 5529 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5529 231 231 0 6234 0
vsize: 25860
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6278 0 0 0 70900 112 0 0 25 0 1 0 484211648 26480640 5550 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5550 231 231 0 6234 0
vsize: 25860
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6292 0 0 0 71900 113 0 0 25 0 1 0 484211648 26652672 5564 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6507 5564 231 231 0 6276 0
vsize: 26028
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6305 0 0 0 72899 113 0 0 25 0 1 0 484211648 26652672 5577 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6507 5577 231 231 0 6276 0
vsize: 26028
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6314 0 0 0 73898 114 0 0 25 0 1 0 484211648 26652672 5586 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6507 5586 231 231 0 6276 0
vsize: 26028
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6337 0 0 0 74898 115 0 0 25 0 1 0 484211648 26652672 5609 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6507 5609 231 231 0 6276 0
vsize: 26028
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 6372 0 0 0 75896 117 0 0 25 0 1 0 484211648 26984448 5644 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 5644 231 231 0 6357 0
vsize: 26352
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7153 0 0 0 76894 119 0 0 25 0 1 0 484211648 30130176 5656 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5656 231 231 0 7125 0
vsize: 29424
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7160 0 0 0 77893 120 0 0 25 0 1 0 484211648 30130176 5663 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5663 231 231 0 7125 0
vsize: 29424
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7183 0 0 0 78893 121 0 0 25 0 1 0 484211648 30130176 5686 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5686 231 231 0 7125 0
vsize: 29424
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7195 0 0 0 79892 122 0 0 25 0 1 0 484211648 30130176 5698 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5698 231 231 0 7125 0
vsize: 29424
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7203 0 0 0 80892 122 0 0 25 0 1 0 484211648 30130176 5706 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5706 231 231 0 7125 0
vsize: 29424
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7214 0 0 0 81891 123 0 0 25 0 1 0 484211648 30130176 5717 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5717 231 231 0 7125 0
vsize: 29424
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7227 0 0 0 82891 123 0 0 25 0 1 0 484211648 30130176 5730 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5730 231 231 0 7125 0
vsize: 29424
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7244 0 0 0 83890 124 0 0 25 0 1 0 484211648 30322688 5747 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7403 5747 231 231 0 7172 0
vsize: 29612
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7282 0 0 0 84890 125 0 0 25 0 1 0 484211648 30322688 5785 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7403 5785 231 231 0 7172 0
vsize: 29612
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7294 0 0 0 85889 126 0 0 25 0 1 0 484211648 30322688 5797 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7403 5797 231 231 0 7172 0
vsize: 29612
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7305 0 0 0 86889 127 0 0 25 0 1 0 484211648 30322688 5808 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7403 5808 231 231 0 7172 0
vsize: 29612
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7316 0 0 0 87888 127 0 0 25 0 1 0 484211648 30322688 5819 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7403 5819 231 231 0 7172 0
vsize: 29612
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7327 0 0 0 88888 128 0 0 25 0 1 0 484211648 30322688 5830 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7403 5830 231 231 0 7172 0
vsize: 29612
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7341 0 0 0 89887 129 0 0 25 0 1 0 484211648 30527488 5844 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5844 231 231 0 7222 0
vsize: 29812
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7355 0 0 0 90887 129 0 0 25 0 1 0 484211648 30527488 5858 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5858 231 231 0 7222 0
vsize: 29812
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7367 0 0 0 91887 130 0 0 25 0 1 0 484211648 30527488 5870 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5870 231 231 0 7222 0
vsize: 29812
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7376 0 0 0 92886 130 0 0 25 0 1 0 484211648 30527488 5879 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5879 231 231 0 7222 0
vsize: 29812
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7391 0 0 0 93884 133 0 0 25 0 1 0 484211648 30527488 5894 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5894 231 231 0 7222 0
vsize: 29812
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7407 0 0 0 94883 134 0 0 25 0 1 0 484211648 30527488 5910 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5910 231 231 0 7222 0
vsize: 29812
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7419 0 0 0 95883 134 0 0 25 0 1 0 484211648 30527488 5922 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5922 231 231 0 7222 0
vsize: 29812
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7438 0 0 0 96882 135 0 0 25 0 1 0 484211648 30527488 5941 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5941 231 231 0 7222 0
vsize: 29812
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7462 0 0 0 97880 137 0 0 25 0 1 0 484211648 30744576 5965 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 5965 231 231 0 7275 0
vsize: 30024
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7470 0 0 0 98880 138 0 0 25 0 1 0 484211648 30744576 5973 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 5973 231 231 0 7275 0
vsize: 30024
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7483 0 0 0 99879 138 0 0 25 0 1 0 484211648 30744576 5986 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 5986 231 231 0 7275 0
vsize: 30024
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7493 0 0 0 100879 139 0 0 25 0 1 0 484211648 30744576 5996 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 5996 231 231 0 7275 0
vsize: 30024
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7500 0 0 0 101878 140 0 0 25 0 1 0 484211648 30744576 6003 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6003 231 231 0 7275 0
vsize: 30024
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7532 0 0 0 102878 140 0 0 25 0 1 0 484211648 30744576 6035 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6035 231 231 0 7275 0
vsize: 30024
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7543 0 0 0 103878 141 0 0 25 0 1 0 484211648 30744576 6046 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6046 231 231 0 7275 0
vsize: 30024
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7574 0 0 0 104878 141 0 0 25 0 1 0 484211648 30744576 6077 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6077 231 231 0 7275 0
vsize: 30024
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7703 0 0 0 105877 142 0 0 25 0 1 0 484211648 30744576 6206 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6206 231 231 0 7275 0
vsize: 30024
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7710 0 0 0 106875 144 0 0 25 0 1 0 484211648 30744576 6213 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6213 231 231 0 7275 0
vsize: 30024
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7718 0 0 0 107875 144 0 0 25 0 1 0 484211648 30744576 6221 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7506 6221 231 231 0 7275 0
vsize: 30024
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7733 0 0 0 108875 145 0 0 25 0 1 0 484211648 31125504 6236 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6236 231 231 0 7368 0
vsize: 30396
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7749 0 0 0 109874 146 0 0 25 0 1 0 484211648 31125504 6252 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6252 231 231 0 7368 0
vsize: 30396
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7766 0 0 0 110874 146 0 0 25 0 1 0 484211648 31125504 6269 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6269 231 231 0 7368 0
vsize: 30396
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7778 0 0 0 111873 147 0 0 25 0 1 0 484211648 31125504 6281 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6281 231 231 0 7368 0
vsize: 30396
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7795 0 0 0 112874 147 0 0 25 0 1 0 484211648 31125504 6298 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6298 231 231 0 7368 0
vsize: 30396
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7811 0 0 0 113874 148 0 0 25 0 1 0 484211648 31125504 6314 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6314 231 231 0 7368 0
vsize: 30396
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7817 0 0 0 114873 149 0 0 25 0 1 0 484211648 31125504 6320 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6320 231 231 0 7368 0
vsize: 30396
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7862 0 0 0 115872 150 0 0 25 0 1 0 484211648 31371264 6365 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6365 231 231 0 7428 0
vsize: 30636
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7874 0 0 0 116870 152 0 0 25 0 1 0 484211648 31371264 6377 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6377 231 231 0 7428 0
vsize: 30636
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7884 0 0 0 117870 152 0 0 25 0 1 0 484211648 31371264 6387 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6387 231 231 0 7428 0
vsize: 30636
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 7995 0 0 0 118869 153 0 0 25 0 1 0 484211648 31518720 6498 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7695 6498 231 231 0 7464 0
vsize: 30780
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 31015
Raw data (stat): 31015 (PBS4) R 31014 30701 30700 0 -1 0 8005 0 0 0 119868 154 0 0 25 0 1 0 484211648 31518720 6508 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7695 6508 231 231 0 7464 0
vsize: 30780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 31015
Raw data (stat): 31015 (PBS4) Z 31014 30701 30700 0 -1 1036 8005 0 0 0 119868 155 0 0 25 0 1 0 484211648 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.25
CPU user time (s): 1198.69
CPU system time (s): 1.55676
CPU usage (%): 100.017
Max. virtual memory (Kb): 30780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####