PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
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	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 16608

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 08:00:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12941 boxname=wulflinc17 idbench=996 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 12941
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        830416 kB
Buffers:         20228 kB
Cached:         155500 kB
SwapCached:        596 kB
Active:          65828 kB
Inactive:       113396 kB
HighTotal:      131008 kB
HighFree:         2352 kB
LowTotal:       903652 kB
LowFree:        828064 kB
SwapTotal:     2097892 kB
SwapFree:      2097284 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6628 kB
Slab:            19368 kB
Committed_AS:    63784 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:20:51 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 12941 7 1200.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-protfold.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.90 0.98 0.94 1/55 24920
Raw data (stat): 24920 (runsolver) D 24919 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 543483161 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99961 s]
Raw data (loadavg): 0.92 0.98 0.94 2/55 24920
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 624 0 0 0 995 3 0 0 25 0 1 0 543483161 3276800 620 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 800 620 231 231 0 569 0
vsize: 3200
[startup+20.0067 s]
Raw data (loadavg): 0.93 0.98 0.94 2/55 24920
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 795 0 0 0 1993 5 0 0 25 0 1 0 543483161 4669440 791 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1140 791 231 231 0 909 0
vsize: 4560
[startup+30.0068 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 24920
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 967 0 0 0 2991 7 0 0 25 0 1 0 543483161 4800512 963 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1172 963 231 231 0 941 0
vsize: 4688
[startup+40.0094 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1196 0 0 0 3988 10 0 0 25 0 1 0 543483161 7028736 1192 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1716 1192 231 231 0 1485 0
vsize: 6864
[startup+50.0115 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1664 0 0 0 4986 13 0 0 25 0 1 0 543483161 7479296 1611 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 1611 231 231 0 1595 0
vsize: 7304
[startup+60.0115 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1718 0 0 0 5985 14 0 0 25 0 1 0 543483161 7614464 1665 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 1665 231 231 0 1628 0
vsize: 7436
[startup+70.0121 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1748 0 0 0 6984 15 0 0 25 0 1 0 543483161 7614464 1695 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 1695 231 231 0 1628 0
vsize: 7436
[startup+80.013 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1770 0 0 0 7984 16 0 0 25 0 1 0 543483161 7737344 1717 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1717 231 231 0 1658 0
vsize: 7556
[startup+90.0123 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1788 0 0 0 8982 18 0 0 25 0 1 0 543483161 7737344 1735 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1735 231 231 0 1658 0
vsize: 7556
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1806 0 0 0 9980 20 0 0 25 0 1 0 543483161 7872512 1753 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 1753 231 231 0 1691 0
vsize: 7688
[startup+110.012 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1818 0 0 0 10979 21 0 0 25 0 1 0 543483161 7872512 1765 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 1765 231 231 0 1691 0
vsize: 7688
[startup+120.012 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1932 0 0 0 11978 23 0 0 25 0 1 0 543483161 8265728 1782 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2018 1782 231 231 0 1787 0
vsize: 8072
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1950 0 0 0 12977 23 0 0 25 0 1 0 543483161 8396800 1800 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2050 1800 231 231 0 1819 0
vsize: 8200
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1969 0 0 0 13976 24 0 0 25 0 1 0 543483161 8396800 1819 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2050 1819 231 231 0 1819 0
vsize: 8200
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 1989 0 0 0 14975 26 0 0 25 0 1 0 543483161 8536064 1839 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2084 1839 231 231 0 1853 0
vsize: 8336
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2012 0 0 0 15974 27 0 0 25 0 1 0 543483161 8536064 1862 4294967295 134512640 135450300 3221224624 3221223488 134539260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2084 1862 231 231 0 1853 0
vsize: 8336
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2024 0 0 0 16973 28 0 0 25 0 1 0 543483161 8536064 1874 4294967295 134512640 135450300 3221224624 3221223488 134539286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2084 1874 231 231 0 1853 0
vsize: 8336
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2045 0 0 0 17971 30 0 0 25 0 1 0 543483161 8667136 1895 4294967295 134512640 135450300 3221224624 3221223552 134539673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2116 1895 231 231 0 1885 0
vsize: 8464
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2056 0 0 0 18970 32 0 0 25 0 1 0 543483161 8667136 1906 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2116 1906 231 231 0 1885 0
vsize: 8464
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24922
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2077 0 0 0 19969 33 0 0 25 0 1 0 543483161 8667136 1927 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2116 1927 231 231 0 1885 0
vsize: 8464
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2085 0 0 0 20968 34 0 0 25 0 1 0 543483161 8667136 1935 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2116 1935 231 231 0 1885 0
vsize: 8464
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2101 0 0 0 21966 36 0 0 25 0 1 0 543483161 8806400 1951 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2150 1951 231 231 0 1919 0
vsize: 8600
[startup+230.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2118 0 0 0 22966 37 0 0 25 0 1 0 543483161 8806400 1968 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2150 1968 231 231 0 1919 0
vsize: 8600
[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2137 0 0 0 23965 38 0 0 25 0 1 0 543483161 8806400 1987 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2150 1987 231 231 0 1919 0
vsize: 8600
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2152 0 0 0 24965 39 0 0 25 0 1 0 543483161 8933376 2002 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 2002 231 231 0 1950 0
vsize: 8724
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2287 0 0 0 25964 40 0 0 25 0 1 0 543483161 13127680 2137 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2137 231 231 0 2974 0
vsize: 12820
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2493 0 0 0 26962 42 0 0 25 0 1 0 543483161 13914112 2150 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2150 231 231 0 3166 0
vsize: 13588
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24924
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2515 0 0 0 27961 43 0 0 25 0 1 0 543483161 14049280 2172 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3430 2172 231 231 0 3199 0
vsize: 13720
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2529 0 0 0 28960 44 0 0 25 0 1 0 543483161 14049280 2186 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3430 2186 231 231 0 3199 0
vsize: 13720
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2540 0 0 0 29958 46 0 0 25 0 1 0 543483161 14049280 2197 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3430 2197 231 231 0 3199 0
vsize: 13720
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2558 0 0 0 30958 47 0 0 25 0 1 0 543483161 14049280 2215 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3430 2215 231 231 0 3199 0
vsize: 13720
[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2574 0 0 0 31957 48 0 0 25 0 1 0 543483161 14168064 2231 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2231 231 231 0 3228 0
vsize: 13836
[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2594 0 0 0 32956 49 0 0 25 0 1 0 543483161 14168064 2251 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2251 231 231 0 3228 0
vsize: 13836
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2614 0 0 0 33955 50 0 0 25 0 1 0 543483161 14299136 2271 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2271 231 231 0 3260 0
vsize: 13964
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2722 0 0 0 34954 51 0 0 25 0 1 0 543483161 14299136 2379 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2379 231 231 0 3260 0
vsize: 13964
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2831 0 0 0 35953 53 0 0 25 0 1 0 543483161 14299136 2488 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3491 2488 231 231 0 3260 0
vsize: 13964
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2853 0 0 0 36952 54 0 0 25 0 1 0 543483161 14442496 2510 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3526 2510 231 231 0 3295 0
vsize: 14104
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2882 0 0 0 37951 54 0 0 25 0 1 0 543483161 14442496 2539 4294967295 134512640 135450300 3221224624 3221223536 134597062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3526 2539 231 231 0 3295 0
vsize: 14104
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2902 0 0 0 38950 56 0 0 25 0 1 0 543483161 14442496 2559 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3526 2559 231 231 0 3295 0
vsize: 14104
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2916 0 0 0 39949 57 0 0 25 0 1 0 543483161 14577664 2573 4294967295 134512640 135450300 3221224624 3221223008 134602272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2573 231 231 0 3328 0
vsize: 14236
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2936 0 0 0 40948 58 0 0 25 0 1 0 543483161 14577664 2593 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2593 231 231 0 3328 0
vsize: 14236
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2951 0 0 0 41948 59 0 0 25 0 1 0 543483161 14577664 2608 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2608 231 231 0 3328 0
vsize: 14236
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2961 0 0 0 42946 61 0 0 25 0 1 0 543483161 14577664 2618 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2618 231 231 0 3328 0
vsize: 14236
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2975 0 0 0 43945 62 0 0 25 0 1 0 543483161 14712832 2632 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3592 2632 231 231 0 3361 0
vsize: 14368
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 2984 0 0 0 44944 63 0 0 25 0 1 0 543483161 14712832 2641 4294967295 134512640 135450300 3221224624 3221223360 134538537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3592 2641 231 231 0 3361 0
vsize: 14368
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3054 0 0 0 45943 64 0 0 25 0 1 0 543483161 14712832 2711 4294967295 134512640 135450300 3221224624 3221223360 134538649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3592 2711 231 231 0 3361 0
vsize: 14368
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3078 0 0 0 46942 65 0 0 25 0 1 0 543483161 14856192 2735 4294967295 134512640 135450300 3221224624 3221223344 134535555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3627 2735 231 231 0 3396 0
vsize: 14508
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3107 0 0 0 47941 67 0 0 25 0 1 0 543483161 14856192 2764 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3627 2764 231 231 0 3396 0
vsize: 14508
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3268 0 0 0 48940 68 0 0 25 0 1 0 543483161 14856192 2925 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3627 2925 231 231 0 3396 0
vsize: 14508
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24926
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3350 0 0 0 49939 69 0 0 25 0 1 0 543483161 14856192 3007 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3627 3007 231 231 0 3396 0
vsize: 14508
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3367 0 0 0 50938 70 0 0 25 0 1 0 543483161 14856192 3024 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3627 3024 231 231 0 3396 0
vsize: 14508
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3435 0 0 0 51938 71 0 0 25 0 1 0 543483161 15032320 3092 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3670 3092 231 231 0 3439 0
vsize: 14680
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3474 0 0 0 52937 72 0 0 25 0 1 0 543483161 15032320 3131 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3670 3131 231 231 0 3439 0
vsize: 14680
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3489 0 0 0 53936 73 0 0 25 0 1 0 543483161 15032320 3146 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3670 3146 231 231 0 3439 0
vsize: 14680
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3505 0 0 0 54933 75 0 0 25 0 1 0 543483161 15155200 3162 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 3162 231 231 0 3469 0
vsize: 14800
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3557 0 0 0 55932 77 0 0 25 0 1 0 543483161 15155200 3214 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 3214 231 231 0 3469 0
vsize: 14800
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3574 0 0 0 56930 79 0 0 25 0 1 0 543483161 15155200 3231 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 3231 231 231 0 3469 0
vsize: 14800
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3589 0 0 0 57928 81 0 0 25 0 1 0 543483161 15155200 3246 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 3246 231 231 0 3469 0
vsize: 14800
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 3615 0 0 0 58927 83 0 0 25 0 1 0 543483161 15290368 3272 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 3272 231 231 0 3502 0
vsize: 14932
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4083 0 0 0 59925 84 0 0 25 0 1 0 543483161 16863232 3355 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4117 3355 231 231 0 3886 0
vsize: 16468
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4103 0 0 0 60924 86 0 0 25 0 1 0 543483161 16986112 3375 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4147 3375 231 231 0 3916 0
vsize: 16588
[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4124 0 0 0 61923 87 0 0 25 0 1 0 543483161 16986112 3396 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4147 3396 231 231 0 3916 0
vsize: 16588
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4144 0 0 0 62923 87 0 0 25 0 1 0 543483161 17108992 3416 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 3416 231 231 0 3946 0
vsize: 16708
[startup+640.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4174 0 0 0 63932 89 0 0 25 0 1 0 543483161 17108992 3446 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 3446 231 231 0 3946 0
vsize: 16708
[startup+650.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4183 0 0 0 64930 90 0 0 25 0 1 0 543483161 17108992 3455 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 3455 231 231 0 3946 0
vsize: 16708
[startup+660.12 s]
Raw data (loadavg): 0.99 0.98 0.94 3/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4196 0 0 0 65929 92 0 0 25 0 1 0 543483161 17108992 3468 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 3468 231 231 0 3946 0
vsize: 16708
[startup+670.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4214 0 0 0 66929 93 0 0 25 0 1 0 543483161 17235968 3486 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3486 231 231 0 3977 0
vsize: 16832
[startup+680.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4231 0 0 0 67928 93 0 0 25 0 1 0 543483161 17235968 3503 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3503 231 231 0 3977 0
vsize: 16832
[startup+690.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4243 0 0 0 68927 95 0 0 25 0 1 0 543483161 17235968 3515 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3515 231 231 0 3977 0
vsize: 16832
[startup+700.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4344 0 0 0 69925 97 0 0 25 0 1 0 543483161 17235968 3616 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3616 231 231 0 3977 0
vsize: 16832
[startup+710.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4458 0 0 0 70925 97 0 0 25 0 1 0 543483161 17424384 3730 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3730 231 231 0 4023 0
vsize: 17016
[startup+720.117 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4470 0 0 0 71923 99 0 0 25 0 1 0 543483161 17424384 3742 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3742 231 231 0 4023 0
vsize: 17016
[startup+730.117 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4481 0 0 0 72922 101 0 0 25 0 1 0 543483161 17424384 3753 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3753 231 231 0 4023 0
vsize: 17016
[startup+740.116 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4495 0 0 0 73921 101 0 0 25 0 1 0 543483161 17424384 3767 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3767 231 231 0 4023 0
vsize: 17016
[startup+750.116 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4513 0 0 0 74920 102 0 0 25 0 1 0 543483161 17424384 3785 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3785 231 231 0 4023 0
vsize: 17016
[startup+760.116 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4527 0 0 0 75918 104 0 0 25 0 1 0 543483161 17559552 3799 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3799 231 231 0 4056 0
vsize: 17148
[startup+770.115 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4539 0 0 0 76917 106 0 0 25 0 1 0 543483161 17559552 3811 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3811 231 231 0 4056 0
vsize: 17148
[startup+780.116 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4547 0 0 0 77916 107 0 0 25 0 1 0 543483161 17559552 3819 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3819 231 231 0 4056 0
vsize: 17148
[startup+790.115 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4642 0 0 0 78914 109 0 0 25 0 1 0 543483161 26083328 3914 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 3914 231 231 0 6137 0
vsize: 25472
[startup+800.115 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24928
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4659 0 0 0 79912 111 0 0 25 0 1 0 543483161 26083328 3931 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 3931 231 231 0 6137 0
vsize: 25472
[startup+810.115 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4671 0 0 0 80911 112 0 0 25 0 1 0 543483161 26083328 3943 4294967295 134512640 135450300 3221224624 3221223456 134548848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 3943 231 231 0 6137 0
vsize: 25472
[startup+820.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4683 0 0 0 81910 113 0 0 25 0 1 0 543483161 26083328 3955 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 3955 231 231 0 6137 0
vsize: 25472
[startup+830.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4693 0 0 0 82909 115 0 0 25 0 1 0 543483161 26083328 3965 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 3965 231 231 0 6137 0
vsize: 25472
[startup+840.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4705 0 0 0 83907 116 0 0 25 0 1 0 543483161 26083328 3977 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 3977 231 231 0 6137 0
vsize: 25472
[startup+850.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4720 0 0 0 84906 118 0 0 25 0 1 0 543483161 26210304 3992 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 3992 231 231 0 6168 0
vsize: 25596
[startup+860.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4765 0 0 0 85905 119 0 0 25 0 1 0 543483161 26349568 4037 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4037 231 231 0 6202 0
vsize: 25732
[startup+870.113 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4822 0 0 0 86903 121 0 0 25 0 1 0 543483161 26349568 4094 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4094 231 231 0 6202 0
vsize: 25732
[startup+880.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4860 0 0 0 87902 123 0 0 25 0 1 0 543483161 26349568 4132 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4132 231 231 0 6202 0
vsize: 25732
[startup+890.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4869 0 0 0 88901 124 0 0 25 0 1 0 543483161 26349568 4141 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4141 231 231 0 6202 0
vsize: 25732
[startup+900.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4878 0 0 0 89900 125 0 0 25 0 1 0 543483161 26349568 4150 4294967295 134512640 135450300 3221224624 3221222976 134533287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4150 231 231 0 6202 0
vsize: 25732
[startup+910.114 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4890 0 0 0 90899 127 0 0 25 0 1 0 543483161 26349568 4162 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4162 231 231 0 6202 0
vsize: 25732
[startup+920.113 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4905 0 0 0 91898 127 0 0 25 0 1 0 543483161 26349568 4177 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6433 4177 231 231 0 6202 0
vsize: 25732
[startup+930.113 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4917 0 0 0 92897 129 0 0 25 0 1 0 543483161 26558464 4189 4294967295 134512640 135450300 3221224624 3221223020 134533352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4189 231 231 0 6253 0
vsize: 25936
[startup+940.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4929 0 0 0 93896 130 0 0 25 0 1 0 543483161 26558464 4201 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4201 231 231 0 6253 0
vsize: 25936
[startup+950.126 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4939 0 0 0 94896 131 0 0 25 0 1 0 543483161 26558464 4211 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4211 231 231 0 6253 0
vsize: 25936
[startup+960.126 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4949 0 0 0 95895 133 0 0 25 0 1 0 543483161 26558464 4221 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4221 231 231 0 6253 0
vsize: 25936
[startup+970.125 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4963 0 0 0 96894 134 0 0 25 0 1 0 543483161 26558464 4235 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4235 231 231 0 6253 0
vsize: 25936
[startup+980.125 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4974 0 0 0 97893 135 0 0 25 0 1 0 543483161 26558464 4246 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4246 231 231 0 6253 0
vsize: 25936
[startup+990.125 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4985 0 0 0 98891 136 0 0 25 0 1 0 543483161 26677248 4257 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6513 4257 231 231 0 6282 0
vsize: 26052
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 4996 0 0 0 99891 138 0 0 25 0 1 0 543483161 26677248 4268 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6513 4268 231 231 0 6282 0
vsize: 26052
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5019 0 0 0 100891 139 0 0 25 0 1 0 543483161 26677248 4291 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6513 4291 231 231 0 6282 0
vsize: 26052
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5054 0 0 0 101891 140 0 0 25 0 1 0 543483161 26841088 4326 4294967295 134512640 135450300 3221224624 3221223420 134535392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4326 231 231 0 6322 0
vsize: 26212
[startup+1030.16 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5156 0 0 0 102891 141 0 0 25 0 1 0 543483161 26841088 4428 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4428 231 231 0 6322 0
vsize: 26212
[startup+1040.16 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5225 0 0 0 103891 141 0 0 25 0 1 0 543483161 26841088 4497 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4497 231 231 0 6322 0
vsize: 26212
[startup+1050.16 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5282 0 0 0 104890 142 0 0 25 0 1 0 543483161 26841088 4554 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4554 231 231 0 6322 0
vsize: 26212
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5292 0 0 0 105890 144 0 0 25 0 1 0 543483161 26841088 4564 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4564 231 231 0 6322 0
vsize: 26212
[startup+1070.18 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5299 0 0 0 106890 145 0 0 25 0 1 0 543483161 26841088 4571 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 4571 231 231 0 6322 0
vsize: 26212
[startup+1080.18 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5313 0 0 0 107889 146 0 0 25 0 1 0 543483161 26963968 4585 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 4585 231 231 0 6352 0
vsize: 26332
[startup+1090.18 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5322 0 0 0 108889 147 0 0 25 0 1 0 543483161 26963968 4594 4294967295 134512640 135450300 3221224624 3221223488 134539279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 4594 231 231 0 6352 0
vsize: 26332
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24930
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5334 0 0 0 109887 148 0 0 25 0 1 0 543483161 26963968 4606 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 4606 231 231 0 6352 0
vsize: 26332
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5343 0 0 0 110886 150 0 0 25 0 1 0 543483161 26963968 4615 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 4615 231 231 0 6352 0
vsize: 26332
[startup+1120.19 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5362 0 0 0 111887 150 0 0 25 0 1 0 543483161 26963968 4634 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 4634 231 231 0 6352 0
vsize: 26332
[startup+1130.19 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5435 0 0 0 112886 151 0 0 25 0 1 0 543483161 27099136 4707 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6616 4707 231 231 0 6385 0
vsize: 26464
[startup+1140.19 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5496 0 0 0 113884 152 0 0 25 0 1 0 543483161 27099136 4768 4294967295 134512640 135450300 3221224624 3221223360 134538191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6616 4768 231 231 0 6385 0
vsize: 26464
[startup+1150.2 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5507 0 0 0 114883 154 0 0 25 0 1 0 543483161 27234304 4779 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 4779 231 231 0 6418 0
vsize: 26596
[startup+1160.21 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5524 0 0 0 115884 155 0 0 25 0 1 0 543483161 27234304 4796 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 4796 231 231 0 6418 0
vsize: 26596
[startup+1170.21 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5769 0 0 0 116883 156 0 0 25 0 1 0 543483161 27234304 5041 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5041 231 231 0 6418 0
vsize: 26596
[startup+1180.21 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5882 0 0 0 117882 157 0 0 25 0 1 0 543483161 27234304 5154 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5154 231 231 0 6418 0
vsize: 26596
[startup+1190.22 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 5985 0 0 0 118882 158 0 0 25 0 1 0 543483161 27361280 5257 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6680 5257 231 231 0 6449 0
vsize: 26720
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 24932
Raw data (stat): 24920 (PBS4) R 24919 20838 20837 0 -1 0 6061 0 0 0 119880 161 0 0 25 0 1 0 543483161 27361280 5333 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6680 5333 231 231 0 6449 0
vsize: 26720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 0.99 0.98 0.94 1/55 24932
Raw data (stat): 24920 (PBS4) Z 24919 20838 20837 0 -1 1036 6061 0 0 0 119880 162 0 0 21 0 1 0 543483161 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.41
CPU time (s): 1200.43
CPU user time (s): 1198.8
CPU system time (s): 1.62275
CPU usage (%): 100.002
Max. virtual memory (Kb): 26720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####