Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
MD5SUM46c175563919d1fe493ed3da6f49d52f
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1251872
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 33812000
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 166074535
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1585.77
Number of variables5151
Total number of constraints606
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)314
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint1
Maximum length of a constraint617

Trace number 18464

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 15:07:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17988 boxname=wulflinc6 idbench=1384 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  46c175563919d1fe493ed3da6f49d52f  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 17988
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        825536 kB
Buffers:         15832 kB
Cached:         172596 kB
SwapCached:        544 kB
Active:          16616 kB
Inactive:       173756 kB
HighTotal:      131008 kB
HighFree:        49700 kB
LowTotal:       903652 kB
LowFree:        775836 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13144 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:27:58 (client local time) WITH STATUS 143 IN 1238.95 SECONDS
stats: 17988 7 1238.95 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb
c reading problem 
c [nbvar=5151]
c [nbconstr=606]
c time 11.34
c #vars     5151
c #clauses  337
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
#### 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.87 0.95 0.91 2/54 18147
Raw data (stat): 18147 (runsolver) R 18146 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487812060 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.0004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 18156
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 17998 0 1 0 838 42 0 0 23 0 10 0 487812060 857952256 20395 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209461 20395 13073 16 0 209445 0
vsize: 837844
[startup+20.0011 s]
Raw data (loadavg): 1.13 1.00 0.93 3/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18063 0 6 0 1669 43 0 0 21 0 11 0 487812060 861839360 22094 4294967295 134512640 134569956 3221224400 3221214808 1131196690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210410 22094 13073 16 0 210394 0
vsize: 841640
[startup+30.0026 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18064 0 6 0 2576 43 0 0 25 0 11 0 487812060 859979776 21641 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209956 21641 13073 16 0 209940 0
vsize: 839824
[startup+40.0027 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18064 0 6 0 3488 44 0 0 25 0 11 0 487812060 859979776 21933 4294967295 134512640 134569956 3221224400 3221214828 1131228044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 21933 13073 16 0 209940 0
vsize: 839824
[startup+50.0034 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18064 0 6 0 4429 44 0 0 24 0 11 0 487812060 859979776 22472 4294967295 134512640 134569956 3221224400 3221214848 1131173632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22472 13073 16 0 209940 0
vsize: 839824
[startup+60.0043 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 5406 44 0 0 23 0 11 0 487812060 859979776 22532 4294967295 134512640 134569956 3221224400 3221214808 1131197062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209956 22532 13073 16 0 209940 0
vsize: 839824
[startup+70.0052 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 6383 44 0 0 25 0 11 0 487812060 859979776 22603 4294967295 134512640 134569956 3221224400 3221214808 1131196934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22603 13073 16 0 209940 0
vsize: 839824
[startup+80.0059 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 7369 45 0 0 25 0 11 0 487812060 859979776 22661 4294967295 134512640 134569956 3221224400 3221214808 1131196601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22661 13073 16 0 209940 0
vsize: 839824
[startup+90.0066 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 8355 45 0 0 18 0 11 0 487812060 859979776 22697 4294967295 134512640 134569956 3221224400 3221214808 1131196642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22697 13073 16 0 209940 0
vsize: 839824
[startup+100.007 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 9335 45 0 0 25 0 11 0 487812060 859979776 22714 4294967295 134512640 134569956 3221224400 3221214980 1130917143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209956 22714 13073 16 0 209940 0
vsize: 839824
[startup+110.007 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 10314 45 0 0 25 0 11 0 487812060 859979776 22741 4294967295 134512640 134569956 3221224400 3221214808 1131196800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22741 13073 16 0 209940 0
vsize: 839824
[startup+120.009 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18065 0 6 0 11296 45 0 0 25 0 11 0 487812060 859979776 22829 4294967295 134512640 134569956 3221224400 3221214848 1131173661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22829 13073 16 0 209940 0
vsize: 839824
[startup+130.01 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 12277 45 0 0 25 0 11 0 487812060 859979776 22886 4294967295 134512640 134569956 3221224400 3221214808 1131197285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22886 13073 16 0 209940 0
vsize: 839824
[startup+140.01 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 13259 45 0 0 25 0 11 0 487812060 859979776 22924 4294967295 134512640 134569956 3221224400 3221214848 1131173808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22924 13073 16 0 209940 0
vsize: 839824
[startup+150.01 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 14241 46 0 0 25 0 11 0 487812060 859979776 22985 4294967295 134512640 134569956 3221224400 3221214808 1131197130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 22985 13073 16 0 209940 0
vsize: 839824
[startup+160.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 15227 46 0 0 25 0 11 0 487812060 859979776 23037 4294967295 134512640 134569956 3221224400 3221214848 1131354540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 23037 13073 16 0 209940 0
vsize: 839824
[startup+170.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 16212 46 0 0 25 0 11 0 487812060 859979776 23053 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209956 23053 13073 16 0 209940 0
vsize: 839824
[startup+180.011 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 17183 46 0 0 24 0 11 0 487812060 866025472 24519 4294967295 134512640 134569956 3221224400 3221214900 1131173612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211432 24519 13073 16 0 211416 0
vsize: 845728
[startup+190.012 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 18152 46 0 0 19 0 11 0 487812060 864583680 24196 4294967295 134512640 134569956 3221224400 3221214808 1131196701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24196 13073 16 0 211064 0
vsize: 844320
[startup+200.012 s]
Raw data (loadavg): 1.24 1.06 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 19133 47 0 0 25 0 11 0 487812060 864583680 24370 4294967295 134512640 134569956 3221224400 3221214536 1131228375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24370 13073 16 0 211064 0
vsize: 844320
[startup+210.019 s]
Raw data (loadavg): 1.20 1.06 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 20123 47 0 0 24 0 11 0 487812060 864583680 24425 4294967295 134512640 134569956 3221224400 3221214800 1131425223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24425 13073 16 0 211064 0
vsize: 844320
[startup+220.029 s]
Raw data (loadavg): 1.17 1.05 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 21111 47 0 0 25 0 11 0 487812060 864583680 24440 4294967295 134512640 134569956 3221224400 3221214616 1131460066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24440 13073 16 0 211064 0
vsize: 844320
[startup+230.037 s]
Raw data (loadavg): 1.22 1.07 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 22092 48 0 0 18 0 11 0 487812060 864583680 24457 4294967295 134512640 134569956 3221224400 3221214536 1131228403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24457 13073 16 0 211064 0
vsize: 844320
[startup+240.037 s]
Raw data (loadavg): 1.19 1.07 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 23071 48 0 0 22 0 11 0 487812060 864583680 24480 4294967295 134512640 134569956 3221224400 3221214808 1131196971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24480 13073 16 0 211064 0
vsize: 844320
[startup+250.042 s]
Raw data (loadavg): 1.16 1.06 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 24048 49 0 0 25 0 11 0 487812060 864583680 24519 4294967295 134512640 134569956 3221224400 3221214544 1131567046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24519 13073 16 0 211064 0
vsize: 844320
[startup+260.053 s]
Raw data (loadavg): 1.13 1.06 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 25020 49 0 0 16 0 11 0 487812060 864583680 24604 4294967295 134512640 134569956 3221224400 3221214808 1131197813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211080 24604 13073 16 0 211064 0
vsize: 844320
[startup+270.062 s]
Raw data (loadavg): 1.11 1.06 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 25993 49 0 0 17 0 11 0 487812060 861417472 23934 4294967295 134512640 134569956 3221224400 3221214648 1131622713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 23934 13073 16 0 210291 0
vsize: 841228
[startup+280.062 s]
Raw data (loadavg): 1.10 1.06 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 26969 49 0 0 23 0 11 0 487812060 861417472 24017 4294967295 134512640 134569956 3221224400 3221214648 1131622704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24017 13073 16 0 210291 0
vsize: 841228
[startup+290.064 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 27939 49 0 0 25 0 11 0 487812060 861417472 24113 4294967295 134512640 134569956 3221224400 3221214648 1131622730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 24113 13073 16 0 210291 0
vsize: 841228
[startup+300.064 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 28903 50 0 0 25 0 11 0 487812060 861417472 24223 4294967295 134512640 134569956 3221224400 3221214808 1131197177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 24223 13073 16 0 210291 0
vsize: 841228
[startup+310.079 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 29859 50 0 0 16 0 11 0 487812060 861417472 24348 4294967295 134512640 134569956 3221224400 3221214808 1131196967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24348 13073 16 0 210291 0
vsize: 841228
[startup+320.106 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 30821 50 0 0 25 0 11 0 487812060 861417472 24471 4294967295 134512640 134569956 3221224400 3221214480 1131564073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24471 13073 16 0 210291 0
vsize: 841228
[startup+330.105 s]
Raw data (loadavg): 1.04 1.05 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 31783 51 0 0 20 0 11 0 487812060 861417472 24643 4294967295 134512640 134569956 3221224400 3221214808 1131197828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24643 13073 16 0 210291 0
vsize: 841228
[startup+340.11 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 32765 51 0 0 22 0 11 0 487812060 861417472 24830 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24830 13073 16 0 210291 0
vsize: 841228
[startup+350.121 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 33752 51 0 0 23 0 11 0 487812060 861417472 24850 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24850 13073 16 0 210291 0
vsize: 841228
[startup+360.129 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 34737 52 0 0 25 0 11 0 487812060 861417472 24872 4294967295 134512640 134569956 3221224400 3221214808 1131196950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24872 13073 16 0 210291 0
vsize: 841228
[startup+370.133 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 35715 52 0 0 17 0 11 0 487812060 861417472 24898 4294967295 134512640 134569956 3221224400 3221214808 1131197072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24898 13073 16 0 210291 0
vsize: 841228
[startup+380.134 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 36697 53 0 0 21 0 11 0 487812060 861417472 24968 4294967295 134512640 134569956 3221224400 3221214808 1131196620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 24968 13073 16 0 210291 0
vsize: 841228
[startup+390.135 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 37684 54 0 0 20 0 11 0 487812060 861417472 25026 4294967295 134512640 134569956 3221224400 3221214808 1131196701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25026 13073 16 0 210291 0
vsize: 841228
[startup+400.139 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 38671 54 0 0 19 0 11 0 487812060 861417472 25043 4294967295 134512640 134569956 3221224400 3221214808 1131198074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 25043 13073 16 0 210291 0
vsize: 841228
[startup+410.139 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 39658 54 0 0 25 0 11 0 487812060 861417472 25056 4294967295 134512640 134569956 3221224400 3221214640 1131628344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25056 13073 16 0 210291 0
vsize: 841228
[startup+420.277 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 40658 55 0 0 22 0 11 0 487812060 861417472 25098 4294967295 134512640 134569956 3221224400 3221214808 1131197324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25098 13073 16 0 210291 0
vsize: 841228
[startup+430.408 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 41649 56 0 0 21 0 11 0 487812060 861417472 25143 4294967295 134512640 134569956 3221224400 3221214544 1131228079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25143 13073 16 0 210291 0
vsize: 841228
[startup+440.408 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 42624 56 0 0 25 0 11 0 487812060 861417472 25176 4294967295 134512640 134569956 3221224400 3221214544 1131568687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25176 13073 16 0 210291 0
vsize: 841228
[startup+450.409 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 43590 56 0 0 18 0 11 0 487812060 861417472 25240 4294967295 134512640 134569956 3221224400 3221214648 1131622713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25240 13073 16 0 210291 0
vsize: 841228
[startup+460.409 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 44558 56 0 0 24 0 11 0 487812060 861417472 25306 4294967295 134512640 134569956 3221224400 3221214808 1131196773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25306 13073 16 0 210291 0
vsize: 841228
[startup+470.41 s]
Raw data (loadavg): 1.08 1.04 0.96 2/64 18157
Raw data (stat): 18147 (java) S 18146 29653 29652 0 -1 0 18066 0 6 0 45517 56 0 0 25 0 11 0 487812060 861417472 25418 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25418 13073 16 0 210291 0
vsize: 841228
[startup+480.411 s]
Raw data (loadavg): 1.07 1.04 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 46478 57 0 0 20 0 11 0 487812060 861417472 25554 4294967295 134512640 134569956 3221224400 3221214808 1131196642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25554 13073 16 0 210291 0
vsize: 841228
[startup+490.412 s]
Raw data (loadavg): 1.06 1.04 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 47442 57 0 0 24 0 11 0 487812060 861417472 25651 4294967295 134512640 134569956 3221224400 3221214904 1131336548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25651 13073 16 0 210291 0
vsize: 841228
[startup+500.412 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 48401 57 0 0 18 0 11 0 487812060 861417472 25773 4294967295 134512640 134569956 3221224400 3221214648 1131622730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25773 13073 16 0 210291 0
vsize: 841228
[startup+510.412 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 49366 57 0 0 19 0 11 0 487812060 861417472 25885 4294967295 134512640 134569956 3221224400 3221214808 1131196954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25885 13073 16 0 210291 0
vsize: 841228
[startup+520.412 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 50329 57 0 0 25 0 11 0 487812060 861417472 25992 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 25992 13073 16 0 210291 0
vsize: 841228
[startup+530.416 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18066 0 6 0 51286 58 0 0 16 0 11 0 487812060 861417472 26121 4294967295 134512640 134569956 3221224400 3221214808 1131196686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26121 13073 16 0 210291 0
vsize: 841228
[startup+540.416 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 52238 58 0 0 19 0 11 0 487812060 861417472 26259 4294967295 134512640 134569956 3221224400 3221214808 1131196869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26259 13073 16 0 210291 0
vsize: 841228
[startup+550.417 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 53198 59 0 0 23 0 11 0 487812060 861417472 26427 4294967295 134512640 134569956 3221224400 3221214808 1131196642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26427 13073 16 0 210291 0
vsize: 841228
[startup+560.417 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 54169 59 0 0 24 0 11 0 487812060 861417472 26619 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26619 13073 16 0 210291 0
vsize: 841228
[startup+570.418 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 55154 60 0 0 17 0 11 0 487812060 861417472 26698 4294967295 134512640 134569956 3221224400 3221214808 1131197239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26698 13073 16 0 210291 0
vsize: 841228
[startup+580.418 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 56142 60 0 0 20 0 11 0 487812060 861417472 26717 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26717 13073 16 0 210291 0
vsize: 841228
[startup+590.419 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 57128 60 0 0 21 0 11 0 487812060 861417472 26770 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26770 13073 16 0 210291 0
vsize: 841228
[startup+600.42 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 58111 60 0 0 17 0 11 0 487812060 861417472 26813 4294967295 134512640 134569956 3221224400 3221214808 1131196617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26813 13073 16 0 210291 0
vsize: 841228
[startup+610.42 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 59092 61 0 0 21 0 11 0 487812060 861417472 26843 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26843 13073 16 0 210291 0
vsize: 841228
[startup+620.421 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 60072 61 0 0 25 0 11 0 487812060 861417472 26879 4294967295 134512640 134569956 3221224400 3221214648 1131622741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26879 13073 16 0 210291 0
vsize: 841228
[startup+630.421 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 61055 62 0 0 19 0 11 0 487812060 861417472 26938 4294967295 134512640 134569956 3221224400 3221214904 1131335717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26938 13073 16 0 210291 0
vsize: 841228
[startup+640.421 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 62038 62 0 0 25 0 11 0 487812060 861417472 26995 4294967295 134512640 134569956 3221224400 3221214648 1131622708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 26995 13073 16 0 210291 0
vsize: 841228
[startup+650.422 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 63019 62 0 0 22 0 11 0 487812060 861417472 27051 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27051 13073 16 0 210291 0
vsize: 841228
[startup+660.422 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 63995 63 0 0 25 0 11 0 487812060 861417472 27078 4294967295 134512640 134569956 3221224400 3221214808 1131196879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27078 13073 16 0 210291 0
vsize: 841228
[startup+670.422 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 64959 63 0 0 19 0 11 0 487812060 861417472 27119 4294967295 134512640 134569956 3221224400 3221214536 1131228403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27119 13073 16 0 210291 0
vsize: 841228
[startup+680.423 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 65921 63 0 0 18 0 11 0 487812060 861417472 27148 4294967295 134512640 134569956 3221224400 3221214848 1131173649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27148 13073 16 0 210291 0
vsize: 841228
[startup+690.423 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 66879 63 0 0 24 0 11 0 487812060 861417472 27304 4294967295 134512640 134569956 3221224400 3221214848 1131173661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27304 13073 16 0 210291 0
vsize: 841228
[startup+700.424 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 67838 64 0 0 25 0 11 0 487812060 861417472 27441 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27441 13073 16 0 210291 0
vsize: 841228
[startup+710.424 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 68792 64 0 0 22 0 11 0 487812060 861417472 27599 4294967295 134512640 134569956 3221224400 3221214848 1131173782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27599 13073 16 0 210291 0
vsize: 841228
[startup+720.425 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 69752 64 0 0 25 0 11 0 487812060 861417472 27732 4294967295 134512640 134569956 3221224400 3221214808 1131197021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27732 13073 16 0 210291 0
vsize: 841228
[startup+730.425 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 70706 65 0 0 21 0 11 0 487812060 861417472 27879 4294967295 134512640 134569956 3221224400 3221214600 1131405521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 27879 13073 16 0 210291 0
vsize: 841228
[startup+740.426 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 71665 66 0 0 25 0 11 0 487812060 861417472 28003 4294967295 134512640 134569956 3221224400 3221214808 1131196601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210307 28003 13073 16 0 210291 0
vsize: 841228
[startup+750.426 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 72621 66 0 0 25 0 11 0 487812060 861417472 28149 4294967295 134512640 134569956 3221224400 3221214576 1131600085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 28149 13073 16 0 210291 0
vsize: 841228
[startup+760.426 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 73577 66 0 0 25 0 11 0 487812060 861417472 28309 4294967295 134512640 134569956 3221224400 3221214808 1131197239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 28309 13073 16 0 210291 0
vsize: 841228
[startup+770.426 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 74534 66 0 0 25 0 11 0 487812060 861417472 28450 4294967295 134512640 134569956 3221224400 3221214456 1131329410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 28450 13073 16 0 210291 0
vsize: 841228
[startup+780.428 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 75493 66 0 0 25 0 11 0 487812060 861417472 28591 4294967295 134512640 134569956 3221224400 3221214808 1131197906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 28591 13073 16 0 210291 0
vsize: 841228
[startup+790.428 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 76449 66 0 0 25 0 11 0 487812060 861417472 28737 4294967295 134512640 134569956 3221224400 3221214808 1131197913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 28737 13073 16 0 210291 0
vsize: 841228
[startup+800.429 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 77407 66 0 0 25 0 11 0 487812060 861417472 28889 4294967295 134512640 134569956 3221224400 3221214808 1131196609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 28889 13073 16 0 210291 0
vsize: 841228
[startup+810.43 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 78365 66 0 0 25 0 11 0 487812060 861417472 29019 4294967295 134512640 134569956 3221224400 3221214580 1131630311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29019 13073 16 0 210291 0
vsize: 841228
[startup+820.429 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 79322 66 0 0 25 0 11 0 487812060 861417472 29147 4294967295 134512640 134569956 3221224400 3221214904 1131335556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29147 13073 16 0 210291 0
vsize: 841228
[startup+830.43 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 80278 66 0 0 20 0 11 0 487812060 861417472 29322 4294967295 134512640 134569956 3221224400 3221214808 1131197477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29322 13073 16 0 210291 0
vsize: 841228
[startup+840.435 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 81243 67 0 0 25 0 11 0 487812060 861417472 29514 4294967295 134512640 134569956 3221224400 3221214808 1131196601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29514 13073 16 0 210291 0
vsize: 841228
[startup+850.436 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 82222 67 0 0 25 0 11 0 487812060 861417472 29669 4294967295 134512640 134569956 3221224400 3221214848 1131173649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29669 13073 16 0 210291 0
vsize: 841228
[startup+860.437 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 83205 67 0 0 25 0 11 0 487812060 861417472 29684 4294967295 134512640 134569956 3221224400 3221214848 1131173653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29684 13073 16 0 210291 0
vsize: 841228
[startup+870.437 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 84187 67 0 0 25 0 11 0 487812060 861417472 29749 4294967295 134512640 134569956 3221224400 3221214808 1131197083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29749 13073 16 0 210291 0
vsize: 841228
[startup+880.437 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 85171 67 0 0 25 0 11 0 487812060 861417472 29797 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29797 13073 16 0 210291 0
vsize: 841228
[startup+890.438 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 86155 67 0 0 25 0 11 0 487812060 861417472 29835 4294967295 134512640 134569956 3221224400 3221214808 1131197833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29835 13073 16 0 210291 0
vsize: 841228
[startup+900.439 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 87138 67 0 0 25 0 11 0 487812060 861417472 29874 4294967295 134512640 134569956 3221224400 3221214808 1131197014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29874 13073 16 0 210291 0
vsize: 841228
[startup+910.439 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 88118 67 0 0 17 0 11 0 487812060 861417472 29903 4294967295 134512640 134569956 3221224400 3221214904 1131335541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29903 13073 16 0 210291 0
vsize: 841228
[startup+920.441 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 89096 67 0 0 24 0 11 0 487812060 861417472 29930 4294967295 134512640 134569956 3221224400 3221214808 1131196694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29930 13073 16 0 210291 0
vsize: 841228
[startup+930.442 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 90072 68 0 0 25 0 11 0 487812060 861417472 29994 4294967295 134512640 134569956 3221224400 3221214904 1131335898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 29994 13073 16 0 210291 0
vsize: 841228
[startup+940.441 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 91053 68 0 0 25 0 11 0 487812060 861417472 30021 4294967295 134512640 134569956 3221224400 3221214808 1131196806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30021 13073 16 0 210291 0
vsize: 841228
[startup+950.443 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 92036 68 0 0 25 0 11 0 487812060 861417472 30066 4294967295 134512640 134569956 3221224400 3221214848 1131173649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30066 13073 16 0 210291 0
vsize: 841228
[startup+960.443 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 93019 69 0 0 25 0 11 0 487812060 861417472 30115 4294967295 134512640 134569956 3221224400 3221214808 1131197169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30115 13073 16 0 210291 0
vsize: 841228
[startup+970.444 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 94003 69 0 0 25 0 11 0 487812060 861417472 30152 4294967295 134512640 134569956 3221224400 3221214808 1131196962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30152 13073 16 0 210291 0
vsize: 841228
[startup+980.444 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 94983 69 0 0 25 0 11 0 487812060 861417472 30197 4294967295 134512640 134569956 3221224400 3221214904 1131335953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30197 13073 16 0 210291 0
vsize: 841228
[startup+990.446 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 95954 69 0 0 25 0 11 0 487812060 861417472 30236 4294967295 134512640 134569956 3221224400 3221214800 1131424483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30236 13073 16 0 210291 0
vsize: 841228
[startup+1000.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 96922 70 0 0 25 0 11 0 487812060 861417472 30301 4294967295 134512640 134569956 3221224400 3221214808 1131197499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30301 13073 16 0 210291 0
vsize: 841228
[startup+1010.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 97885 70 0 0 25 0 11 0 487812060 861417472 30428 4294967295 134512640 134569956 3221224400 3221214808 1131196742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30428 13073 16 0 210291 0
vsize: 841228
[startup+1020.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 98855 70 0 0 25 0 11 0 487812060 861417472 30529 4294967295 134512640 134569956 3221224400 3221214808 1131197863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30529 13073 16 0 210291 0
vsize: 841228
[startup+1030.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 99819 70 0 0 25 0 11 0 487812060 861417472 30648 4294967295 134512640 134569956 3221224400 3221214808 1131197823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30648 13073 16 0 210291 0
vsize: 841228
[startup+1040.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 100785 71 0 0 25 0 11 0 487812060 861417472 30762 4294967295 134512640 134569956 3221224400 3221214808 1131197243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30762 13073 16 0 210291 0
vsize: 841228
[startup+1050.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 101755 71 0 0 21 0 11 0 487812060 861417472 30861 4294967295 134512640 134569956 3221224400 3221214808 1131197120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30861 13073 16 0 210291 0
vsize: 841228
[startup+1060.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 102722 71 0 0 24 0 11 0 487812060 861417472 30963 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 30963 13073 16 0 210291 0
vsize: 841228
[startup+1070.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 103691 71 0 0 25 0 11 0 487812060 861417472 31029 4294967295 134512640 134569956 3221224400 3221214848 1131173632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31029 13073 16 0 210291 0
vsize: 841228
[startup+1080.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 104659 71 0 0 25 0 11 0 487812060 861417472 31138 4294967295 134512640 134569956 3221224400 3221214904 1131335963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31138 13073 16 0 210291 0
vsize: 841228
[startup+1090.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 105627 72 0 0 25 0 11 0 487812060 861417472 31241 4294967295 134512640 134569956 3221224400 3221214880 1131333094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31241 13073 16 0 210291 0
vsize: 841228
[startup+1100.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 106592 72 0 0 25 0 11 0 487812060 861417472 31336 4294967295 134512640 134569956 3221224400 3221214728 1131228074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31336 13073 16 0 210291 0
vsize: 841228
[startup+1110.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 107557 72 0 0 25 0 11 0 487812060 861417472 31425 4294967295 134512640 134569956 3221224400 3221214640 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31425 13073 16 0 210291 0
vsize: 841228
[startup+1120.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 108518 72 0 0 25 0 11 0 487812060 861417472 31539 4294967295 134512640 134569956 3221224400 3221214224 1076461234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31539 13073 16 0 210291 0
vsize: 841228
[startup+1130.45 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 109487 72 0 0 25 0 11 0 487812060 861417472 31646 4294967295 134512640 134569956 3221224400 3221214648 1131622715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31646 13073 16 0 210291 0
vsize: 841228
[startup+1140.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 110456 72 0 0 25 0 11 0 487812060 861417472 31751 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31751 13073 16 0 210291 0
vsize: 841228
[startup+1150.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 111425 72 0 0 25 0 11 0 487812060 861417472 31843 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31843 13073 16 0 210291 0
vsize: 841228
[startup+1160.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 112392 73 0 0 25 0 11 0 487812060 861417472 31908 4294967295 134512640 134569956 3221224400 3221214808 1131197169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 31908 13073 16 0 210291 0
vsize: 841228
[startup+1170.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 113358 73 0 0 25 0 11 0 487812060 861417472 32023 4294967295 134512640 134569956 3221224400 3221214808 1131197783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32023 13073 16 0 210291 0
vsize: 841228
[startup+1180.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 114322 73 0 0 25 0 11 0 487812060 861417472 32114 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32114 13073 16 0 210291 0
vsize: 841228
[startup+1190.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 115291 73 0 0 25 0 11 0 487812060 861417472 32219 4294967295 134512640 134569956 3221224400 3221214848 1131173632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32219 13073 16 0 210291 0
vsize: 841228
[startup+1200.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 116263 73 0 0 25 0 11 0 487812060 861417472 32317 4294967295 134512640 134569956 3221224400 3221214808 1131197130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32317 13073 16 0 210291 0
vsize: 841228
[startup+1210.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 117236 73 0 0 25 0 11 0 487812060 861417472 32389 4294967295 134512640 134569956 3221224400 3221214648 1131622726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32389 13073 16 0 210291 0
vsize: 841228
[startup+1220.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 118208 74 0 0 25 0 11 0 487812060 861417472 32477 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32477 13073 16 0 210291 0
vsize: 841228
[startup+1230.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) R 18146 29653 29652 0 -1 0 18067 0 6 0 119178 74 0 0 24 0 11 0 487812060 861417472 32548 4294967295 134512640 134569956 3221224400 3221214808 1131197017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32548 13073 16 0 210291 0
vsize: 841228
[startup+1240.46 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 18157
Raw data (stat): 18147 (java) S 18146 29653 29652 0 -1 0 18067 0 6 0 120153 74 0 0 25 0 11 0 487812060 861417472 32622 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32622 13073 16 0 210291 0
vsize: 841228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.63 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 18159
Raw data (stat): 18147 (java) Z 18146 29653 29652 0 -1 1036 18067 12452 6 1 120161 74 3618 40 25 0 1 0 487812060 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.63
CPU time (s): 1238.95
CPU user time (s): 1237.79
CPU system time (s): 1.15182
CPU usage (%): 99.8639
Max. virtual memory (Kb): 845728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####