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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUMfeaa96df552ef9989407735877840272
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13
Optimality of the best value was proved NO
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04084
Number of variables776
Total number of constraints1642
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20

Trace number 7957

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        817272 kB
Buffers:         36912 kB
Cached:         145496 kB
SwapCached:         36 kB
Active:          61168 kB
Inactive:       124212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817020 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7040 kB
Slab:            26192 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:47:22 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 3318 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc19/normalized-10:20:4.5:0.5:100.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.84 0.95 0.90 2/55 17316
Raw data (stat): 17316 (runsolver) R 17315 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512304993 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.0004 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 1385 0 0 0 996 2 0 0 25 0 1 0 512304993 9981952 1381 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2437 1382 231 231 0 2206 0
vsize: 9748
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.95 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 1986 0 0 0 1994 4 0 0 25 0 1 0 512304993 10117120 1982 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2470 1982 231 231 0 2239 0
vsize: 9880
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.95 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 2568 0 0 0 2993 6 0 0 25 0 1 0 512304993 18706432 2564 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4567 2564 231 231 0 4336 0
vsize: 18268
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 2963 0 0 0 3992 7 0 0 25 0 1 0 512304993 18706432 2959 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4567 2959 231 231 0 4336 0
vsize: 18268
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 3338 0 0 0 4991 8 0 0 25 0 1 0 512304993 18706432 3334 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3334 231 231 0 4336 0
vsize: 18268
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 3689 0 0 0 5991 9 0 0 25 0 1 0 512304993 18706432 3685 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3685 231 231 0 4336 0
vsize: 18268
[startup+70.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4062 0 0 0 6990 10 0 0 25 0 1 0 512304993 18706432 4058 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4567 4058 231 231 0 4336 0
vsize: 18268
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4210 0 0 0 7988 11 0 0 25 0 1 0 512304993 19046400 4157 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 4157 231 231 0 4419 0
vsize: 18600
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4254 0 0 0 8988 12 0 0 25 0 1 0 512304993 19193856 4201 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 4201 231 231 0 4455 0
vsize: 18744
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4272 0 0 0 9988 12 0 0 25 0 1 0 512304993 19320832 4219 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4219 231 231 0 4486 0
vsize: 18868
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4363 0 0 0 10988 13 0 0 25 0 1 0 512304993 19320832 4310 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4310 231 231 0 4486 0
vsize: 18868
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4568 0 0 0 11987 14 0 0 25 0 1 0 512304993 19320832 4515 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4515 231 231 0 4486 0
vsize: 18868
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4579 0 0 0 12986 14 0 0 25 0 1 0 512304993 19447808 4526 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 4526 231 231 0 4517 0
vsize: 18992
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4591 0 0 0 13986 15 0 0 25 0 1 0 512304993 19447808 4538 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 4538 231 231 0 4517 0
vsize: 18992
[startup+150.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4613 0 0 0 14986 16 0 0 25 0 1 0 512304993 19447808 4560 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 4560 231 231 0 4517 0
vsize: 18992
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4619 0 0 0 15985 16 0 0 25 0 1 0 512304993 19447808 4566 4294967295 134512640 135450300 3221224640 3221223456 134537294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4748 4566 231 231 0 4517 0
vsize: 18992
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4637 0 0 0 16985 17 0 0 25 0 1 0 512304993 19595264 4584 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4784 4584 231 231 0 4553 0
vsize: 19136
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4647 0 0 0 17985 17 0 0 25 0 1 0 512304993 19595264 4594 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4784 4594 231 231 0 4553 0
vsize: 19136
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17316
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4757 0 0 0 18984 18 0 0 25 0 1 0 512304993 19988480 4607 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 4607 231 231 0 4649 0
vsize: 19520
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4768 0 0 0 19984 18 0 0 25 0 1 0 512304993 19988480 4618 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 4618 231 231 0 4649 0
vsize: 19520
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4782 0 0 0 20983 19 0 0 25 0 1 0 512304993 20148224 4632 4294967295 134512640 135450300 3221224640 3221223456 134547889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4632 231 231 0 4688 0
vsize: 19676
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4791 0 0 0 21983 19 0 0 25 0 1 0 512304993 20148224 4641 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4641 231 231 0 4688 0
vsize: 19676
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4803 0 0 0 22983 20 0 0 25 0 1 0 512304993 20148224 4653 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4653 231 231 0 4688 0
vsize: 19676
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4810 0 0 0 23983 20 0 0 25 0 1 0 512304993 20148224 4660 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4660 231 231 0 4688 0
vsize: 19676
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4821 0 0 0 24982 21 0 0 25 0 1 0 512304993 20148224 4671 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4671 231 231 0 4688 0
vsize: 19676
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4833 0 0 0 25982 21 0 0 25 0 1 0 512304993 20148224 4683 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4683 231 231 0 4688 0
vsize: 19676
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4840 0 0 0 26981 22 0 0 25 0 1 0 512304993 20275200 4690 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4690 231 231 0 4719 0
vsize: 19800
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4846 0 0 0 27981 22 0 0 25 0 1 0 512304993 20275200 4696 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4696 231 231 0 4719 0
vsize: 19800
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4858 0 0 0 28981 23 0 0 25 0 1 0 512304993 20275200 4708 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4708 231 231 0 4719 0
vsize: 19800
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4865 0 0 0 29981 23 0 0 25 0 1 0 512304993 20275200 4715 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4715 231 231 0 4719 0
vsize: 19800
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4874 0 0 0 30980 24 0 0 25 0 1 0 512304993 20275200 4724 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4724 231 231 0 4719 0
vsize: 19800
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4888 0 0 0 31980 24 0 0 25 0 1 0 512304993 20275200 4738 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4738 231 231 0 4719 0
vsize: 19800
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4900 0 0 0 32980 25 0 0 25 0 1 0 512304993 20447232 4750 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4750 231 231 0 4761 0
vsize: 19968
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4910 0 0 0 33980 25 0 0 25 0 1 0 512304993 20447232 4760 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4760 231 231 0 4761 0
vsize: 19968
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4921 0 0 0 34979 25 0 0 25 0 1 0 512304993 20447232 4771 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4771 231 231 0 4761 0
vsize: 19968
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4931 0 0 0 35979 26 0 0 25 0 1 0 512304993 20447232 4781 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4781 231 231 0 4761 0
vsize: 19968
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4944 0 0 0 36978 27 0 0 25 0 1 0 512304993 20447232 4794 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4794 231 231 0 4761 0
vsize: 19968
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4952 0 0 0 37978 27 0 0 25 0 1 0 512304993 20586496 4802 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4802 231 231 0 4795 0
vsize: 20104
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4966 0 0 0 38978 28 0 0 25 0 1 0 512304993 20586496 4816 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4816 231 231 0 4795 0
vsize: 20104
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4976 0 0 0 39977 28 0 0 25 0 1 0 512304993 20586496 4826 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4826 231 231 0 4795 0
vsize: 20104
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 4986 0 0 0 40977 29 0 0 25 0 1 0 512304993 20586496 4836 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4836 231 231 0 4795 0
vsize: 20104
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5186 0 0 0 41976 30 0 0 25 0 1 0 512304993 21372928 4843 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5218 4843 231 231 0 4987 0
vsize: 20872
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5196 0 0 0 42976 30 0 0 25 0 1 0 512304993 21372928 4853 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5218 4853 231 231 0 4987 0
vsize: 20872
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5203 0 0 0 43976 30 0 0 25 0 1 0 512304993 21372928 4860 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5218 4860 231 231 0 4987 0
vsize: 20872
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5214 0 0 0 44975 31 0 0 25 0 1 0 512304993 21528576 4871 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4871 231 231 0 5025 0
vsize: 21024
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5226 0 0 0 45975 31 0 0 25 0 1 0 512304993 21528576 4883 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4883 231 231 0 5025 0
vsize: 21024
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5237 0 0 0 46975 32 0 0 25 0 1 0 512304993 21528576 4894 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4894 231 231 0 5025 0
vsize: 21024
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5247 0 0 0 47975 32 0 0 25 0 1 0 512304993 21528576 4904 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4904 231 231 0 5025 0
vsize: 21024
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17318
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5260 0 0 0 48975 33 0 0 25 0 1 0 512304993 21528576 4917 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4917 231 231 0 5025 0
vsize: 21024
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5265 0 0 0 49975 33 0 0 25 0 1 0 512304993 21528576 4922 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4922 231 231 0 5025 0
vsize: 21024
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5278 0 0 0 50974 33 0 0 25 0 1 0 512304993 21696512 4935 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4935 231 231 0 5066 0
vsize: 21188
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5282 0 0 0 51974 33 0 0 25 0 1 0 512304993 21696512 4939 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4939 231 231 0 5066 0
vsize: 21188
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5296 0 0 0 52974 34 0 0 25 0 1 0 512304993 21696512 4953 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4953 231 231 0 5066 0
vsize: 21188
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5302 0 0 0 53974 34 0 0 25 0 1 0 512304993 21696512 4959 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4959 231 231 0 5066 0
vsize: 21188
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5316 0 0 0 54973 35 0 0 25 0 1 0 512304993 21696512 4973 4294967295 134512640 135450300 3221224640 3221223376 134538386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4973 231 231 0 5066 0
vsize: 21188
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5323 0 0 0 55973 35 0 0 25 0 1 0 512304993 21696512 4980 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4980 231 231 0 5066 0
vsize: 21188
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5332 0 0 0 56973 36 0 0 25 0 1 0 512304993 21696512 4989 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4989 231 231 0 5066 0
vsize: 21188
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5340 0 0 0 57973 36 0 0 25 0 1 0 512304993 21696512 4997 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4997 231 231 0 5066 0
vsize: 21188
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5348 0 0 0 58973 36 0 0 25 0 1 0 512304993 21696512 5005 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 5005 231 231 0 5066 0
vsize: 21188
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5356 0 0 0 59972 37 0 0 25 0 1 0 512304993 21880832 5013 4294967295 134512640 135450300 3221224640 3221223376 134537946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5013 231 231 0 5111 0
vsize: 21368
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5362 0 0 0 60973 37 0 0 25 0 1 0 512304993 21880832 5019 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5019 231 231 0 5111 0
vsize: 21368
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5371 0 0 0 61972 37 0 0 25 0 1 0 512304993 21880832 5028 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5028 231 231 0 5111 0
vsize: 21368
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5380 0 0 0 62972 38 0 0 25 0 1 0 512304993 21880832 5037 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5037 231 231 0 5111 0
vsize: 21368
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5389 0 0 0 63972 38 0 0 25 0 1 0 512304993 21880832 5046 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5046 231 231 0 5111 0
vsize: 21368
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5396 0 0 0 64971 39 0 0 25 0 1 0 512304993 21880832 5053 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5053 231 231 0 5111 0
vsize: 21368
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5408 0 0 0 65970 40 0 0 25 0 1 0 512304993 21880832 5065 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5065 231 231 0 5111 0
vsize: 21368
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5415 0 0 0 66970 40 0 0 25 0 1 0 512304993 21880832 5072 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5072 231 231 0 5111 0
vsize: 21368
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5425 0 0 0 67970 40 0 0 25 0 1 0 512304993 21880832 5082 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 5082 231 231 0 5111 0
vsize: 21368
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5436 0 0 0 68970 41 0 0 25 0 1 0 512304993 22073344 5093 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5093 231 231 0 5158 0
vsize: 21556
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5446 0 0 0 69969 42 0 0 25 0 1 0 512304993 22073344 5103 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5103 231 231 0 5158 0
vsize: 21556
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5454 0 0 0 70969 42 0 0 25 0 1 0 512304993 22073344 5111 4294967295 134512640 135450300 3221224640 3221223360 134535965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5111 231 231 0 5158 0
vsize: 21556
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5463 0 0 0 71969 42 0 0 25 0 1 0 512304993 22073344 5120 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5120 231 231 0 5158 0
vsize: 21556
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5471 0 0 0 72968 43 0 0 25 0 1 0 512304993 22073344 5128 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5128 231 231 0 5158 0
vsize: 21556
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5480 0 0 0 73968 44 0 0 25 0 1 0 512304993 22073344 5137 4294967295 134512640 135450300 3221224640 3221223456 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5137 231 231 0 5158 0
vsize: 21556
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5490 0 0 0 74968 44 0 0 25 0 1 0 512304993 22073344 5147 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5147 231 231 0 5158 0
vsize: 21556
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5498 0 0 0 75967 45 0 0 25 0 1 0 512304993 22073344 5155 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5155 231 231 0 5158 0
vsize: 21556
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5506 0 0 0 76967 45 0 0 25 0 1 0 512304993 22073344 5163 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5163 231 231 0 5158 0
vsize: 21556
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5515 0 0 0 77967 46 0 0 25 0 1 0 512304993 22073344 5172 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 5172 231 231 0 5158 0
vsize: 21556
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17320
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5525 0 0 0 78966 46 0 0 25 0 1 0 512304993 22278144 5182 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5182 231 231 0 5208 0
vsize: 21756
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5534 0 0 0 79967 46 0 0 25 0 1 0 512304993 22278144 5191 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5191 231 231 0 5208 0
vsize: 21756
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5545 0 0 0 80966 47 0 0 25 0 1 0 512304993 22278144 5202 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5202 231 231 0 5208 0
vsize: 21756
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5553 0 0 0 81966 47 0 0 25 0 1 0 512304993 22278144 5210 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5210 231 231 0 5208 0
vsize: 21756
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5562 0 0 0 82966 48 0 0 25 0 1 0 512304993 22278144 5219 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5219 231 231 0 5208 0
vsize: 21756
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5567 0 0 0 83966 48 0 0 25 0 1 0 512304993 22278144 5224 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5224 231 231 0 5208 0
vsize: 21756
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5575 0 0 0 84966 48 0 0 25 0 1 0 512304993 22278144 5232 4294967295 134512640 135450300 3221224640 3221223168 134544177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5232 231 231 0 5208 0
vsize: 21756
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5592 0 0 0 85965 49 0 0 25 0 1 0 512304993 22278144 5249 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5249 231 231 0 5208 0
vsize: 21756
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5595 0 0 0 86965 50 0 0 25 0 1 0 512304993 22278144 5252 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5252 231 231 0 5208 0
vsize: 21756
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5601 0 0 0 87964 50 0 0 25 0 1 0 512304993 22278144 5258 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5439 5258 231 231 0 5208 0
vsize: 21756
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5990 0 0 0 88964 51 0 0 25 0 1 0 512304993 23851008 5262 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5823 5262 231 231 0 5592 0
vsize: 23292
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 5997 0 0 0 89964 51 0 0 25 0 1 0 512304993 23851008 5269 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5823 5269 231 231 0 5592 0
vsize: 23292
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6005 0 0 0 90963 52 0 0 25 0 1 0 512304993 23977984 5277 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 5277 231 231 0 5623 0
vsize: 23416
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6014 0 0 0 91963 52 0 0 25 0 1 0 512304993 23977984 5286 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 5286 231 231 0 5623 0
vsize: 23416
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6018 0 0 0 92963 52 0 0 25 0 1 0 512304993 23977984 5290 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 5290 231 231 0 5623 0
vsize: 23416
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6023 0 0 0 93963 52 0 0 25 0 1 0 512304993 24104960 5295 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5295 231 231 0 5654 0
vsize: 23540
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6028 0 0 0 94963 52 0 0 25 0 1 0 512304993 24104960 5300 4294967295 134512640 135450300 3221224640 3221223392 135068556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5300 231 231 0 5654 0
vsize: 23540
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6036 0 0 0 95963 53 0 0 25 0 1 0 512304993 24104960 5308 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5308 231 231 0 5654 0
vsize: 23540
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6041 0 0 0 96963 53 0 0 25 0 1 0 512304993 24104960 5313 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5313 231 231 0 5654 0
vsize: 23540
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6045 0 0 0 97963 53 0 0 25 0 1 0 512304993 24104960 5317 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5317 231 231 0 5654 0
vsize: 23540
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6059 0 0 0 98962 54 0 0 25 0 1 0 512304993 24104960 5331 4294967295 134512640 135450300 3221224640 3221223456 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5331 231 231 0 5654 0
vsize: 23540
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6069 0 0 0 99962 54 0 0 25 0 1 0 512304993 24104960 5341 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5341 231 231 0 5654 0
vsize: 23540
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6075 0 0 0 100962 55 0 0 25 0 1 0 512304993 24240128 5347 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5347 231 231 0 5687 0
vsize: 23672
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6079 0 0 0 101962 55 0 0 25 0 1 0 512304993 24240128 5351 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5351 231 231 0 5687 0
vsize: 23672
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6088 0 0 0 102962 56 0 0 25 0 1 0 512304993 24240128 5360 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5360 231 231 0 5687 0
vsize: 23672
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6091 0 0 0 103962 56 0 0 25 0 1 0 512304993 24240128 5363 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5363 231 231 0 5687 0
vsize: 23672
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6100 0 0 0 104962 56 0 0 25 0 1 0 512304993 24240128 5372 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5372 231 231 0 5687 0
vsize: 23672
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6105 0 0 0 105962 56 0 0 25 0 1 0 512304993 24240128 5377 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5377 231 231 0 5687 0
vsize: 23672
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6107 0 0 0 106962 57 0 0 25 0 1 0 512304993 24240128 5379 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5379 231 231 0 5687 0
vsize: 23672
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6117 0 0 0 107962 57 0 0 25 0 1 0 512304993 24240128 5389 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5389 231 231 0 5687 0
vsize: 23672
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17322
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6122 0 0 0 108961 57 0 0 25 0 1 0 512304993 24240128 5394 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5394 231 231 0 5687 0
vsize: 23672
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6126 0 0 0 109961 58 0 0 25 0 1 0 512304993 24240128 5398 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5918 5398 231 231 0 5687 0
vsize: 23672
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6134 0 0 0 110961 58 0 0 25 0 1 0 512304993 24383488 5406 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5406 231 231 0 5722 0
vsize: 23812
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6140 0 0 0 111961 58 0 0 25 0 1 0 512304993 24383488 5412 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5412 231 231 0 5722 0
vsize: 23812
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6149 0 0 0 112961 58 0 0 25 0 1 0 512304993 24383488 5421 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5421 231 231 0 5722 0
vsize: 23812
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6154 0 0 0 113961 59 0 0 25 0 1 0 512304993 24383488 5426 4294967295 134512640 135450300 3221224640 3221223456 134547909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5426 231 231 0 5722 0
vsize: 23812
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6158 0 0 0 114961 59 0 0 25 0 1 0 512304993 24383488 5430 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5430 231 231 0 5722 0
vsize: 23812
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6170 0 0 0 115960 59 0 0 25 0 1 0 512304993 24383488 5442 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5442 231 231 0 5722 0
vsize: 23812
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6177 0 0 0 116961 59 0 0 25 0 1 0 512304993 24383488 5449 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5449 231 231 0 5722 0
vsize: 23812
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6181 0 0 0 117960 60 0 0 25 0 1 0 512304993 24383488 5453 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5453 231 231 0 5722 0
vsize: 23812
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6188 0 0 0 118960 60 0 0 25 0 1 0 512304993 24383488 5460 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5460 231 231 0 5722 0
vsize: 23812
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17324
Raw data (stat): 17316 (PBS4) R 17315 22929 22928 0 -1 0 6199 0 0 0 119960 60 0 0 25 0 1 0 512304993 24383488 5471 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5471 231 231 0 5722 0
vsize: 23812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 17324
Raw data (stat): 17316 (PBS4) Z 17315 22929 22928 0 -1 1036 6199 0 0 0 119960 62 0 0 25 0 1 0 512304993 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.03
CPU time (s): 1200.23
CPU user time (s): 1199.61
CPU system time (s): 0.620905
CPU usage (%): 100.016
Max. virtual memory (Kb): 23812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####