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/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM	7731f50c352d2fd7b2fe148b68bfdbab
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	760
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	760
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	760
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	1175.06
Number of variables	760
Total number of constraints	41605
Number of constraints which are clauses	41605
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 7895

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-17 17:03:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2940 boxname=wulflinc9 idbench=327 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc9/normalized-frb40-19-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-frb40-19-4.opb
IDLAUNCH: 2940
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        848872 kB
Buffers:         38020 kB
Cached:         126044 kB
SwapCached:        564 kB
Active:          72064 kB
Inactive:        95408 kB
HighTotal:      131008 kB
HighFree:         1064 kB
LowTotal:       903652 kB
LowFree:        847808 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12732 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:23:24 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 2940 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-frb40-19-4.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.85 0.97 0.91 2/54 25464
Raw data (stat): 25464 (runsolver) R 25463 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453944846 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 3000 0 0 0 991 7 0 0 25 0 1 0 453944846 20303872 2651 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4957 2651 231 231 0 4726 0
vsize: 19828
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 4466 0 0 0 1989 10 0 0 25 0 1 0 453944846 20443136 4117 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 4117 231 231 0 4760 0
vsize: 19964
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 5667 0 0 0 2985 14 0 0 25 0 1 0 453944846 37355520 5318 4294967295 134512640 135450300 3221224640 3221223104 134532585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9120 5318 231 231 0 8889 0
vsize: 36480
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 6730 0 0 0 3983 17 0 0 25 0 1 0 453944846 37494784 6381 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9154 6381 231 231 0 8923 0
vsize: 36616
[startup+50.002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 8594 0 0 0 4977 22 0 0 25 0 1 0 453944846 37494784 8245 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9154 8245 231 231 0 8923 0
vsize: 36616
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 10218 0 0 0 5974 26 0 0 25 0 1 0 453944846 71213056 9869 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17386 9869 231 231 0 17155 0
vsize: 69544
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 11993 0 0 0 6969 31 0 0 25 0 1 0 453944846 72081408 11644 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17598 11644 231 231 0 17367 0
vsize: 70392
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 12504 0 0 0 7968 32 0 0 25 0 1 0 453944846 72245248 12155 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17638 12155 231 231 0 17407 0
vsize: 70552
[startup+90.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 13430 0 0 0 8966 34 0 0 25 0 1 0 453944846 72708096 13081 4294967295 134512640 135450300 3221224640 3221223024 134579223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17751 13081 231 231 0 17520 0
vsize: 71004
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 15260 0 0 0 9963 37 0 0 25 0 1 0 453944846 72847360 14911 4294967295 134512640 135450300 3221224640 3221223168 134544104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17785 14911 231 231 0 17554 0
vsize: 71140
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 16432 0 0 0 10960 40 0 0 25 0 1 0 453944846 73129984 16083 4294967295 134512640 135450300 3221224640 3221223024 134602303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17854 16083 231 231 0 17623 0
vsize: 71416
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 16487 0 0 0 11960 41 0 0 25 0 1 0 453944846 73404416 16138 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17921 16138 231 231 0 17690 0
vsize: 71684
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 16692 0 0 0 12959 42 0 0 25 0 1 0 453944846 74313728 16343 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18143 16343 231 231 0 17912 0
vsize: 72572
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 17183 0 0 0 13957 44 0 0 25 0 1 0 453944846 74469376 16834 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18181 16834 231 231 0 17950 0
vsize: 72724
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25464
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 17291 0 0 0 14957 44 0 0 25 0 1 0 453944846 74911744 16942 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18289 16942 231 231 0 18058 0
vsize: 73156
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 17330 0 0 0 15957 45 0 0 25 0 1 0 453944846 75051008 16981 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18323 16981 231 231 0 18092 0
vsize: 73292
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 18276 0 0 0 16955 47 0 0 25 0 1 0 453944846 75468800 17927 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18425 17927 231 231 0 18194 0
vsize: 73700
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 19333 0 0 0 17952 50 0 0 25 0 1 0 453944846 142872576 18984 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34881 18984 231 231 0 34650 0
vsize: 139524
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 19374 0 0 0 18952 50 0 0 25 0 1 0 453944846 143028224 19025 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34919 19025 231 231 0 34688 0
vsize: 139676
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 19420 0 0 0 19952 50 0 0 25 0 1 0 453944846 143183872 19071 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34957 19071 231 231 0 34726 0
vsize: 139828
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 19487 0 0 0 20952 51 0 0 25 0 1 0 453944846 143458304 19138 4294967295 134512640 135450300 3221224640 3221223376 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35024 19138 231 231 0 34793 0
vsize: 140096
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 19849 0 0 0 21951 51 0 0 25 0 1 0 453944846 143753216 19500 4294967295 134512640 135450300 3221224640 3221223120 134580007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35096 19500 231 231 0 34865 0
vsize: 140384
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 20407 0 0 0 22950 53 0 0 25 0 1 0 453944846 143896576 20058 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35131 20058 231 231 0 34900 0
vsize: 140524
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 20437 0 0 0 23950 53 0 0 25 0 1 0 453944846 144044032 20088 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35167 20088 231 231 0 34936 0
vsize: 140668
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 20533 0 0 0 24950 54 0 0 25 0 1 0 453944846 144494592 20184 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35277 20184 231 231 0 35046 0
vsize: 141108
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 21084 0 0 0 25949 55 0 0 25 0 1 0 453944846 147013632 20350 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35892 20350 231 231 0 35661 0
vsize: 143568
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 21111 0 0 0 26948 55 0 0 25 0 1 0 453944846 147013632 20377 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35892 20377 231 231 0 35661 0
vsize: 143568
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 21136 0 0 0 27948 56 0 0 25 0 1 0 453944846 147177472 20402 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35932 20402 231 231 0 35701 0
vsize: 143728
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 21167 0 0 0 28948 56 0 0 25 0 1 0 453944846 147177472 20433 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35932 20433 231 231 0 35701 0
vsize: 143728
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22151 0 0 0 29947 57 0 0 25 0 1 0 453944846 147607552 21417 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36037 21417 231 231 0 35806 0
vsize: 144148
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22252 0 0 0 30946 58 0 0 25 0 1 0 453944846 148041728 21518 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36143 21518 231 231 0 35912 0
vsize: 144572
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22260 0 0 0 31947 58 0 0 25 0 1 0 453944846 148041728 21526 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36143 21526 231 231 0 35912 0
vsize: 144572
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22284 0 0 0 32947 58 0 0 25 0 1 0 453944846 148041728 21550 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36143 21550 231 231 0 35912 0
vsize: 144572
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22318 0 0 0 33946 59 0 0 25 0 1 0 453944846 148185088 21584 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36178 21584 231 231 0 35947 0
vsize: 144712
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22693 0 0 0 34945 60 0 0 25 0 1 0 453944846 148471808 21959 4294967295 134512640 135450300 3221224640 3221223168 134544918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36248 21959 231 231 0 36017 0
vsize: 144992
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22717 0 0 0 35945 60 0 0 25 0 1 0 453944846 148471808 21983 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36248 21983 231 231 0 36017 0
vsize: 144992
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22732 0 0 0 36945 60 0 0 25 0 1 0 453944846 148627456 21998 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36286 21998 231 231 0 36055 0
vsize: 145144
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 22747 0 0 0 37945 60 0 0 25 0 1 0 453944846 148627456 22013 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36286 22013 231 231 0 36055 0
vsize: 145144
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23025 0 0 0 38944 61 0 0 25 0 1 0 453944846 148791296 22291 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36326 22291 231 231 0 36095 0
vsize: 145304
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23070 0 0 0 39944 62 0 0 25 0 1 0 453944846 149086208 22336 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36398 22336 231 231 0 36167 0
vsize: 145592
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23096 0 0 0 40944 62 0 0 25 0 1 0 453944846 149086208 22362 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36398 22362 231 231 0 36167 0
vsize: 145592
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23151 0 0 0 41944 62 0 0 25 0 1 0 453944846 149393408 22417 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36473 22417 231 231 0 36242 0
vsize: 145892
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23174 0 0 0 42944 62 0 0 25 0 1 0 453944846 149393408 22440 4294967295 134512640 135450300 3221224640 3221223120 134580007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36473 22440 231 231 0 36242 0
vsize: 145892
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23363 0 0 0 43944 63 0 0 25 0 1 0 453944846 149540864 22629 4294967295 134512640 135450300 3221224640 3221223248 134537600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36509 22629 231 231 0 36278 0
vsize: 146036
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23385 0 0 0 44943 63 0 0 25 0 1 0 453944846 149684224 22651 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36544 22651 231 231 0 36313 0
vsize: 146176
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23450 0 0 0 45943 64 0 0 25 0 1 0 453944846 149831680 22716 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36580 22716 231 231 0 36349 0
vsize: 146320
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23475 0 0 0 46943 64 0 0 25 0 1 0 453944846 149979136 22741 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36616 22741 231 231 0 36385 0
vsize: 146464
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23514 0 0 0 47943 65 0 0 25 0 1 0 453944846 150278144 22780 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36689 22780 231 231 0 36458 0
vsize: 146756
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23680 0 0 0 48942 65 0 0 25 0 1 0 453944846 150278144 22946 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36689 22946 231 231 0 36458 0
vsize: 146756
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23712 0 0 0 49942 65 0 0 25 0 1 0 453944846 150417408 22978 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36723 22978 231 231 0 36492 0
vsize: 146892
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23734 0 0 0 50942 66 0 0 25 0 1 0 453944846 150581248 23000 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36763 23000 231 231 0 36532 0
vsize: 147052
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23752 0 0 0 51942 66 0 0 25 0 1 0 453944846 150581248 23018 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36763 23018 231 231 0 36532 0
vsize: 147052
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23802 0 0 0 52942 66 0 0 25 0 1 0 453944846 150728704 23068 4294967295 134512640 135450300 3221224640 3221223024 134579215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36799 23068 231 231 0 36568 0
vsize: 147196
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23970 0 0 0 53942 67 0 0 25 0 1 0 453944846 151035904 23236 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36874 23236 231 231 0 36643 0
vsize: 147496
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 23994 0 0 0 54942 67 0 0 25 0 1 0 453944846 151035904 23260 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36874 23260 231 231 0 36643 0
vsize: 147496
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24034 0 0 0 55942 67 0 0 25 0 1 0 453944846 151183360 23300 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36910 23300 231 231 0 36679 0
vsize: 147640
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24056 0 0 0 56942 67 0 0 25 0 1 0 453944846 151330816 23322 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36946 23322 231 231 0 36715 0
vsize: 147784
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24078 0 0 0 57941 68 0 0 25 0 1 0 453944846 151478272 23344 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36982 23344 231 231 0 36751 0
vsize: 147928
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24166 0 0 0 58941 68 0 0 25 0 1 0 453944846 151478272 23432 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36982 23432 231 231 0 36751 0
vsize: 147928
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24202 0 0 0 59941 68 0 0 25 0 1 0 453944846 151625728 23468 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37018 23468 231 231 0 36787 0
vsize: 148072
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24232 0 0 0 60941 69 0 0 25 0 1 0 453944846 151924736 23498 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37091 23498 231 231 0 36860 0
vsize: 148364
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24261 0 0 0 61941 69 0 0 25 0 1 0 453944846 151924736 23527 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37091 23527 231 231 0 36860 0
vsize: 148364
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24283 0 0 0 62941 69 0 0 25 0 1 0 453944846 152088576 23549 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37131 23549 231 231 0 36900 0
vsize: 148524
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24351 0 0 0 63941 69 0 0 25 0 1 0 453944846 152088576 23617 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37131 23617 231 231 0 36900 0
vsize: 148524
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24364 0 0 0 64941 70 0 0 25 0 1 0 453944846 152260608 23630 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37173 23630 231 231 0 36942 0
vsize: 148692
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24400 0 0 0 65940 70 0 0 25 0 1 0 453944846 152260608 23666 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37173 23666 231 231 0 36942 0
vsize: 148692
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24420 0 0 0 66940 70 0 0 25 0 1 0 453944846 152408064 23686 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37209 23686 231 231 0 36978 0
vsize: 148836
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24482 0 0 0 67940 71 0 0 25 0 1 0 453944846 152408064 23748 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37209 23748 231 231 0 36978 0
vsize: 148836
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24506 0 0 0 68940 71 0 0 25 0 1 0 453944846 152408064 23772 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37209 23772 231 231 0 36978 0
vsize: 148836
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24527 0 0 0 69940 71 0 0 25 0 1 0 453944846 152555520 23793 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37245 23794 231 231 0 37014 0
vsize: 148980
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24541 0 0 0 70940 72 0 0 25 0 1 0 453944846 152555520 23807 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37245 23807 231 231 0 37014 0
vsize: 148980
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24572 0 0 0 71940 72 0 0 25 0 1 0 453944846 152698880 23838 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37280 23838 231 231 0 37049 0
vsize: 149120
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24622 0 0 0 72939 72 0 0 25 0 1 0 453944846 152846336 23888 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37316 23888 231 231 0 37085 0
vsize: 149264
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24635 0 0 0 73939 73 0 0 25 0 1 0 453944846 152846336 23901 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37316 23901 231 231 0 37085 0
vsize: 149264
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24656 0 0 0 74939 73 0 0 25 0 1 0 453944846 152993792 23922 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37352 23922 231 231 0 37121 0
vsize: 149408
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24674 0 0 0 75939 73 0 0 25 0 1 0 453944846 152993792 23940 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37352 23940 231 231 0 37121 0
vsize: 149408
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24713 0 0 0 76939 74 0 0 25 0 1 0 453944846 153141248 23979 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37388 23979 231 231 0 37157 0
vsize: 149552
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24746 0 0 0 77939 74 0 0 25 0 1 0 453944846 153440256 24012 4294967295 134512640 135450300 3221224640 3221223024 134602294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37461 24012 231 231 0 37230 0
vsize: 149844
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24768 0 0 0 78939 74 0 0 25 0 1 0 453944846 153440256 24034 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37461 24034 231 231 0 37230 0
vsize: 149844
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24794 0 0 0 79939 75 0 0 25 0 1 0 453944846 153587712 24060 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37497 24060 231 231 0 37266 0
vsize: 149988
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24831 0 0 0 80938 75 0 0 25 0 1 0 453944846 153587712 24097 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37497 24097 231 231 0 37266 0
vsize: 149988
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24863 0 0 0 81938 75 0 0 25 0 1 0 453944846 153735168 24129 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37533 24129 231 231 0 37302 0
vsize: 150132
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24885 0 0 0 82938 76 0 0 25 0 1 0 453944846 153927680 24151 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37580 24151 231 231 0 37349 0
vsize: 150320
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24898 0 0 0 83938 76 0 0 25 0 1 0 453944846 153927680 24164 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37580 24164 231 231 0 37349 0
vsize: 150320
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24912 0 0 0 84938 76 0 0 25 0 1 0 453944846 153927680 24178 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37580 24178 231 231 0 37349 0
vsize: 150320
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24922 0 0 0 85938 77 0 0 25 0 1 0 453944846 153927680 24188 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37580 24188 231 231 0 37349 0
vsize: 150320
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24931 0 0 0 86937 77 0 0 25 0 1 0 453944846 153927680 24197 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37580 24197 231 231 0 37349 0
vsize: 150320
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24944 0 0 0 87937 78 0 0 25 0 1 0 453944846 153927680 24210 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37580 24210 231 231 0 37349 0
vsize: 150320
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24952 0 0 0 88937 78 0 0 25 0 1 0 453944846 154107904 24218 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37624 24218 231 231 0 37393 0
vsize: 150496
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 24987 0 0 0 89937 78 0 0 25 0 1 0 453944846 154107904 24253 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37624 24253 231 231 0 37393 0
vsize: 150496
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25019 0 0 0 90937 78 0 0 25 0 1 0 453944846 154255360 24285 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37660 24285 231 231 0 37429 0
vsize: 150640
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25042 0 0 0 91937 79 0 0 25 0 1 0 453944846 154402816 24308 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37696 24308 231 231 0 37465 0
vsize: 150784
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25069 0 0 0 92937 79 0 0 25 0 1 0 453944846 154402816 24335 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37696 24335 231 231 0 37465 0
vsize: 150784
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25078 0 0 0 93937 79 0 0 25 0 1 0 453944846 154607616 24344 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37746 24344 231 231 0 37515 0
vsize: 150984
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25086 0 0 0 94937 79 0 0 25 0 1 0 453944846 154607616 24352 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37746 24352 231 231 0 37515 0
vsize: 150984
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25110 0 0 0 95937 80 0 0 25 0 1 0 453944846 154607616 24376 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37746 24376 231 231 0 37515 0
vsize: 150984
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25162 0 0 0 96936 80 0 0 25 0 1 0 453944846 154755072 24428 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37782 24428 231 231 0 37551 0
vsize: 151128
[startup+980.017 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25199 0 0 0 97937 80 0 0 25 0 1 0 453944846 154902528 24465 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37818 24465 231 231 0 37587 0
vsize: 151272
[startup+990.018 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25208 0 0 0 98937 80 0 0 25 0 1 0 453944846 154902528 24474 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37818 24474 231 231 0 37587 0
vsize: 151272
[startup+1000.02 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25216 0 0 0 99937 81 0 0 25 0 1 0 453944846 155111424 24482 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37869 24482 231 231 0 37638 0
vsize: 151476
[startup+1010.02 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25233 0 0 0 100937 81 0 0 25 0 1 0 453944846 155111424 24499 4294967295 134512640 135450300 3221224640 3221223376 134538621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37869 24499 231 231 0 37638 0
vsize: 151476
[startup+1020.02 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25270 0 0 0 101936 81 0 0 25 0 1 0 453944846 155111424 24536 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37869 24536 231 231 0 37638 0
vsize: 151476
[startup+1030.02 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25285 0 0 0 102936 81 0 0 25 0 1 0 453944846 155111424 24551 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37869 24551 231 231 0 37638 0
vsize: 151476
[startup+1040.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25295 0 0 0 103936 82 0 0 25 0 1 0 453944846 155111424 24561 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37869 24561 231 231 0 37638 0
vsize: 151476
[startup+1050.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25317 0 0 0 104937 82 0 0 25 0 1 0 453944846 155258880 24583 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37905 24583 231 231 0 37674 0
vsize: 151620
[startup+1060.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25330 0 0 0 105936 82 0 0 25 0 1 0 453944846 155258880 24596 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37905 24596 231 231 0 37674 0
vsize: 151620
[startup+1070.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25339 0 0 0 106936 82 0 0 25 0 1 0 453944846 155463680 24605 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37955 24605 231 231 0 37724 0
vsize: 151820
[startup+1080.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25348 0 0 0 107936 82 0 0 25 0 1 0 453944846 155463680 24614 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37955 24614 231 231 0 37724 0
vsize: 151820
[startup+1090.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25361 0 0 0 108936 82 0 0 25 0 1 0 453944846 155463680 24627 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37955 24627 231 231 0 37724 0
vsize: 151820
[startup+1100.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25391 0 0 0 109936 83 0 0 25 0 1 0 453944846 155463680 24657 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37955 24657 231 231 0 37724 0
vsize: 151820
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25406 0 0 0 110936 83 0 0 25 0 1 0 453944846 155611136 24672 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37991 24672 231 231 0 37760 0
vsize: 151964
[startup+1120.02 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25414 0 0 0 111936 83 0 0 25 0 1 0 453944846 155611136 24680 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37991 24680 231 231 0 37760 0
vsize: 151964
[startup+1130.02 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25425 0 0 0 112937 83 0 0 25 0 1 0 453944846 155750400 24691 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38025 24691 231 231 0 37794 0
vsize: 152100
[startup+1140.02 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 25445 0 0 0 113936 83 0 0 25 0 1 0 453944846 155750400 24711 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38025 24711 231 231 0 37794 0
vsize: 152100
[startup+1150.02 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 26239 0 0 0 114935 85 0 0 25 0 1 0 453944846 158896128 24736 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38793 24736 231 231 0 38562 0
vsize: 155172
[startup+1160.02 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 26278 0 0 0 115935 85 0 0 25 0 1 0 453944846 159043584 24775 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38829 24775 231 231 0 38598 0
vsize: 155316
[startup+1170.02 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 26301 0 0 0 116935 85 0 0 25 0 1 0 453944846 159191040 24798 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 24798 231 231 0 38634 0
vsize: 155460
[startup+1180.02 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 26322 0 0 0 117935 86 0 0 25 0 1 0 453944846 159191040 24819 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 24819 231 231 0 38634 0
vsize: 155460
[startup+1190.02 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 26333 0 0 0 118935 86 0 0 25 0 1 0 453944846 159191040 24830 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 24830 231 231 0 38634 0
vsize: 155460
[startup+1200.02 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 25466
Raw data (stat): 25464 (PBS4) R 25463 30854 30853 0 -1 0 26348 0 0 0 119934 87 0 0 25 0 1 0 453944846 159326208 24845 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38898 24845 231 231 0 38667 0
vsize: 155592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.00 0.93 1/54 25466
Raw data (stat): 25464 (PBS4) Z 25463 30854 30853 0 -1 1036 26348 0 0 0 119934 91 0 0 25 0 1 0 453944846 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.07
CPU time (s): 1200.27
CPU user time (s): 1199.35
CPU system time (s): 0.91686
CPU usage (%): 100.016
Max. virtual memory (Kb): 155592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####