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/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb
MD5SUM	4ca29b1bc7e76812f7871e2b937d8a23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	720
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	720
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	720
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	720
Total number of constraints	2168
Number of constraints which are clauses	2144
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	30
Trace number 7844

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-17 16:38:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2166 boxname=wulflinc23 idbench=241 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-5pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-5pb.opb
IDLAUNCH: 2166
/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:        825364 kB
Buffers:         36048 kB
Cached:         129952 kB
SwapCached:        192 kB
Active:          67848 kB
Inactive:       101164 kB
HighTotal:      131008 kB
HighFree:         2576 kB
LowTotal:       903652 kB
LowFree:        822788 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            34776 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:58:37 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2166 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-5pb.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.91 0.97 0.90 2/54 25663
Raw data (stat): 25663 (runsolver) R 25662 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512016599 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+9.99959 s]
Raw data (loadavg): 0.93 0.97 0.90 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 1138 0 0 0 990 8 0 0 25 0 1 0 512016599 5160960 988 4294967295 134512640 135450300 3221224640 3221223360 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1260 988 231 231 0 1029 0
vsize: 5040
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 1533 0 0 0 1986 13 0 0 25 0 1 0 512016599 7806976 1383 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1383 231 231 0 1675 0
vsize: 7624
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2045 0 0 0 2982 17 0 0 25 0 1 0 512016599 9289728 1702 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1702 231 231 0 2037 0
vsize: 9072
[startup+39.9995 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2291 0 0 0 3979 20 0 0 25 0 1 0 512016599 9588736 1948 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1948 231 231 0 2110 0
vsize: 9364
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2509 0 0 0 4976 23 0 0 25 0 1 0 512016599 13955072 2166 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2166 231 231 0 3176 0
vsize: 13628
[startup+60.0001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2705 0 0 0 5974 25 0 0 25 0 1 0 512016599 14438400 2362 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2362 231 231 0 3294 0
vsize: 14100
[startup+70.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2916 0 0 0 6972 28 0 0 25 0 1 0 512016599 14577664 2573 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2573 231 231 0 3328 0
vsize: 14236
[startup+80.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 3513 0 0 0 7968 32 0 0 25 0 1 0 512016599 16482304 2785 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 2785 231 231 0 3793 0
vsize: 16096
[startup+90.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 3783 0 0 0 8966 34 0 0 25 0 1 0 512016599 16773120 3055 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4095 3055 231 231 0 3864 0
vsize: 16380
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4027 0 0 0 9964 37 0 0 25 0 1 0 512016599 16936960 3299 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3299 231 231 0 3904 0
vsize: 16540
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4264 0 0 0 10962 38 0 0 25 0 1 0 512016599 17256448 3536 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 3536 231 231 0 3982 0
vsize: 16852
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4454 0 0 0 11960 41 0 0 25 0 1 0 512016599 17637376 3726 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4306 3726 231 231 0 4075 0
vsize: 17224
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4518 0 0 0 12958 43 0 0 25 0 1 0 512016599 17772544 3790 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4339 3790 231 231 0 4108 0
vsize: 17356
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4662 0 0 0 13957 44 0 0 25 0 1 0 512016599 26349568 3934 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 3934 231 231 0 6202 0
vsize: 25732
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4806 0 0 0 14956 46 0 0 25 0 1 0 512016599 26484736 4078 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6466 4078 231 231 0 6235 0
vsize: 25864
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4922 0 0 0 15954 47 0 0 25 0 1 0 512016599 26677248 4194 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6513 4194 231 231 0 6282 0
vsize: 26052
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5067 0 0 0 16953 49 0 0 25 0 1 0 512016599 27111424 4339 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6619 4339 231 231 0 6388 0
vsize: 26476
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5125 0 0 0 17953 49 0 0 25 0 1 0 512016599 27250688 4397 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6653 4397 231 231 0 6422 0
vsize: 26612
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5157 0 0 0 18951 51 0 0 25 0 1 0 512016599 27250688 4429 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6653 4429 231 231 0 6422 0
vsize: 26612
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5252 0 0 0 19949 53 0 0 25 0 1 0 512016599 27598848 4524 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6738 4524 231 231 0 6507 0
vsize: 26952
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5379 0 0 0 20948 54 0 0 25 0 1 0 512016599 27598848 4651 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6738 4651 231 231 0 6507 0
vsize: 26952
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5566 0 0 0 21947 55 0 0 25 0 1 0 512016599 27795456 4838 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6786 4838 231 231 0 6555 0
vsize: 27144
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5614 0 0 0 22947 56 0 0 25 0 1 0 512016599 27947008 4886 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 4886 231 231 0 6592 0
vsize: 27292
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5703 0 0 0 23946 57 0 0 25 0 1 0 512016599 27947008 4975 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 4975 231 231 0 6592 0
vsize: 27292
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5866 0 0 0 24945 59 0 0 25 0 1 0 512016599 28237824 5138 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6894 5138 231 231 0 6663 0
vsize: 27576
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6014 0 0 0 25944 60 0 0 25 0 1 0 512016599 28401664 5286 4294967295 134512640 135450300 3221224640 3221223376 134538727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6934 5286 231 231 0 6703 0
vsize: 27736
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6853 0 0 0 26941 62 0 0 25 0 1 0 512016599 31907840 5356 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7790 5356 231 231 0 7559 0
vsize: 31160
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6930 0 0 0 27940 63 0 0 25 0 1 0 512016599 32276480 5433 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5433 231 231 0 7649 0
vsize: 31520
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6964 0 0 0 28940 64 0 0 25 0 1 0 512016599 32276480 5467 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5467 231 231 0 7649 0
vsize: 31520
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6996 0 0 0 29939 65 0 0 25 0 1 0 512016599 32276480 5499 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5499 231 231 0 7649 0
vsize: 31520
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7035 0 0 0 30939 65 0 0 25 0 1 0 512016599 32411648 5538 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 5538 231 231 0 7682 0
vsize: 31652
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7051 0 0 0 31939 66 0 0 25 0 1 0 512016599 32411648 5554 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 5554 231 231 0 7682 0
vsize: 31652
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7100 0 0 0 32938 67 0 0 25 0 1 0 512016599 32636928 5603 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7968 5604 231 231 0 7737 0
vsize: 31872
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7120 0 0 0 33938 67 0 0 25 0 1 0 512016599 32636928 5623 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7968 5623 231 231 0 7737 0
vsize: 31872
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7190 0 0 0 34937 68 0 0 25 0 1 0 512016599 32636928 5693 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7968 5693 231 231 0 7737 0
vsize: 31872
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7215 0 0 0 35937 68 0 0 25 0 1 0 512016599 32636928 5718 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7968 5718 231 231 0 7737 0
vsize: 31872
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7324 0 0 0 36936 69 0 0 25 0 1 0 512016599 32792576 5827 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8006 5827 231 231 0 7775 0
vsize: 32024
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7346 0 0 0 37936 69 0 0 25 0 1 0 512016599 32792576 5849 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8006 5849 231 231 0 7775 0
vsize: 32024
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7405 0 0 0 38935 71 0 0 25 0 1 0 512016599 32989184 5908 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 5908 231 231 0 7823 0
vsize: 32216
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7435 0 0 0 39934 72 0 0 25 0 1 0 512016599 32989184 5938 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 5938 231 231 0 7823 0
vsize: 32216
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7472 0 0 0 40933 73 0 0 25 0 1 0 512016599 32989184 5975 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 5975 231 231 0 7823 0
vsize: 32216
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7504 0 0 0 41933 73 0 0 25 0 1 0 512016599 32989184 6007 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 6007 231 231 0 7823 0
vsize: 32216
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7569 0 0 0 42933 74 0 0 25 0 1 0 512016599 33128448 6072 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8088 6072 231 231 0 7857 0
vsize: 32352
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7705 0 0 0 43932 74 0 0 25 0 1 0 512016599 33263616 6208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 6208 231 231 0 7890 0
vsize: 32484
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7734 0 0 0 44931 76 0 0 25 0 1 0 512016599 33263616 6237 4294967295 134512640 135450300 3221224640 3221223456 134546404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 6237 231 231 0 7890 0
vsize: 32484
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7751 0 0 0 45930 77 0 0 25 0 1 0 512016599 33263616 6254 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 6254 231 231 0 7890 0
vsize: 32484
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7777 0 0 0 46929 78 0 0 25 0 1 0 512016599 33263616 6280 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 6280 231 231 0 7890 0
vsize: 32484
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7912 0 0 0 47928 79 0 0 25 0 1 0 512016599 33415168 6415 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8158 6415 231 231 0 7927 0
vsize: 32632
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8090 0 0 0 48927 81 0 0 25 0 1 0 512016599 33685504 6593 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8224 6593 231 231 0 7993 0
vsize: 32896
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8133 0 0 0 49926 81 0 0 25 0 1 0 512016599 33820672 6636 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8257 6636 231 231 0 8026 0
vsize: 33028
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8146 0 0 0 50926 82 0 0 25 0 1 0 512016599 33820672 6649 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8257 6649 231 231 0 8026 0
vsize: 33028
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8155 0 0 0 51926 82 0 0 25 0 1 0 512016599 33820672 6658 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8257 6658 231 231 0 8026 0
vsize: 33028
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8243 0 0 0 52926 83 0 0 25 0 1 0 512016599 33980416 6746 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8296 6746 231 231 0 8065 0
vsize: 33184
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8267 0 0 0 53925 84 0 0 25 0 1 0 512016599 33980416 6770 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8296 6770 231 231 0 8065 0
vsize: 33184
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8349 0 0 0 54924 84 0 0 25 0 1 0 512016599 33980416 6852 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8296 6852 231 231 0 8065 0
vsize: 33184
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8371 0 0 0 55924 84 0 0 25 0 1 0 512016599 34148352 6874 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6874 231 231 0 8106 0
vsize: 33348
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8377 0 0 0 56924 85 0 0 25 0 1 0 512016599 34148352 6880 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6880 231 231 0 8106 0
vsize: 33348
[startup+579.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8422 0 0 0 57922 86 0 0 25 0 1 0 512016599 34148352 6925 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6925 231 231 0 8106 0
vsize: 33348
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8449 0 0 0 58922 87 0 0 25 0 1 0 512016599 34148352 6952 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 6952 231 231 0 8106 0
vsize: 33348
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8473 0 0 0 59922 87 0 0 25 0 1 0 512016599 34492416 6976 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8421 6976 231 231 0 8190 0
vsize: 33684
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8494 0 0 0 60921 88 0 0 25 0 1 0 512016599 34492416 6997 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8421 6997 231 231 0 8190 0
vsize: 33684
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8497 0 0 0 61921 89 0 0 25 0 1 0 512016599 34492416 7000 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8421 7000 231 231 0 8190 0
vsize: 33684
[startup+629.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8572 0 0 0 62920 90 0 0 25 0 1 0 512016599 34762752 7075 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 7075 231 231 0 8256 0
vsize: 33948
[startup+639.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8589 0 0 0 63919 90 0 0 25 0 1 0 512016599 34762752 7092 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 7092 231 231 0 8256 0
vsize: 33948
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8634 0 0 0 64919 91 0 0 25 0 1 0 512016599 35086336 7137 4294967295 134512640 135450300 3221224640 3221223568 134539676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7137 231 231 0 8335 0
vsize: 34264
[startup+659.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8653 0 0 0 65919 91 0 0 25 0 1 0 512016599 35086336 7156 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7156 231 231 0 8335 0
vsize: 34264
[startup+669.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8686 0 0 0 66918 92 0 0 25 0 1 0 512016599 35086336 7189 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7189 231 231 0 8335 0
vsize: 34264
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8712 0 0 0 67918 93 0 0 25 0 1 0 512016599 35086336 7215 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7215 231 231 0 8335 0
vsize: 34264
[startup+689.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8792 0 0 0 68916 94 0 0 25 0 1 0 512016599 35086336 7295 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7295 231 231 0 8335 0
vsize: 34264
[startup+699.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8815 0 0 0 69916 95 0 0 25 0 1 0 512016599 35086336 7318 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7318 231 231 0 8335 0
vsize: 34264
[startup+709.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8945 0 0 0 70915 96 0 0 25 0 1 0 512016599 35287040 7448 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7448 231 231 0 8384 0
vsize: 34460
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8964 0 0 0 71914 97 0 0 25 0 1 0 512016599 35287040 7467 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7467 231 231 0 8384 0
vsize: 34460
[startup+729.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8995 0 0 0 72914 98 0 0 25 0 1 0 512016599 35287040 7498 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7498 231 231 0 8384 0
vsize: 34460
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9006 0 0 0 73914 98 0 0 25 0 1 0 512016599 35287040 7509 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7509 231 231 0 8384 0
vsize: 34460
[startup+749.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9018 0 0 0 74913 99 0 0 25 0 1 0 512016599 35287040 7521 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7521 231 231 0 8384 0
vsize: 34460
[startup+759.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9089 0 0 0 75912 100 0 0 25 0 1 0 512016599 35434496 7592 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8651 7592 231 231 0 8420 0
vsize: 34604
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9109 0 0 0 76912 100 0 0 25 0 1 0 512016599 35434496 7612 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8651 7612 231 231 0 8420 0
vsize: 34604
[startup+779.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9166 0 0 0 77912 100 0 0 25 0 1 0 512016599 35434496 7669 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8651 7669 231 231 0 8420 0
vsize: 34604
[startup+789.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9250 0 0 0 78911 101 0 0 25 0 1 0 512016599 35434496 7753 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8651 7753 231 231 0 8420 0
vsize: 34604
[startup+799.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9301 0 0 0 79910 102 0 0 25 0 1 0 512016599 35569664 7804 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8684 7804 231 231 0 8453 0
vsize: 34736
[startup+809.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9320 0 0 0 80910 103 0 0 25 0 1 0 512016599 35782656 7823 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8736 7823 231 231 0 8505 0
vsize: 34944
[startup+819.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9343 0 0 0 81910 103 0 0 25 0 1 0 512016599 35782656 7846 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8736 7846 231 231 0 8505 0
vsize: 34944
[startup+829.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9395 0 0 0 82909 104 0 0 25 0 1 0 512016599 35917824 7898 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8769 7898 231 231 0 8538 0
vsize: 35076
[startup+839.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9407 0 0 0 83909 105 0 0 25 0 1 0 512016599 35917824 7910 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8769 7910 231 231 0 8538 0
vsize: 35076
[startup+849.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9429 0 0 0 84908 106 0 0 25 0 1 0 512016599 35917824 7932 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8769 7932 231 231 0 8538 0
vsize: 35076
[startup+859.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9485 0 0 0 85907 106 0 0 25 0 1 0 512016599 36184064 7988 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 7988 231 231 0 8603 0
vsize: 35336
[startup+869.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9568 0 0 0 86907 107 0 0 25 0 1 0 512016599 36184064 8071 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 8071 231 231 0 8603 0
vsize: 35336
[startup+879.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9585 0 0 0 87906 108 0 0 25 0 1 0 512016599 36184064 8088 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 8088 231 231 0 8603 0
vsize: 35336
[startup+889.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9636 0 0 0 88906 108 0 0 25 0 1 0 512016599 36184064 8139 4294967295 134512640 135450300 3221224640 3221223376 134538693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 8139 231 231 0 8603 0
vsize: 35336
[startup+899.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9764 0 0 0 89906 109 0 0 25 0 1 0 512016599 36184064 8267 4294967295 134512640 135450300 3221224640 3221223456 134546505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 8267 231 231 0 8603 0
vsize: 35336
[startup+909.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9792 0 0 0 90905 110 0 0 25 0 1 0 512016599 36184064 8295 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8834 8295 231 231 0 8603 0
vsize: 35336
[startup+919.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9914 0 0 0 91904 111 0 0 25 0 1 0 512016599 53190656 8417 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12986 8417 231 231 0 12755 0
vsize: 51944
[startup+929.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9946 0 0 0 92903 112 0 0 25 0 1 0 512016599 53387264 8449 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13034 8449 231 231 0 12803 0
vsize: 52136
[startup+939.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9954 0 0 0 93903 112 0 0 25 0 1 0 512016599 53387264 8457 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13034 8457 231 231 0 12803 0
vsize: 52136
[startup+949.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9967 0 0 0 94903 112 0 0 25 0 1 0 512016599 53387264 8470 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13034 8470 231 231 0 12803 0
vsize: 52136
[startup+959.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10003 0 0 0 95903 113 0 0 25 0 1 0 512016599 53628928 8506 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13093 8506 231 231 0 12862 0
vsize: 52372
[startup+969.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10056 0 0 0 96903 113 0 0 25 0 1 0 512016599 53895168 8559 4294967295 134512640 135450300 3221224640 3221223468 134538630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13158 8559 231 231 0 12927 0
vsize: 52632
[startup+979.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10066 0 0 0 97903 113 0 0 25 0 1 0 512016599 53895168 8569 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13158 8569 231 231 0 12927 0
vsize: 52632
[startup+989.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10088 0 0 0 98902 114 0 0 25 0 1 0 512016599 53895168 8591 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13158 8591 231 231 0 12927 0
vsize: 52632
[startup+999.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10141 0 0 0 99902 115 0 0 25 0 1 0 512016599 54026240 8611 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13190 8611 231 231 0 12959 0
vsize: 52760
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10148 0 0 0 100902 115 0 0 25 0 1 0 512016599 54026240 8618 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13190 8618 231 231 0 12959 0
vsize: 52760
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10170 0 0 0 101902 115 0 0 25 0 1 0 512016599 54026240 8640 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13190 8640 231 231 0 12959 0
vsize: 52760
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10181 0 0 0 102902 115 0 0 25 0 1 0 512016599 54026240 8651 4294967295 134512640 135450300 3221224640 3221223376 134538721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13190 8651 231 231 0 12959 0
vsize: 52760
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10194 0 0 0 103902 116 0 0 25 0 1 0 512016599 54284288 8664 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13253 8664 231 231 0 13022 0
vsize: 53012
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11741 0 0 0 104899 118 0 0 25 0 1 0 512016599 60575744 8674 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14789 8674 231 231 0 14558 0
vsize: 59156
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11760 0 0 0 105899 119 0 0 25 0 1 0 512016599 60575744 8693 4294967295 134512640 135450300 3221224640 3221223456 134546477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14789 8693 231 231 0 14558 0
vsize: 59156
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11813 0 0 0 106898 119 0 0 25 0 1 0 512016599 60841984 8746 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14854 8746 231 231 0 14623 0
vsize: 59416
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11832 0 0 0 107898 120 0 0 25 0 1 0 512016599 60841984 8765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14854 8765 231 231 0 14623 0
vsize: 59416
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11844 0 0 0 108898 120 0 0 25 0 1 0 512016599 60841984 8777 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14854 8777 231 231 0 14623 0
vsize: 59416
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11849 0 0 0 109898 120 0 0 25 0 1 0 512016599 60841984 8782 4294967295 134512640 135450300 3221224640 3221223376 134538688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14854 8782 231 231 0 14623 0
vsize: 59416
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11896 0 0 0 110898 121 0 0 25 0 1 0 512016599 60973056 8796 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14886 8796 231 231 0 14655 0
vsize: 59544
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11915 0 0 0 111896 122 0 0 25 0 1 0 512016599 60973056 8815 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14886 8815 231 231 0 14655 0
vsize: 59544
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11918 0 0 0 112896 123 0 0 25 0 1 0 512016599 60973056 8818 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14886 8818 231 231 0 14655 0
vsize: 59544
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12018 0 0 0 113896 123 0 0 25 0 1 0 512016599 61104128 8885 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14918 8885 231 231 0 14687 0
vsize: 59672
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12085 0 0 0 114895 124 0 0 25 0 1 0 512016599 61104128 8952 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14918 8952 231 231 0 14687 0
vsize: 59672
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12148 0 0 0 115894 125 0 0 25 0 1 0 512016599 61644800 9015 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15050 9015 231 231 0 14819 0
vsize: 60200
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12243 0 0 0 116894 125 0 0 25 0 1 0 512016599 62042112 9077 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15147 9077 231 231 0 14916 0
vsize: 60588
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12267 0 0 0 117893 127 0 0 25 0 1 0 512016599 62042112 9101 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15147 9101 231 231 0 14916 0
vsize: 60588
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12281 0 0 0 118892 128 0 0 25 0 1 0 512016599 62042112 9115 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15147 9115 231 231 0 14916 0
vsize: 60588
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25663
Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12298 0 0 0 119892 128 0 0 25 0 1 0 512016599 62042112 9132 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15147 9132 231 231 0 14916 0
vsize: 60588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25663
Raw data (stat): 25663 (PBS4) Z 25662 3260 3259 0 -1 1036 12298 0 0 0 119892 130 0 0 25 0 1 0 512016599 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.02
CPU time (s): 1200.23
CPU user time (s): 1198.92
CPU system time (s): 1.3068
CPU usage (%): 100.018
Max. virtual memory (Kb): 60588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####