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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUMe21d47f954166f353681a275b560afba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved NO
Number of terms in the objective function 1400
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 1400
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 1400
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.12
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 7925

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-17 17:19:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3120 boxname=wulflinc21 idbench=347 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc21/normalized-frb56-25-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-frb56-25-4.opb
IDLAUNCH: 3120
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        828568 kB
Buffers:         37740 kB
Cached:         146608 kB
SwapCached:          0 kB
Active:          91912 kB
Inactive:        95312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        828316 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            13168 kB
Committed_AS:    63792 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:39:43 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 3120 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-frb56-25-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): 1.14 1.00 0.92 2/55 25826
Raw data (stat): 25826 (runsolver) R 25825 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 389527512 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.0006 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 4097 0 0 0 988 11 0 0 25 0 1 0 389527512 23097344 3361 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5639 3361 231 231 0 5408 0
vsize: 22556
[startup+20.0013 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 5733 0 0 0 1985 15 0 0 25 0 1 0 389527512 23097344 4997 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5639 4997 231 231 0 5408 0
vsize: 22556
[startup+30.002 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 7187 0 0 0 2981 19 0 0 25 0 1 0 389527512 39874560 6451 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9735 6451 231 231 0 9504 0
vsize: 38940
[startup+40.0021 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 8767 0 0 0 3978 22 0 0 25 0 1 0 389527512 40009728 8031 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9768 8031 231 231 0 9537 0
vsize: 39072
[startup+50.0024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 10427 0 0 0 4974 26 0 0 25 0 1 0 389527512 73564160 9691 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 9691 231 231 0 17729 0
vsize: 71840
[startup+60.0021 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 11851 0 0 0 5971 28 0 0 25 0 1 0 389527512 73564160 11115 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 11115 231 231 0 17729 0
vsize: 71840
[startup+70.0027 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 13370 0 0 0 6969 31 0 0 25 0 1 0 389527512 73564160 12634 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 12634 231 231 0 17729 0
vsize: 71840
[startup+80.0034 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 14565 0 0 0 7966 34 0 0 25 0 1 0 389527512 73711616 13829 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17996 13829 231 231 0 17765 0
vsize: 71984
[startup+90.0031 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 15478 0 0 0 8964 37 0 0 25 0 1 0 389527512 73850880 14742 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18030 14742 231 231 0 17799 0
vsize: 72120
[startup+100.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 16973 0 0 0 9961 40 0 0 25 0 1 0 389527512 73850880 16237 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18030 16237 231 231 0 17799 0
vsize: 72120
[startup+110.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 18506 0 0 0 10957 44 0 0 25 0 1 0 389527512 73850880 17770 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18030 17770 231 231 0 17799 0
vsize: 72120
[startup+120.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 19803 0 0 0 11953 47 0 0 25 0 1 0 389527512 141099008 19067 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34448 19067 231 231 0 34217 0
vsize: 137792
[startup+130.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 20935 0 0 0 12951 50 0 0 25 0 1 0 389527512 141099008 20199 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34448 20199 231 231 0 34217 0
vsize: 137792
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 21356 0 0 0 13949 52 0 0 25 0 1 0 389527512 141398016 20620 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34521 20620 231 231 0 34290 0
vsize: 138084
[startup+150.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 22464 0 0 0 14947 55 0 0 25 0 1 0 389527512 141537280 21728 4294967295 134512640 135450300 3221224640 3221222944 134844364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34555 21728 231 231 0 34324 0
vsize: 138220
[startup+160.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 24163 0 0 0 15944 58 0 0 25 0 1 0 389527512 141537280 23427 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34555 23427 231 231 0 34324 0
vsize: 138220
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 25541 0 0 0 16941 60 0 0 25 0 1 0 389527512 141950976 24805 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34656 24805 231 231 0 34425 0
vsize: 138624
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 26926 0 0 0 17937 64 0 0 25 0 1 0 389527512 142229504 26190 4294967295 134512640 135450300 3221224640 3221223168 134543801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34724 26190 231 231 0 34493 0
vsize: 138896
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 28254 0 0 0 18934 68 0 0 25 0 1 0 389527512 142516224 27518 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34794 27518 231 231 0 34563 0
vsize: 139176
[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 29955 0 0 0 19931 71 0 0 25 0 1 0 389527512 142516224 29219 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34794 29219 231 231 0 34563 0
vsize: 139176
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 30006 0 0 0 20930 72 0 0 25 0 1 0 389527512 142655488 29270 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34828 29270 231 231 0 34597 0
vsize: 139312
[startup+220.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 30066 0 0 0 21930 72 0 0 25 0 1 0 389527512 142921728 29330 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34893 29330 231 231 0 34662 0
vsize: 139572
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 30076 0 0 0 22930 72 0 0 25 0 1 0 389527512 142921728 29340 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34893 29340 231 231 0 34662 0
vsize: 139572
[startup+240.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 30150 0 0 0 23930 72 0 0 25 0 1 0 389527512 143331328 29414 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34993 29414 231 231 0 34762 0
vsize: 139972
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 30200 0 0 0 24930 73 0 0 25 0 1 0 389527512 143466496 29464 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35026 29464 231 231 0 34795 0
vsize: 140104
[startup+260.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 31203 0 0 0 25927 76 0 0 25 0 1 0 389527512 143466496 30467 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35026 30467 231 231 0 34795 0
vsize: 140104
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 32342 0 0 0 26925 78 0 0 25 0 1 0 389527512 143745024 31606 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35094 31606 231 231 0 34863 0
vsize: 140376
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33107 0 0 0 27922 81 0 0 25 0 1 0 389527512 143745024 32371 4294967295 134512640 135450300 3221224640 3221223552 134597086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35094 32371 231 231 0 34863 0
vsize: 140376
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33142 0 0 0 28922 81 0 0 25 0 1 0 389527512 143884288 32406 4294967295 134512640 135450300 3221224640 3221223420 134535630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35128 32406 231 231 0 34897 0
vsize: 140512
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33185 0 0 0 29922 81 0 0 25 0 1 0 389527512 144019456 32449 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35161 32449 231 231 0 34930 0
vsize: 140644
[startup+310.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33220 0 0 0 30922 82 0 0 25 0 1 0 389527512 144171008 32484 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35198 32484 231 231 0 34967 0
vsize: 140792
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33233 0 0 0 31922 82 0 0 25 0 1 0 389527512 144171008 32497 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35198 32497 231 231 0 34967 0
vsize: 140792
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33417 0 0 0 32921 82 0 0 25 0 1 0 389527512 145072128 32681 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35418 32681 231 231 0 35187 0
vsize: 141672
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 33648 0 0 0 33921 83 0 0 25 0 1 0 389527512 145219584 32912 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35454 32912 231 231 0 35223 0
vsize: 141816
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35213 0 0 0 34916 88 0 0 25 0 1 0 389527512 145661952 34477 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35562 34477 231 231 0 35331 0
vsize: 142248
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35633 0 0 0 35915 89 0 0 25 0 1 0 389527512 145809408 34897 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35598 34897 231 231 0 35367 0
vsize: 142392
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35636 0 0 0 36915 89 0 0 25 0 1 0 389527512 145809408 34900 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35598 34900 231 231 0 35367 0
vsize: 142392
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35709 0 0 0 37915 90 0 0 25 0 1 0 389527512 146083840 34973 4294967295 134512640 135450300 3221224640 3221223084 134579200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35665 34973 231 231 0 35434 0
vsize: 142660
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35795 0 0 0 38915 90 0 0 25 0 1 0 389527512 146518016 35059 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35771 35059 231 231 0 35540 0
vsize: 143084
[startup+400.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35801 0 0 0 39915 90 0 0 25 0 1 0 389527512 146518016 35065 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35771 35065 231 231 0 35540 0
vsize: 143084
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 35835 0 0 0 40915 90 0 0 25 0 1 0 389527512 146673664 35099 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35809 35099 231 231 0 35578 0
vsize: 143236
[startup+420.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 36510 0 0 0 41913 92 0 0 25 0 1 0 389527512 281042944 35774 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68614 35774 231 231 0 68383 0
vsize: 274456
[startup+430.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 37363 0 0 0 42912 94 0 0 25 0 1 0 389527512 281042944 36627 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68614 36627 231 231 0 68383 0
vsize: 274456
[startup+440.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 38164 0 0 0 43910 96 0 0 25 0 1 0 389527512 284327936 36659 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69416 36659 231 231 0 69185 0
vsize: 277664
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 38202 0 0 0 44910 96 0 0 25 0 1 0 389527512 284471296 36697 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69451 36697 231 231 0 69220 0
vsize: 277804
[startup+460.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 38244 0 0 0 45911 96 0 0 25 0 1 0 389527512 284618752 36739 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69487 36739 231 231 0 69256 0
vsize: 277948
[startup+470.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 38247 0 0 0 46911 96 0 0 25 0 1 0 389527512 284618752 36742 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69487 36742 231 231 0 69256 0
vsize: 277948
[startup+480.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 38270 0 0 0 47911 96 0 0 25 0 1 0 389527512 284618752 36765 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69487 36765 231 231 0 69256 0
vsize: 277948
[startup+490.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 38300 0 0 0 48911 96 0 0 25 0 1 0 389527512 284749824 36795 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69519 36795 231 231 0 69288 0
vsize: 278076
[startup+500.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39380 0 0 0 49908 99 0 0 25 0 1 0 389527512 284889088 37875 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69553 37875 231 231 0 69322 0
vsize: 278212
[startup+510.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39405 0 0 0 50908 99 0 0 25 0 1 0 389527512 284889088 37900 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69553 37900 231 231 0 69322 0
vsize: 278212
[startup+520.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39421 0 0 0 51907 100 0 0 25 0 1 0 389527512 285048832 37916 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69592 37916 231 231 0 69361 0
vsize: 278368
[startup+530.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39424 0 0 0 52908 100 0 0 25 0 1 0 389527512 285048832 37919 4294967295 134512640 135450300 3221224640 3221223024 134579346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69592 37919 231 231 0 69361 0
vsize: 278368
[startup+540.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39468 0 0 0 53907 100 0 0 25 0 1 0 389527512 285184000 37963 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69625 37963 231 231 0 69394 0
vsize: 278500
[startup+550.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39474 0 0 0 54907 101 0 0 25 0 1 0 389527512 285184000 37969 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69625 37969 231 231 0 69394 0
vsize: 278500
[startup+560.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39660 0 0 0 55907 101 0 0 25 0 1 0 389527512 286126080 38155 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69855 38155 231 231 0 69624 0
vsize: 279420
[startup+570.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 39688 0 0 0 56907 101 0 0 25 0 1 0 389527512 286126080 38183 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69855 38183 231 231 0 69624 0
vsize: 279420
[startup+580.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40485 0 0 0 57905 103 0 0 25 0 1 0 389527512 286289920 38980 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69895 38980 231 231 0 69664 0
vsize: 279580
[startup+590.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40524 0 0 0 58905 103 0 0 25 0 1 0 389527512 286437376 39019 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69931 39019 231 231 0 69700 0
vsize: 279724
[startup+600.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40539 0 0 0 59905 104 0 0 25 0 1 0 389527512 286580736 39034 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69966 39034 231 231 0 69735 0
vsize: 279864
[startup+610.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40542 0 0 0 60905 104 0 0 25 0 1 0 389527512 286580736 39037 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69966 39037 231 231 0 69735 0
vsize: 279864
[startup+620.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40578 0 0 0 61905 104 0 0 25 0 1 0 389527512 286580736 39073 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69966 39073 231 231 0 69735 0
vsize: 279864
[startup+630.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40604 0 0 0 62905 104 0 0 25 0 1 0 389527512 286720000 39099 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70000 39099 231 231 0 69769 0
vsize: 280000
[startup+640.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40654 0 0 0 63905 104 0 0 25 0 1 0 389527512 287031296 39149 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70076 39149 231 231 0 69845 0
vsize: 280304
[startup+650.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 40692 0 0 0 64905 105 0 0 25 0 1 0 389527512 287178752 39187 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70112 39187 231 231 0 69881 0
vsize: 280448
[startup+660.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41256 0 0 0 65904 106 0 0 25 0 1 0 389527512 287178752 39751 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70112 39751 231 231 0 69881 0
vsize: 280448
[startup+670.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41295 0 0 0 66904 106 0 0 25 0 1 0 389527512 287322112 39790 4294967295 134512640 135450300 3221224640 3221223100 134580042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70147 39790 231 231 0 69916 0
vsize: 280588
[startup+680.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41331 0 0 0 67903 107 0 0 25 0 1 0 389527512 287666176 39826 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70231 39826 231 231 0 70000 0
vsize: 280924
[startup+690.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41336 0 0 0 68903 107 0 0 25 0 1 0 389527512 287666176 39831 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70231 39831 231 231 0 70000 0
vsize: 280924
[startup+700.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41362 0 0 0 69903 107 0 0 25 0 1 0 389527512 287666176 39857 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70231 39857 231 231 0 70000 0
vsize: 280924
[startup+710.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41383 0 0 0 70903 108 0 0 25 0 1 0 389527512 287830016 39878 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70271 39878 231 231 0 70040 0
vsize: 281084
[startup+720.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41386 0 0 0 71903 108 0 0 25 0 1 0 389527512 287830016 39881 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70271 39881 231 231 0 70040 0
vsize: 281084
[startup+730.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41407 0 0 0 72903 108 0 0 25 0 1 0 389527512 287830016 39902 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70271 39902 231 231 0 70040 0
vsize: 281084
[startup+740.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41818 0 0 0 73902 109 0 0 25 0 1 0 389527512 287830016 40313 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70271 40313 231 231 0 70040 0
vsize: 281084
[startup+750.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41848 0 0 0 74902 109 0 0 25 0 1 0 389527512 287977472 40343 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70307 40343 231 231 0 70076 0
vsize: 281228
[startup+760.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41861 0 0 0 75902 109 0 0 25 0 1 0 389527512 287977472 40356 4294967295 134512640 135450300 3221224640 3221223104 134532779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70307 40356 231 231 0 70076 0
vsize: 281228
[startup+770.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41864 0 0 0 76903 109 0 0 25 0 1 0 389527512 287977472 40359 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70307 40359 231 231 0 70076 0
vsize: 281228
[startup+780.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41877 0 0 0 77903 109 0 0 25 0 1 0 389527512 287977472 40372 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70307 40372 231 231 0 70076 0
vsize: 281228
[startup+790.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41900 0 0 0 78902 110 0 0 25 0 1 0 389527512 288116736 40395 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70341 40395 231 231 0 70110 0
vsize: 281364
[startup+800.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 41903 0 0 0 79902 110 0 0 25 0 1 0 389527512 288116736 40398 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70341 40398 231 231 0 70110 0
vsize: 281364
[startup+810.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42024 0 0 0 80902 110 0 0 25 0 1 0 389527512 288698368 40519 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70483 40519 231 231 0 70252 0
vsize: 281932
[startup+820.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42344 0 0 0 81901 111 0 0 25 0 1 0 389527512 288698368 40839 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70483 40839 231 231 0 70252 0
vsize: 281932
[startup+830.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42395 0 0 0 82901 111 0 0 25 0 1 0 389527512 289026048 40890 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70563 40890 231 231 0 70332 0
vsize: 282252
[startup+840.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42411 0 0 0 83901 111 0 0 25 0 1 0 389527512 289026048 40906 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70563 40906 231 231 0 70332 0
vsize: 282252
[startup+850.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42420 0 0 0 84901 112 0 0 25 0 1 0 389527512 289181696 40915 4294967295 134512640 135450300 3221224640 3221223168 134544978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70601 40915 231 231 0 70370 0
vsize: 282404
[startup+860.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42431 0 0 0 85901 112 0 0 25 0 1 0 389527512 289181696 40926 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70601 40926 231 231 0 70370 0
vsize: 282404
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42445 0 0 0 86901 113 0 0 25 0 1 0 389527512 289181696 40940 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70601 40940 231 231 0 70370 0
vsize: 282404
[startup+880.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42449 0 0 0 87901 113 0 0 25 0 1 0 389527512 289181696 40944 4294967295 134512640 135450300 3221224640 3221223360 134598274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70601 40944 231 231 0 70370 0
vsize: 282404
[startup+890.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42486 0 0 0 88901 113 0 0 25 0 1 0 389527512 289325056 40981 4294967295 134512640 135450300 3221224640 3221223116 134571948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70636 40981 231 231 0 70405 0
vsize: 282544
[startup+900.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42695 0 0 0 89900 114 0 0 25 0 1 0 389527512 289325056 41190 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70636 41190 231 231 0 70405 0
vsize: 282544
[startup+910.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42702 0 0 0 90900 114 0 0 25 0 1 0 389527512 289325056 41197 4294967295 134512640 135450300 3221224640 3221223104 134532542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70636 41197 231 231 0 70405 0
vsize: 282544
[startup+920.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42709 0 0 0 91900 114 0 0 25 0 1 0 389527512 289325056 41204 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70636 41204 231 231 0 70405 0
vsize: 282544
[startup+930.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42711 0 0 0 92900 114 0 0 25 0 1 0 389527512 289325056 41206 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70636 41206 231 231 0 70405 0
vsize: 282544
[startup+940.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42725 0 0 0 93900 114 0 0 25 0 1 0 389527512 289325056 41220 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70636 41220 231 231 0 70405 0
vsize: 282544
[startup+950.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42756 0 0 0 94900 115 0 0 25 0 1 0 389527512 289640448 41251 4294967295 134512640 135450300 3221224640 3221223116 134572079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70713 41251 231 231 0 70482 0
vsize: 282852
[startup+960.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42758 0 0 0 95899 115 0 0 25 0 1 0 389527512 289640448 41253 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70713 41253 231 231 0 70482 0
vsize: 282852
[startup+970.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42777 0 0 0 96899 115 0 0 25 0 1 0 389527512 289640448 41272 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70713 41272 231 231 0 70482 0
vsize: 282852
[startup+980.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42957 0 0 0 97899 116 0 0 25 0 1 0 389527512 289640448 41452 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70713 41452 231 231 0 70482 0
vsize: 282852
[startup+990.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42960 0 0 0 98899 116 0 0 25 0 1 0 389527512 289640448 41455 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70713 41455 231 231 0 70482 0
vsize: 282852
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42972 0 0 0 99899 116 0 0 25 0 1 0 389527512 289640448 41467 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70713 41467 231 231 0 70482 0
vsize: 282852
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42990 0 0 0 100899 116 0 0 25 0 1 0 389527512 289906688 41485 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70778 41485 231 231 0 70547 0
vsize: 283112
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 42993 0 0 0 101899 117 0 0 25 0 1 0 389527512 289906688 41488 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70778 41488 231 231 0 70547 0
vsize: 283112
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43004 0 0 0 102899 117 0 0 25 0 1 0 389527512 289906688 41499 4294967295 134512640 135450300 3221224640 3221223056 134533471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70778 41499 231 231 0 70547 0
vsize: 283112
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43015 0 0 0 103899 117 0 0 25 0 1 0 389527512 289906688 41510 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70778 41510 231 231 0 70547 0
vsize: 283112
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43018 0 0 0 104898 117 0 0 25 0 1 0 389527512 289906688 41513 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70778 41513 231 231 0 70547 0
vsize: 283112
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43198 0 0 0 105898 118 0 0 25 0 1 0 389527512 290070528 41693 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70818 41693 231 231 0 70587 0
vsize: 283272
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43242 0 0 0 106898 118 0 0 25 0 1 0 389527512 290398208 41737 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70898 41737 231 231 0 70667 0
vsize: 283592
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43249 0 0 0 107898 118 0 0 25 0 1 0 389527512 290398208 41744 4294967295 134512640 135450300 3221224640 3221223456 134547886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70898 41744 231 231 0 70667 0
vsize: 283592
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43264 0 0 0 108898 118 0 0 25 0 1 0 389527512 290398208 41759 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70898 41759 231 231 0 70667 0
vsize: 283592
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43267 0 0 0 109898 118 0 0 25 0 1 0 389527512 290398208 41762 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70898 41762 231 231 0 70667 0
vsize: 283592
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43290 0 0 0 110898 119 0 0 25 0 1 0 389527512 290537472 41785 4294967295 134512640 135450300 3221224640 3221223168 134544932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70932 41785 231 231 0 70701 0
vsize: 283728
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43305 0 0 0 111898 119 0 0 25 0 1 0 389527512 290537472 41800 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70932 41800 231 231 0 70701 0
vsize: 283728
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43386 0 0 0 112898 119 0 0 25 0 1 0 389527512 290537472 41881 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70932 41881 231 231 0 70701 0
vsize: 283728
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43401 0 0 0 113898 119 0 0 25 0 1 0 389527512 290537472 41896 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70932 41896 231 231 0 70701 0
vsize: 283728
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43404 0 0 0 114898 120 0 0 25 0 1 0 389527512 290537472 41899 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70932 41899 231 231 0 70701 0
vsize: 283728
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43415 0 0 0 115897 120 0 0 25 0 1 0 389527512 290729984 41910 4294967295 134512640 135450300 3221224640 3221223104 134532544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70979 41910 231 231 0 70748 0
vsize: 283916
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43433 0 0 0 116897 120 0 0 25 0 1 0 389527512 290729984 41928 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70979 41928 231 231 0 70748 0
vsize: 283916
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43446 0 0 0 117897 120 0 0 25 0 1 0 389527512 290729984 41941 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70979 41941 231 231 0 70748 0
vsize: 283916
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43459 0 0 0 118897 121 0 0 25 0 1 0 389527512 290729984 41954 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70979 41954 231 231 0 70748 0
vsize: 283916
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25826
Raw data (stat): 25826 (PBS4) R 25825 30927 30926 0 -1 0 43472 0 0 0 119897 121 0 0 25 0 1 0 389527512 290893824 41967 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71019 41967 231 231 0 70788 0
vsize: 284076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 25826
Raw data (stat): 25826 (PBS4) Z 25825 30927 30926 0 -1 1036 43472 0 0 0 119897 129 0 0 25 0 1 0 389527512 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.09
CPU time (s): 1200.27
CPU user time (s): 1198.97
CPU system time (s): 1.2928
CPU usage (%): 100.015
Max. virtual memory (Kb): 284076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####