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:10:4.5:0.95:98.opb
MD5SUMac510382bae6003fe0373ad32fd0064f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
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 benchmark1.03584
Number of variables411
Total number of constraints887
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)500
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16

Trace number 7956

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-17 17:26:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3309 boxname=wulflinc11 idbench=368 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc11/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 3309
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        810228 kB
Buffers:         37852 kB
Cached:         160740 kB
SwapCached:       4932 kB
Active:          82708 kB
Inactive:       123668 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        809976 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12400 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:46:21 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3309 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-10:10:4.5:0.95:98.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/54 25323
Raw data (stat): 25323 (runsolver) R 25322 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454080124 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.0004 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 2360 0 0 0 992 6 0 0 25 0 1 0 454080124 18305024 2356 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4469 2356 231 231 0 4238 0
vsize: 17876
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 4437 0 0 0 1986 12 0 0 25 0 1 0 454080124 35282944 4433 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8614 4433 231 231 0 8383 0
vsize: 34456
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 5497 0 0 0 2983 16 0 0 25 0 1 0 454080124 36171776 5444 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8831 5444 231 231 0 8600 0
vsize: 35324
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6545 0 0 0 3980 19 0 0 25 0 1 0 454080124 36446208 6492 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8898 6492 231 231 0 8667 0
vsize: 35592
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6570 0 0 0 4980 20 0 0 25 0 1 0 454080124 36581376 6517 4294967295 134512640 135450300 3221224640 3221223456 134547914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8931 6517 231 231 0 8700 0
vsize: 35724
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6706 0 0 0 5978 21 0 0 25 0 1 0 454080124 36974592 6556 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9027 6556 231 231 0 8796 0
vsize: 36108
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6756 0 0 0 6977 23 0 0 25 0 1 0 454080124 37122048 6606 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9063 6606 231 231 0 8832 0
vsize: 36252
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6806 0 0 0 7977 23 0 0 25 0 1 0 454080124 37253120 6656 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9095 6656 231 231 0 8864 0
vsize: 36380
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6841 0 0 0 8976 24 0 0 25 0 1 0 454080124 37408768 6691 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9133 6691 231 231 0 8902 0
vsize: 36532
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 6882 0 0 0 9975 25 0 0 25 0 1 0 454080124 37408768 6732 4294967295 134512640 135450300 3221224640 3221223072 134533514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9133 6732 231 231 0 8902 0
vsize: 36532
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7114 0 0 0 10974 27 0 0 25 0 1 0 454080124 38330368 6771 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9358 6771 231 231 0 9127 0
vsize: 37432
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7154 0 0 0 11973 27 0 0 25 0 1 0 454080124 38477824 6811 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9394 6811 231 231 0 9163 0
vsize: 37576
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7187 0 0 0 12973 28 0 0 25 0 1 0 454080124 38477824 6844 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9394 6844 231 231 0 9163 0
vsize: 37576
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7776 0 0 0 13971 30 0 0 25 0 1 0 454080124 38608896 7433 4294967295 134512640 135450300 3221224640 3221223456 134547155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9426 7433 231 231 0 9195 0
vsize: 37704
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7806 0 0 0 14971 31 0 0 25 0 1 0 454080124 38739968 7463 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9458 7463 231 231 0 9227 0
vsize: 37832
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7847 0 0 0 15970 32 0 0 25 0 1 0 454080124 38875136 7504 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9491 7504 231 231 0 9260 0
vsize: 37964
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7885 0 0 0 16969 32 0 0 25 0 1 0 454080124 38875136 7542 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9491 7542 231 231 0 9260 0
vsize: 37964
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7919 0 0 0 17968 33 0 0 25 0 1 0 454080124 39047168 7576 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9533 7576 231 231 0 9302 0
vsize: 38132
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7955 0 0 0 18968 34 0 0 25 0 1 0 454080124 39182336 7612 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9566 7612 231 231 0 9335 0
vsize: 38264
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 7987 0 0 0 19967 35 0 0 25 0 1 0 454080124 39182336 7644 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9566 7644 231 231 0 9335 0
vsize: 38264
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 8146 0 0 0 20967 36 0 0 25 0 1 0 454080124 39358464 7803 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9609 7803 231 231 0 9378 0
vsize: 38436
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 8178 0 0 0 21966 37 0 0 25 0 1 0 454080124 39358464 7835 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9609 7835 231 231 0 9378 0
vsize: 38436
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 8202 0 0 0 22965 38 0 0 25 0 1 0 454080124 39493632 7859 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9642 7859 231 231 0 9411 0
vsize: 38568
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 8222 0 0 0 23965 38 0 0 25 0 1 0 454080124 39493632 7879 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9642 7879 231 231 0 9411 0
vsize: 38568
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 8384 0 0 0 24964 39 0 0 25 0 1 0 454080124 39493632 8041 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9642 8041 231 231 0 9411 0
vsize: 38568
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9150 0 0 0 25962 41 0 0 25 0 1 0 454080124 41205760 8422 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 8422 231 231 0 9829 0
vsize: 40240
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9178 0 0 0 26962 42 0 0 25 0 1 0 454080124 41205760 8450 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 8450 231 231 0 9829 0
vsize: 40240
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9364 0 0 0 27961 43 0 0 25 0 1 0 454080124 41385984 8636 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10104 8636 231 231 0 9873 0
vsize: 40416
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9395 0 0 0 28960 43 0 0 25 0 1 0 454080124 41517056 8667 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10136 8667 231 231 0 9905 0
vsize: 40544
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9414 0 0 0 29960 44 0 0 25 0 1 0 454080124 41517056 8686 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10136 8686 231 231 0 9905 0
vsize: 40544
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9438 0 0 0 30960 44 0 0 25 0 1 0 454080124 41517056 8710 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10136 8710 231 231 0 9905 0
vsize: 40544
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9462 0 0 0 31959 45 0 0 25 0 1 0 454080124 41664512 8734 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 8734 231 231 0 9941 0
vsize: 40688
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9480 0 0 0 32959 45 0 0 25 0 1 0 454080124 41664512 8752 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 8752 231 231 0 9941 0
vsize: 40688
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9782 0 0 0 33958 46 0 0 25 0 1 0 454080124 41664512 9054 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 9054 231 231 0 9941 0
vsize: 40688
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 9965 0 0 0 34958 47 0 0 25 0 1 0 454080124 41820160 9237 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9237 231 231 0 9979 0
vsize: 40840
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10058 0 0 0 35957 48 0 0 25 0 1 0 454080124 41820160 9330 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9330 231 231 0 9979 0
vsize: 40840
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10253 0 0 0 36957 48 0 0 25 0 1 0 454080124 41959424 9525 4294967295 134512640 135450300 3221224640 3221222740 134615664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10244 9525 231 231 0 10013 0
vsize: 40976
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10275 0 0 0 37957 49 0 0 25 0 1 0 454080124 41959424 9547 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10244 9547 231 231 0 10013 0
vsize: 40976
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10295 0 0 0 38956 50 0 0 25 0 1 0 454080124 42094592 9567 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9567 231 231 0 10046 0
vsize: 41108
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10319 0 0 0 39956 50 0 0 25 0 1 0 454080124 42094592 9591 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9591 231 231 0 10046 0
vsize: 41108
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10341 0 0 0 40955 51 0 0 25 0 1 0 454080124 42094592 9613 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9613 231 231 0 10046 0
vsize: 41108
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10362 0 0 0 41955 51 0 0 25 0 1 0 454080124 42246144 9634 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10314 9634 231 231 0 10083 0
vsize: 41256
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10381 0 0 0 42955 52 0 0 25 0 1 0 454080124 42246144 9653 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10314 9653 231 231 0 10083 0
vsize: 41256
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10399 0 0 0 43954 52 0 0 25 0 1 0 454080124 42246144 9671 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10314 9671 231 231 0 10083 0
vsize: 41256
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10432 0 0 0 44954 52 0 0 25 0 1 0 454080124 42414080 9704 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10355 9704 231 231 0 10124 0
vsize: 41420
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10451 0 0 0 45955 52 0 0 25 0 1 0 454080124 42414080 9723 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10355 9723 231 231 0 10124 0
vsize: 41420
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10471 0 0 0 46954 53 0 0 25 0 1 0 454080124 42414080 9743 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10355 9743 231 231 0 10124 0
vsize: 41420
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10489 0 0 0 47954 54 0 0 25 0 1 0 454080124 42414080 9761 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10355 9761 231 231 0 10124 0
vsize: 41420
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10516 0 0 0 48954 54 0 0 25 0 1 0 454080124 42549248 9788 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10388 9788 231 231 0 10157 0
vsize: 41552
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10542 0 0 0 49953 54 0 0 25 0 1 0 454080124 42549248 9814 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10388 9814 231 231 0 10157 0
vsize: 41552
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10567 0 0 0 50953 55 0 0 25 0 1 0 454080124 42692608 9839 4294967295 134512640 135450300 3221224640 3221223456 134547900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 9839 231 231 0 10192 0
vsize: 41692
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10587 0 0 0 51953 56 0 0 25 0 1 0 454080124 42692608 9859 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 9859 231 231 0 10192 0
vsize: 41692
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10616 0 0 0 52953 56 0 0 25 0 1 0 454080124 42692608 9888 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 9888 231 231 0 10192 0
vsize: 41692
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10635 0 0 0 53952 56 0 0 25 0 1 0 454080124 42692608 9907 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 9907 231 231 0 10192 0
vsize: 41692
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10665 0 0 0 54952 57 0 0 25 0 1 0 454080124 42844160 9937 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 9937 231 231 0 10229 0
vsize: 41840
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10685 0 0 0 55951 58 0 0 25 0 1 0 454080124 42844160 9957 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 9957 231 231 0 10229 0
vsize: 41840
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10707 0 0 0 56951 58 0 0 25 0 1 0 454080124 42844160 9979 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 9979 231 231 0 10229 0
vsize: 41840
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10731 0 0 0 57951 59 0 0 25 0 1 0 454080124 43008000 10003 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 10003 231 231 0 10269 0
vsize: 42000
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10747 0 0 0 58951 59 0 0 25 0 1 0 454080124 43008000 10019 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 10019 231 231 0 10269 0
vsize: 42000
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10770 0 0 0 59950 59 0 0 25 0 1 0 454080124 43008000 10042 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 10042 231 231 0 10269 0
vsize: 42000
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10793 0 0 0 60950 60 0 0 25 0 1 0 454080124 43147264 10065 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10534 10066 231 231 0 10303 0
vsize: 42136
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10808 0 0 0 61949 61 0 0 25 0 1 0 454080124 43319296 10080 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10576 10080 231 231 0 10345 0
vsize: 42304
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 10827 0 0 0 62949 62 0 0 25 0 1 0 454080124 43319296 10099 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10576 10099 231 231 0 10345 0
vsize: 42304
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11614 0 0 0 63946 64 0 0 25 0 1 0 454080124 46465024 10117 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11344 10117 231 231 0 11113 0
vsize: 45376
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11639 0 0 0 64946 65 0 0 25 0 1 0 454080124 46465024 10142 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11344 10142 231 231 0 11113 0
vsize: 45376
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11664 0 0 0 65946 65 0 0 25 0 1 0 454080124 46649344 10167 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10167 231 231 0 11158 0
vsize: 45556
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11683 0 0 0 66946 65 0 0 25 0 1 0 454080124 46649344 10186 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10186 231 231 0 11158 0
vsize: 45556
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11698 0 0 0 67945 66 0 0 25 0 1 0 454080124 46649344 10201 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10201 231 231 0 11158 0
vsize: 45556
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11716 0 0 0 68945 66 0 0 25 0 1 0 454080124 46649344 10219 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10219 231 231 0 11158 0
vsize: 45556
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11736 0 0 0 69944 67 0 0 25 0 1 0 454080124 46649344 10239 4294967295 134512640 135450300 3221224640 3221223456 134537149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10239 231 231 0 11158 0
vsize: 45556
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11760 0 0 0 70944 68 0 0 25 0 1 0 454080124 46841856 10263 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10263 231 231 0 11205 0
vsize: 45744
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11775 0 0 0 71944 68 0 0 25 0 1 0 454080124 46841856 10278 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10278 231 231 0 11205 0
vsize: 45744
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11793 0 0 0 72944 68 0 0 25 0 1 0 454080124 46841856 10296 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10296 231 231 0 11205 0
vsize: 45744
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11812 0 0 0 73944 69 0 0 25 0 1 0 454080124 46841856 10315 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10315 231 231 0 11205 0
vsize: 45744
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11831 0 0 0 74943 69 0 0 25 0 1 0 454080124 46841856 10334 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10334 231 231 0 11205 0
vsize: 45744
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11849 0 0 0 75943 70 0 0 25 0 1 0 454080124 46841856 10352 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10352 231 231 0 11205 0
vsize: 45744
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11870 0 0 0 76943 70 0 0 25 0 1 0 454080124 47046656 10373 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10373 231 231 0 11255 0
vsize: 45944
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11888 0 0 0 77943 70 0 0 25 0 1 0 454080124 47046656 10391 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10391 231 231 0 11255 0
vsize: 45944
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11907 0 0 0 78942 71 0 0 25 0 1 0 454080124 47046656 10410 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10410 231 231 0 11255 0
vsize: 45944
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11925 0 0 0 79942 71 0 0 25 0 1 0 454080124 47046656 10428 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10428 231 231 0 11255 0
vsize: 45944
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11942 0 0 0 80942 71 0 0 25 0 1 0 454080124 47046656 10445 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10445 231 231 0 11255 0
vsize: 45944
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11958 0 0 0 81942 72 0 0 25 0 1 0 454080124 47046656 10461 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11486 10461 231 231 0 11255 0
vsize: 45944
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11976 0 0 0 82942 72 0 0 25 0 1 0 454080124 47263744 10479 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11539 10479 231 231 0 11308 0
vsize: 46156
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 11996 0 0 0 83941 73 0 0 25 0 1 0 454080124 47263744 10499 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11539 10499 231 231 0 11308 0
vsize: 46156
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12015 0 0 0 84941 73 0 0 25 0 1 0 454080124 47263744 10518 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11539 10518 231 231 0 11308 0
vsize: 46156
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12036 0 0 0 85940 74 0 0 25 0 1 0 454080124 47263744 10539 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11539 10539 231 231 0 11308 0
vsize: 46156
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12056 0 0 0 86940 75 0 0 25 0 1 0 454080124 47263744 10559 4294967295 134512640 135450300 3221224640 3221223472 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11539 10559 231 231 0 11308 0
vsize: 46156
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12069 0 0 0 87940 75 0 0 25 0 1 0 454080124 47263744 10572 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11539 10572 231 231 0 11308 0
vsize: 46156
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12084 0 0 0 88940 75 0 0 25 0 1 0 454080124 47497216 10587 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11596 10587 231 231 0 11365 0
vsize: 46384
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12103 0 0 0 89939 76 0 0 25 0 1 0 454080124 47497216 10606 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11596 10606 231 231 0 11365 0
vsize: 46384
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12119 0 0 0 90939 76 0 0 25 0 1 0 454080124 47497216 10622 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11596 10622 231 231 0 11365 0
vsize: 46384
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12141 0 0 0 91939 77 0 0 25 0 1 0 454080124 47497216 10644 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11596 10644 231 231 0 11365 0
vsize: 46384
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12166 0 0 0 92939 77 0 0 25 0 1 0 454080124 47497216 10669 4294967295 134512640 135450300 3221224640 3221223456 134536537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11596 10669 231 231 0 11365 0
vsize: 46384
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12185 0 0 0 93938 78 0 0 25 0 1 0 454080124 47882240 10688 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10688 231 231 0 11459 0
vsize: 46760
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12202 0 0 0 94938 78 0 0 25 0 1 0 454080124 47882240 10705 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10705 231 231 0 11459 0
vsize: 46760
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12218 0 0 0 95938 79 0 0 25 0 1 0 454080124 47882240 10721 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10721 231 231 0 11459 0
vsize: 46760
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12237 0 0 0 96937 79 0 0 25 0 1 0 454080124 47882240 10740 4294967295 134512640 135450300 3221224640 3221223456 134547259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10740 231 231 0 11459 0
vsize: 46760
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12255 0 0 0 97937 80 0 0 25 0 1 0 454080124 47882240 10758 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10758 231 231 0 11459 0
vsize: 46760
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12275 0 0 0 98937 80 0 0 25 0 1 0 454080124 47882240 10778 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10778 231 231 0 11459 0
vsize: 46760
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12294 0 0 0 99937 80 0 0 25 0 1 0 454080124 47882240 10797 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11690 10797 231 231 0 11459 0
vsize: 46760
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12310 0 0 0 100937 81 0 0 25 0 1 0 454080124 48144384 10813 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10813 231 231 0 11523 0
vsize: 47016
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12327 0 0 0 101936 81 0 0 25 0 1 0 454080124 48144384 10830 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10830 231 231 0 11523 0
vsize: 47016
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12344 0 0 0 102936 81 0 0 25 0 1 0 454080124 48144384 10847 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10847 231 231 0 11523 0
vsize: 47016
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12364 0 0 0 103936 82 0 0 25 0 1 0 454080124 48144384 10867 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10867 231 231 0 11523 0
vsize: 47016
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12380 0 0 0 104936 82 0 0 25 0 1 0 454080124 48144384 10883 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10883 231 231 0 11523 0
vsize: 47016
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12396 0 0 0 105936 83 0 0 25 0 1 0 454080124 48144384 10899 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10899 231 231 0 11523 0
vsize: 47016
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12416 0 0 0 106935 83 0 0 25 0 1 0 454080124 48144384 10919 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 10919 231 231 0 11523 0
vsize: 47016
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12434 0 0 0 107935 84 0 0 25 0 1 0 454080124 48422912 10937 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 10937 231 231 0 11591 0
vsize: 47288
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12451 0 0 0 108935 84 0 0 25 0 1 0 454080124 48422912 10954 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 10954 231 231 0 11591 0
vsize: 47288
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12464 0 0 0 109934 85 0 0 25 0 1 0 454080124 48422912 10967 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 10967 231 231 0 11591 0
vsize: 47288
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12483 0 0 0 110934 85 0 0 25 0 1 0 454080124 48422912 10986 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 10986 231 231 0 11591 0
vsize: 47288
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12499 0 0 0 111934 86 0 0 25 0 1 0 454080124 48422912 11002 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 11002 231 231 0 11591 0
vsize: 47288
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12515 0 0 0 112934 86 0 0 25 0 1 0 454080124 48422912 11018 4294967295 134512640 135450300 3221224640 3221223456 134547909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 11018 231 231 0 11591 0
vsize: 47288
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12530 0 0 0 113933 86 0 0 25 0 1 0 454080124 48422912 11033 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 11033 231 231 0 11591 0
vsize: 47288
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12548 0 0 0 114933 87 0 0 25 0 1 0 454080124 48422912 11051 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 11051 231 231 0 11591 0
vsize: 47288
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12559 0 0 0 115933 87 0 0 25 0 1 0 454080124 48422912 11062 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 11062 231 231 0 11591 0
vsize: 47288
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12572 0 0 0 116933 88 0 0 25 0 1 0 454080124 48422912 11075 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11822 11075 231 231 0 11591 0
vsize: 47288
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12596 0 0 0 117932 88 0 0 25 0 1 0 454080124 48717824 11099 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11894 11099 231 231 0 11663 0
vsize: 47576
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12613 0 0 0 118932 89 0 0 25 0 1 0 454080124 48717824 11116 4294967295 134512640 135450300 3221224640 3221223360 134536040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11894 11116 231 231 0 11663 0
vsize: 47576
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25323
Raw data (stat): 25323 (PBS4) R 25322 32461 32460 0 -1 0 12632 0 0 0 119931 90 0 0 25 0 1 0 454080124 48717824 11135 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11894 11135 231 231 0 11663 0
vsize: 47576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25323
Raw data (stat): 25323 (PBS4) Z 25322 32461 32460 0 -1 1036 12632 0 0 0 119931 92 0 0 25 0 1 0 454080124 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.05
CPU time (s): 1200.24
CPU user time (s): 1199.32
CPU system time (s): 0.922859
CPU usage (%): 100.016
Max. virtual memory (Kb): 47576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####