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/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
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	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 7706

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-17 15:58:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1167 boxname=wulflinc29 idbench=130 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb
IDLAUNCH: 1167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        777704 kB
Buffers:         37916 kB
Cached:         180352 kB
SwapCached:         12 kB
Active:          77872 kB
Inactive:       143280 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        777452 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            30224 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:18:33 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 1167 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.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.92 0.95 0.69 2/54 18662
Raw data (stat): 18662 (runsolver) R 18661 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511774136 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+9.99939 s]
Raw data (loadavg): 0.93 0.95 0.69 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2237 0 0 0 991 7 0 0 25 0 1 0 511774136 8736768 1505 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 1505 231 231 0 1902 0
vsize: 8532
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.70 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2311 0 0 0 1990 8 0 0 25 0 1 0 511774136 9007104 1579 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2199 1579 231 231 0 1968 0
vsize: 8796
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.70 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2368 0 0 0 2990 9 0 0 25 0 1 0 511774136 9142272 1636 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2232 1636 231 231 0 2001 0
vsize: 8928
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2408 0 0 0 3989 9 0 0 25 0 1 0 511774136 9142272 1676 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2232 1676 231 231 0 2001 0
vsize: 8928
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.71 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2431 0 0 0 4989 10 0 0 25 0 1 0 511774136 9277440 1699 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2265 1699 231 231 0 2034 0
vsize: 9060
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.71 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2454 0 0 0 5989 11 0 0 25 0 1 0 511774136 9277440 1722 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2265 1722 231 231 0 2034 0
vsize: 9060
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.71 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2483 0 0 0 6988 11 0 0 25 0 1 0 511774136 9277440 1751 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2265 1751 231 231 0 2034 0
vsize: 9060
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.72 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2499 0 0 0 7988 12 0 0 25 0 1 0 511774136 11374592 1767 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2777 1767 231 231 0 2546 0
vsize: 11108
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.96 0.72 2/54 18662
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2517 0 0 0 8987 13 0 0 25 0 1 0 511774136 11374592 1785 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2777 1785 231 231 0 2546 0
vsize: 11108
[startup+100.101 s]
Raw data (loadavg): 0.98 0.96 0.72 3/57 18698
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2534 0 0 0 9995 13 0 0 25 0 1 0 511774136 11509760 1802 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1802 231 231 0 2579 0
vsize: 11240
[startup+110.104 s]
Raw data (loadavg): 1.06 0.98 0.73 2/58 18705
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2550 0 0 0 10995 14 0 0 25 0 1 0 511774136 11509760 1818 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1818 231 231 0 2579 0
vsize: 11240
[startup+120.117 s]
Raw data (loadavg): 1.13 1.00 0.74 3/58 18715
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2570 0 0 0 11996 14 0 0 25 0 1 0 511774136 11509760 1838 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1838 231 231 0 2579 0
vsize: 11240
[startup+130.117 s]
Raw data (loadavg): 1.18 1.01 0.74 2/54 18715
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2587 0 0 0 12996 15 0 0 25 0 1 0 511774136 11509760 1855 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1855 231 231 0 2579 0
vsize: 11240
[startup+140.117 s]
Raw data (loadavg): 1.15 1.01 0.75 2/54 18715
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2609 0 0 0 13995 15 0 0 25 0 1 0 511774136 11636736 1877 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1877 231 231 0 2610 0
vsize: 11364
[startup+150.118 s]
Raw data (loadavg): 1.13 1.01 0.75 2/54 18715
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2630 0 0 0 14996 15 0 0 25 0 1 0 511774136 11636736 1898 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1898 231 231 0 2610 0
vsize: 11364
[startup+160.118 s]
Raw data (loadavg): 1.11 1.01 0.75 2/54 18715
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2649 0 0 0 15995 16 0 0 25 0 1 0 511774136 11636736 1917 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1917 231 231 0 2610 0
vsize: 11364
[startup+170.118 s]
Raw data (loadavg): 1.09 1.01 0.75 2/54 18715
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2673 0 0 0 16995 16 0 0 25 0 1 0 511774136 11636736 1941 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1941 231 231 0 2610 0
vsize: 11364
[startup+180.117 s]
Raw data (loadavg): 1.08 1.01 0.75 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2691 0 0 0 17994 17 0 0 25 0 1 0 511774136 11767808 1959 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1959 231 231 0 2642 0
vsize: 11492
[startup+190.118 s]
Raw data (loadavg): 1.07 1.01 0.76 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2711 0 0 0 18994 18 0 0 25 0 1 0 511774136 11767808 1979 4294967295 134512640 135450300 3221224640 3221223120 134534885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1979 231 231 0 2642 0
vsize: 11492
[startup+200.118 s]
Raw data (loadavg): 1.06 1.01 0.76 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2737 0 0 0 19993 19 0 0 25 0 1 0 511774136 11767808 2005 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2873 2005 231 231 0 2642 0
vsize: 11492
[startup+210.118 s]
Raw data (loadavg): 1.05 1.01 0.76 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2757 0 0 0 20993 19 0 0 25 0 1 0 511774136 11898880 2025 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 2025 231 231 0 2674 0
vsize: 11620
[startup+220.118 s]
Raw data (loadavg): 1.04 1.00 0.76 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2773 0 0 0 21992 20 0 0 25 0 1 0 511774136 11898880 2041 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 2041 231 231 0 2674 0
vsize: 11620
[startup+230.118 s]
Raw data (loadavg): 1.03 1.00 0.76 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2791 0 0 0 22992 20 0 0 25 0 1 0 511774136 11898880 2059 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 2059 231 231 0 2674 0
vsize: 11620
[startup+240.119 s]
Raw data (loadavg): 1.03 1.00 0.77 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2813 0 0 0 23992 21 0 0 25 0 1 0 511774136 11898880 2081 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 2081 231 231 0 2674 0
vsize: 11620
[startup+250.119 s]
Raw data (loadavg): 1.02 1.00 0.77 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2831 0 0 0 24991 22 0 0 25 0 1 0 511774136 12029952 2099 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2099 231 231 0 2706 0
vsize: 11748
[startup+260.12 s]
Raw data (loadavg): 1.02 1.00 0.77 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2848 0 0 0 25991 22 0 0 25 0 1 0 511774136 12029952 2116 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2116 231 231 0 2706 0
vsize: 11748
[startup+270.12 s]
Raw data (loadavg): 1.02 1.00 0.77 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2861 0 0 0 26990 23 0 0 25 0 1 0 511774136 12029952 2129 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2129 231 231 0 2706 0
vsize: 11748
[startup+280.12 s]
Raw data (loadavg): 1.01 1.00 0.77 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2875 0 0 0 27990 23 0 0 25 0 1 0 511774136 12029952 2143 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2143 231 231 0 2706 0
vsize: 11748
[startup+290.121 s]
Raw data (loadavg): 1.01 1.00 0.77 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2892 0 0 0 28990 24 0 0 25 0 1 0 511774136 12029952 2160 4294967295 134512640 135450300 3221224640 3221223504 134539286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2160 231 231 0 2706 0
vsize: 11748
[startup+300.121 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2905 0 0 0 29989 24 0 0 25 0 1 0 511774136 12029952 2173 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2173 231 231 0 2706 0
vsize: 11748
[startup+310.12 s]
Raw data (loadavg): 1.01 1.00 0.78 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2915 0 0 0 30989 25 0 0 25 0 1 0 511774136 12029952 2183 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2183 231 231 0 2706 0
vsize: 11748
[startup+320.12 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2930 0 0 0 31989 25 0 0 25 0 1 0 511774136 12161024 2198 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2198 231 231 0 2738 0
vsize: 11876
[startup+330.121 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2953 0 0 0 32988 26 0 0 25 0 1 0 511774136 12161024 2221 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2221 231 231 0 2738 0
vsize: 11876
[startup+340.121 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2971 0 0 0 33988 27 0 0 25 0 1 0 511774136 12161024 2239 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2239 231 231 0 2738 0
vsize: 11876
[startup+350.121 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2986 0 0 0 34988 27 0 0 25 0 1 0 511774136 12161024 2254 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2254 231 231 0 2738 0
vsize: 11876
[startup+360.121 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3001 0 0 0 35987 28 0 0 25 0 1 0 511774136 12296192 2269 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 2269 231 231 0 2771 0
vsize: 12008
[startup+370.121 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3022 0 0 0 36987 28 0 0 25 0 1 0 511774136 12296192 2290 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 2290 231 231 0 2771 0
vsize: 12008
[startup+380.122 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3035 0 0 0 37986 29 0 0 25 0 1 0 511774136 12296192 2303 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 2303 231 231 0 2771 0
vsize: 12008
[startup+390.121 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3057 0 0 0 38986 29 0 0 25 0 1 0 511774136 12296192 2325 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 2325 231 231 0 2771 0
vsize: 12008
[startup+400.122 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3072 0 0 0 39986 30 0 0 25 0 1 0 511774136 12296192 2340 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 2340 231 231 0 2771 0
vsize: 12008
[startup+410.122 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3095 0 0 0 40985 30 0 0 25 0 1 0 511774136 12431360 2363 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2363 231 231 0 2804 0
vsize: 12140
[startup+420.123 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3110 0 0 0 41985 31 0 0 25 0 1 0 511774136 12431360 2378 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2378 231 231 0 2804 0
vsize: 12140
[startup+430.123 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3127 0 0 0 42985 31 0 0 25 0 1 0 511774136 12431360 2395 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2395 231 231 0 2804 0
vsize: 12140
[startup+440.123 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3144 0 0 0 43985 32 0 0 25 0 1 0 511774136 12431360 2412 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2412 231 231 0 2804 0
vsize: 12140
[startup+450.123 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3157 0 0 0 44984 32 0 0 25 0 1 0 511774136 12431360 2425 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2425 231 231 0 2804 0
vsize: 12140
[startup+460.122 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3172 0 0 0 45984 33 0 0 25 0 1 0 511774136 12431360 2440 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2440 231 231 0 2804 0
vsize: 12140
[startup+470.122 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3186 0 0 0 46983 34 0 0 25 0 1 0 511774136 12431360 2454 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2454 231 231 0 2804 0
vsize: 12140
[startup+480.122 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18717
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3206 0 0 0 47983 34 0 0 25 0 1 0 511774136 12566528 2474 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3068 2474 231 231 0 2837 0
vsize: 12272
[startup+490.122 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3220 0 0 0 48983 34 0 0 25 0 1 0 511774136 12566528 2488 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3068 2488 231 231 0 2837 0
vsize: 12272
[startup+500.122 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3234 0 0 0 49982 35 0 0 25 0 1 0 511774136 12566528 2502 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3068 2502 231 231 0 2837 0
vsize: 12272
[startup+510.121 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3249 0 0 0 50982 35 0 0 25 0 1 0 511774136 12566528 2517 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3068 2517 231 231 0 2837 0
vsize: 12272
[startup+520.122 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3270 0 0 0 51982 36 0 0 25 0 1 0 511774136 12566528 2538 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3068 2538 231 231 0 2837 0
vsize: 12272
[startup+530.122 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3291 0 0 0 52982 36 0 0 25 0 1 0 511774136 12566528 2559 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3068 2559 231 231 0 2837 0
vsize: 12272
[startup+540.122 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3308 0 0 0 53982 36 0 0 25 0 1 0 511774136 12701696 2576 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2576 231 231 0 2870 0
vsize: 12404
[startup+550.122 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3321 0 0 0 54982 37 0 0 25 0 1 0 511774136 12701696 2589 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2589 231 231 0 2870 0
vsize: 12404
[startup+560.122 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3340 0 0 0 55981 37 0 0 25 0 1 0 511774136 12701696 2608 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2608 231 231 0 2870 0
vsize: 12404
[startup+570.123 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3357 0 0 0 56981 38 0 0 25 0 1 0 511774136 16896000 2625 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 2625 231 231 0 3894 0
vsize: 16500
[startup+580.122 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3375 0 0 0 57980 38 0 0 25 0 1 0 511774136 16896000 2643 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 2643 231 231 0 3894 0
vsize: 16500
[startup+590.122 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3391 0 0 0 58980 39 0 0 25 0 1 0 511774136 16896000 2659 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 2659 231 231 0 3894 0
vsize: 16500
[startup+600.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3407 0 0 0 59979 40 0 0 25 0 1 0 511774136 17031168 2675 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2675 231 231 0 3927 0
vsize: 16632
[startup+610.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3429 0 0 0 60979 40 0 0 25 0 1 0 511774136 17031168 2697 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2697 231 231 0 3927 0
vsize: 16632
[startup+620.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3448 0 0 0 61979 40 0 0 25 0 1 0 511774136 17031168 2716 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2716 231 231 0 3927 0
vsize: 16632
[startup+630.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3462 0 0 0 62979 41 0 0 25 0 1 0 511774136 17031168 2730 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2730 231 231 0 3927 0
vsize: 16632
[startup+640.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3478 0 0 0 63978 41 0 0 25 0 1 0 511774136 17031168 2746 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2746 231 231 0 3927 0
vsize: 16632
[startup+650.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3494 0 0 0 64978 42 0 0 25 0 1 0 511774136 17031168 2762 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 2762 231 231 0 3927 0
vsize: 16632
[startup+660.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3512 0 0 0 65978 42 0 0 25 0 1 0 511774136 17166336 2780 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2780 231 231 0 3960 0
vsize: 16764
[startup+670.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3543 0 0 0 66977 43 0 0 25 0 1 0 511774136 17166336 2811 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2811 231 231 0 3960 0
vsize: 16764
[startup+680.123 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3543 0 0 0 67977 44 0 0 25 0 1 0 511774136 17166336 2811 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2811 231 231 0 3960 0
vsize: 16764
[startup+690.123 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3546 0 0 0 68977 44 0 0 25 0 1 0 511774136 17166336 2814 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2814 231 231 0 3960 0
vsize: 16764
[startup+700.123 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3554 0 0 0 69976 45 0 0 25 0 1 0 511774136 17301504 2822 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2822 231 231 0 3993 0
vsize: 16896
[startup+710.124 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3561 0 0 0 70976 45 0 0 25 0 1 0 511774136 17301504 2829 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2829 231 231 0 3993 0
vsize: 16896
[startup+720.125 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3566 0 0 0 71976 45 0 0 25 0 1 0 511774136 17301504 2834 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2834 231 231 0 3993 0
vsize: 16896
[startup+730.125 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3578 0 0 0 72976 46 0 0 25 0 1 0 511774136 17301504 2846 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2846 231 231 0 3993 0
vsize: 16896
[startup+740.125 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3579 0 0 0 73976 46 0 0 25 0 1 0 511774136 17301504 2847 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2847 231 231 0 3993 0
vsize: 16896
[startup+750.125 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3580 0 0 0 74975 47 0 0 25 0 1 0 511774136 17301504 2848 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2848 231 231 0 3993 0
vsize: 16896
[startup+760.125 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3580 0 0 0 75974 48 0 0 25 0 1 0 511774136 17301504 2848 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2848 231 231 0 3993 0
vsize: 16896
[startup+770.126 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3581 0 0 0 76974 48 0 0 25 0 1 0 511774136 17301504 2849 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2849 231 231 0 3993 0
vsize: 16896
[startup+780.126 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3582 0 0 0 77974 48 0 0 25 0 1 0 511774136 17301504 2850 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2850 231 231 0 3993 0
vsize: 16896
[startup+790.125 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3582 0 0 0 78974 48 0 0 25 0 1 0 511774136 17301504 2850 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 2850 231 231 0 3993 0
vsize: 16896
[startup+800.126 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3588 0 0 0 79974 49 0 0 25 0 1 0 511774136 17403904 2856 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2856 231 231 0 4018 0
vsize: 16996
[startup+810.126 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3590 0 0 0 80974 49 0 0 25 0 1 0 511774136 17403904 2858 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2858 231 231 0 4018 0
vsize: 16996
[startup+820.127 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3591 0 0 0 81973 50 0 0 25 0 1 0 511774136 17403904 2859 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2859 231 231 0 4018 0
vsize: 16996
[startup+830.126 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3591 0 0 0 82972 51 0 0 25 0 1 0 511774136 17403904 2859 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2859 231 231 0 4018 0
vsize: 16996
[startup+840.127 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3592 0 0 0 83972 52 0 0 25 0 1 0 511774136 17403904 2860 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2860 231 231 0 4018 0
vsize: 16996
[startup+850.127 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3592 0 0 0 84971 53 0 0 25 0 1 0 511774136 17403904 2860 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2860 231 231 0 4018 0
vsize: 16996
[startup+860.127 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3601 0 0 0 85971 53 0 0 25 0 1 0 511774136 17403904 2869 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2869 231 231 0 4018 0
vsize: 16996
[startup+870.128 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3601 0 0 0 86971 53 0 0 25 0 1 0 511774136 17403904 2869 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2869 231 231 0 4018 0
vsize: 16996
[startup+880.127 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3602 0 0 0 87971 53 0 0 25 0 1 0 511774136 17403904 2870 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2870 231 231 0 4018 0
vsize: 16996
[startup+890.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3602 0 0 0 88970 54 0 0 25 0 1 0 511774136 17403904 2870 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2870 231 231 0 4018 0
vsize: 16996
[startup+900.128 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3603 0 0 0 89970 55 0 0 25 0 1 0 511774136 17403904 2871 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2871 231 231 0 4018 0
vsize: 16996
[startup+910.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3604 0 0 0 90970 55 0 0 25 0 1 0 511774136 17403904 2872 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2872 231 231 0 4018 0
vsize: 16996
[startup+920.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3604 0 0 0 91969 56 0 0 25 0 1 0 511774136 17403904 2872 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2872 231 231 0 4018 0
vsize: 16996
[startup+930.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3611 0 0 0 92969 56 0 0 25 0 1 0 511774136 17403904 2879 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2879 231 231 0 4018 0
vsize: 16996
[startup+940.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3612 0 0 0 93969 57 0 0 25 0 1 0 511774136 17403904 2880 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2880 231 231 0 4018 0
vsize: 16996
[startup+950.126 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3614 0 0 0 94969 57 0 0 25 0 1 0 511774136 17403904 2882 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2882 231 231 0 4018 0
vsize: 16996
[startup+960.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3618 0 0 0 95968 58 0 0 25 0 1 0 511774136 17403904 2886 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2886 231 231 0 4018 0
vsize: 16996
[startup+970.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3619 0 0 0 96968 58 0 0 25 0 1 0 511774136 17403904 2887 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2887 231 231 0 4018 0
vsize: 16996
[startup+980.127 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3621 0 0 0 97967 59 0 0 25 0 1 0 511774136 17403904 2889 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4249 2889 231 231 0 4018 0
vsize: 16996
[startup+990.127 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3631 0 0 0 98967 59 0 0 25 0 1 0 511774136 17539072 2899 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2899 231 231 0 4051 0
vsize: 17128
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3632 0 0 0 99967 60 0 0 25 0 1 0 511774136 17539072 2900 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2900 231 231 0 4051 0
vsize: 17128
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3632 0 0 0 100966 60 0 0 25 0 1 0 511774136 17539072 2900 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2900 231 231 0 4051 0
vsize: 17128
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3633 0 0 0 101966 61 0 0 25 0 1 0 511774136 17539072 2901 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2901 231 231 0 4051 0
vsize: 17128
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3634 0 0 0 102966 61 0 0 25 0 1 0 511774136 17539072 2902 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2902 231 231 0 4051 0
vsize: 17128
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3634 0 0 0 103965 62 0 0 25 0 1 0 511774136 17539072 2902 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2902 231 231 0 4051 0
vsize: 17128
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3635 0 0 0 104965 63 0 0 25 0 1 0 511774136 17539072 2903 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2903 231 231 0 4051 0
vsize: 17128
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3645 0 0 0 105964 63 0 0 25 0 1 0 511774136 17539072 2913 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2913 231 231 0 4051 0
vsize: 17128
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3646 0 0 0 106964 64 0 0 25 0 1 0 511774136 17539072 2914 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2914 231 231 0 4051 0
vsize: 17128
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3647 0 0 0 107964 64 0 0 25 0 1 0 511774136 17539072 2915 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2915 231 231 0 4051 0
vsize: 17128
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3647 0 0 0 108963 65 0 0 25 0 1 0 511774136 17539072 2915 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2915 231 231 0 4051 0
vsize: 17128
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3648 0 0 0 109963 65 0 0 25 0 1 0 511774136 17539072 2916 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2916 231 231 0 4051 0
vsize: 17128
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3648 0 0 0 110962 66 0 0 25 0 1 0 511774136 17539072 2916 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2916 231 231 0 4051 0
vsize: 17128
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3649 0 0 0 111962 67 0 0 25 0 1 0 511774136 17539072 2917 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2917 231 231 0 4051 0
vsize: 17128
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3662 0 0 0 112961 67 0 0 25 0 1 0 511774136 17539072 2930 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2930 231 231 0 4051 0
vsize: 17128
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3663 0 0 0 113961 68 0 0 25 0 1 0 511774136 17539072 2931 4294967295 134512640 135450300 3221224640 3221223376 134538643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2931 231 231 0 4051 0
vsize: 17128
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3664 0 0 0 114960 69 0 0 25 0 1 0 511774136 17539072 2932 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2932 231 231 0 4051 0
vsize: 17128
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3667 0 0 0 115960 69 0 0 25 0 1 0 511774136 17674240 2935 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2935 231 231 0 4084 0
vsize: 17260
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3670 0 0 0 116960 70 0 0 25 0 1 0 511774136 17674240 2938 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2938 231 231 0 4084 0
vsize: 17260
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3682 0 0 0 117959 70 0 0 25 0 1 0 511774136 17674240 2950 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2950 231 231 0 4084 0
vsize: 17260
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3683 0 0 0 118959 71 0 0 25 0 1 0 511774136 17674240 2951 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2951 231 231 0 4084 0
vsize: 17260
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 18719
Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3683 0 0 0 119959 71 0 0 25 0 1 0 511774136 17674240 2951 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2951 231 231 0 4084 0
vsize: 17260
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 18719
Raw data (stat): 18662 (PBS4) Z 18661 27222 27221 0 -1 1036 3683 0 0 0 119959 71 0 0 25 0 1 0 511774136 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.13
CPU time (s): 1200.32
CPU user time (s): 1199.6
CPU system time (s): 0.71889
CPU usage (%): 100.015
Max. virtual memory (Kb): 17260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####