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/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
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	360
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	360
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.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
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	8
Trace number 7777

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-17 16:14:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1473 boxname=wulflinc10 idbench=164 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc10/normalized-ii8a2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-ii8a2.opb
IDLAUNCH: 1473
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        816652 kB
Buffers:         36628 kB
Cached:         160340 kB
SwapCached:        164 kB
Active:          78712 kB
Inactive:       121328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        816400 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12340 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:34:42 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 1473 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-ii8a2.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.86 0.97 0.85 2/54 18346
Raw data (stat): 18346 (runsolver) R 18345 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453660057 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.99966 s]
Raw data (loadavg): 0.88 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 2206 0 0 0 991 7 0 0 25 0 1 0 453660057 10072064 2202 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2459 2202 231 231 0 2228 0
vsize: 9836
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 3457 0 0 0 1986 12 0 0 25 0 1 0 453660057 19357696 3404 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 3404 231 231 0 4495 0
vsize: 18904
[startup+30.0003 s]
Raw data (loadavg): 0.92 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 4126 0 0 0 2983 15 0 0 25 0 1 0 453660057 19492864 4073 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4759 4073 231 231 0 4528 0
vsize: 19036
[startup+40.0011 s]
Raw data (loadavg): 0.93 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 4449 0 0 0 3982 16 0 0 25 0 1 0 453660057 19763200 4396 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4825 4396 231 231 0 4594 0
vsize: 19300
[startup+50.0017 s]
Raw data (loadavg): 0.94 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5097 0 0 0 4980 19 0 0 25 0 1 0 453660057 37208064 4947 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 4947 231 231 0 8853 0
vsize: 36336
[startup+60.0009 s]
Raw data (loadavg): 0.95 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5451 0 0 0 5978 21 0 0 25 0 1 0 453660057 37343232 5301 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9117 5301 231 231 0 8886 0
vsize: 36468
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5488 0 0 0 6977 22 0 0 25 0 1 0 453660057 37343232 5338 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9117 5338 231 231 0 8886 0
vsize: 36468
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5538 0 0 0 7977 23 0 0 25 0 1 0 453660057 37642240 5388 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 5388 231 231 0 8959 0
vsize: 36760
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.97 0.85 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5564 0 0 0 8976 23 0 0 25 0 1 0 453660057 37642240 5414 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 5414 231 231 0 8959 0
vsize: 36760
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5585 0 0 0 9976 24 0 0 25 0 1 0 453660057 37642240 5435 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 5435 231 231 0 8959 0
vsize: 36760
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5628 0 0 0 10975 25 0 0 25 0 1 0 453660057 37789696 5478 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9226 5478 231 231 0 8995 0
vsize: 36904
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 5656 0 0 0 11975 25 0 0 25 0 1 0 453660057 37789696 5506 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9226 5506 231 231 0 8995 0
vsize: 36904
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6152 0 0 0 12973 27 0 0 25 0 1 0 453660057 38711296 5809 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9451 5809 231 231 0 9220 0
vsize: 37804
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6206 0 0 0 13973 28 0 0 25 0 1 0 453660057 38850560 5863 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9485 5863 231 231 0 9254 0
vsize: 37940
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6234 0 0 0 14972 29 0 0 25 0 1 0 453660057 38850560 5891 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9485 5891 231 231 0 9254 0
vsize: 37940
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6260 0 0 0 15971 30 0 0 25 0 1 0 453660057 38985728 5917 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9518 5917 231 231 0 9287 0
vsize: 38072
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6290 0 0 0 16970 32 0 0 25 0 1 0 453660057 38985728 5947 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9518 5947 231 231 0 9287 0
vsize: 38072
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6310 0 0 0 17969 33 0 0 25 0 1 0 453660057 38985728 5967 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9518 5967 231 231 0 9287 0
vsize: 38072
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6333 0 0 0 18968 34 0 0 25 0 1 0 453660057 39149568 5990 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9558 5990 231 231 0 9327 0
vsize: 38232
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6358 0 0 0 19967 35 0 0 25 0 1 0 453660057 39149568 6015 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9558 6015 231 231 0 9327 0
vsize: 38232
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6383 0 0 0 20966 36 0 0 25 0 1 0 453660057 39284736 6040 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9591 6040 231 231 0 9360 0
vsize: 38364
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6408 0 0 0 21966 36 0 0 25 0 1 0 453660057 39284736 6065 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9591 6065 231 231 0 9360 0
vsize: 38364
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6433 0 0 0 22965 38 0 0 25 0 1 0 453660057 39284736 6090 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9591 6090 231 231 0 9360 0
vsize: 38364
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6454 0 0 0 23964 38 0 0 25 0 1 0 453660057 39419904 6111 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9624 6111 231 231 0 9393 0
vsize: 38496
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6481 0 0 0 24964 39 0 0 25 0 1 0 453660057 39419904 6138 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9624 6138 231 231 0 9393 0
vsize: 38496
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6499 0 0 0 25963 40 0 0 25 0 1 0 453660057 39583744 6156 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9664 6156 231 231 0 9433 0
vsize: 38656
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6525 0 0 0 26963 40 0 0 25 0 1 0 453660057 39583744 6182 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9664 6182 231 231 0 9433 0
vsize: 38656
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6543 0 0 0 27963 41 0 0 25 0 1 0 453660057 39583744 6200 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9664 6200 231 231 0 9433 0
vsize: 38656
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6564 0 0 0 28962 41 0 0 25 0 1 0 453660057 39583744 6221 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9664 6221 231 231 0 9433 0
vsize: 38656
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6589 0 0 0 29961 43 0 0 25 0 1 0 453660057 39768064 6246 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 6246 231 231 0 9478 0
vsize: 38836
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6610 0 0 0 30960 44 0 0 25 0 1 0 453660057 39768064 6267 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 6267 231 231 0 9478 0
vsize: 38836
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 6627 0 0 0 31960 45 0 0 25 0 1 0 453660057 39768064 6284 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 6284 231 231 0 9478 0
vsize: 38836
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7029 0 0 0 32958 46 0 0 25 0 1 0 453660057 41340928 6301 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10093 6301 231 231 0 9862 0
vsize: 40372
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7048 0 0 0 33957 47 0 0 25 0 1 0 453660057 41545728 6320 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 6320 231 231 0 9912 0
vsize: 40572
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7065 0 0 0 34957 48 0 0 25 0 1 0 453660057 41545728 6337 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 6337 231 231 0 9912 0
vsize: 40572
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7081 0 0 0 35956 49 0 0 25 0 1 0 453660057 41545728 6353 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 6353 231 231 0 9912 0
vsize: 40572
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7102 0 0 0 36955 50 0 0 25 0 1 0 453660057 41545728 6374 4294967295 134512640 135450300 3221224640 3221223456 134547415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 6374 231 231 0 9912 0
vsize: 40572
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7121 0 0 0 37955 50 0 0 25 0 1 0 453660057 41680896 6393 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10176 6393 231 231 0 9945 0
vsize: 40704
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7143 0 0 0 38954 51 0 0 25 0 1 0 453660057 41680896 6415 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10176 6415 231 231 0 9945 0
vsize: 40704
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7162 0 0 0 39954 52 0 0 25 0 1 0 453660057 41680896 6434 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10176 6434 231 231 0 9945 0
vsize: 40704
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7180 0 0 0 40953 53 0 0 25 0 1 0 453660057 41816064 6452 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10209 6452 231 231 0 9978 0
vsize: 40836
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7198 0 0 0 41952 54 0 0 25 0 1 0 453660057 41816064 6470 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10209 6470 231 231 0 9978 0
vsize: 40836
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7215 0 0 0 42951 55 0 0 25 0 1 0 453660057 41816064 6487 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10209 6487 231 231 0 9978 0
vsize: 40836
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7239 0 0 0 43951 55 0 0 25 0 1 0 453660057 41951232 6511 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 6511 231 231 0 10011 0
vsize: 40968
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7300 0 0 0 44950 57 0 0 25 0 1 0 453660057 41951232 6572 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 6572 231 231 0 10011 0
vsize: 40968
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7321 0 0 0 45949 58 0 0 25 0 1 0 453660057 42086400 6593 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10275 6593 231 231 0 10044 0
vsize: 41100
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7361 0 0 0 46948 59 0 0 25 0 1 0 453660057 42086400 6633 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10275 6633 231 231 0 10044 0
vsize: 41100
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7373 0 0 0 47948 59 0 0 25 0 1 0 453660057 42086400 6645 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10275 6645 231 231 0 10044 0
vsize: 41100
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7391 0 0 0 48948 60 0 0 25 0 1 0 453660057 42250240 6663 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 6663 231 231 0 10084 0
vsize: 41260
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7415 0 0 0 49948 60 0 0 25 0 1 0 453660057 42250240 6687 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 6687 231 231 0 10084 0
vsize: 41260
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7433 0 0 0 50946 62 0 0 25 0 1 0 453660057 42250240 6705 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 6705 231 231 0 10084 0
vsize: 41260
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7579 0 0 0 51945 63 0 0 25 0 1 0 453660057 42250240 6851 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 6851 231 231 0 10084 0
vsize: 41260
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7687 0 0 0 52943 65 0 0 25 0 1 0 453660057 42405888 6959 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 6959 231 231 0 10122 0
vsize: 41412
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7704 0 0 0 53943 66 0 0 25 0 1 0 453660057 42405888 6976 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 6976 231 231 0 10122 0
vsize: 41412
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7718 0 0 0 54943 66 0 0 25 0 1 0 453660057 42405888 6990 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 6990 231 231 0 10122 0
vsize: 41412
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7731 0 0 0 55942 67 0 0 25 0 1 0 453660057 42405888 7003 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7003 231 231 0 10122 0
vsize: 41412
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7744 0 0 0 56942 67 0 0 25 0 1 0 453660057 42405888 7016 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7016 231 231 0 10122 0
vsize: 41412
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7757 0 0 0 57941 68 0 0 25 0 1 0 453660057 42553344 7029 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7029 231 231 0 10158 0
vsize: 41556
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7777 0 0 0 58941 68 0 0 25 0 1 0 453660057 42553344 7049 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7049 231 231 0 10158 0
vsize: 41556
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 7911 0 0 0 59940 70 0 0 25 0 1 0 453660057 42553344 7183 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7183 231 231 0 10158 0
vsize: 41556
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8152 0 0 0 60939 71 0 0 25 0 1 0 453660057 42553344 7424 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7424 231 231 0 10158 0
vsize: 41556
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8171 0 0 0 61938 72 0 0 25 0 1 0 453660057 42692608 7443 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7443 231 231 0 10192 0
vsize: 41692
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8193 0 0 0 62938 73 0 0 25 0 1 0 453660057 42692608 7465 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7465 231 231 0 10192 0
vsize: 41692
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8213 0 0 0 63938 73 0 0 25 0 1 0 453660057 42692608 7485 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7485 231 231 0 10192 0
vsize: 41692
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8230 0 0 0 64937 74 0 0 25 0 1 0 453660057 42692608 7502 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7502 231 231 0 10192 0
vsize: 41692
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8242 0 0 0 65937 74 0 0 25 0 1 0 453660057 42692608 7514 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7514 231 231 0 10192 0
vsize: 41692
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8258 0 0 0 66936 75 0 0 25 0 1 0 453660057 42844160 7530 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7530 231 231 0 10229 0
vsize: 41840
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8269 0 0 0 67936 75 0 0 25 0 1 0 453660057 42844160 7541 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7541 231 231 0 10229 0
vsize: 41840
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8286 0 0 0 68936 76 0 0 25 0 1 0 453660057 42844160 7558 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7558 231 231 0 10229 0
vsize: 41840
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8296 0 0 0 69936 76 0 0 25 0 1 0 453660057 42844160 7568 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7568 231 231 0 10229 0
vsize: 41840
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8315 0 0 0 70935 77 0 0 25 0 1 0 453660057 42983424 7587 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10494 7587 231 231 0 10263 0
vsize: 41976
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8333 0 0 0 71934 78 0 0 25 0 1 0 453660057 43143168 7605 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7605 231 231 0 10302 0
vsize: 42132
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8347 0 0 0 72934 78 0 0 25 0 1 0 453660057 43143168 7619 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7619 231 231 0 10302 0
vsize: 42132
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8360 0 0 0 73934 78 0 0 25 0 1 0 453660057 43143168 7632 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7632 231 231 0 10302 0
vsize: 42132
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8382 0 0 0 74934 79 0 0 25 0 1 0 453660057 43143168 7654 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7654 231 231 0 10302 0
vsize: 42132
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8398 0 0 0 75933 80 0 0 25 0 1 0 453660057 43143168 7670 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10533 7670 231 231 0 10302 0
vsize: 42132
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8417 0 0 0 76934 80 0 0 25 0 1 0 453660057 43311104 7689 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 7689 231 231 0 10343 0
vsize: 42296
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8431 0 0 0 77933 80 0 0 25 0 1 0 453660057 43311104 7703 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 7703 231 231 0 10343 0
vsize: 42296
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8446 0 0 0 78933 81 0 0 25 0 1 0 453660057 43311104 7718 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 7718 231 231 0 10343 0
vsize: 42296
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8465 0 0 0 79932 82 0 0 25 0 1 0 453660057 43311104 7737 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 7737 231 231 0 10343 0
vsize: 42296
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8480 0 0 0 80931 83 0 0 25 0 1 0 453660057 43311104 7752 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 7752 231 231 0 10343 0
vsize: 42296
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 8497 0 0 0 81930 84 0 0 25 0 1 0 453660057 43311104 7769 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 7769 231 231 0 10343 0
vsize: 42296
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9281 0 0 0 82928 87 0 0 25 0 1 0 453660057 46637056 7784 4294967295 134512640 135450300 3221224640 3221223376 134538433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7784 231 231 0 11155 0
vsize: 45544
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9295 0 0 0 83927 87 0 0 25 0 1 0 453660057 46637056 7798 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7798 231 231 0 11155 0
vsize: 45544
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9310 0 0 0 84927 88 0 0 25 0 1 0 453660057 46637056 7813 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7813 231 231 0 11155 0
vsize: 45544
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9322 0 0 0 85926 89 0 0 25 0 1 0 453660057 46637056 7825 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7825 231 231 0 11155 0
vsize: 45544
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9334 0 0 0 86926 89 0 0 25 0 1 0 453660057 46637056 7837 4294967295 134512640 135450300 3221224640 3221223376 134538496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7837 231 231 0 11155 0
vsize: 45544
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9350 0 0 0 87925 90 0 0 25 0 1 0 453660057 46637056 7853 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7853 231 231 0 11155 0
vsize: 45544
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9364 0 0 0 88925 91 0 0 25 0 1 0 453660057 46637056 7867 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7867 231 231 0 11155 0
vsize: 45544
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9374 0 0 0 89925 91 0 0 25 0 1 0 453660057 46637056 7877 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11386 7877 231 231 0 11155 0
vsize: 45544
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9390 0 0 0 90924 92 0 0 25 0 1 0 453660057 46825472 7893 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11432 7893 231 231 0 11201 0
vsize: 45728
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9407 0 0 0 91924 93 0 0 25 0 1 0 453660057 46964736 7910 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11466 7910 231 231 0 11235 0
vsize: 45864
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9428 0 0 0 92924 93 0 0 25 0 1 0 453660057 46964736 7931 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11466 7931 231 231 0 11235 0
vsize: 45864
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9441 0 0 0 93923 94 0 0 25 0 1 0 453660057 46964736 7944 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11466 7944 231 231 0 11235 0
vsize: 45864
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9456 0 0 0 94923 94 0 0 25 0 1 0 453660057 46964736 7959 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11466 7959 231 231 0 11235 0
vsize: 45864
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9471 0 0 0 95923 95 0 0 25 0 1 0 453660057 46964736 7974 4294967295 134512640 135450300 3221224640 3221223476 134537812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11466 7974 231 231 0 11235 0
vsize: 45864
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9482 0 0 0 96922 95 0 0 25 0 1 0 453660057 47165440 7985 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 7985 231 231 0 11284 0
vsize: 46060
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9498 0 0 0 97922 96 0 0 25 0 1 0 453660057 47165440 8001 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8001 231 231 0 11284 0
vsize: 46060
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9513 0 0 0 98922 96 0 0 25 0 1 0 453660057 47165440 8016 4294967295 134512640 135450300 3221224640 3221223552 134597360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8016 231 231 0 11284 0
vsize: 46060
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9523 0 0 0 99922 97 0 0 25 0 1 0 453660057 47165440 8026 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8026 231 231 0 11284 0
vsize: 46060
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9539 0 0 0 100921 97 0 0 25 0 1 0 453660057 47165440 8042 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8042 231 231 0 11284 0
vsize: 46060
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9549 0 0 0 101921 98 0 0 25 0 1 0 453660057 47165440 8052 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8052 231 231 0 11284 0
vsize: 46060
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9563 0 0 0 102921 98 0 0 25 0 1 0 453660057 47165440 8066 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8066 231 231 0 11284 0
vsize: 46060
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9570 0 0 0 103921 99 0 0 25 0 1 0 453660057 47165440 8073 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8073 231 231 0 11284 0
vsize: 46060
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9585 0 0 0 104921 99 0 0 25 0 1 0 453660057 47378432 8088 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8088 231 231 0 11336 0
vsize: 46268
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9674 0 0 0 105920 100 0 0 25 0 1 0 453660057 47378432 8177 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8177 231 231 0 11336 0
vsize: 46268
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9693 0 0 0 106920 100 0 0 25 0 1 0 453660057 47378432 8196 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8196 231 231 0 11336 0
vsize: 46268
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9703 0 0 0 107920 100 0 0 25 0 1 0 453660057 47378432 8206 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8206 231 231 0 11336 0
vsize: 46268
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9862 0 0 0 108918 102 0 0 25 0 1 0 453660057 47378432 8365 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8365 231 231 0 11336 0
vsize: 46268
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9872 0 0 0 109917 103 0 0 25 0 1 0 453660057 47378432 8375 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8375 231 231 0 11336 0
vsize: 46268
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9881 0 0 0 110917 104 0 0 25 0 1 0 453660057 47378432 8384 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8384 231 231 0 11336 0
vsize: 46268
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9897 0 0 0 111916 105 0 0 25 0 1 0 453660057 47378432 8400 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8400 231 231 0 11336 0
vsize: 46268
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9908 0 0 0 112916 105 0 0 25 0 1 0 453660057 47378432 8411 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11567 8411 231 231 0 11336 0
vsize: 46268
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9922 0 0 0 113916 106 0 0 25 0 1 0 453660057 47607808 8425 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8425 231 231 0 11392 0
vsize: 46492
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9931 0 0 0 114915 106 0 0 25 0 1 0 453660057 47607808 8434 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8434 231 231 0 11392 0
vsize: 46492
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9947 0 0 0 115915 106 0 0 25 0 1 0 453660057 47607808 8450 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8450 231 231 0 11392 0
vsize: 46492
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9959 0 0 0 116915 107 0 0 25 0 1 0 453660057 47607808 8462 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8462 231 231 0 11392 0
vsize: 46492
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9968 0 0 0 117915 107 0 0 25 0 1 0 453660057 47607808 8471 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8471 231 231 0 11392 0
vsize: 46492
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 9979 0 0 0 118914 108 0 0 25 0 1 0 453660057 47607808 8482 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8482 231 231 0 11392 0
vsize: 46492
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18346
Raw data (stat): 18346 (PBS4) R 18345 25347 25346 0 -1 0 10074 0 0 0 119914 109 0 0 25 0 1 0 453660057 47607808 8577 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11623 8577 231 231 0 11392 0
vsize: 46492
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18346
Raw data (stat): 18346 (PBS4) Z 18345 25347 25346 0 -1 1036 10074 0 0 0 119914 110 0 0 25 0 1 0 453660057 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.04
CPU time (s): 1200.25
CPU user time (s): 1199.14
CPU system time (s): 1.10783
CPU usage (%): 100.018
Max. virtual memory (Kb): 46492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####