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/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 16996

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 09:15:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12125 boxname=wulflinc31 idbench=933 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 12125
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        651168 kB
Buffers:         32096 kB
Cached:         323820 kB
SwapCached:        540 kB
Active:         119548 kB
Inactive:       238376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        650916 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            19968 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 09:36:10 (client local time) WITH STATUS 143 IN 1237.38 SECONDS
stats: 12125 7 1237.38 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb
c reading problem 
c [nbvar=201]
c [nbconstr=334]
c time 1.339
c #vars     201
c #clauses  133
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=2222
c Current CPU time (ms) : 1.73
c starts	: 1
c conflicts	: 3
c decisions	: 52
c propagations	: 231
c inspects	: 704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1659
c Current CPU time (ms) : 30.486
c starts	: 3
c conflicts	: 176
c decisions	: 950
c propagations	: 3942
c inspects	: 43058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 176
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1635
c Current CPU time (ms) : 42.034
c starts	: 4
c conflicts	: 232
c decisions	: 1297
c propagations	: 5773
c inspects	: 73305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 232
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1623
c Current CPU time (ms) : 45.908
c starts	: 5
c conflicts	: 241
c decisions	: 1482
c propagations	: 6421
c inspects	: 79468
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 241
c root simplifications	: 11
#### 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.99 1.00 0.97 2/54 24859
Raw data (stat): 24859 (runsolver) R 24858 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543908986 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0019 s]
Raw data (loadavg): 1.30 1.06 1.00 2/64 24870
Raw data (stat): 24859 (java) S 24858 23176 23175 0 -1 0 18070 3 1 0 699 38 0 0 25 0 11 0 543908986 859492352 20219 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209837 20219 13073 16 0 209821 0
vsize: 839348
[startup+20.0028 s]
Raw data (loadavg): 1.25 1.06 1.00 2/64 24870
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18071 3 1 0 1648 38 0 0 25 0 11 0 543908986 857935872 20257 4294967295 134512640 134569956 3221224400 3221214792 1131213206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 20257 13073 16 0 209441 0
vsize: 837828
[startup+30.0032 s]
Raw data (loadavg): 1.29 1.08 1.00 2/64 24870
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 2595 39 0 0 25 0 11 0 543908986 858226688 20541 4294967295 134512640 134569956 3221224400 3221214792 1131213073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209528 20541 13073 16 0 209512 0
vsize: 838112
[startup+40.0046 s]
Raw data (loadavg): 1.25 1.07 1.00 2/64 24871
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 3535 39 0 0 25 0 11 0 543908986 857935872 20800 4294967295 134512640 134569956 3221224400 3221214792 1131214070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 20800 13073 16 0 209441 0
vsize: 837828
[startup+50.0055 s]
Raw data (loadavg): 1.21 1.07 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 4494 39 0 0 24 0 11 0 543908986 857935872 21013 4294967295 134512640 134569956 3221224400 3221214792 1131212869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21013 13073 16 0 209441 0
vsize: 837828
[startup+60.006 s]
Raw data (loadavg): 1.18 1.07 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 5462 40 0 0 25 0 11 0 543908986 857935872 21110 4294967295 134512640 134569956 3221224400 3221214876 1130895490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21110 13073 16 0 209441 0
vsize: 837828
[startup+70.0074 s]
Raw data (loadavg): 1.15 1.06 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 6430 40 0 0 25 0 11 0 543908986 857935872 21221 4294967295 134512640 134569956 3221224400 3221214792 1131213750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21221 13073 16 0 209441 0
vsize: 837828
[startup+80.0083 s]
Raw data (loadavg): 1.13 1.06 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 7402 40 0 0 25 0 11 0 543908986 857935872 21323 4294967295 134512640 134569956 3221224400 3221214792 1131213397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21323 13073 16 0 209441 0
vsize: 837828
[startup+90.0088 s]
Raw data (loadavg): 1.11 1.06 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18072 3 1 0 8376 41 0 0 25 0 11 0 543908986 857935872 21411 4294967295 134512640 134569956 3221224400 3221214792 1131214127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21411 13073 16 0 209441 0
vsize: 837828
[startup+100.009 s]
Raw data (loadavg): 1.09 1.06 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 9350 41 0 0 25 0 11 0 543908986 857935872 21481 4294967295 134512640 134569956 3221224400 3221214792 1131213240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21481 13073 16 0 209441 0
vsize: 837828
[startup+110.011 s]
Raw data (loadavg): 1.08 1.05 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 10321 41 0 0 24 0 11 0 543908986 857935872 21551 4294967295 134512640 134569956 3221224400 3221214896 1131222485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21551 13073 16 0 209441 0
vsize: 837828
[startup+120.013 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 24873
Raw data (stat): 24859 (java) S 24858 23176 23175 0 -1 0 18073 3 1 0 11289 41 0 0 25 0 11 0 543908986 857935872 21638 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21638 13073 16 0 209441 0
vsize: 837828
[startup+130.013 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 12258 41 0 0 25 0 11 0 543908986 857935872 21727 4294967295 134512640 134569956 3221224400 3221214792 1131212876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21727 13073 16 0 209441 0
vsize: 837828
[startup+140.014 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 13224 42 0 0 25 0 11 0 543908986 857935872 21827 4294967295 134512640 134569956 3221224400 3221214760 1131256715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21827 13073 16 0 209441 0
vsize: 837828
[startup+150.014 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 14194 42 0 0 25 0 11 0 543908986 857935872 21944 4294967295 134512640 134569956 3221224400 3221214848 1131173333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 21944 13073 16 0 209441 0
vsize: 837828
[startup+160.016 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 15168 42 0 0 25 0 11 0 543908986 857935872 22052 4294967295 134512640 134569956 3221224400 3221214792 1131213025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 22052 13073 16 0 209441 0
vsize: 837828
[startup+170.017 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 16142 42 0 0 25 0 11 0 543908986 857935872 22152 4294967295 134512640 134569956 3221224400 3221214792 1131212876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 22152 13073 16 0 209441 0
vsize: 837828
[startup+180.017 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 17113 43 0 0 24 0 11 0 543908986 857935872 22220 4294967295 134512640 134569956 3221224400 3221214672 1131545503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22220 13073 16 0 209441 0
vsize: 837828
[startup+190.019 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 18091 43 0 0 25 0 11 0 543908986 857935872 22280 4294967295 134512640 134569956 3221224400 3221214848 1131173336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22280 13073 16 0 209441 0
vsize: 837828
[startup+200.02 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 19064 43 0 0 25 0 11 0 543908986 857935872 22370 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22370 13073 16 0 209441 0
vsize: 837828
[startup+210.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 20039 43 0 0 25 0 11 0 543908986 857935872 22439 4294967295 134512640 134569956 3221224400 3221214792 1131212894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22439 13073 16 0 209441 0
vsize: 837828
[startup+220.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 21013 43 0 0 25 0 11 0 543908986 857935872 22517 4294967295 134512640 134569956 3221224400 3221214792 1131212894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22517 13073 16 0 209441 0
vsize: 837828
[startup+230.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 21989 43 0 0 25 0 11 0 543908986 857935872 22612 4294967295 134512640 134569956 3221224400 3221214896 1131222213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22612 13073 16 0 209441 0
vsize: 837828
[startup+240.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 22965 43 0 0 25 0 11 0 543908986 857935872 22685 4294967295 134512640 134569956 3221224400 3221214848 1131173333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22685 13073 16 0 209441 0
vsize: 837828
[startup+250.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 23946 43 0 0 25 0 11 0 543908986 857935872 22764 4294967295 134512640 134569956 3221224400 3221214896 1131222176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22764 13073 16 0 209441 0
vsize: 837828
[startup+260.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 24924 43 0 0 24 0 11 0 543908986 857935872 22830 4294967295 134512640 134569956 3221224400 3221214896 1131223213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22830 13073 16 0 209441 0
vsize: 837828
[startup+270.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 25903 43 0 0 24 0 11 0 543908986 857935872 22896 4294967295 134512640 134569956 3221224400 3221214848 1131173336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22896 13073 16 0 209441 0
vsize: 837828
[startup+280.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 26885 43 0 0 25 0 11 0 543908986 857935872 22943 4294967295 134512640 134569956 3221224400 3221214568 1131231713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 22943 13073 16 0 209441 0
vsize: 837828
[startup+290.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 27863 43 0 0 25 0 11 0 543908986 857935872 23012 4294967295 134512640 134569956 3221224400 3221214792 1131213397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23012 13073 16 0 209441 0
vsize: 837828
[startup+300.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 28842 43 0 0 25 0 11 0 543908986 857935872 23079 4294967295 134512640 134569956 3221224400 3221214568 1131422242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23079 13073 16 0 209441 0
vsize: 837828
[startup+310.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 29819 43 0 0 25 0 11 0 543908986 857935872 23146 4294967295 134512640 134569956 3221224400 3221214848 1131173386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23146 13073 16 0 209441 0
vsize: 837828
[startup+320.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 30797 43 0 0 25 0 11 0 543908986 857935872 23239 4294967295 134512640 134569956 3221224400 3221214896 1131222500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23239 13073 16 0 209441 0
vsize: 837828
[startup+330.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 31775 43 0 0 25 0 11 0 543908986 857935872 23306 4294967295 134512640 134569956 3221224400 3221214848 1131173312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23306 13073 16 0 209441 0
vsize: 837828
[startup+340.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 32752 44 0 0 25 0 11 0 543908986 857935872 23380 4294967295 134512640 134569956 3221224400 3221214792 1131214322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23380 13073 16 0 209441 0
vsize: 837828
[startup+350.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 33729 44 0 0 25 0 11 0 543908986 857935872 23438 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23438 13073 16 0 209441 0
vsize: 837828
[startup+360.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 34704 44 0 0 25 0 11 0 543908986 857935872 23524 4294967295 134512640 134569956 3221224400 3221214792 1131213364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23524 13073 16 0 209441 0
vsize: 837828
[startup+370.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 35682 44 0 0 25 0 11 0 543908986 857935872 23599 4294967295 134512640 134569956 3221224400 3221214848 1131173305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23599 13073 16 0 209441 0
vsize: 837828
[startup+380.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 36660 44 0 0 25 0 11 0 543908986 857935872 23677 4294967295 134512640 134569956 3221224400 3221214792 1131213172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23677 13073 16 0 209441 0
vsize: 837828
[startup+390.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 37637 44 0 0 25 0 11 0 543908986 857935872 23769 4294967295 134512640 134569956 3221224400 3221214792 1131213410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23769 13073 16 0 209441 0
vsize: 837828
[startup+400.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 38612 44 0 0 25 0 11 0 543908986 857935872 23850 4294967295 134512640 134569956 3221224400 3221214016 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23850 13073 16 0 209441 0
vsize: 837828
[startup+410.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 39590 44 0 0 25 0 11 0 543908986 857935872 23959 4294967295 134512640 134569956 3221224400 3221214792 1131212940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 23959 13073 16 0 209441 0
vsize: 837828
[startup+420.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 40572 44 0 0 25 0 11 0 543908986 857935872 24053 4294967295 134512640 134569956 3221224400 3221214896 1131222500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24053 13073 16 0 209441 0
vsize: 837828
[startup+430.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 41549 45 0 0 25 0 11 0 543908986 857935872 24130 4294967295 134512640 134569956 3221224400 3221214792 1131213305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24130 13073 16 0 209441 0
vsize: 837828
[startup+440.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 42527 45 0 0 25 0 11 0 543908986 857935872 24185 4294967295 134512640 134569956 3221224400 3221214840 1131519562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24185 13073 16 0 209441 0
vsize: 837828
[startup+450.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 43505 45 0 0 25 0 11 0 543908986 857935872 24267 4294967295 134512640 134569956 3221224400 3221214592 1131497045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24267 13073 16 0 209441 0
vsize: 837828
[startup+460.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 44485 45 0 0 25 0 11 0 543908986 857935872 24347 4294967295 134512640 134569956 3221224400 3221214848 1131173333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24347 13073 16 0 209441 0
vsize: 837828
[startup+470.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 45467 45 0 0 25 0 11 0 543908986 857935872 24401 4294967295 134512640 134569956 3221224400 3221214792 1131212857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24401 13073 16 0 209441 0
vsize: 837828
[startup+480.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 46448 45 0 0 25 0 11 0 543908986 857935872 24442 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24442 13073 16 0 209441 0
vsize: 837828
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 47428 45 0 0 25 0 11 0 543908986 857935872 24543 4294967295 134512640 134569956 3221224400 3221214848 1131173354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24543 13073 16 0 209441 0
vsize: 837828
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 48408 45 0 0 25 0 11 0 543908986 857935872 24592 4294967295 134512640 134569956 3221224400 3221214792 1131213319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24592 13073 16 0 209441 0
vsize: 837828
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 49387 45 0 0 25 0 11 0 543908986 857935872 24655 4294967295 134512640 134569956 3221224400 3221214568 1131231889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24655 13073 16 0 209441 0
vsize: 837828
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 50365 45 0 0 25 0 11 0 543908986 857935872 24725 4294967295 134512640 134569956 3221224400 3221214896 1131222000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24725 13073 16 0 209441 0
vsize: 837828
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 51344 45 0 0 25 0 11 0 543908986 857935872 24814 4294967295 134512640 134569956 3221224400 3221214792 1131214120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24814 13073 16 0 209441 0
vsize: 837828
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 52323 45 0 0 25 0 11 0 543908986 857935872 24870 4294967295 134512640 134569956 3221224400 3221214216 1131514029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24870 13073 16 0 209441 0
vsize: 837828
[startup+550.043 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 53302 45 0 0 25 0 11 0 543908986 857935872 24948 4294967295 134512640 134569956 3221224400 3221214792 1131213410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 24948 13073 16 0 209441 0
vsize: 837828
[startup+560.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 54282 45 0 0 25 0 11 0 543908986 857935872 25005 4294967295 134512640 134569956 3221224400 3221214736 1131243056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25005 13073 16 0 209441 0
vsize: 837828
[startup+570.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 55258 45 0 0 25 0 11 0 543908986 857935872 25081 4294967295 134512640 134569956 3221224400 3221214848 1131173427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25081 13073 16 0 209441 0
vsize: 837828
[startup+580.044 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 56235 46 0 0 25 0 11 0 543908986 857935872 25155 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25155 13073 16 0 209441 0
vsize: 837828
[startup+590.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 57216 46 0 0 25 0 11 0 543908986 857935872 25222 4294967295 134512640 134569956 3221224400 3221214568 1131231991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25222 13073 16 0 209441 0
vsize: 837828
[startup+600.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 58193 46 0 0 25 0 11 0 543908986 857935872 25290 4294967295 134512640 134569956 3221224400 3221214736 1131242451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25290 13073 16 0 209441 0
vsize: 837828
[startup+610.045 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 59172 46 0 0 25 0 11 0 543908986 857935872 25378 4294967295 134512640 134569956 3221224400 3221214792 1131213468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25378 13073 16 0 209441 0
vsize: 837828
[startup+620.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 60152 46 0 0 25 0 11 0 543908986 857935872 25449 4294967295 134512640 134569956 3221224400 3221214792 1131212869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25449 13073 16 0 209441 0
vsize: 837828
[startup+630.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 61132 46 0 0 25 0 11 0 543908986 857935872 25499 4294967295 134512640 134569956 3221224400 3221214840 1131207161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25499 13073 16 0 209441 0
vsize: 837828
[startup+640.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 62111 46 0 0 25 0 11 0 543908986 857935872 25583 4294967295 134512640 134569956 3221224400 3221214792 1131213079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25583 13073 16 0 209441 0
vsize: 837828
[startup+650.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 63090 46 0 0 25 0 11 0 543908986 857935872 25652 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25652 13073 16 0 209441 0
vsize: 837828
[startup+660.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 64068 46 0 0 25 0 11 0 543908986 857935872 25720 4294967295 134512640 134569956 3221224400 3221214792 1131212861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25720 13073 16 0 209441 0
vsize: 837828
[startup+670.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 65048 46 0 0 25 0 11 0 543908986 857935872 25781 4294967295 134512640 134569956 3221224400 3221214476 1131512329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 25781 13073 16 0 209441 0
vsize: 837828
[startup+680.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 66027 46 0 0 25 0 11 0 543908986 857935872 25872 4294967295 134512640 134569956 3221224400 3221214792 1131212865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25872 13073 16 0 209441 0
vsize: 837828
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 67006 46 0 0 25 0 11 0 543908986 857935872 25968 4294967295 134512640 134569956 3221224400 3221214792 1131212876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 25968 13073 16 0 209441 0
vsize: 837828
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 67986 46 0 0 25 0 11 0 543908986 857935872 26004 4294967295 134512640 134569956 3221224400 3221214792 1131214158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26004 13073 16 0 209441 0
vsize: 837828
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 68964 46 0 0 25 0 11 0 543908986 857935872 26061 4294967295 134512640 134569956 3221224400 3221214848 1131173427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26061 13073 16 0 209441 0
vsize: 837828
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 69943 46 0 0 25 0 11 0 543908986 857935872 26139 4294967295 134512640 134569956 3221224400 3221214848 1131173370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26139 13073 16 0 209441 0
vsize: 837828
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 70922 46 0 0 25 0 11 0 543908986 857935872 26183 4294967295 134512640 134569956 3221224400 3221214848 1131173312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26183 13073 16 0 209441 0
vsize: 837828
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 71901 46 0 0 25 0 11 0 543908986 857935872 26244 4294967295 134512640 134569956 3221224400 3221214872 1131316819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26244 13073 16 0 209441 0
vsize: 837828
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) S 24858 23176 23175 0 -1 0 18073 3 1 0 72878 46 0 0 25 0 11 0 543908986 857935872 26288 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26288 13073 16 0 209441 0
vsize: 837828
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 73858 46 0 0 25 0 11 0 543908986 857935872 26357 4294967295 134512640 134569956 3221224400 3221214848 1131351407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26357 13073 16 0 209441 0
vsize: 837828
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 74838 46 0 0 25 0 11 0 543908986 857935872 26427 4294967295 134512640 134569956 3221224400 3221214848 1131173305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26427 13073 16 0 209441 0
vsize: 837828
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 75818 46 0 0 25 0 11 0 543908986 857935872 26490 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26490 13073 16 0 209441 0
vsize: 837828
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 76800 47 0 0 25 0 11 0 543908986 857935872 26536 4294967295 134512640 134569956 3221224400 3221214848 1131173329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26536 13073 16 0 209441 0
vsize: 837828
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 77776 47 0 0 25 0 11 0 543908986 857935872 26585 4294967295 134512640 134569956 3221224400 3221214792 1131212869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26585 13073 16 0 209441 0
vsize: 837828
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 78753 47 0 0 25 0 11 0 543908986 857935872 26640 4294967295 134512640 134569956 3221224400 3221214848 1131173360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 26640 13073 16 0 209441 0
vsize: 837828
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 79730 47 0 0 25 0 11 0 543908986 857935872 26730 4294967295 134512640 134569956 3221224400 3221214792 1131212997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26730 13073 16 0 209441 0
vsize: 837828
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 80707 47 0 0 25 0 11 0 543908986 857935872 26808 4294967295 134512640 134569956 3221224400 3221214848 1131173392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 26808 13073 16 0 209441 0
vsize: 837828
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 81686 48 0 0 25 0 11 0 543908986 857935872 26851 4294967295 134512640 134569956 3221224400 3221214792 1131213177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 26851 13073 16 0 209441 0
vsize: 837828
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 82663 48 0 0 25 0 11 0 543908986 857935872 26910 4294967295 134512640 134569956 3221224400 3221214568 1131419509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 26910 13073 16 0 209441 0
vsize: 837828
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 83640 48 0 0 25 0 11 0 543908986 857935872 27011 4294967295 134512640 134569956 3221224400 3221214792 1131213545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 27011 13073 16 0 209441 0
vsize: 837828
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 84617 48 0 0 25 0 11 0 543908986 857935872 27080 4294967295 134512640 134569956 3221224400 3221214848 1131173329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 27080 13073 16 0 209441 0
vsize: 837828
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 85593 49 0 0 25 0 11 0 543908986 857935872 27137 4294967295 134512640 134569956 3221224400 3221214792 1131213223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27137 13073 16 0 209441 0
vsize: 837828
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 86571 49 0 0 25 0 11 0 543908986 857935872 27221 4294967295 134512640 134569956 3221224400 3221214584 1131312260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 27221 13073 16 0 209441 0
vsize: 837828
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 87547 49 0 0 25 0 11 0 543908986 857935872 27273 4294967295 134512640 134569956 3221224400 3221214896 1131222027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209457 27273 13073 16 0 209441 0
vsize: 837828
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 88525 50 0 0 25 0 11 0 543908986 857935872 27350 4294967295 134512640 134569956 3221224400 3221214896 1131223018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27350 13073 16 0 209441 0
vsize: 837828
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 89506 50 0 0 24 0 11 0 543908986 857935872 27402 4294967295 134512640 134569956 3221224400 3221214896 1131222452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27402 13073 16 0 209441 0
vsize: 837828
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 90487 50 0 0 25 0 11 0 543908986 857935872 27492 4294967295 134512640 134569956 3221224400 3221214568 1131421407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27492 13073 16 0 209441 0
vsize: 837828
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 91471 50 0 0 25 0 11 0 543908986 857935872 27537 4294967295 134512640 134569956 3221224400 3221214792 1131213416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27537 13073 16 0 209441 0
vsize: 837828
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 92452 50 0 0 25 0 11 0 543908986 857935872 27577 4294967295 134512640 134569956 3221224400 3221214848 1131173336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27577 13073 16 0 209441 0
vsize: 837828
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 93433 50 0 0 25 0 11 0 543908986 857935872 27644 4294967295 134512640 134569956 3221224400 3221214792 1131213773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27644 13073 16 0 209441 0
vsize: 837828
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 94414 50 0 0 25 0 11 0 543908986 857935872 27692 4294967295 134512640 134569956 3221224400 3221214712 1131220577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27692 13073 16 0 209441 0
vsize: 837828
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 95394 50 0 0 25 0 11 0 543908986 857935872 27768 4294967295 134512640 134569956 3221224400 3221214848 1131173333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27768 13073 16 0 209441 0
vsize: 837828
[startup+990.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 96375 50 0 0 25 0 11 0 543908986 857935872 27816 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27816 13073 16 0 209441 0
vsize: 837828
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 97357 50 0 0 25 0 11 0 543908986 857935872 27867 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27867 13073 16 0 209441 0
vsize: 837828
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 98337 51 0 0 25 0 11 0 543908986 857935872 27930 4294967295 134512640 134569956 3221224400 3221214792 1131214026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27930 13073 16 0 209441 0
vsize: 837828
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 99317 51 0 0 25 0 11 0 543908986 857935872 27997 4294967295 134512640 134569956 3221224400 3221214792 1131213087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 27997 13073 16 0 209441 0
vsize: 837828
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 100296 51 0 0 25 0 11 0 543908986 857935872 28061 4294967295 134512640 134569956 3221224400 3221214792 1131213267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28061 13073 16 0 209441 0
vsize: 837828
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 101275 51 0 0 25 0 11 0 543908986 857935872 28117 4294967295 134512640 134569956 3221224400 3221214848 1131173333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28117 13073 16 0 209441 0
vsize: 837828
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 102254 51 0 0 25 0 11 0 543908986 857935872 28189 4294967295 134512640 134569956 3221224400 3221214792 1131212894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28189 13073 16 0 209441 0
vsize: 837828
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 103232 51 0 0 25 0 11 0 543908986 857935872 28252 4294967295 134512640 134569956 3221224400 3221214264 1131514050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28252 13073 16 0 209441 0
vsize: 837828
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 104211 51 0 0 25 0 11 0 543908986 857935872 28353 4294967295 134512640 134569956 3221224400 3221214848 1131173333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28353 13073 16 0 209441 0
vsize: 837828
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 105190 51 0 0 25 0 11 0 543908986 857935872 28396 4294967295 134512640 134569956 3221224400 3221214792 1131213240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28396 13073 16 0 209441 0
vsize: 837828
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) S 24858 23176 23175 0 -1 0 18073 3 1 0 106166 51 0 0 25 0 11 0 543908986 857935872 28460 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28460 13073 16 0 209441 0
vsize: 837828
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 107144 51 0 0 25 0 11 0 543908986 857935872 28518 4294967295 134512640 134569956 3221224400 3221214936 1131339993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28518 13073 16 0 209441 0
vsize: 837828
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 108121 51 0 0 25 0 11 0 543908986 857935872 28584 4294967295 134512640 134569956 3221224400 3221214848 1131173336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28584 13073 16 0 209441 0
vsize: 837828
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 109098 51 0 0 25 0 11 0 543908986 857935872 28649 4294967295 134512640 134569956 3221224400 3221214896 1131222464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28649 13073 16 0 209441 0
vsize: 837828
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 110073 51 0 0 25 0 11 0 543908986 857935872 28716 4294967295 134512640 134569956 3221224400 3221214792 1131212861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28716 13073 16 0 209441 0
vsize: 837828
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 111049 51 0 0 25 0 11 0 543908986 857935872 28782 4294967295 134512640 134569956 3221224400 3221214792 1131212884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28782 13073 16 0 209441 0
vsize: 837828
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 112026 51 0 0 25 0 11 0 543908986 857935872 28849 4294967295 134512640 134569956 3221224400 3221214848 1131173312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28849 13073 16 0 209441 0
vsize: 837828
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 113003 51 0 0 25 0 11 0 543908986 857935872 28932 4294967295 134512640 134569956 3221224400 3221214792 1131213240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28932 13073 16 0 209441 0
vsize: 837828
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 113982 51 0 0 24 0 11 0 543908986 857935872 28995 4294967295 134512640 134569956 3221224400 3221214880 1131374799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 28995 13073 16 0 209441 0
vsize: 837828
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 114960 52 0 0 24 0 11 0 543908986 857935872 29036 4294967295 134512640 134569956 3221224400 3221214792 1131213006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29036 13073 16 0 209441 0
vsize: 837828
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 115939 52 0 0 25 0 11 0 543908986 857935872 29089 4294967295 134512640 134569956 3221224400 3221214848 1131173312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29089 13073 16 0 209441 0
vsize: 837828
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 116914 52 0 0 25 0 11 0 543908986 857935872 29153 4294967295 134512640 134569956 3221224400 3221214792 1131214065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29153 13073 16 0 209441 0
vsize: 837828
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 117890 52 0 0 25 0 11 0 543908986 857935872 29209 4294967295 134512640 134569956 3221224400 3221214792 1131213264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29209 13073 16 0 209441 0
vsize: 837828
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 118863 52 0 0 25 0 11 0 543908986 857935872 29279 4294967295 134512640 134569956 3221224400 3221214792 1131212865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29279 13073 16 0 209441 0
vsize: 837828
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 119835 52 0 0 25 0 11 0 543908986 857935872 29370 4294967295 134512640 134569956 3221224400 3221214792 1131212971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29370 13073 16 0 209441 0
vsize: 837828
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24873
Raw data (stat): 24859 (java) R 24858 23176 23175 0 -1 0 18073 3 1 0 120805 52 0 0 25 0 11 0 543908986 857935872 29481 4294967295 134512640 134569956 3221224400 3221214792 1131212910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209457 29481 13073 16 0 209441 0
vsize: 837828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24875
Raw data (stat): 24859 (java) Z 24858 23176 23175 0 -1 1036 18073 10053 1 0 120808 52 2837 39 25 0 1 0 543908986 0 0 4294967295 0 0 0 0 0 0 4 3 23756 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 status: 143
Real time (s): 1240.17
CPU time (s): 1237.38
CPU user time (s): 1236.45
CPU system time (s): 0.92086
CPU usage (%): 99.7744
Max. virtual memory (Kb): 839348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####