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/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
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 7913

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-17 17:12:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3066 boxname=wulflinc3 idbench=341 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  baa7b619e2dc55a18c674a719d78c00c  /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-3.opb
IDLAUNCH: 3066
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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		: 451.190
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:        782612 kB
Buffers:         37416 kB
Cached:         189556 kB
SwapCached:       3276 kB
Active:          93480 kB
Inactive:       139640 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782360 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            13296 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:32:43 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 3066 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-3.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.93 0.98 0.91 2/54 4660
Raw data (stat): 4660 (runsolver) R 4659 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453996576 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 4189 0 0 0 986 13 0 0 25 0 1 0 453996576 22806528 3456 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 3456 231 231 0 5337 0
vsize: 22272
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 6049 0 0 0 1982 17 0 0 25 0 1 0 453996576 39718912 5316 4294967295 134512640 135450300 3221224640 3221223376 134538774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 5316 231 231 0 9466 0
vsize: 38788
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 7930 0 0 0 2978 21 0 0 25 0 1 0 453996576 39718912 7197 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 7197 231 231 0 9466 0
vsize: 38788
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 9298 0 0 0 3975 24 0 0 25 0 1 0 453996576 39858176 8565 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9731 8565 231 231 0 9500 0
vsize: 38924
[startup+50.001 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 10201 0 0 0 4973 26 0 0 25 0 1 0 453996576 73412608 9468 4294967295 134512640 135450300 3221224640 3221223472 134549453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17923 9468 231 231 0 17692 0
vsize: 71692
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 11736 0 0 0 5970 29 0 0 25 0 1 0 453996576 73551872 11003 4294967295 134512640 135450300 3221224640 3221223024 134602294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17957 11003 231 231 0 17726 0
vsize: 71828
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 13112 0 0 0 6968 31 0 0 25 0 1 0 453996576 73551872 12379 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17957 12379 231 231 0 17726 0
vsize: 71828
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 14986 0 0 0 7964 36 0 0 25 0 1 0 453996576 73551872 14253 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17957 14254 231 231 0 17726 0
vsize: 71828
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 16340 0 0 0 8962 38 0 0 25 0 1 0 453996576 73699328 15607 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17993 15607 231 231 0 17762 0
vsize: 71972
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 17818 0 0 0 9959 41 0 0 25 0 1 0 453996576 73699328 17085 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17993 17085 231 231 0 17762 0
vsize: 71972
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 18787 0 0 0 10956 44 0 0 25 0 1 0 453996576 140808192 18054 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34377 18054 231 231 0 34146 0
vsize: 137508
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 19997 0 0 0 11953 47 0 0 25 0 1 0 453996576 141103104 19264 4294967295 134512640 135450300 3221224640 3221223168 134544107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34449 19264 231 231 0 34218 0
vsize: 137796
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 21486 0 0 0 12950 51 0 0 25 0 1 0 453996576 141381632 20753 4294967295 134512640 135450300 3221224640 3221223136 134579989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34517 20753 231 231 0 34286 0
vsize: 138068
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 22921 0 0 0 13947 54 0 0 25 0 1 0 453996576 141516800 22188 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34550 22188 231 231 0 34319 0
vsize: 138200
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 23018 0 0 0 14946 55 0 0 25 0 1 0 453996576 141930496 22285 4294967295 134512640 135450300 3221224640 3221223004 134844278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34651 22285 231 231 0 34420 0
vsize: 138604
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 23073 0 0 0 15946 55 0 0 25 0 1 0 453996576 142204928 22340 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34718 22340 231 231 0 34487 0
vsize: 138872
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 24120 0 0 0 16944 58 0 0 25 0 1 0 453996576 142626816 23387 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34821 23387 231 231 0 34590 0
vsize: 139284
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 25525 0 0 0 17941 61 0 0 25 0 1 0 453996576 143036416 24792 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34921 24794 231 231 0 34690 0
vsize: 139684
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 26762 0 0 0 18939 63 0 0 25 0 1 0 453996576 143175680 26029 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34955 26029 231 231 0 34724 0
vsize: 139820
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 26821 0 0 0 19939 63 0 0 25 0 1 0 453996576 143446016 26088 4294967295 134512640 135450300 3221224640 3221223076 134579553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35021 26088 231 231 0 34790 0
vsize: 140084
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 26903 0 0 0 20938 64 0 0 25 0 1 0 453996576 143732736 26170 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35091 26170 231 231 0 34860 0
vsize: 140364
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 26947 0 0 0 21938 64 0 0 25 0 1 0 453996576 143876096 26214 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35126 26214 231 231 0 34895 0
vsize: 140504
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 27795 0 0 0 22936 67 0 0 25 0 1 0 453996576 144306176 27062 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35231 27062 231 231 0 35000 0
vsize: 140924
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 29033 0 0 0 23933 70 0 0 25 0 1 0 453996576 144445440 28300 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35265 28300 231 231 0 35034 0
vsize: 141060
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 30680 0 0 0 24930 73 0 0 25 0 1 0 453996576 144445440 29947 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35265 29947 231 231 0 35034 0
vsize: 141060
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 30713 0 0 0 25929 74 0 0 25 0 1 0 453996576 144584704 29980 4294967295 134512640 135450300 3221224640 3221223080 134579201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35299 29980 231 231 0 35068 0
vsize: 141196
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 30752 0 0 0 26929 74 0 0 25 0 1 0 453996576 144732160 30019 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35335 30019 231 231 0 35104 0
vsize: 141340
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 30903 0 0 0 27929 75 0 0 25 0 1 0 453996576 145629184 30170 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35554 30170 231 231 0 35323 0
vsize: 142216
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 30939 0 0 0 28929 75 0 0 25 0 1 0 453996576 145793024 30206 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35594 30206 231 231 0 35363 0
vsize: 142376
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 30959 0 0 0 29929 75 0 0 25 0 1 0 453996576 145793024 30226 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35594 30226 231 231 0 35363 0
vsize: 142376
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 32093 0 0 0 30927 77 0 0 25 0 1 0 453996576 146067456 31360 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35661 31360 231 231 0 35430 0
vsize: 142644
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 32821 0 0 0 31925 80 0 0 25 0 1 0 453996576 146067456 32088 4294967295 134512640 135450300 3221224640 3221223104 134532638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35661 32088 231 231 0 35430 0
vsize: 142644
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 32844 0 0 0 32925 80 0 0 25 0 1 0 453996576 146202624 32111 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35694 32111 231 231 0 35463 0
vsize: 142776
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 32880 0 0 0 33925 80 0 0 25 0 1 0 453996576 146341888 32147 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35728 32147 231 231 0 35497 0
vsize: 142912
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 32943 0 0 0 34925 80 0 0 25 0 1 0 453996576 146624512 32210 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35797 32210 231 231 0 35566 0
vsize: 143188
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 32996 0 0 0 35925 81 0 0 25 0 1 0 453996576 146907136 32263 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35866 32263 231 231 0 35635 0
vsize: 143464
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 33004 0 0 0 36925 81 0 0 25 0 1 0 453996576 146907136 32271 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35866 32271 231 231 0 35635 0
vsize: 143464
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 33892 0 0 0 37922 83 0 0 25 0 1 0 453996576 147070976 33159 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35906 33159 231 231 0 35675 0
vsize: 143624
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 34348 0 0 0 38921 85 0 0 25 0 1 0 453996576 147234816 33615 4294967295 134512640 135450300 3221224640 3221223116 134571775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35946 33615 231 231 0 35715 0
vsize: 143784
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 34351 0 0 0 39921 85 0 0 25 0 1 0 453996576 147234816 33618 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35946 33618 231 231 0 35715 0
vsize: 143784
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 34379 0 0 0 40921 85 0 0 25 0 1 0 453996576 147234816 33646 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35946 33646 231 231 0 35715 0
vsize: 143784
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 34408 0 0 0 41921 85 0 0 25 0 1 0 453996576 147382272 33675 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35982 33675 231 231 0 35751 0
vsize: 143928
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 34430 0 0 0 42921 86 0 0 25 0 1 0 453996576 147521536 33697 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36016 33697 231 231 0 35785 0
vsize: 144064
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 34473 0 0 0 43921 86 0 0 25 0 1 0 453996576 147668992 33740 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36052 33740 231 231 0 35821 0
vsize: 144208
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35428 0 0 0 44919 88 0 0 25 0 1 0 453996576 147668992 34695 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36052 34695 231 231 0 35821 0
vsize: 144208
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35486 0 0 0 45919 89 0 0 25 0 1 0 453996576 147947520 34753 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36120 34753 231 231 0 35889 0
vsize: 144480
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35527 0 0 0 46919 89 0 0 25 0 1 0 453996576 148090880 34794 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36155 34794 231 231 0 35924 0
vsize: 144620
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35532 0 0 0 47919 89 0 0 25 0 1 0 453996576 148090880 34799 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36155 34799 231 231 0 35924 0
vsize: 144620
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35571 0 0 0 48919 89 0 0 25 0 1 0 453996576 148246528 34838 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36193 34838 231 231 0 35962 0
vsize: 144772
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35607 0 0 0 49919 89 0 0 25 0 1 0 453996576 148541440 34874 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36265 34874 231 231 0 36034 0
vsize: 145060
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 35735 0 0 0 50919 89 0 0 25 0 1 0 453996576 148983808 35002 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36373 35002 231 231 0 36142 0
vsize: 145492
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36418 0 0 0 51917 92 0 0 25 0 1 0 453996576 149131264 35685 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36409 35685 231 231 0 36178 0
vsize: 145636
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36421 0 0 0 52917 92 0 0 25 0 1 0 453996576 149131264 35688 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36409 35688 231 231 0 36178 0
vsize: 145636
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36429 0 0 0 53917 92 0 0 25 0 1 0 453996576 149131264 35696 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36409 35696 231 231 0 36178 0
vsize: 145636
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36451 0 0 0 54917 92 0 0 25 0 1 0 453996576 149270528 35718 4294967295 134512640 135450300 3221224640 3221223024 134602507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36443 35718 231 231 0 36212 0
vsize: 145772
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36455 0 0 0 55916 93 0 0 25 0 1 0 453996576 149270528 35722 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36443 35722 231 231 0 36212 0
vsize: 145772
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36503 0 0 0 56916 93 0 0 25 0 1 0 453996576 149417984 35770 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36479 35770 231 231 0 36248 0
vsize: 145916
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 36537 0 0 0 57917 93 0 0 25 0 1 0 453996576 149565440 35804 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36515 35804 231 231 0 36284 0
vsize: 146060
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37023 0 0 0 58916 94 0 0 25 0 1 0 453996576 283783168 36290 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69283 36290 231 231 0 69052 0
vsize: 277132
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37044 0 0 0 59915 95 0 0 25 0 1 0 453996576 283783168 36311 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69283 36311 231 231 0 69052 0
vsize: 277132
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37078 0 0 0 60915 95 0 0 25 0 1 0 453996576 283930624 36345 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69319 36345 231 231 0 69088 0
vsize: 277276
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37100 0 0 0 61915 95 0 0 25 0 1 0 453996576 284094464 36367 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69359 36367 231 231 0 69128 0
vsize: 277436
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37112 0 0 0 62916 95 0 0 25 0 1 0 453996576 284094464 36379 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69359 36379 231 231 0 69128 0
vsize: 277436
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37134 0 0 0 63916 95 0 0 25 0 1 0 453996576 284094464 36401 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69359 36401 231 231 0 69128 0
vsize: 277436
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37145 0 0 0 64916 95 0 0 25 0 1 0 453996576 284241920 36412 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69395 36412 231 231 0 69164 0
vsize: 277580
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 37904 0 0 0 65914 98 0 0 25 0 1 0 453996576 284389376 37171 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69431 37171 231 231 0 69200 0
vsize: 277724
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 39254 0 0 0 66911 101 0 0 25 0 1 0 453996576 284536832 38521 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69467 38521 231 231 0 69236 0
vsize: 277868
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 41445 0 0 0 67907 104 0 0 25 0 1 0 453996576 287682560 39943 4294967295 134512640 135450300 3221224640 3221223120 134580035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70235 39943 231 231 0 70004 0
vsize: 280940
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 42643 0 0 0 68905 107 0 0 25 0 1 0 453996576 287682560 41141 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70235 41141 231 231 0 70004 0
vsize: 280940
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 43887 0 0 0 69902 110 0 0 25 0 1 0 453996576 287830016 42385 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70271 42385 231 231 0 70040 0
vsize: 281084
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45132 0 0 0 70899 113 0 0 25 0 1 0 453996576 287830016 43630 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70271 43630 231 231 0 70040 0
vsize: 281084
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45180 0 0 0 71899 113 0 0 25 0 1 0 453996576 287965184 43678 4294967295 134512640 135450300 3221224640 3221223104 134532816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70304 43678 231 231 0 70073 0
vsize: 281216
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45201 0 0 0 72900 113 0 0 25 0 1 0 453996576 288096256 43699 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70336 43699 231 231 0 70105 0
vsize: 281344
[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45228 0 0 0 73900 113 0 0 25 0 1 0 453996576 288260096 43726 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70376 43726 231 231 0 70145 0
vsize: 281504
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45231 0 0 0 74900 113 0 0 25 0 1 0 453996576 288260096 43729 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70376 43729 231 231 0 70145 0
vsize: 281504
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45307 0 0 0 75899 114 0 0 25 0 1 0 453996576 288563200 43805 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70450 43805 231 231 0 70219 0
vsize: 281800
[startup+770.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45344 0 0 0 76899 114 0 0 25 0 1 0 453996576 288710656 43842 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70486 43842 231 231 0 70255 0
vsize: 281944
[startup+780.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45373 0 0 0 77899 114 0 0 25 0 1 0 453996576 288874496 43871 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70526 43871 231 231 0 70295 0
vsize: 282104
[startup+790.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45378 0 0 0 78899 114 0 0 25 0 1 0 453996576 288874496 43876 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70526 43876 231 231 0 70295 0
vsize: 282104
[startup+800.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45419 0 0 0 79899 114 0 0 25 0 1 0 453996576 289038336 43917 4294967295 134512640 135450300 3221224640 3221223456 134547894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70566 43917 231 231 0 70335 0
vsize: 282264
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45435 0 0 0 80899 115 0 0 25 0 1 0 453996576 289185792 43933 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70602 43933 231 231 0 70371 0
vsize: 282408
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45463 0 0 0 81899 115 0 0 25 0 1 0 453996576 289185792 43961 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70602 43961 231 231 0 70371 0
vsize: 282408
[startup+830.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45467 0 0 0 82898 116 0 0 25 0 1 0 453996576 289185792 43965 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70602 43965 231 231 0 70371 0
vsize: 282408
[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45529 0 0 0 83898 116 0 0 25 0 1 0 453996576 289644544 44027 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70714 44027 231 231 0 70483 0
vsize: 282856
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45557 0 0 0 84898 116 0 0 25 0 1 0 453996576 289644544 44055 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70714 44055 231 231 0 70483 0
vsize: 282856
[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45575 0 0 0 85898 116 0 0 25 0 1 0 453996576 289792000 44073 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70750 44073 231 231 0 70519 0
vsize: 283000
[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45602 0 0 0 86898 117 0 0 25 0 1 0 453996576 289955840 44100 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70790 44100 231 231 0 70559 0
vsize: 283160
[startup+880.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45647 0 0 0 87898 117 0 0 25 0 1 0 453996576 290119680 44145 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70830 44145 231 231 0 70599 0
vsize: 283320
[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45650 0 0 0 88898 117 0 0 25 0 1 0 453996576 290119680 44148 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70830 44148 231 231 0 70599 0
vsize: 283320
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45689 0 0 0 89898 118 0 0 25 0 1 0 453996576 290283520 44187 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70870 44187 231 231 0 70639 0
vsize: 283480
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45770 0 0 0 90897 118 0 0 25 0 1 0 453996576 290713600 44268 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70975 44268 231 231 0 70744 0
vsize: 283900
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45772 0 0 0 91898 118 0 0 25 0 1 0 453996576 290713600 44270 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70975 44270 231 231 0 70744 0
vsize: 283900
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45813 0 0 0 92897 118 0 0 25 0 1 0 453996576 290861056 44311 4294967295 134512640 135450300 3221224640 3221223248 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71011 44311 231 231 0 70780 0
vsize: 284044
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45834 0 0 0 93898 118 0 0 25 0 1 0 453996576 290861056 44332 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71011 44332 231 231 0 70780 0
vsize: 284044
[startup+950.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45857 0 0 0 94898 118 0 0 25 0 1 0 453996576 290861056 44355 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71011 44355 231 231 0 70780 0
vsize: 284044
[startup+960.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45860 0 0 0 95898 119 0 0 25 0 1 0 453996576 290861056 44358 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71011 44358 231 231 0 70780 0
vsize: 284044
[startup+970.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45882 0 0 0 96898 119 0 0 25 0 1 0 453996576 291008512 44380 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71047 44380 231 231 0 70816 0
vsize: 284188
[startup+980.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 45885 0 0 0 97898 119 0 0 25 0 1 0 453996576 291008512 44383 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71047 44383 231 231 0 70816 0
vsize: 284188
[startup+990.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46012 0 0 0 98897 120 0 0 25 0 1 0 453996576 291639296 44510 4294967295 134512640 135450300 3221224640 3221223376 134538531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71201 44510 231 231 0 70970 0
vsize: 284804
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46061 0 0 0 99897 120 0 0 25 0 1 0 453996576 291786752 44559 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71237 44559 231 231 0 71006 0
vsize: 284948
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46063 0 0 0 100897 120 0 0 25 0 1 0 453996576 291786752 44561 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71237 44561 231 231 0 71006 0
vsize: 284948
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46102 0 0 0 101897 121 0 0 25 0 1 0 453996576 291934208 44600 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71273 44600 231 231 0 71042 0
vsize: 285092
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46131 0 0 0 102897 121 0 0 25 0 1 0 453996576 292081664 44629 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71309 44629 231 231 0 71078 0
vsize: 285236
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46145 0 0 0 103897 121 0 0 25 0 1 0 453996576 292225024 44643 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71344 44643 231 231 0 71113 0
vsize: 285376
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46243 0 0 0 104896 122 0 0 25 0 1 0 453996576 292225024 44741 4294967295 134512640 135450300 3221224640 3221223168 134545573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71344 44741 231 231 0 71113 0
vsize: 285376
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46917 0 0 0 105895 123 0 0 25 0 1 0 453996576 292388864 45415 4294967295 134512640 135450300 3221224640 3221223272 135084237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71384 45415 231 231 0 71153 0
vsize: 285536
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46947 0 0 0 106895 124 0 0 25 0 1 0 453996576 292552704 45445 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71424 45445 231 231 0 71193 0
vsize: 285696
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46966 0 0 0 107895 124 0 0 25 0 1 0 453996576 292552704 45464 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71424 45464 231 231 0 71193 0
vsize: 285696
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46976 0 0 0 108894 124 0 0 25 0 1 0 453996576 292552704 45474 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71424 45474 231 231 0 71193 0
vsize: 285696
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 46997 0 0 0 109894 125 0 0 25 0 1 0 453996576 292700160 45495 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71460 45495 231 231 0 71229 0
vsize: 285840
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47001 0 0 0 110894 125 0 0 25 0 1 0 453996576 292700160 45499 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71460 45499 231 231 0 71229 0
vsize: 285840
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47042 0 0 0 111894 125 0 0 25 0 1 0 453996576 292847616 45540 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71496 45540 231 231 0 71265 0
vsize: 285984
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47058 0 0 0 112894 125 0 0 25 0 1 0 453996576 292982784 45556 4294967295 134512640 135450300 3221224640 3221223024 134602062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71529 45556 231 231 0 71298 0
vsize: 286116
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47060 0 0 0 113894 125 0 0 25 0 1 0 453996576 292982784 45558 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71529 45558 231 231 0 71298 0
vsize: 286116
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47079 0 0 0 114894 126 0 0 25 0 1 0 453996576 292982784 45577 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71529 45577 231 231 0 71298 0
vsize: 286116
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47100 0 0 0 115894 126 0 0 25 0 1 0 453996576 293130240 45598 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71565 45598 231 231 0 71334 0
vsize: 286260
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47145 0 0 0 116894 126 0 0 25 0 1 0 453996576 293277696 45643 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71601 45643 231 231 0 71370 0
vsize: 286404
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47160 0 0 0 117894 126 0 0 25 0 1 0 453996576 293277696 45658 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71601 45658 231 231 0 71370 0
vsize: 286404
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47178 0 0 0 118894 126 0 0 25 0 1 0 453996576 293466112 45676 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71647 45676 231 231 0 71416 0
vsize: 286588
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4660
Raw data (stat): 4660 (PBS4) R 4659 10720 10719 0 -1 0 47204 0 0 0 119894 127 0 0 25 0 1 0 453996576 293466112 45702 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71647 45702 231 231 0 71416 0
vsize: 286588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 4660
Raw data (stat): 4660 (PBS4) Z 4659 10720 10719 0 -1 1036 47204 0 0 0 119894 135 0 0 25 0 1 0 453996576 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.11
CPU time (s): 1200.3
CPU user time (s): 1198.95
CPU system time (s): 1.35479
CPU usage (%): 100.016
Max. virtual memory (Kb): 286588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####