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-ii32e2.opb
MD5SUM	4e882bbd92f288daf6e68ac3de757136
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	235
Optimality of the best value was proved	NO
Number of terms in the objective function	534
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	534
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	534
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.03084
Number of variables	534
Total number of constraints	3013
Number of constraints which are clauses	3013
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	32
Trace number 7751

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 16:04:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1428 boxname=wulflinc22 idbench=159 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4e882bbd92f288daf6e68ac3de757136  /oldhome/oroussel/tmp/wulflinc22/normalized-ii32e2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-ii32e2.opb
IDLAUNCH: 1428
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        821684 kB
Buffers:         33928 kB
Cached:         135596 kB
SwapCached:          0 kB
Active:          62268 kB
Inactive:       110196 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        821404 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            34916 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:24:07 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1428 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-ii32e2.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.95 1.03 0.82 2/54 16389
Raw data (stat): 16389 (runsolver) R 16388 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511808715 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.0007 s]
Raw data (loadavg): 0.96 1.03 0.82 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 1167 0 0 0 996 2 0 0 25 0 1 0 511808715 5910528 1163 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1443 1163 231 231 0 1212 0
vsize: 5772
[startup+20.0013 s]
Raw data (loadavg): 0.96 1.03 0.82 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 1906 0 0 0 1994 5 0 0 25 0 1 0 511808715 10104832 1902 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2467 1902 231 231 0 2236 0
vsize: 9868
[startup+30.0018 s]
Raw data (loadavg): 0.97 1.03 0.82 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 2583 0 0 0 2993 6 0 0 25 0 1 0 511808715 18493440 2579 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4515 2579 231 231 0 4284 0
vsize: 18060
[startup+40.0017 s]
Raw data (loadavg): 0.97 1.03 0.82 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 3369 0 0 0 3992 8 0 0 25 0 1 0 511808715 18690048 3316 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3316 231 231 0 4332 0
vsize: 18252
[startup+50.0024 s]
Raw data (loadavg): 0.98 1.02 0.82 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 3990 0 0 0 4990 10 0 0 25 0 1 0 511808715 18972672 3937 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3937 231 231 0 4401 0
vsize: 18528
[startup+60.0018 s]
Raw data (loadavg): 0.98 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 4431 0 0 0 5988 11 0 0 25 0 1 0 511808715 18972672 4378 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 4378 231 231 0 4401 0
vsize: 18528
[startup+70.0028 s]
Raw data (loadavg): 0.98 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 4895 0 0 0 6987 13 0 0 25 0 1 0 511808715 36294656 4842 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8861 4842 231 231 0 8630 0
vsize: 35444
[startup+80.0035 s]
Raw data (loadavg): 0.98 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 5118 0 0 0 7986 14 0 0 25 0 1 0 511808715 36294656 5065 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8861 5065 231 231 0 8630 0
vsize: 35444
[startup+90.0029 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 5414 0 0 0 8985 15 0 0 25 0 1 0 511808715 36429824 5361 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8894 5361 231 231 0 8663 0
vsize: 35576
[startup+100.003 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 5842 0 0 0 9984 16 0 0 25 0 1 0 511808715 36429824 5789 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8894 5789 231 231 0 8663 0
vsize: 35576
[startup+110.004 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 6047 0 0 0 10984 17 0 0 25 0 1 0 511808715 36569088 5994 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 5994 231 231 0 8697 0
vsize: 35712
[startup+120.004 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 6406 0 0 0 11983 18 0 0 25 0 1 0 511808715 36704256 6353 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 6353 231 231 0 8730 0
vsize: 35844
[startup+130.004 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 6429 0 0 0 12982 19 0 0 25 0 1 0 511808715 36704256 6376 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 6376 231 231 0 8730 0
vsize: 35844
[startup+140.004 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 6576 0 0 0 13981 20 0 0 25 0 1 0 511808715 36704256 6523 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 6523 231 231 0 8730 0
vsize: 35844
[startup+150.004 s]
Raw data (loadavg): 0.99 1.02 0.83 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 6753 0 0 0 14981 21 0 0 25 0 1 0 511808715 36704256 6700 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 6700 231 231 0 8730 0
vsize: 35844
[startup+160.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16389
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7030 0 0 0 15980 21 0 0 25 0 1 0 511808715 37236736 6880 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9091 6880 231 231 0 8860 0
vsize: 36364
[startup+170.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7213 0 0 0 16980 22 0 0 25 0 1 0 511808715 37236736 7063 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9091 7063 231 231 0 8860 0
vsize: 36364
[startup+180.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7399 0 0 0 17979 23 0 0 25 0 1 0 511808715 37236736 7249 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9091 7249 231 231 0 8860 0
vsize: 36364
[startup+190.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7565 0 0 0 18979 23 0 0 25 0 1 0 511808715 37236736 7415 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9091 7415 231 231 0 8860 0
vsize: 36364
[startup+200.005 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7741 0 0 0 19978 24 0 0 25 0 1 0 511808715 37371904 7591 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9124 7591 231 231 0 8893 0
vsize: 36496
[startup+210.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7895 0 0 0 20977 25 0 0 25 0 1 0 511808715 37371904 7745 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9124 7745 231 231 0 8893 0
vsize: 36496
[startup+220.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7897 0 0 0 21978 25 0 0 25 0 1 0 511808715 37371904 7747 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9124 7747 231 231 0 8893 0
vsize: 36496
[startup+230.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 7899 0 0 0 22978 25 0 0 25 0 1 0 511808715 37371904 7749 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9124 7749 231 231 0 8893 0
vsize: 36496
[startup+240.003 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 8060 0 0 0 23977 26 0 0 25 0 1 0 511808715 37371904 7910 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9124 7910 231 231 0 8893 0
vsize: 36496
[startup+250.004 s]
Raw data (loadavg): 0.99 1.01 0.84 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 8230 0 0 0 24977 26 0 0 25 0 1 0 511808715 37371904 8080 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9124 8080 231 231 0 8893 0
vsize: 36496
[startup+260.004 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 8399 0 0 0 25977 26 0 0 25 0 1 0 511808715 37511168 8249 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8249 231 231 0 8927 0
vsize: 36632
[startup+270.003 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 8564 0 0 0 26977 27 0 0 25 0 1 0 511808715 37511168 8414 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8414 231 231 0 8927 0
vsize: 36632
[startup+280.003 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 8725 0 0 0 27976 27 0 0 25 0 1 0 511808715 37511168 8575 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8575 231 231 0 8927 0
vsize: 36632
[startup+290.003 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 8897 0 0 0 28976 28 0 0 25 0 1 0 511808715 37511168 8747 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8747 231 231 0 8927 0
vsize: 36632
[startup+300.003 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9049 0 0 0 29976 28 0 0 25 0 1 0 511808715 37511168 8899 4294967295 134512640 135450300 3221224640 3221223472 134549440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8899 231 231 0 8927 0
vsize: 36632
[startup+310.004 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9214 0 0 0 30975 29 0 0 25 0 1 0 511808715 71065600 9064 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 9064 231 231 0 17119 0
vsize: 69400
[startup+320.003 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9411 0 0 0 31975 30 0 0 25 0 1 0 511808715 71348224 9261 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17419 9261 231 231 0 17188 0
vsize: 69676
[startup+330.004 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9417 0 0 0 32974 30 0 0 25 0 1 0 511808715 71348224 9267 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17419 9267 231 231 0 17188 0
vsize: 69676
[startup+340.004 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9419 0 0 0 33975 30 0 0 25 0 1 0 511808715 71348224 9269 4294967295 134512640 135450300 3221224640 3221223024 134602257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17419 9269 231 231 0 17188 0
vsize: 69676
[startup+350.004 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9453 0 0 0 34975 30 0 0 25 0 1 0 511808715 71491584 9303 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17454 9303 231 231 0 17223 0
vsize: 69816
[startup+360.005 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9565 0 0 0 35974 31 0 0 25 0 1 0 511808715 71491584 9415 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17454 9415 231 231 0 17223 0
vsize: 69816
[startup+370.005 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9832 0 0 0 36974 32 0 0 25 0 1 0 511808715 72052736 9682 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17591 9682 231 231 0 17360 0
vsize: 70364
[startup+380.005 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 9992 0 0 0 37974 32 0 0 25 0 1 0 511808715 72052736 9842 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17591 9842 231 231 0 17360 0
vsize: 70364
[startup+390.005 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10176 0 0 0 38973 33 0 0 25 0 1 0 511808715 72192000 10026 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17625 10026 231 231 0 17394 0
vsize: 70500
[startup+400.006 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10345 0 0 0 39973 33 0 0 25 0 1 0 511808715 72355840 10195 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17665 10195 231 231 0 17434 0
vsize: 70660
[startup+410.006 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10510 0 0 0 40972 34 0 0 25 0 1 0 511808715 72355840 10360 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17665 10360 231 231 0 17434 0
vsize: 70660
[startup+420.005 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10677 0 0 0 41972 35 0 0 25 0 1 0 511808715 72355840 10527 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17665 10527 231 231 0 17434 0
vsize: 70660
[startup+430.006 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10834 0 0 0 42971 35 0 0 25 0 1 0 511808715 72355840 10684 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17665 10684 231 231 0 17434 0
vsize: 70660
[startup+440.006 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10884 0 0 0 43971 36 0 0 25 0 1 0 511808715 72663040 10734 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17740 10734 231 231 0 17509 0
vsize: 70960
[startup+450.006 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10886 0 0 0 44971 36 0 0 25 0 1 0 511808715 72663040 10736 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17740 10736 231 231 0 17509 0
vsize: 70960
[startup+460.007 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10902 0 0 0 45971 36 0 0 25 0 1 0 511808715 72663040 10752 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17740 10752 231 231 0 17509 0
vsize: 70960
[startup+470.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10909 0 0 0 46970 37 0 0 25 0 1 0 511808715 72663040 10759 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17740 10759 231 231 0 17509 0
vsize: 70960
[startup+480.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10925 0 0 0 47971 37 0 0 25 0 1 0 511808715 72859648 10775 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 10775 231 231 0 17557 0
vsize: 71152
[startup+490.006 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 10927 0 0 0 48970 37 0 0 25 0 1 0 511808715 72859648 10777 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 10777 231 231 0 17557 0
vsize: 71152
[startup+500.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11065 0 0 0 49970 37 0 0 25 0 1 0 511808715 72859648 10915 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 10915 231 231 0 17557 0
vsize: 71152
[startup+510.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11243 0 0 0 50970 38 0 0 25 0 1 0 511808715 73023488 11093 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 11093 231 231 0 17597 0
vsize: 71312
[startup+520.006 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11387 0 0 0 51970 38 0 0 25 0 1 0 511808715 73023488 11237 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 11237 231 231 0 17597 0
vsize: 71312
[startup+530.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11540 0 0 0 52970 39 0 0 25 0 1 0 511808715 73023488 11390 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 11390 231 231 0 17597 0
vsize: 71312
[startup+540.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11677 0 0 0 53969 39 0 0 25 0 1 0 511808715 73023488 11527 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 11527 231 231 0 17597 0
vsize: 71312
[startup+550.008 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11819 0 0 0 54969 39 0 0 25 0 1 0 511808715 73023488 11669 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 11669 231 231 0 17597 0
vsize: 71312
[startup+560.007 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11878 0 0 0 55969 39 0 0 25 0 1 0 511808715 73170944 11728 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17864 11728 231 231 0 17633 0
vsize: 71456
[startup+570.007 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11887 0 0 0 56969 39 0 0 25 0 1 0 511808715 73170944 11737 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17864 11737 231 231 0 17633 0
vsize: 71456
[startup+580.007 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 11986 0 0 0 57969 40 0 0 25 0 1 0 511808715 73621504 11836 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17974 11836 231 231 0 17743 0
vsize: 71896
[startup+590.007 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12002 0 0 0 58969 41 0 0 25 0 1 0 511808715 73777152 11852 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18012 11852 231 231 0 17781 0
vsize: 72048
[startup+600.008 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12003 0 0 0 59969 41 0 0 25 0 1 0 511808715 73777152 11853 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18012 11853 231 231 0 17781 0
vsize: 72048
[startup+610.008 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12098 0 0 0 60969 41 0 0 25 0 1 0 511808715 74235904 11948 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18124 11948 231 231 0 17893 0
vsize: 72496
[startup+620.008 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12127 0 0 0 61969 41 0 0 25 0 1 0 511808715 74383360 11977 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18160 11977 231 231 0 17929 0
vsize: 72640
[startup+630.008 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12175 0 0 0 62968 42 0 0 25 0 1 0 511808715 74534912 12025 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18197 12025 231 231 0 17966 0
vsize: 72788
[startup+640.008 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12190 0 0 0 63968 42 0 0 25 0 1 0 511808715 74534912 12040 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18197 12040 231 231 0 17966 0
vsize: 72788
[startup+650.008 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12203 0 0 0 64968 42 0 0 25 0 1 0 511808715 74715136 12053 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18241 12053 231 231 0 18010 0
vsize: 72964
[startup+660.007 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12205 0 0 0 65968 42 0 0 25 0 1 0 511808715 74715136 12055 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18241 12055 231 231 0 18010 0
vsize: 72964
[startup+670.007 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12273 0 0 0 66968 43 0 0 25 0 1 0 511808715 74715136 12123 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18241 12123 231 231 0 18010 0
vsize: 72964
[startup+680.008 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12555 0 0 0 67967 44 0 0 25 0 1 0 511808715 75649024 12212 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18469 12212 231 231 0 18238 0
vsize: 73876
[startup+690.007 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12557 0 0 0 68967 44 0 0 25 0 1 0 511808715 75649024 12214 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18469 12214 231 231 0 18238 0
vsize: 73876
[startup+700.008 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12559 0 0 0 69967 44 0 0 25 0 1 0 511808715 75649024 12216 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18469 12216 231 231 0 18238 0
vsize: 73876
[startup+710.008 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12603 0 0 0 70967 44 0 0 25 0 1 0 511808715 75976704 12260 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18549 12260 231 231 0 18318 0
vsize: 74196
[startup+720.008 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12742 0 0 0 71966 45 0 0 25 0 1 0 511808715 75976704 12399 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18549 12399 231 231 0 18318 0
vsize: 74196
[startup+730.007 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 12935 0 0 0 72966 46 0 0 25 0 1 0 511808715 76124160 12592 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18585 12592 231 231 0 18354 0
vsize: 74340
[startup+740.007 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13077 0 0 0 73965 47 0 0 25 0 1 0 511808715 76124160 12734 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18585 12734 231 231 0 18354 0
vsize: 74340
[startup+750.008 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13243 0 0 0 74965 47 0 0 25 0 1 0 511808715 76288000 12900 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 12900 231 231 0 18394 0
vsize: 74500
[startup+760.007 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13385 0 0 0 75964 48 0 0 25 0 1 0 511808715 76288000 13042 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 13042 231 231 0 18394 0
vsize: 74500
[startup+770.007 s]
Raw data (loadavg): 0.99 1.00 0.89 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13528 0 0 0 76963 49 0 0 25 0 1 0 511808715 76288000 13185 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 13185 231 231 0 18394 0
vsize: 74500
[startup+780.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13747 0 0 0 77961 51 0 0 25 0 1 0 511808715 76451840 13404 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18665 13404 231 231 0 18434 0
vsize: 74660
[startup+790.007 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13960 0 0 0 78961 52 0 0 25 0 1 0 511808715 76611584 13617 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13617 231 231 0 18473 0
vsize: 74816
[startup+800.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13962 0 0 0 79961 52 0 0 25 0 1 0 511808715 76611584 13619 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13619 231 231 0 18473 0
vsize: 74816
[startup+810.009 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13964 0 0 0 80961 52 0 0 25 0 1 0 511808715 76611584 13621 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13621 231 231 0 18473 0
vsize: 74816
[startup+820.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13968 0 0 0 81961 53 0 0 25 0 1 0 511808715 76611584 13625 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13625 231 231 0 18473 0
vsize: 74816
[startup+830.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13970 0 0 0 82961 53 0 0 25 0 1 0 511808715 76611584 13627 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13627 231 231 0 18473 0
vsize: 74816
[startup+840.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13979 0 0 0 83961 53 0 0 25 0 1 0 511808715 76611584 13636 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13636 231 231 0 18473 0
vsize: 74816
[startup+850.009 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13980 0 0 0 84961 53 0 0 25 0 1 0 511808715 76611584 13637 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13637 231 231 0 18473 0
vsize: 74816
[startup+860.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 13982 0 0 0 85961 53 0 0 25 0 1 0 511808715 76611584 13639 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18704 13639 231 231 0 18473 0
vsize: 74816
[startup+870.008 s]
Raw data (loadavg): 0.99 1.00 0.90 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14118 0 0 0 86960 54 0 0 25 0 1 0 511808715 76750848 13775 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18738 13775 231 231 0 18507 0
vsize: 74952
[startup+880.008 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14349 0 0 0 87959 55 0 0 25 0 1 0 511808715 76750848 14006 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18738 14006 231 231 0 18507 0
vsize: 74952
[startup+890.008 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14494 0 0 0 88959 56 0 0 25 0 1 0 511808715 76750848 14151 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18738 14151 231 231 0 18507 0
vsize: 74952
[startup+900.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14634 0 0 0 89959 56 0 0 25 0 1 0 511808715 76750848 14291 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18738 14291 231 231 0 18507 0
vsize: 74952
[startup+910.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14754 0 0 0 90959 56 0 0 25 0 1 0 511808715 77062144 14411 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18814 14411 231 231 0 18583 0
vsize: 75256
[startup+920.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14757 0 0 0 91959 56 0 0 25 0 1 0 511808715 77062144 14414 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18814 14414 231 231 0 18583 0
vsize: 75256
[startup+930.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14759 0 0 0 92959 56 0 0 25 0 1 0 511808715 77062144 14416 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18814 14416 231 231 0 18583 0
vsize: 75256
[startup+940.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14803 0 0 0 93959 56 0 0 25 0 1 0 511808715 77201408 14460 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 14460 231 231 0 18617 0
vsize: 75392
[startup+950.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14805 0 0 0 94959 57 0 0 25 0 1 0 511808715 77201408 14462 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 14462 231 231 0 18617 0
vsize: 75392
[startup+960.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14832 0 0 0 95959 57 0 0 25 0 1 0 511808715 77348864 14489 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18884 14489 231 231 0 18653 0
vsize: 75536
[startup+970.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14845 0 0 0 96959 57 0 0 25 0 1 0 511808715 77512704 14502 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18924 14502 231 231 0 18693 0
vsize: 75696
[startup+980.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14848 0 0 0 97959 57 0 0 25 0 1 0 511808715 77512704 14505 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18924 14505 231 231 0 18693 0
vsize: 75696
[startup+990.009 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 14948 0 0 0 98959 57 0 0 25 0 1 0 511808715 77512704 14605 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18924 14605 231 231 0 18693 0
vsize: 75696
[startup+1000.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15084 0 0 0 99959 58 0 0 25 0 1 0 511808715 77512704 14741 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18924 14741 231 231 0 18693 0
vsize: 75696
[startup+1010.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15270 0 0 0 100959 58 0 0 25 0 1 0 511808715 77836288 14927 4294967295 134512640 135450300 3221224640 3221223472 134549462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19003 14927 231 231 0 18772 0
vsize: 76012
[startup+1020.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15618 0 0 0 101957 60 0 0 25 0 1 0 511808715 78159872 15275 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19082 15275 231 231 0 18851 0
vsize: 76328
[startup+1030.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15623 0 0 0 102957 61 0 0 25 0 1 0 511808715 78159872 15280 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19082 15280 231 231 0 18851 0
vsize: 76328
[startup+1040.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15659 0 0 0 103956 61 0 0 25 0 1 0 511808715 78323712 15316 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19122 15316 231 231 0 18891 0
vsize: 76488
[startup+1050.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15709 0 0 0 104957 61 0 0 25 0 1 0 511808715 78520320 15366 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19170 15366 231 231 0 18939 0
vsize: 76680
[startup+1060.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15711 0 0 0 105957 61 0 0 25 0 1 0 511808715 78520320 15368 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19170 15368 231 231 0 18939 0
vsize: 76680
[startup+1070.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15737 0 0 0 106956 62 0 0 25 0 1 0 511808715 78655488 15394 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19203 15394 231 231 0 18972 0
vsize: 76812
[startup+1080.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15740 0 0 0 107956 62 0 0 25 0 1 0 511808715 78655488 15397 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19203 15397 231 231 0 18972 0
vsize: 76812
[startup+1090.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15748 0 0 0 108956 62 0 0 25 0 1 0 511808715 78655488 15405 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19203 15405 231 231 0 18972 0
vsize: 76812
[startup+1100.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15837 0 0 0 109956 63 0 0 25 0 1 0 511808715 78655488 15494 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19203 15494 231 231 0 18972 0
vsize: 76812
[startup+1110.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15952 0 0 0 110955 63 0 0 25 0 1 0 511808715 78790656 15609 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 15609 231 231 0 19005 0
vsize: 76944
[startup+1120.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15963 0 0 0 111955 64 0 0 25 0 1 0 511808715 78790656 15620 4294967295 134512640 135450300 3221224640 3221223456 134536417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 15620 231 231 0 19005 0
vsize: 76944
[startup+1130.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15971 0 0 0 112955 64 0 0 25 0 1 0 511808715 78929920 15628 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19270 15628 231 231 0 19039 0
vsize: 77080
[startup+1140.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15972 0 0 0 113955 64 0 0 25 0 1 0 511808715 78929920 15629 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19270 15629 231 231 0 19039 0
vsize: 77080
[startup+1150.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15983 0 0 0 114955 64 0 0 25 0 1 0 511808715 78929920 15640 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19270 15640 231 231 0 19039 0
vsize: 77080
[startup+1160.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15984 0 0 0 115955 64 0 0 25 0 1 0 511808715 78929920 15641 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19270 15641 231 231 0 19039 0
vsize: 77080
[startup+1170.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15986 0 0 0 116955 65 0 0 25 0 1 0 511808715 78929920 15643 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19270 15643 231 231 0 19039 0
vsize: 77080
[startup+1180.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 15992 0 0 0 117955 65 0 0 25 0 1 0 511808715 78929920 15649 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19270 15649 231 231 0 19039 0
vsize: 77080
[startup+1190.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 16058 0 0 0 118955 65 0 0 25 0 1 0 511808715 79216640 15715 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19340 15715 231 231 0 19109 0
vsize: 77360
[startup+1200.01 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 16391
Raw data (stat): 16389 (PBS4) R 16388 26298 26297 0 -1 0 16068 0 0 0 119954 66 0 0 25 0 1 0 511808715 79216640 15725 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19340 15725 231 231 0 19109 0
vsize: 77360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 0.91 1/54 16391
Raw data (stat): 16389 (PBS4) Z 16388 26298 26297 0 -1 1036 16068 0 0 0 119954 69 0 0 25 0 1 0 511808715 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.04
CPU time (s): 1200.24
CPU user time (s): 1199.55
CPU system time (s): 0.692894
CPU usage (%): 100.017
Max. virtual memory (Kb): 77360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####