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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7882

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-17 16:59:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2832 boxname=wulflinc6 idbench=315 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-2.opb
IDLAUNCH: 2832
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        827584 kB
Buffers:         37600 kB
Cached:         145668 kB
SwapCached:       2644 kB
Active:          68656 kB
Inactive:       120160 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        827304 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12624 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:19:28 (client local time) WITH STATUS 0 IN 1200.81 SECONDS
stats: 2832 7 1200.81 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-2.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 20893
Raw data (stat): 20893 (runsolver) R 20892 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453920555 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.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20893
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 2696 0 0 0 993 6 0 0 25 0 1 0 453920555 19316736 2541 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 2541 231 231 0 4485 0
vsize: 18864
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20893
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 4176 0 0 0 1990 9 0 0 25 0 1 0 453920555 19595264 4021 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4784 4021 231 231 0 4553 0
vsize: 19136
[startup+30.1036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20893
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 5122 0 0 0 2998 12 0 0 25 0 1 0 453920555 36667392 4967 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8952 4967 231 231 0 8721 0
vsize: 35808
[startup+40.1035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20893
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 6766 0 0 0 3994 16 0 0 25 0 1 0 453920555 37150720 6611 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 6611 231 231 0 8839 0
vsize: 36280
[startup+50.2579 s]
Raw data (loadavg): 1.12 0.99 0.92 3/58 20938
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 8556 0 0 0 5004 22 0 0 25 0 1 0 453920555 37572608 8401 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 8401 231 231 0 8942 0
vsize: 36692
[startup+60.2581 s]
Raw data (loadavg): 1.10 0.99 0.92 2/54 20946
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 9247 0 0 0 6002 24 0 0 25 0 1 0 453920555 71573504 9092 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17474 9092 231 231 0 17243 0
vsize: 69896
[startup+70.2588 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 20946
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 10038 0 0 0 7000 26 0 0 25 0 1 0 453920555 72015872 9883 4294967295 134512640 135450300 3221224640 3221223456 134547865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17582 9883 231 231 0 17351 0
vsize: 70328
[startup+80.3603 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 20946
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 10408 0 0 0 8010 27 0 0 25 0 1 0 453920555 72437760 10253 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17685 10253 231 231 0 17454 0
vsize: 70740
[startup+90.3604 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 20946
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 10989 0 0 0 9009 28 0 0 25 0 1 0 453920555 74407936 10641 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18166 10641 231 231 0 17935 0
vsize: 72664
[startup+100.36 s]
Raw data (loadavg): 1.05 0.99 0.92 3/54 20946
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 11159 0 0 0 10008 29 0 0 25 0 1 0 453920555 75177984 10811 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18354 10811 231 231 0 18123 0
vsize: 73416
[startup+110.36 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 20946
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 12237 0 0 0 11005 33 0 0 25 0 1 0 453920555 75460608 11889 4294967295 134512640 135450300 3221224640 3221223072 134579552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18423 11889 231 231 0 18192 0
vsize: 73692
[startup+120.361 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 12355 0 0 0 12005 33 0 0 25 0 1 0 453920555 76038144 12007 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18564 12007 231 231 0 18333 0
vsize: 74256
[startup+130.361 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 12795 0 0 0 13004 35 0 0 25 0 1 0 453920555 76357632 12447 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18642 12447 231 231 0 18411 0
vsize: 74568
[startup+140.361 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 12896 0 0 0 14004 35 0 0 25 0 1 0 453920555 76656640 12548 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18715 12548 231 231 0 18484 0
vsize: 74860
[startup+150.362 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 13008 0 0 0 15003 36 0 0 25 0 1 0 453920555 77082624 12660 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18819 12660 231 231 0 18588 0
vsize: 75276
[startup+160.362 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 13357 0 0 0 16003 37 0 0 25 0 1 0 453920555 77369344 13009 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18889 13009 231 231 0 18658 0
vsize: 75556
[startup+170.363 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 13419 0 0 0 17002 38 0 0 25 0 1 0 453920555 77664256 13071 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18961 13071 231 231 0 18730 0
vsize: 75844
[startup+180.363 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 13684 0 0 0 18001 39 0 0 25 0 1 0 453920555 77963264 13336 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19034 13336 231 231 0 18803 0
vsize: 76136
[startup+190.364 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 13777 0 0 0 19001 40 0 0 25 0 1 0 453920555 78237696 13429 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19101 13429 231 231 0 18870 0
vsize: 76404
[startup+200.364 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 13969 0 0 0 20000 41 0 0 25 0 1 0 453920555 78524416 13621 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19171 13621 231 231 0 18940 0
vsize: 76684
[startup+210.364 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14020 0 0 0 21000 42 0 0 25 0 1 0 453920555 78667776 13672 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19206 13672 231 231 0 18975 0
vsize: 76824
[startup+220.365 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14159 0 0 0 22000 42 0 0 25 0 1 0 453920555 78815232 13811 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19242 13811 231 231 0 19011 0
vsize: 76968
[startup+230.365 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14222 0 0 0 22999 43 0 0 25 0 1 0 453920555 78974976 13874 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19281 13874 231 231 0 19050 0
vsize: 77124
[startup+240.366 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14297 0 0 0 23999 44 0 0 25 0 1 0 453920555 79269888 13949 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19353 13949 231 231 0 19122 0
vsize: 77412
[startup+250.366 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14444 0 0 0 24998 45 0 0 25 0 1 0 453920555 79581184 14096 4294967295 134512640 135450300 3221224640 3221223472 134549654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 14096 231 231 0 19198 0
vsize: 77716
[startup+260.367 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14494 0 0 0 25998 45 0 0 25 0 1 0 453920555 79900672 14146 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19507 14146 231 231 0 19276 0
vsize: 78028
[startup+270.367 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14571 0 0 0 26998 46 0 0 25 0 1 0 453920555 79900672 14223 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19507 14223 231 231 0 19276 0
vsize: 78028
[startup+280.367 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14611 0 0 0 27998 46 0 0 25 0 1 0 453920555 80056320 14263 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19545 14263 231 231 0 19314 0
vsize: 78180
[startup+290.367 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 14628 0 0 0 28998 46 0 0 25 0 1 0 453920555 80056320 14280 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19545 14280 231 231 0 19314 0
vsize: 78180
[startup+300.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15068 0 0 0 29998 47 0 0 25 0 1 0 453920555 81629184 14335 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19929 14335 231 231 0 19698 0
vsize: 79716
[startup+310.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15103 0 0 0 30997 48 0 0 25 0 1 0 453920555 81788928 14370 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19968 14370 231 231 0 19737 0
vsize: 79872
[startup+320.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15282 0 0 0 31997 48 0 0 25 0 1 0 453920555 81936384 14549 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20004 14549 231 231 0 19773 0
vsize: 80016
[startup+330.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15357 0 0 0 32997 49 0 0 25 0 1 0 453920555 82235392 14624 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20077 14624 231 231 0 19846 0
vsize: 80308
[startup+340.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15398 0 0 0 33996 50 0 0 25 0 1 0 453920555 82399232 14665 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20117 14665 231 231 0 19886 0
vsize: 80468
[startup+350.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15431 0 0 0 34996 50 0 0 25 0 1 0 453920555 82399232 14698 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20117 14698 231 231 0 19886 0
vsize: 80468
[startup+360.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15469 0 0 0 35996 51 0 0 25 0 1 0 453920555 82604032 14736 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20167 14736 231 231 0 19936 0
vsize: 80668
[startup+370.369 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15495 0 0 0 36996 51 0 0 25 0 1 0 453920555 82767872 14762 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20207 14762 231 231 0 19976 0
vsize: 80828
[startup+380.368 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15519 0 0 0 37996 52 0 0 25 0 1 0 453920555 82767872 14786 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20207 14786 231 231 0 19976 0
vsize: 80828
[startup+390.369 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20948
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15559 0 0 0 38995 53 0 0 25 0 1 0 453920555 82911232 14826 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20242 14826 231 231 0 20011 0
vsize: 80968
[startup+400.37 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15630 0 0 0 39996 53 0 0 25 0 1 0 453920555 83210240 14897 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20315 14897 231 231 0 20084 0
vsize: 81260
[startup+410.37 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15666 0 0 0 40996 53 0 0 25 0 1 0 453920555 83357696 14933 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20351 14933 231 231 0 20120 0
vsize: 81404
[startup+420.37 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15713 0 0 0 41995 54 0 0 25 0 1 0 453920555 83656704 14980 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20424 14980 231 231 0 20193 0
vsize: 81696
[startup+430.372 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15755 0 0 0 42995 54 0 0 25 0 1 0 453920555 83656704 15022 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20424 15022 231 231 0 20193 0
vsize: 81696
[startup+440.371 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15807 0 0 0 43996 54 0 0 25 0 1 0 453920555 83984384 15074 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20504 15074 231 231 0 20273 0
vsize: 82016
[startup+450.372 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15835 0 0 0 44996 55 0 0 25 0 1 0 453920555 84144128 15102 4294967295 134512640 135450300 3221224640 3221223360 134535567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20543 15102 231 231 0 20312 0
vsize: 82172
[startup+460.372 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15852 0 0 0 45996 55 0 0 25 0 1 0 453920555 84144128 15119 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20543 15119 231 231 0 20312 0
vsize: 82172
[startup+470.373 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15907 0 0 0 46996 55 0 0 25 0 1 0 453920555 84279296 15174 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20576 15174 231 231 0 20345 0
vsize: 82304
[startup+480.373 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15933 0 0 0 47996 56 0 0 25 0 1 0 453920555 84508672 15200 4294967295 134512640 135450300 3221224640 3221223024 134579480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20632 15200 231 231 0 20401 0
vsize: 82528
[startup+490.374 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15949 0 0 0 48996 56 0 0 25 0 1 0 453920555 84508672 15216 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20632 15216 231 231 0 20401 0
vsize: 82528
[startup+500.374 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 15984 0 0 0 49996 57 0 0 25 0 1 0 453920555 84508672 15251 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20632 15251 231 231 0 20401 0
vsize: 82528
[startup+510.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16016 0 0 0 50996 57 0 0 25 0 1 0 453920555 84844544 15283 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20714 15283 231 231 0 20483 0
vsize: 82856
[startup+520.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16033 0 0 0 51996 57 0 0 25 0 1 0 453920555 84844544 15300 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20714 15300 231 231 0 20483 0
vsize: 82856
[startup+530.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16048 0 0 0 52996 58 0 0 25 0 1 0 453920555 84844544 15315 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20714 15315 231 231 0 20483 0
vsize: 82856
[startup+540.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16068 0 0 0 53996 58 0 0 25 0 1 0 453920555 84844544 15335 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20714 15335 231 231 0 20483 0
vsize: 82856
[startup+550.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16084 0 0 0 54996 58 0 0 25 0 1 0 453920555 84992000 15351 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20750 15351 231 231 0 20519 0
vsize: 83000
[startup+560.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16101 0 0 0 55996 58 0 0 25 0 1 0 453920555 84992000 15368 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20750 15368 231 231 0 20519 0
vsize: 83000
[startup+570.376 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16119 0 0 0 56996 58 0 0 25 0 1 0 453920555 84992000 15386 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20750 15386 231 231 0 20519 0
vsize: 83000
[startup+580.375 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16148 0 0 0 57996 59 0 0 25 0 1 0 453920555 85209088 15415 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20803 15415 231 231 0 20572 0
vsize: 83212
[startup+590.376 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16168 0 0 0 58996 59 0 0 25 0 1 0 453920555 85209088 15435 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20803 15435 231 231 0 20572 0
vsize: 83212
[startup+600.376 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16216 0 0 0 59996 59 0 0 25 0 1 0 453920555 85372928 15483 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20843 15483 231 231 0 20612 0
vsize: 83372
[startup+610.377 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16240 0 0 0 60997 60 0 0 25 0 1 0 453920555 85372928 15507 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20843 15507 231 231 0 20612 0
vsize: 83372
[startup+620.377 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16261 0 0 0 61996 60 0 0 25 0 1 0 453920555 85598208 15528 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20898 15528 231 231 0 20667 0
vsize: 83592
[startup+630.378 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16280 0 0 0 62997 60 0 0 25 0 1 0 453920555 85598208 15547 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20898 15547 231 231 0 20667 0
vsize: 83592
[startup+640.378 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16302 0 0 0 63997 61 0 0 25 0 1 0 453920555 85598208 15569 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20898 15569 231 231 0 20667 0
vsize: 83592
[startup+650.379 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16316 0 0 0 64997 61 0 0 25 0 1 0 453920555 85598208 15583 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20898 15583 231 231 0 20667 0
vsize: 83592
[startup+660.379 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16344 0 0 0 65996 62 0 0 25 0 1 0 453920555 85737472 15611 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20932 15611 231 231 0 20701 0
vsize: 83728
[startup+670.379 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16380 0 0 0 66996 62 0 0 25 0 1 0 453920555 85901312 15647 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20972 15647 231 231 0 20741 0
vsize: 83888
[startup+680.38 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16423 0 0 0 67996 62 0 0 25 0 1 0 453920555 86065152 15690 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21012 15690 231 231 0 20781 0
vsize: 84048
[startup+690.38 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16448 0 0 0 68997 63 0 0 25 0 1 0 453920555 86065152 15715 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21012 15715 231 231 0 20781 0
vsize: 84048
[startup+700.38 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16460 0 0 0 69996 63 0 0 25 0 1 0 453920555 86065152 15727 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21012 15727 231 231 0 20781 0
vsize: 84048
[startup+710.38 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16475 0 0 0 70996 64 0 0 25 0 1 0 453920555 86212608 15742 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21048 15742 231 231 0 20817 0
vsize: 84192
[startup+720.381 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16493 0 0 0 71996 64 0 0 25 0 1 0 453920555 86212608 15760 4294967295 134512640 135450300 3221224640 3221223472 134549462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21048 15760 231 231 0 20817 0
vsize: 84192
[startup+730.381 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16545 0 0 0 72996 64 0 0 25 0 1 0 453920555 86376448 15812 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 15812 231 231 0 20857 0
vsize: 84352
[startup+740.381 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16566 0 0 0 73996 65 0 0 25 0 1 0 453920555 86376448 15833 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 15833 231 231 0 20857 0
vsize: 84352
[startup+750.382 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16594 0 0 0 74996 65 0 0 25 0 1 0 453920555 86540288 15861 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21128 15861 231 231 0 20897 0
vsize: 84512
[startup+760.382 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16616 0 0 0 75996 66 0 0 25 0 1 0 453920555 86695936 15883 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21166 15883 231 231 0 20935 0
vsize: 84664
[startup+770.382 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16632 0 0 0 76996 66 0 0 25 0 1 0 453920555 86695936 15899 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21166 15899 231 231 0 20935 0
vsize: 84664
[startup+780.383 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 16644 0 0 0 77996 67 0 0 25 0 1 0 453920555 86695936 15911 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21166 15911 231 231 0 20935 0
vsize: 84664
[startup+790.383 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17471 0 0 0 78994 69 0 0 25 0 1 0 453920555 90005504 15969 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21974 15969 231 231 0 21743 0
vsize: 87896
[startup+800.383 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17505 0 0 0 79994 69 0 0 25 0 1 0 453920555 90169344 16003 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22014 16003 231 231 0 21783 0
vsize: 88056
[startup+810.383 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17535 0 0 0 80993 70 0 0 25 0 1 0 453920555 90333184 16033 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22054 16033 231 231 0 21823 0
vsize: 88216
[startup+820.384 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17552 0 0 0 81993 71 0 0 25 0 1 0 453920555 90333184 16050 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22054 16050 231 231 0 21823 0
vsize: 88216
[startup+830.384 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17598 0 0 0 82993 71 0 0 25 0 1 0 453920555 90497024 16096 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22094 16096 231 231 0 21863 0
vsize: 88376
[startup+840.385 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17621 0 0 0 83993 72 0 0 25 0 1 0 453920555 90497024 16119 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22094 16119 231 231 0 21863 0
vsize: 88376
[startup+850.386 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17635 0 0 0 84993 72 0 0 25 0 1 0 453920555 90497024 16133 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22094 16133 231 231 0 21863 0
vsize: 88376
[startup+860.386 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17649 0 0 0 85993 72 0 0 25 0 1 0 453920555 90673152 16147 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22137 16147 231 231 0 21906 0
vsize: 88548
[startup+870.386 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17670 0 0 0 86993 73 0 0 25 0 1 0 453920555 90836992 16168 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22177 16168 231 231 0 21946 0
vsize: 88708
[startup+880.387 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17686 0 0 0 87993 73 0 0 25 0 1 0 453920555 90836992 16184 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22177 16184 231 231 0 21946 0
vsize: 88708
[startup+890.388 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17708 0 0 0 88993 73 0 0 25 0 1 0 453920555 90836992 16206 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22177 16206 231 231 0 21946 0
vsize: 88708
[startup+900.389 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17743 0 0 0 89993 74 0 0 25 0 1 0 453920555 90836992 16241 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22177 16241 231 231 0 21946 0
vsize: 88708
[startup+910.389 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17772 0 0 0 90993 74 0 0 25 0 1 0 453920555 91000832 16270 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22217 16270 231 231 0 21986 0
vsize: 88868
[startup+920.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17795 0 0 0 91993 75 0 0 25 0 1 0 453920555 91185152 16293 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16293 231 231 0 22031 0
vsize: 89048
[startup+930.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17813 0 0 0 92993 76 0 0 25 0 1 0 453920555 91185152 16311 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16311 231 231 0 22031 0
vsize: 89048
[startup+940.391 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17825 0 0 0 93992 76 0 0 25 0 1 0 453920555 91185152 16323 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16323 231 231 0 22031 0
vsize: 89048
[startup+950.391 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17840 0 0 0 94993 76 0 0 25 0 1 0 453920555 91185152 16338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16338 231 231 0 22031 0
vsize: 89048
[startup+960.393 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17854 0 0 0 95993 77 0 0 25 0 1 0 453920555 91185152 16352 4294967295 134512640 135450300 3221224640 3221223168 134545573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16352 231 231 0 22031 0
vsize: 89048
[startup+970.393 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17866 0 0 0 96993 77 0 0 25 0 1 0 453920555 91185152 16364 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16364 231 231 0 22031 0
vsize: 89048
[startup+980.393 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17882 0 0 0 97993 77 0 0 25 0 1 0 453920555 91185152 16380 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 16380 231 231 0 22031 0
vsize: 89048
[startup+990.394 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17898 0 0 0 98993 78 0 0 25 0 1 0 453920555 91381760 16396 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22310 16396 231 231 0 22079 0
vsize: 89240
[startup+1000.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17916 0 0 0 99993 78 0 0 25 0 1 0 453920555 91381760 16414 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22310 16414 231 231 0 22079 0
vsize: 89240
[startup+1010.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17933 0 0 0 100993 78 0 0 25 0 1 0 453920555 91381760 16431 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22310 16431 231 231 0 22079 0
vsize: 89240
[startup+1020.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17945 0 0 0 101993 78 0 0 25 0 1 0 453920555 91381760 16443 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22310 16443 231 231 0 22079 0
vsize: 89240
[startup+1030.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17972 0 0 0 102993 78 0 0 25 0 1 0 453920555 91545600 16470 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22350 16470 231 231 0 22119 0
vsize: 89400
[startup+1040.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 17987 0 0 0 103993 79 0 0 25 0 1 0 453920555 91545600 16485 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22350 16485 231 231 0 22119 0
vsize: 89400
[startup+1050.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18003 0 0 0 104993 79 0 0 25 0 1 0 453920555 91754496 16501 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22401 16501 231 231 0 22170 0
vsize: 89604
[startup+1060.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18016 0 0 0 105993 79 0 0 25 0 1 0 453920555 91754496 16514 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22401 16514 231 231 0 22170 0
vsize: 89604
[startup+1070.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18037 0 0 0 106993 80 0 0 25 0 1 0 453920555 91754496 16535 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22401 16535 231 231 0 22170 0
vsize: 89604
[startup+1080.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18076 0 0 0 107993 80 0 0 25 0 1 0 453920555 91918336 16574 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22441 16574 231 231 0 22210 0
vsize: 89764
[startup+1090.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18095 0 0 0 108993 80 0 0 25 0 1 0 453920555 91918336 16593 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22441 16593 231 231 0 22210 0
vsize: 89764
[startup+1100.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18119 0 0 0 109993 81 0 0 25 0 1 0 453920555 91918336 16617 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22441 16617 231 231 0 22210 0
vsize: 89764
[startup+1110.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18162 0 0 0 110993 81 0 0 25 0 1 0 453920555 91918336 16660 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22441 16660 231 231 0 22210 0
vsize: 89764
[startup+1120.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18184 0 0 0 111993 82 0 0 25 0 1 0 453920555 92303360 16682 4294967295 134512640 135450300 3221224640 3221223384 135084165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16682 231 231 0 22304 0
vsize: 90140
[startup+1130.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18199 0 0 0 112993 82 0 0 25 0 1 0 453920555 92303360 16697 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16697 231 231 0 22304 0
vsize: 90140
[startup+1140.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18210 0 0 0 113993 82 0 0 25 0 1 0 453920555 92303360 16708 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16708 231 231 0 22304 0
vsize: 90140
[startup+1150.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18237 0 0 0 114993 83 0 0 25 0 1 0 453920555 92303360 16735 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16735 231 231 0 22304 0
vsize: 90140
[startup+1160.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18254 0 0 0 115993 83 0 0 25 0 1 0 453920555 92303360 16752 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16752 231 231 0 22304 0
vsize: 90140
[startup+1170.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18269 0 0 0 116993 83 0 0 25 0 1 0 453920555 92303360 16767 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16767 231 231 0 22304 0
vsize: 90140
[startup+1180.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18290 0 0 0 117993 83 0 0 25 0 1 0 453920555 92303360 16788 4294967295 134512640 135450300 3221224640 3221223360 134535546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16788 231 231 0 22304 0
vsize: 90140
[startup+1190.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18304 0 0 0 118993 84 0 0 25 0 1 0 453920555 92303360 16802 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22535 16802 231 231 0 22304 0
vsize: 90140
[startup+1200.39 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20950
Raw data (stat): 20893 (PBS4) R 20892 29653 29652 0 -1 0 18335 0 0 0 119993 84 0 0 25 0 1 0 453920555 92704768 16833 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22633 16833 231 231 0 22402 0
vsize: 90532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 20950
Raw data (stat): 20893 (PBS4) Z 20892 29653 29652 0 -1 1036 18335 0 0 0 119993 88 0 0 25 0 1 0 453920555 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.42
CPU time (s): 1200.81
CPU user time (s): 1199.93
CPU system time (s): 0.880866
CPU usage (%): 100.033
Max. virtual memory (Kb): 90532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####