Some explanations

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

General information on the benchmark

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM140696e76e8ed6af142b84a22a9a8f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -38
Optimality of the best value was proved NO
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.09
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 4501 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 17:54:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3024 boxname=wulflinc9 idbench=336 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc9/normalized-frb50-23-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-frb50-23-3.opb
IDLAUNCH: 3024
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        914440 kB
Buffers:         32896 kB
Cached:          67112 kB
SwapCached:        564 kB
Active:          48040 kB
Inactive:        55376 kB
HighTotal:      131008 kB
HighFree:        59976 kB
LowTotal:       903652 kB
LowFree:        854464 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11204 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:17:07 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3024 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-frb50-23-3.opb
c reading problem 
c [nbvar=1150]
c [nbconstr=81068]
c time 12.32
c #vars     1150
c #clauses  81068
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=0
c Current CPU time (ms) : 12.812
c starts	: 1
c conflicts	: 0
c decisions	: 1150
c propagations	: 1150
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1
c Current CPU time (ms) : 12.983
c starts	: 2
c conflicts	: 0
c decisions	: 2299
c propagations	: 2300
c inspects	: 207
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 17.914
c starts	: 3
c conflicts	: 22
c decisions	: 3448
c propagations	: 3725
c inspects	: 4538
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-34
c Current CPU time (ms) : 18.169
c starts	: 4
c conflicts	: 22
c decisions	: 3482
c propagations	: 4875
c inspects	: 9246
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-35
c Current CPU time (ms) : 18.613
c starts	: 5
c conflicts	: 23
c decisions	: 3512
c propagations	: 6030
c inspects	: 14574
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-36
c Current CPU time (ms) : 31.255
c starts	: 6
c conflicts	: 78
c decisions	: 3627
c propagations	: 7575
c inspects	: 40431
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 78
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-37
c Current CPU time (ms) : 35.13
c starts	: 7
c conflicts	: 88
c decisions	: 3676
c propagations	: 8802
c inspects	: 54118
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 88
c root simplifications	: 7
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.98 2/54 31842
Raw data (stat): 31842 (runsolver) R 31841 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419688551 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0012 s]
Raw data (loadavg): 0.87 0.97 0.98 2/63 31851
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18013 0 1 0 844 49 0 0 25 0 10 0 419688551 854417408 20390 4294967295 134512640 134569956 3221224416 3221214568 1131251165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208598 20390 13073 16 0 208582 0
vsize: 834392
[startup+20.0015 s]
Raw data (loadavg): 0.97 0.99 0.99 4/64 31857
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18094 6 1 0 1481 50 0 0 17 0 11 0 419688551 861417472 32344 4294967295 134512640 134569956 3221224416 3221214400 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210307 32344 13073 16 0 210291 0
vsize: 841228
[startup+30.004 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 31857
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18095 6 1 0 2401 51 0 0 23 0 11 0 419688551 863100928 32708 4294967295 134512640 134569956 3221224416 3221214688 1131210397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 32708 13073 16 0 210702 0
vsize: 842872
[startup+40.0045 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18095 6 1 0 3261 51 0 0 25 0 11 0 419688551 863100928 33338 4294967295 134512640 134569956 3221224416 3221214688 1131209981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33338 13073 16 0 210702 0
vsize: 842872
[startup+50.0057 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18095 6 1 0 4138 51 0 0 25 0 11 0 419688551 863100928 33795 4294967295 134512640 134569956 3221224416 3221214784 1131400138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 33795 13073 16 0 210702 0
vsize: 842872
[startup+60.0055 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 5016 51 0 0 25 0 11 0 419688551 863100928 34268 4294967295 134512640 134569956 3221224416 3221214816 1131388681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34268 13073 16 0 210702 0
vsize: 842872
[startup+70.0067 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 5918 51 0 0 24 0 11 0 419688551 863100928 34669 4294967295 134512640 134569956 3221224416 3221214688 1131209733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34669 13073 16 0 210702 0
vsize: 842872
[startup+80.007 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 6810 51 0 0 25 0 11 0 419688551 863100928 34986 4294967295 134512640 134569956 3221224416 3221214704 1131390979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 34986 13073 16 0 210702 0
vsize: 842872
[startup+90.0073 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 7676 51 0 0 25 0 11 0 419688551 863100928 35399 4294967295 134512640 134569956 3221224416 3221214600 1131521092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 35399 13073 16 0 210702 0
vsize: 842872
[startup+100.008 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 8542 51 0 0 24 0 11 0 419688551 863100928 35869 4294967295 134512640 134569956 3221224416 3221214816 1131388681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 35869 13073 16 0 210702 0
vsize: 842872
[startup+110.008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 9424 51 0 0 25 0 11 0 419688551 863100928 36501 4294967295 134512640 134569956 3221224416 3221214712 1131659811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 36501 13073 16 0 210702 0
vsize: 842872
[startup+120.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 10321 51 0 0 25 0 11 0 419688551 863100928 36861 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 36861 13073 16 0 210702 0
vsize: 842872
[startup+130.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 11199 51 0 0 25 0 11 0 419688551 863100928 37316 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 37316 13073 16 0 210702 0
vsize: 842872
[startup+140.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 12074 51 0 0 25 0 11 0 419688551 863100928 37786 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 37786 13073 16 0 210702 0
vsize: 842872
[startup+150.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 12942 52 0 0 25 0 11 0 419688551 863100928 38034 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 38034 13073 16 0 210702 0
vsize: 842872
[startup+160.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 13801 52 0 0 25 0 11 0 419688551 863100928 38510 4294967295 134512640 134569956 3221224416 3221214784 1131400059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 38510 13073 16 0 210702 0
vsize: 842872
[startup+170.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 14664 52 0 0 25 0 11 0 419688551 863100928 38875 4294967295 134512640 134569956 3221224416 3221214680 1131340481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 38875 13073 16 0 210702 0
vsize: 842872
[startup+180.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 15542 53 0 0 25 0 11 0 419688551 863100928 39307 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 39307 13073 16 0 210702 0
vsize: 842872
[startup+190.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 16426 53 0 0 25 0 11 0 419688551 863100928 39761 4294967295 134512640 134569956 3221224416 3221214784 1131219818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 39761 13073 16 0 210702 0
vsize: 842872
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 17316 53 0 0 25 0 11 0 419688551 863100928 40130 4294967295 134512640 134569956 3221224416 3221214688 1131210910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 40130 13073 16 0 210702 0
vsize: 842872
[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 18197 53 0 0 25 0 11 0 419688551 863100928 40479 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 40479 13073 16 0 210702 0
vsize: 842872
[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 19088 53 0 0 25 0 11 0 419688551 863100928 40854 4294967295 134512640 134569956 3221224416 3221214688 1131210451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 40854 13073 16 0 210702 0
vsize: 842872
[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 19964 54 0 0 25 0 11 0 419688551 863100928 41225 4294967295 134512640 134569956 3221224416 3221214864 1131395132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 41225 13073 16 0 210702 0
vsize: 842872
[startup+240.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 20855 54 0 0 25 0 11 0 419688551 863100928 41512 4294967295 134512640 134569956 3221224416 3221214688 1131210202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 41512 13073 16 0 210702 0
vsize: 842872
[startup+250.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 21734 54 0 0 25 0 11 0 419688551 863100928 41799 4294967295 134512640 134569956 3221224416 3221214784 1131400018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 41799 13073 16 0 210702 0
vsize: 842872
[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 22625 54 0 0 25 0 11 0 419688551 863100928 42088 4294967295 134512640 134569956 3221224416 3221214712 1131659811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 42088 13073 16 0 210702 0
vsize: 842872
[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 23494 54 0 0 25 0 11 0 419688551 863100928 42307 4294967295 134512640 134569956 3221224416 3221214784 1131400059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 42307 13073 16 0 210702 0
vsize: 842872
[startup+280.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 24358 54 0 0 25 0 11 0 419688551 863100928 42582 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 42582 13073 16 0 210702 0
vsize: 842872
[startup+290.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 25223 54 0 0 24 0 11 0 419688551 863100928 43004 4294967295 134512640 134569956 3221224416 3221214784 1131398950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 43004 13073 16 0 210702 0
vsize: 842872
[startup+300.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 26122 54 0 0 25 0 11 0 419688551 863100928 43154 4294967295 134512640 134569956 3221224416 3221214688 1131210830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 43154 13073 16 0 210702 0
vsize: 842872
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31859
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 27001 55 0 0 25 0 11 0 419688551 863100928 43374 4294967295 134512640 134569956 3221224416 3221214784 1131400059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 43374 13073 16 0 210702 0
vsize: 842872
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/68 31863
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 27883 58 0 0 24 0 11 0 419688551 863100928 43633 4294967295 134512640 134569956 3221224416 3221214688 1131210896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 43633 13073 16 0 210702 0
vsize: 842872
[startup+330.031 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 28772 65 0 0 24 0 11 0 419688551 863100928 43927 4294967295 134512640 134569956 3221224416 3221214784 1131400018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 43927 13073 16 0 210702 0
vsize: 842872
[startup+340.031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 29672 65 0 0 24 0 11 0 419688551 863100928 44195 4294967295 134512640 134569956 3221224416 3221214784 1131401260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 44195 13073 16 0 210702 0
vsize: 842872
[startup+350.032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 30575 65 0 0 25 0 11 0 419688551 863100928 44429 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 44429 13073 16 0 210702 0
vsize: 842872
[startup+360.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 31477 66 0 0 25 0 11 0 419688551 863100928 44593 4294967295 134512640 134569956 3221224416 3221214688 1131210336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 44593 13073 16 0 210702 0
vsize: 842872
[startup+370.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 32366 66 0 0 25 0 11 0 419688551 863100928 44841 4294967295 134512640 134569956 3221224416 3221214688 1131209762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 44841 13073 16 0 210702 0
vsize: 842872
[startup+380.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 33261 66 0 0 25 0 11 0 419688551 863100928 45071 4294967295 134512640 134569956 3221224416 3221214784 1131400880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 45071 13073 16 0 210702 0
vsize: 842872
[startup+390.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31912
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 34153 66 0 0 18 0 11 0 419688551 863100928 45336 4294967295 134512640 134569956 3221224416 3221214688 1131209725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 45336 13073 16 0 210702 0
vsize: 842872
[startup+400.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 35046 67 0 0 21 0 11 0 419688551 863100928 45596 4294967295 134512640 134569956 3221224416 3221214784 1131400018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 45596 13073 16 0 210702 0
vsize: 842872
[startup+410.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 35934 67 0 0 22 0 11 0 419688551 863100928 45746 4294967295 134512640 134569956 3221224416 3221214784 1131400059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 45746 13073 16 0 210702 0
vsize: 842872
[startup+420.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 36823 67 0 0 21 0 11 0 419688551 863100928 46019 4294967295 134512640 134569956 3221224416 3221214688 1131209733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 46019 13073 16 0 210702 0
vsize: 842872
[startup+430.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 37715 67 0 0 19 0 11 0 419688551 863100928 46320 4294967295 134512640 134569956 3221224416 3221214688 1131210425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 46320 13073 16 0 210702 0
vsize: 842872
[startup+440.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 38628 67 0 0 23 0 11 0 419688551 863100928 46584 4294967295 134512640 134569956 3221224416 3221214688 1131210515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 46584 13073 16 0 210702 0
vsize: 842872
[startup+450.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 39537 68 0 0 22 0 11 0 419688551 863100928 46789 4294967295 134512640 134569956 3221224416 3221214684 1131392864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 46789 13073 16 0 210702 0
vsize: 842872
[startup+460.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 40452 68 0 0 24 0 11 0 419688551 863100928 46981 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 46981 13073 16 0 210702 0
vsize: 842872
[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 41365 68 0 0 19 0 11 0 419688551 863100928 47180 4294967295 134512640 134569956 3221224416 3221214688 1131210830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 47180 13073 16 0 210702 0
vsize: 842872
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 42281 68 0 0 25 0 11 0 419688551 863100928 47322 4294967295 134512640 134569956 3221224416 3221214784 1131400158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 47322 13073 16 0 210702 0
vsize: 842872
[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 43195 68 0 0 25 0 11 0 419688551 863100928 47548 4294967295 134512640 134569956 3221224416 3221214784 1131399888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 47548 13073 16 0 210702 0
vsize: 842872
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 44093 69 0 0 25 0 11 0 419688551 863100928 47784 4294967295 134512640 134569956 3221224416 3221214688 1131210202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 47784 13073 16 0 210702 0
vsize: 842872
[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 44994 69 0 0 25 0 11 0 419688551 863100928 47956 4294967295 134512640 134569956 3221224416 3221214688 1131209729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 47956 13073 16 0 210702 0
vsize: 842872
[startup+520.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 45878 69 0 0 25 0 11 0 419688551 863100928 48146 4294967295 134512640 134569956 3221224416 3221214688 1131210152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 48146 13073 16 0 210702 0
vsize: 842872
[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 46772 70 0 0 25 0 11 0 419688551 863100928 48425 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 48425 13073 16 0 210702 0
vsize: 842872
[startup+540.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 47669 70 0 0 25 0 11 0 419688551 863100928 48625 4294967295 134512640 134569956 3221224416 3221214688 1131210766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 48625 13073 16 0 210702 0
vsize: 842872
[startup+550.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 48570 71 0 0 25 0 11 0 419688551 863100928 48855 4294967295 134512640 134569956 3221224416 3221214688 1131210377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 48855 13073 16 0 210702 0
vsize: 842872
[startup+560.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 49480 71 0 0 25 0 11 0 419688551 863100928 49036 4294967295 134512640 134569956 3221224416 3221214760 1131418279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 49036 13073 16 0 210702 0
vsize: 842872
[startup+570.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 50379 71 0 0 25 0 11 0 419688551 863100928 49071 4294967295 134512640 134569956 3221224416 3221214688 1131210693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 49071 13073 16 0 210702 0
vsize: 842872
[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 51280 71 0 0 25 0 11 0 419688551 863100928 49341 4294967295 134512640 134569956 3221224416 3221214784 1131398801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 49341 13073 16 0 210702 0
vsize: 842872
[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 52175 71 0 0 25 0 11 0 419688551 863100928 49518 4294967295 134512640 134569956 3221224416 3221214900 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 49518 13073 16 0 210702 0
vsize: 842872
[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 53060 72 0 0 24 0 11 0 419688551 863100928 49794 4294967295 134512640 134569956 3221224416 3221214784 1131400210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 49794 13073 16 0 210702 0
vsize: 842872
[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 53950 72 0 0 24 0 11 0 419688551 863100928 49954 4294967295 134512640 134569956 3221224416 3221214688 1131210105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 49954 13073 16 0 210702 0
vsize: 842872
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 54831 72 0 0 24 0 11 0 419688551 863100928 50223 4294967295 134512640 134569956 3221224416 3221214784 1131401082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 50223 13073 16 0 210702 0
vsize: 842872
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 55710 73 0 0 25 0 11 0 419688551 863100928 50474 4294967295 134512640 134569956 3221224416 3221214688 1131210095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 50474 13073 16 0 210702 0
vsize: 842872
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31914
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 56579 73 0 0 25 0 11 0 419688551 863100928 50736 4294967295 134512640 134569956 3221224416 3221214688 1131210517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 50736 13073 16 0 210702 0
vsize: 842872
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 57476 73 0 0 25 0 11 0 419688551 863100928 51086 4294967295 134512640 134569956 3221224416 3221214832 1131358859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 51086 13073 16 0 210702 0
vsize: 842872
[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 58374 73 0 0 25 0 11 0 419688551 863100928 51360 4294967295 134512640 134569956 3221224416 3221214688 1131210713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 51360 13073 16 0 210702 0
vsize: 842872
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 59291 74 0 0 25 0 11 0 419688551 863100928 51539 4294967295 134512640 134569956 3221224416 3221214784 1131399940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 51539 13073 16 0 210702 0
vsize: 842872
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 60195 74 0 0 25 0 11 0 419688551 863100928 51789 4294967295 134512640 134569956 3221224416 3221214832 1131360181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 51789 13073 16 0 210702 0
vsize: 842872
[startup+690.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 61108 74 0 0 25 0 11 0 419688551 863100928 51957 4294967295 134512640 134569956 3221224416 3221214688 1131210010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 51957 13073 16 0 210702 0
vsize: 842872
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 62014 74 0 0 25 0 11 0 419688551 863100928 52035 4294967295 134512640 134569956 3221224416 3221214688 1131210469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 52035 13073 16 0 210702 0
vsize: 842872
[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 62927 74 0 0 25 0 11 0 419688551 863100928 52332 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 52332 13073 16 0 210702 0
vsize: 842872
[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 63838 74 0 0 25 0 11 0 419688551 863100928 52514 4294967295 134512640 134569956 3221224416 3221214688 1131210473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 52514 13073 16 0 210702 0
vsize: 842872
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 64750 74 0 0 25 0 11 0 419688551 863100928 52714 4294967295 134512640 134569956 3221224416 3221214680 1131475099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 52714 13073 16 0 210702 0
vsize: 842872
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 65676 74 0 0 25 0 11 0 419688551 863100928 52907 4294967295 134512640 134569956 3221224416 3221214784 1131400961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 52907 13073 16 0 210702 0
vsize: 842872
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 66585 74 0 0 25 0 11 0 419688551 863100928 53095 4294967295 134512640 134569956 3221224416 3221214688 1131209733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 53095 13073 16 0 210702 0
vsize: 842872
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 67495 74 0 0 25 0 11 0 419688551 863100928 53231 4294967295 134512640 134569956 3221224416 3221214760 1131418769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 53231 13073 16 0 210702 0
vsize: 842872
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 68389 74 0 0 24 0 11 0 419688551 863100928 53428 4294967295 134512640 134569956 3221224416 3221214784 1131400018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 53428 13073 16 0 210702 0
vsize: 842872
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 69302 75 0 0 25 0 11 0 419688551 863100928 53725 4294967295 134512640 134569956 3221224416 3221214688 1131210469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 53725 13073 16 0 210702 0
vsize: 842872
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 70209 75 0 0 25 0 11 0 419688551 863100928 53885 4294967295 134512640 134569956 3221224416 3221214688 1131210451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 53885 13073 16 0 210702 0
vsize: 842872
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 71125 75 0 0 25 0 11 0 419688551 863100928 54088 4294967295 134512640 134569956 3221224416 3221214688 1131210797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 54088 13073 16 0 210702 0
vsize: 842872
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 72028 75 0 0 25 0 11 0 419688551 863100928 54279 4294967295 134512640 134569956 3221224416 3221214688 1131210797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 54279 13073 16 0 210702 0
vsize: 842872
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 72942 75 0 0 25 0 11 0 419688551 863100928 54448 4294967295 134512640 134569956 3221224416 3221214784 1131219680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 54448 13073 16 0 210702 0
vsize: 842872
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 73848 75 0 0 25 0 11 0 419688551 863100928 54676 4294967295 134512640 134569956 3221224416 3221214600 1131520249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 54676 13073 16 0 210702 0
vsize: 842872
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 74761 75 0 0 25 0 11 0 419688551 863100928 54882 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 54882 13073 16 0 210702 0
vsize: 842872
[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 75672 75 0 0 25 0 11 0 419688551 863100928 55064 4294967295 134512640 134569956 3221224416 3221214784 1131400036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 55064 13073 16 0 210702 0
vsize: 842872
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 76586 75 0 0 25 0 11 0 419688551 863100928 55225 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 55225 13073 16 0 210702 0
vsize: 842872
[startup+870.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 77496 75 0 0 25 0 11 0 419688551 863100928 55444 4294967295 134512640 134569956 3221224416 3221214900 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 55444 13073 16 0 210702 0
vsize: 842872
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 78415 75 0 0 25 0 11 0 419688551 863100928 55666 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 55666 13073 16 0 210702 0
vsize: 842872
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 79336 75 0 0 25 0 11 0 419688551 863100928 55866 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 55866 13073 16 0 210702 0
vsize: 842872
[startup+900.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 80252 75 0 0 19 0 11 0 419688551 863100928 56000 4294967295 134512640 134569956 3221224416 3221214688 1131210290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 56000 13073 16 0 210702 0
vsize: 842872
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 81161 75 0 0 25 0 11 0 419688551 863100928 56132 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 56132 13073 16 0 210702 0
vsize: 842872
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 82079 76 0 0 25 0 11 0 419688551 863100928 56295 4294967295 134512640 134569956 3221224416 3221214688 1131210132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 56295 13073 16 0 210702 0
vsize: 842872
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 82993 76 0 0 25 0 11 0 419688551 863100928 56581 4294967295 134512640 134569956 3221224416 3221214688 1131209989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 56581 13073 16 0 210702 0
vsize: 842872
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 83908 76 0 0 25 0 11 0 419688551 863100928 56744 4294967295 134512640 134569956 3221224416 3221214600 1131520155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 56744 13073 16 0 210702 0
vsize: 842872
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 84809 76 0 0 25 0 11 0 419688551 863100928 56917 4294967295 134512640 134569956 3221224416 3221214832 1131357155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 56917 13073 16 0 210702 0
vsize: 842872
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 85713 76 0 0 25 0 11 0 419688551 863100928 57101 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 57101 13073 16 0 210702 0
vsize: 842872
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 86625 76 0 0 25 0 11 0 419688551 863100928 57350 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 57350 13073 16 0 210702 0
vsize: 842872
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 87515 76 0 0 25 0 11 0 419688551 863100928 57568 4294967295 134512640 134569956 3221224416 3221214688 1131209729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 57568 13073 16 0 210702 0
vsize: 842872
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 88427 76 0 0 25 0 11 0 419688551 863100928 57793 4294967295 134512640 134569956 3221224416 3221214784 1131400994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 57793 13073 16 0 210702 0
vsize: 842872
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 89362 76 0 0 25 0 11 0 419688551 863100928 58029 4294967295 134512640 134569956 3221224416 3221214784 1131400210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58029 13073 16 0 210702 0
vsize: 842872
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 90316 77 0 0 25 0 11 0 419688551 863100928 58081 4294967295 134512640 134569956 3221224416 3221214784 1131400880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58081 13073 16 0 210702 0
vsize: 842872
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 91258 77 0 0 25 0 11 0 419688551 863100928 58115 4294967295 134512640 134569956 3221224416 3221214832 1131357521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58115 13073 16 0 210702 0
vsize: 842872
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 92192 77 0 0 25 0 11 0 419688551 863100928 58135 4294967295 134512640 134569956 3221224416 3221214772 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58135 13073 16 0 210702 0
vsize: 842872
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 93113 77 0 0 25 0 11 0 419688551 863100928 58284 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58284 13073 16 0 210702 0
vsize: 842872
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 94037 77 0 0 25 0 11 0 419688551 863100928 58439 4294967295 134512640 134569956 3221224416 3221214688 1131209733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58439 13073 16 0 210702 0
vsize: 842872
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 94945 77 0 0 25 0 11 0 419688551 863100928 58533 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58533 13073 16 0 210702 0
vsize: 842872
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 95866 77 0 0 25 0 11 0 419688551 863100928 58772 4294967295 134512640 134569956 3221224416 3221214688 1131209973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58772 13073 16 0 210702 0
vsize: 842872
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 96779 77 0 0 25 0 11 0 419688551 863100928 58911 4294967295 134512640 134569956 3221224416 3221214784 1131400934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 58911 13073 16 0 210702 0
vsize: 842872
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 97700 78 0 0 24 0 11 0 419688551 863100928 59148 4294967295 134512640 134569956 3221224416 3221214688 1131210910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 59148 13073 16 0 210702 0
vsize: 842872
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 98616 78 0 0 25 0 11 0 419688551 863100928 59332 4294967295 134512640 134569956 3221224416 3221214688 1131210245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 59332 13073 16 0 210702 0
vsize: 842872
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 99523 78 0 0 25 0 11 0 419688551 863100928 59431 4294967295 134512640 134569956 3221224416 3221214784 1131400018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 59431 13073 16 0 210702 0
vsize: 842872
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 100418 78 0 0 25 0 11 0 419688551 863100928 59602 4294967295 134512640 134569956 3221224416 3221214688 1131210840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 59602 13073 16 0 210702 0
vsize: 842872
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 101310 79 0 0 25 0 11 0 419688551 863100928 59768 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 59768 13073 16 0 210702 0
vsize: 842872
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 102213 79 0 0 25 0 11 0 419688551 863100928 60010 4294967295 134512640 134569956 3221224416 3221214784 1131399983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 60010 13073 16 0 210702 0
vsize: 842872
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 103116 80 0 0 25 0 11 0 419688551 863100928 60259 4294967295 134512640 134569956 3221224416 3221214832 1131360118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 60259 13073 16 0 210702 0
vsize: 842872
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 104017 80 0 0 25 0 11 0 419688551 863100928 60480 4294967295 134512640 134569956 3221224416 3221214688 1131210202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 60480 13073 16 0 210702 0
vsize: 842872
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 104916 80 0 0 25 0 11 0 419688551 863100928 60660 4294967295 134512640 134569956 3221224416 3221214832 1131357602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 60660 13073 16 0 210702 0
vsize: 842872
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 105808 81 0 0 24 0 11 0 419688551 863100928 60875 4294967295 134512640 134569956 3221224416 3221214824 1131343289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 60875 13073 16 0 210702 0
vsize: 842872
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 106715 81 0 0 25 0 11 0 419688551 863100928 61023 4294967295 134512640 134569956 3221224416 3221214688 1131210883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 61023 13073 16 0 210702 0
vsize: 842872
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 107616 81 0 0 25 0 11 0 419688551 863100928 61281 4294967295 134512640 134569956 3221224416 3221214784 1131400018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 61281 13073 16 0 210702 0
vsize: 842872
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 108519 82 0 0 25 0 11 0 419688551 863100928 61459 4294967295 134512640 134569956 3221224416 3221214688 1131210348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 61459 13073 16 0 210702 0
vsize: 842872
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 109419 82 0 0 25 0 11 0 419688551 863100928 61678 4294967295 134512640 134569956 3221224416 3221214784 1131400122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 61678 13073 16 0 210702 0
vsize: 842872
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 110326 82 0 0 25 0 11 0 419688551 863100928 61821 4294967295 134512640 134569956 3221224416 3221214688 1131210202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210718 61821 13073 16 0 210702 0
vsize: 842872
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 111234 83 0 0 25 0 11 0 419688551 863100928 62034 4294967295 134512640 134569956 3221224416 3221214760 1131419010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 62034 13073 16 0 210702 0
vsize: 842872
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 112148 83 0 0 25 0 11 0 419688551 863100928 62229 4294967295 134512640 134569956 3221224416 3221214688 1131209729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 62229 13073 16 0 210702 0
vsize: 842872
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 113068 83 0 0 25 0 11 0 419688551 863100928 62387 4294967295 134512640 134569956 3221224416 3221214688 1131209733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 62387 13073 16 0 210702 0
vsize: 842872
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 113989 83 0 0 25 0 11 0 419688551 863100928 62575 4294967295 134512640 134569956 3221224416 3221214784 1131400059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 62575 13073 16 0 210702 0
vsize: 842872
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 114913 83 0 0 25 0 11 0 419688551 863100928 62685 4294967295 134512640 134569956 3221224416 3221214772 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 62685 13073 16 0 210702 0
vsize: 842872
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 115837 83 0 0 25 0 11 0 419688551 863100928 62888 4294967295 134512640 134569956 3221224416 3221214688 1131210830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 62888 13073 16 0 210702 0
vsize: 842872
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 116765 83 0 0 25 0 11 0 419688551 863100928 63024 4294967295 134512640 134569956 3221224416 3221214720 1131249725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 63024 13073 16 0 210702 0
vsize: 842872
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 117685 84 0 0 25 0 11 0 419688551 863100928 63126 4294967295 134512640 134569956 3221224416 3221214784 1131400036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 63126 13073 16 0 210702 0
vsize: 842872
[startup+1320.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 118597 84 0 0 25 0 11 0 419688551 863100928 63234 4294967295 134512640 134569956 3221224416 3221214780 1131209708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 63234 13073 16 0 210702 0
vsize: 842872
[startup+1330.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) S 31841 30854 30853 0 -1 0 18096 6 1 0 119516 84 0 0 25 0 11 0 419688551 863100928 63459 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 63459 13073 16 0 210702 0
vsize: 842872
[startup+1340.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31916
Raw data (stat): 31842 (java) R 31841 30854 30853 0 -1 0 18096 6 1 0 120434 84 0 0 25 0 11 0 419688551 863100928 63598 4294967295 134512640 134569956 3221224416 3221214784 1131398801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210718 63598 13073 16 0 210702 0
vsize: 842872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31918
Raw data (stat): 31842 (java) Z 31841 30854 30853 0 -1 1036 18096 43087 1 0 120439 84 13109 106 25 0 1 0 419688551 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): 1340.25
CPU time (s): 1337.41
CPU user time (s): 1335.49
CPU system time (s): 1.91571
CPU usage (%): 99.7877
Max. virtual memory (Kb): 842872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####