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/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM5b8ef604a7452dcb7c7d749b75aed566
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of terms in the objective function 1534
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 1534
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 1534
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.15
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
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 7933

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-17 17:19:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3147 boxname=wulflinc7 idbench=350 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5b8ef604a7452dcb7c7d749b75aed566  /oldhome/oroussel/tmp/wulflinc7/normalized-frb59-26-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc7/normalized-frb59-26-2.opb
IDLAUNCH: 3147
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        801480 kB
Buffers:         39248 kB
Cached:         172368 kB
SwapCached:          0 kB
Active:         113008 kB
Inactive:       101520 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801228 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            13104 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:39:58 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 3147 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-frb59-26-2.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 15979
Raw data (stat): 15979 (runsolver) R 15978 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454048881 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.0011 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 4511 0 0 0 985 14 0 0 25 0 1 0 454048881 23269376 3776 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5681 3776 231 231 0 5450 0
vsize: 22724
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 6690 0 0 0 1979 19 0 0 25 0 1 0 454048881 40046592 5955 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9777 5955 231 231 0 9546 0
vsize: 39108
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 8634 0 0 0 2975 23 0 0 25 0 1 0 454048881 40181760 7899 4294967295 134512640 135450300 3221224640 3221223168 134543751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9810 7899 231 231 0 9579 0
vsize: 39240
[startup+40.002 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 10060 0 0 0 3971 28 0 0 25 0 1 0 454048881 40316928 9325 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9843 9325 231 231 0 9612 0
vsize: 39372
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 11701 0 0 0 4969 30 0 0 25 0 1 0 454048881 73871360 10966 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18035 10966 231 231 0 17804 0
vsize: 72140
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 13273 0 0 0 5965 34 0 0 25 0 1 0 454048881 74006528 12538 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18068 12538 231 231 0 17837 0
vsize: 72272
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 14589 0 0 0 6963 36 0 0 25 0 1 0 454048881 74006528 13854 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18068 13854 231 231 0 17837 0
vsize: 72272
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 15998 0 0 0 7960 39 0 0 25 0 1 0 454048881 74006528 15263 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18068 15264 231 231 0 17837 0
vsize: 72272
[startup+90.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 17306 0 0 0 8957 42 0 0 25 0 1 0 454048881 74006528 16571 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18068 16571 231 231 0 17837 0
vsize: 72272
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 19653 0 0 0 9951 48 0 0 25 0 1 0 454048881 144400384 18149 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35254 18149 231 231 0 35023 0
vsize: 141016
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 21535 0 0 0 10949 51 0 0 25 0 1 0 454048881 144400384 20031 4294967295 134512640 135450300 3221224640 3221223376 134538619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35254 20031 231 231 0 35023 0
vsize: 141016
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 22805 0 0 0 11946 54 0 0 25 0 1 0 454048881 144400384 21301 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35254 21301 231 231 0 35023 0
vsize: 141016
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 24017 0 0 0 12944 56 0 0 25 0 1 0 454048881 144400384 22513 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35254 22513 231 231 0 35023 0
vsize: 141016
[startup+140.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 25633 0 0 0 13940 60 0 0 25 0 1 0 454048881 144678912 24129 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35322 24129 231 231 0 35091 0
vsize: 141288
[startup+150.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 26922 0 0 0 14937 63 0 0 25 0 1 0 454048881 145498112 25418 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35522 25418 231 231 0 35291 0
vsize: 142088
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 28386 0 0 0 15933 67 0 0 25 0 1 0 454048881 145637376 26882 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35556 26882 231 231 0 35325 0
vsize: 142224
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 29848 0 0 0 16930 71 0 0 25 0 1 0 454048881 145924096 28344 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35626 28344 231 231 0 35395 0
vsize: 142504
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 31321 0 0 0 17926 75 0 0 25 0 1 0 454048881 146345984 29817 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35729 29817 231 231 0 35498 0
vsize: 142916
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 32809 0 0 0 18924 77 0 0 25 0 1 0 454048881 146485248 31305 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35763 31305 231 231 0 35532 0
vsize: 143052
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 34010 0 0 0 19921 80 0 0 25 0 1 0 454048881 146907136 32506 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35866 32506 231 231 0 35635 0
vsize: 143464
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 34993 0 0 0 20920 82 0 0 25 0 1 0 454048881 147054592 33489 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35902 33489 231 231 0 35671 0
vsize: 143608
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35062 0 0 0 21919 82 0 0 25 0 1 0 454048881 147345408 33558 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35973 33558 231 231 0 35742 0
vsize: 143892
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35134 0 0 0 22919 82 0 0 25 0 1 0 454048881 147628032 33630 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36042 33630 231 231 0 35811 0
vsize: 144168
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35163 0 0 0 23919 82 0 0 25 0 1 0 454048881 147791872 33659 4294967295 134512640 135450300 3221224640 3221223376 134538449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36082 33659 231 231 0 35851 0
vsize: 144328
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35231 0 0 0 24919 83 0 0 25 0 1 0 454048881 148094976 33727 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36156 33727 231 231 0 35925 0
vsize: 144624
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35363 0 0 0 25919 83 0 0 25 0 1 0 454048881 148733952 33859 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36312 33859 231 231 0 36081 0
vsize: 145248
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35396 0 0 0 26919 83 0 0 25 0 1 0 454048881 148897792 33892 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36352 33892 231 231 0 36121 0
vsize: 145408
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 35845 0 0 0 27918 84 0 0 25 0 1 0 454048881 149053440 34341 4294967295 134512640 135450300 3221224640 3221223108 134580040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36390 34341 231 231 0 36159 0
vsize: 145560
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37137 0 0 0 28915 88 0 0 25 0 1 0 454048881 283271168 35633 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69158 35633 231 231 0 68927 0
vsize: 276632
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37364 0 0 0 29915 88 0 0 25 0 1 0 454048881 283435008 35860 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69198 35860 231 231 0 68967 0
vsize: 276792
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37366 0 0 0 30915 88 0 0 25 0 1 0 454048881 283435008 35862 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69198 35862 231 231 0 68967 0
vsize: 276792
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37398 0 0 0 31915 89 0 0 25 0 1 0 454048881 283574272 35894 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69232 35894 231 231 0 69001 0
vsize: 276928
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37422 0 0 0 32915 89 0 0 25 0 1 0 454048881 283717632 35918 4294967295 134512640 135450300 3221224640 3221223116 134572584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69267 35918 231 231 0 69036 0
vsize: 277068
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37432 0 0 0 33915 89 0 0 25 0 1 0 454048881 283717632 35928 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69267 35928 231 231 0 69036 0
vsize: 277068
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37451 0 0 0 34915 89 0 0 25 0 1 0 454048881 283717632 35947 4294967295 134512640 135450300 3221224640 3221223024 134602122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69267 35947 231 231 0 69036 0
vsize: 277068
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 37825 0 0 0 35914 90 0 0 25 0 1 0 454048881 283848704 36321 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69299 36321 231 231 0 69068 0
vsize: 277196
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39046 0 0 0 36912 92 0 0 25 0 1 0 454048881 283848704 37542 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69299 37542 231 231 0 69068 0
vsize: 277196
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39790 0 0 0 37910 95 0 0 25 0 1 0 454048881 283983872 38286 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69332 38286 231 231 0 69101 0
vsize: 277328
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39818 0 0 0 38909 95 0 0 25 0 1 0 454048881 283983872 38314 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69332 38314 231 231 0 69101 0
vsize: 277328
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39865 0 0 0 39909 95 0 0 25 0 1 0 454048881 284250112 38361 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69397 38361 231 231 0 69166 0
vsize: 277588
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39901 0 0 0 40909 96 0 0 25 0 1 0 454048881 284385280 38397 4294967295 134512640 135450300 3221224640 3221223120 134580023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69430 38397 231 231 0 69199 0
vsize: 277720
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39908 0 0 0 41909 96 0 0 25 0 1 0 454048881 284385280 38404 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69430 38404 231 231 0 69199 0
vsize: 277720
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39936 0 0 0 42909 96 0 0 25 0 1 0 454048881 284532736 38432 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69466 38432 231 231 0 69235 0
vsize: 277864
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39948 0 0 0 43909 96 0 0 25 0 1 0 454048881 284532736 38444 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69466 38444 231 231 0 69235 0
vsize: 277864
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 39993 0 0 0 44909 97 0 0 25 0 1 0 454048881 284807168 38489 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69533 38489 231 231 0 69302 0
vsize: 278132
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40017 0 0 0 45909 97 0 0 25 0 1 0 454048881 284807168 38513 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69533 38513 231 231 0 69302 0
vsize: 278132
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40020 0 0 0 46909 97 0 0 25 0 1 0 454048881 284807168 38516 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69533 38516 231 231 0 69302 0
vsize: 278132
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40050 0 0 0 47909 97 0 0 25 0 1 0 454048881 284950528 38546 4294967295 134512640 135450300 3221224640 3221223168 134544136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69568 38546 231 231 0 69337 0
vsize: 278272
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40077 0 0 0 48909 97 0 0 25 0 1 0 454048881 285093888 38573 4294967295 134512640 135450300 3221224640 3221223152 134545034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69603 38573 231 231 0 69372 0
vsize: 278412
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40100 0 0 0 49909 97 0 0 25 0 1 0 454048881 285093888 38596 4294967295 134512640 135450300 3221224640 3221223168 134544604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69603 38596 231 231 0 69372 0
vsize: 278412
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40119 0 0 0 50909 98 0 0 25 0 1 0 454048881 285229056 38615 4294967295 134512640 135450300 3221224640 3221223168 134544629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69636 38615 231 231 0 69405 0
vsize: 278544
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40169 0 0 0 51909 98 0 0 25 0 1 0 454048881 285532160 38665 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69710 38665 231 231 0 69479 0
vsize: 278840
[startup+529.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40207 0 0 0 52909 98 0 0 25 0 1 0 454048881 285675520 38703 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69745 38703 231 231 0 69514 0
vsize: 278980
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40251 0 0 0 53909 98 0 0 25 0 1 0 454048881 285822976 38747 4294967295 134512640 135450300 3221224640 3221223024 134579405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69781 38747 231 231 0 69550 0
vsize: 279124
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40297 0 0 0 54909 98 0 0 25 0 1 0 454048881 285962240 38793 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69815 38793 231 231 0 69584 0
vsize: 279260
[startup+559.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40300 0 0 0 55909 99 0 0 25 0 1 0 454048881 285962240 38796 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69815 38796 231 231 0 69584 0
vsize: 279260
[startup+569.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40334 0 0 0 56908 99 0 0 25 0 1 0 454048881 286121984 38830 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69854 38830 231 231 0 69623 0
vsize: 279416
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40375 0 0 0 57908 100 0 0 25 0 1 0 454048881 286261248 38871 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69888 38871 231 231 0 69657 0
vsize: 279552
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40378 0 0 0 58908 100 0 0 25 0 1 0 454048881 286261248 38874 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69888 38874 231 231 0 69657 0
vsize: 279552
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40414 0 0 0 59908 100 0 0 25 0 1 0 454048881 286408704 38910 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69924 38910 231 231 0 69693 0
vsize: 279696
[startup+609.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40416 0 0 0 60908 100 0 0 25 0 1 0 454048881 286408704 38912 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69924 38912 231 231 0 69693 0
vsize: 279696
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40523 0 0 0 61908 101 0 0 25 0 1 0 454048881 286982144 39019 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70064 39019 231 231 0 69833 0
vsize: 280256
[startup+629.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40531 0 0 0 62908 101 0 0 25 0 1 0 454048881 286982144 39027 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70064 39027 231 231 0 69833 0
vsize: 280256
[startup+639.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40578 0 0 0 63908 101 0 0 25 0 1 0 454048881 287129600 39074 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70100 39074 231 231 0 69869 0
vsize: 280400
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40622 0 0 0 64908 101 0 0 25 0 1 0 454048881 287293440 39118 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70140 39118 231 231 0 69909 0
vsize: 280560
[startup+659.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40625 0 0 0 65908 102 0 0 25 0 1 0 454048881 287293440 39121 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70140 39121 231 231 0 69909 0
vsize: 280560
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40655 0 0 0 66908 102 0 0 25 0 1 0 454048881 287457280 39151 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70180 39151 231 231 0 69949 0
vsize: 280720
[startup+679.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40678 0 0 0 67908 102 0 0 25 0 1 0 454048881 287621120 39174 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70220 39174 231 231 0 69989 0
vsize: 280880
[startup+689.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40696 0 0 0 68908 102 0 0 25 0 1 0 454048881 287756288 39192 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70253 39192 231 231 0 70022 0
vsize: 281012
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40731 0 0 0 69908 102 0 0 25 0 1 0 454048881 287903744 39227 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70289 39227 231 231 0 70058 0
vsize: 281156
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40738 0 0 0 70908 102 0 0 25 0 1 0 454048881 287903744 39234 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70289 39234 231 231 0 70058 0
vsize: 281156
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40753 0 0 0 71908 102 0 0 25 0 1 0 454048881 287903744 39249 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70289 39249 231 231 0 70058 0
vsize: 281156
[startup+729.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40755 0 0 0 72908 103 0 0 25 0 1 0 454048881 287903744 39251 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70289 39251 231 231 0 70058 0
vsize: 281156
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40781 0 0 0 73908 103 0 0 25 0 1 0 454048881 288051200 39277 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70325 39277 231 231 0 70094 0
vsize: 281300
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40784 0 0 0 74908 103 0 0 25 0 1 0 454048881 288051200 39280 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70325 39280 231 231 0 70094 0
vsize: 281300
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40799 0 0 0 75908 103 0 0 25 0 1 0 454048881 288186368 39295 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70358 39295 231 231 0 70127 0
vsize: 281432
[startup+770.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40804 0 0 0 76909 103 0 0 25 0 1 0 454048881 288186368 39300 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70358 39300 231 231 0 70127 0
vsize: 281432
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 40864 0 0 0 77909 103 0 0 25 0 1 0 454048881 288329728 39360 4294967295 134512640 135450300 3221224640 3221223456 134547889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70393 39360 231 231 0 70162 0
vsize: 281572
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41199 0 0 0 78909 103 0 0 25 0 1 0 454048881 288329728 39695 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70393 39695 231 231 0 70162 0
vsize: 281572
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41237 0 0 0 79909 104 0 0 25 0 1 0 454048881 288477184 39733 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70429 39733 231 231 0 70198 0
vsize: 281716
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41253 0 0 0 80909 104 0 0 25 0 1 0 454048881 288624640 39749 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70465 39749 231 231 0 70234 0
vsize: 281860
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41284 0 0 0 81909 104 0 0 25 0 1 0 454048881 288772096 39780 4294967295 134512640 135450300 3221224640 3221223168 134544124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70501 39780 231 231 0 70270 0
vsize: 282004
[startup+830 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41316 0 0 0 82908 104 0 0 25 0 1 0 454048881 288919552 39812 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70537 39812 231 231 0 70306 0
vsize: 282148
[startup+840 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41353 0 0 0 83908 105 0 0 25 0 1 0 454048881 289058816 39849 4294967295 134512640 135450300 3221224640 3221223024 134602249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70571 39849 231 231 0 70340 0
vsize: 282284
[startup+850.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41355 0 0 0 84908 105 0 0 25 0 1 0 454048881 289058816 39851 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70571 39851 231 231 0 70340 0
vsize: 282284
[startup+860.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 41977 0 0 0 85908 106 0 0 25 0 1 0 454048881 289206272 40473 4294967295 134512640 135450300 3221224640 3221223376 134538791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70607 40473 231 231 0 70376 0
vsize: 282428
[startup+870.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43011 0 0 0 86906 108 0 0 25 0 1 0 454048881 289353728 41507 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70643 41507 231 231 0 70412 0
vsize: 282572
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43055 0 0 0 87906 108 0 0 25 0 1 0 454048881 289517568 41551 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70683 41551 231 231 0 70452 0
vsize: 282732
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43058 0 0 0 88906 108 0 0 25 0 1 0 454048881 289517568 41554 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70683 41554 231 231 0 70452 0
vsize: 282732
[startup+900.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43068 0 0 0 89906 108 0 0 25 0 1 0 454048881 289517568 41564 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70683 41564 231 231 0 70452 0
vsize: 282732
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43105 0 0 0 90906 109 0 0 25 0 1 0 454048881 289660928 41601 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70718 41601 231 231 0 70487 0
vsize: 282872
[startup+920.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43108 0 0 0 91906 109 0 0 25 0 1 0 454048881 289660928 41604 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70718 41604 231 231 0 70487 0
vsize: 282872
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43156 0 0 0 92905 109 0 0 25 0 1 0 454048881 289808384 41652 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70754 41652 231 231 0 70523 0
vsize: 283016
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43183 0 0 0 93905 110 0 0 25 0 1 0 454048881 289972224 41679 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70794 41679 231 231 0 70563 0
vsize: 283176
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 43986 0 0 0 94903 112 0 0 25 0 1 0 454048881 289972224 42482 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70794 42482 231 231 0 70563 0
vsize: 283176
[startup+960.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44388 0 0 0 95903 113 0 0 25 0 1 0 454048881 290299904 42884 4294967295 134512640 135450300 3221224640 3221223024 134579238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70874 42884 231 231 0 70643 0
vsize: 283496
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44404 0 0 0 96903 113 0 0 25 0 1 0 454048881 290299904 42900 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70874 42900 231 231 0 70643 0
vsize: 283496
[startup+980.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44445 0 0 0 97902 113 0 0 25 0 1 0 454048881 290447360 42941 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70910 42941 231 231 0 70679 0
vsize: 283640
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44476 0 0 0 98902 114 0 0 25 0 1 0 454048881 290578432 42972 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70942 42972 231 231 0 70711 0
vsize: 283768
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44480 0 0 0 99902 114 0 0 25 0 1 0 454048881 290578432 42976 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70942 42976 231 231 0 70711 0
vsize: 283768
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44500 0 0 0 100902 114 0 0 25 0 1 0 454048881 290725888 42996 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70978 42996 231 231 0 70747 0
vsize: 283912
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44506 0 0 0 101902 114 0 0 25 0 1 0 454048881 290861056 43002 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71011 43002 231 231 0 70780 0
vsize: 284044
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 44522 0 0 0 102902 114 0 0 25 0 1 0 454048881 290861056 43018 4294967295 134512640 135450300 3221224640 3221223104 134580041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71011 43018 231 231 0 70780 0
vsize: 284044
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45351 0 0 0 103901 116 0 0 25 0 1 0 454048881 290861056 43847 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71011 43847 231 231 0 70780 0
vsize: 284044
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45378 0 0 0 104901 116 0 0 25 0 1 0 454048881 291024896 43874 4294967295 134512640 135450300 3221224640 3221223116 134572327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71051 43874 231 231 0 70820 0
vsize: 284204
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45380 0 0 0 105901 117 0 0 25 0 1 0 454048881 291024896 43876 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71051 43876 231 231 0 70820 0
vsize: 284204
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45419 0 0 0 106900 117 0 0 25 0 1 0 454048881 291188736 43915 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71091 43915 231 231 0 70860 0
vsize: 284364
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45437 0 0 0 107900 117 0 0 25 0 1 0 454048881 291356672 43933 4294967295 134512640 135450300 3221224640 3221223144 134571585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71132 43933 231 231 0 70901 0
vsize: 284528
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45441 0 0 0 108901 117 0 0 25 0 1 0 454048881 291356672 43937 4294967295 134512640 135450300 3221224640 3221223024 134579307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71132 43937 231 231 0 70901 0
vsize: 284528
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45465 0 0 0 109901 118 0 0 25 0 1 0 454048881 291356672 43961 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71132 43961 231 231 0 70901 0
vsize: 284528
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45467 0 0 0 110901 118 0 0 25 0 1 0 454048881 291356672 43963 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71132 43963 231 231 0 70901 0
vsize: 284528
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 45927 0 0 0 111900 119 0 0 25 0 1 0 454048881 291520512 44423 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71172 44423 231 231 0 70941 0
vsize: 284688
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46122 0 0 0 112899 119 0 0 25 0 1 0 454048881 291684352 44618 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71212 44618 231 231 0 70981 0
vsize: 284848
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46125 0 0 0 113899 119 0 0 25 0 1 0 454048881 291684352 44621 4294967295 134512640 135450300 3221224640 3221223376 134538621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71212 44621 231 231 0 70981 0
vsize: 284848
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46139 0 0 0 114899 120 0 0 25 0 1 0 454048881 291819520 44635 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71245 44635 231 231 0 71014 0
vsize: 284980
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46141 0 0 0 115899 120 0 0 25 0 1 0 454048881 291819520 44637 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71245 44637 231 231 0 71014 0
vsize: 284980
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46187 0 0 0 116900 120 0 0 25 0 1 0 454048881 291958784 44683 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71279 44683 231 231 0 71048 0
vsize: 285116
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46227 0 0 0 117900 120 0 0 25 0 1 0 454048881 292106240 44723 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71315 44723 231 231 0 71084 0
vsize: 285260
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46257 0 0 0 118900 120 0 0 25 0 1 0 454048881 292270080 44753 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71355 44753 231 231 0 71124 0
vsize: 285420
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15979
Raw data (stat): 15979 (PBS4) R 15978 22932 22931 0 -1 0 46285 0 0 0 119900 120 0 0 25 0 1 0 454048881 292433920 44781 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71395 44781 231 231 0 71164 0
vsize: 285580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15979
Raw data (stat): 15979 (PBS4) Z 15978 22932 22931 0 -1 1036 46285 0 0 0 119900 129 0 0 25 0 1 0 454048881 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.09
CPU time (s): 1200.29
CPU user time (s): 1199
CPU system time (s): 1.2918
CPU usage (%): 100.017
Max. virtual memory (Kb): 285580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####