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/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM063fe125a766c5e46d0ecbf211fd8049
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04584
Number of variables450
Total number of constraints17809
Number of constraints which are clauses17809
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 4480 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 17:39:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2844 boxname=wulflinc27 idbench=316 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc27/normalized-frb30-15-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-frb30-15-3.opb
IDLAUNCH: 2844
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        888232 kB
Buffers:         32272 kB
Cached:          77244 kB
SwapCached:       3160 kB
Active:          43968 kB
Inactive:        71544 kB
HighTotal:      131008 kB
HighFree:        50316 kB
LowTotal:       903652 kB
LowFree:        837916 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25420 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:01:11 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2844 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-frb30-15-3.opb
c reading problem 
c [nbvar=450]
c [nbconstr=17809]
c time 5.315
c #vars     450
c #clauses  17809
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) : 5.576
c starts	: 1
c conflicts	: 0
c decisions	: 450
c propagations	: 450
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) : 5.744
c starts	: 2
c conflicts	: 0
c decisions	: 899
c propagations	: 900
c inspects	: 79
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) : 9.32
c starts	: 3
c conflicts	: 14
c decisions	: 1348
c propagations	: 1469
c inspects	: 1354
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-20
c Current CPU time (ms) : 9.568
c starts	: 4
c conflicts	: 14
c decisions	: 1368
c propagations	: 1919
c inspects	: 2926
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-21
c Current CPU time (ms) : 14.018
c starts	: 5
c conflicts	: 55
c decisions	: 1435
c propagations	: 2707
c inspects	: 10930
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 55
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-22
c Current CPU time (ms) : 14.246
c starts	: 6
c conflicts	: 55
c decisions	: 1453
c propagations	: 3157
c inspects	: 13716
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 55
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-23
c Current CPU time (ms) : 14.502
c starts	: 7
c conflicts	: 60
c decisions	: 1481
c propagations	: 3636
c inspects	: 16581
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 60
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.93 0.99 0.96 2/54 19750
Raw data (stat): 19750 (runsolver) R 19749 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477816843 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.99 0.96 4/64 19763
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 14970 3 1 0 674 37 0 0 25 0 11 0 477816843 862666752 17385 4294967295 134512640 134569956 3221224416 3221214236 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210612 17385 13073 16 0 210596 0
vsize: 842448
[startup+20.0041 s]
Raw data (loadavg): 1.10 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 1479 45 0 0 25 0 11 0 477816843 862035968 24834 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 24834 13073 16 0 210442 0
vsize: 841832
[startup+30.0053 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 2367 45 0 0 25 0 11 0 477816843 862035968 25538 4294967295 134512640 134569956 3221224416 3221214664 1131146781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 25538 13073 16 0 210442 0
vsize: 841832
[startup+40.0061 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 3258 45 0 0 25 0 11 0 477816843 862035968 25797 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 25797 13073 16 0 210442 0
vsize: 841832
[startup+50.0075 s]
Raw data (loadavg): 1.06 1.02 0.97 3/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 4140 46 0 0 25 0 11 0 477816843 862035968 26082 4294967295 134512640 134569956 3221224416 3221214732 1131385088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 26082 13073 16 0 210442 0
vsize: 841832
[startup+60.0127 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 5025 46 0 0 16 0 11 0 477816843 862035968 26350 4294967295 134512640 134569956 3221224416 3221214784 1131518605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 26350 13073 16 0 210442 0
vsize: 841832
[startup+70.0146 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 5911 47 0 0 23 0 11 0 477816843 862035968 26658 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 26658 13073 16 0 210442 0
vsize: 841832
[startup+80.0149 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 6809 47 0 0 23 0 11 0 477816843 862035968 26938 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 26938 13073 16 0 210442 0
vsize: 841832
[startup+90.0178 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 7703 47 0 0 23 0 11 0 477816843 862035968 27216 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 27216 13073 16 0 210442 0
vsize: 841832
[startup+100.019 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 8595 47 0 0 17 0 11 0 477816843 862035968 27473 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 27473 13073 16 0 210442 0
vsize: 841832
[startup+110.019 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 9500 47 0 0 18 0 11 0 477816843 862035968 27755 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 27755 13073 16 0 210442 0
vsize: 841832
[startup+120.021 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 10405 47 0 0 21 0 11 0 477816843 862035968 28042 4294967295 134512640 134569956 3221224416 3221214688 1131210426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 28042 13073 16 0 210442 0
vsize: 841832
[startup+130.021 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 11290 47 0 0 16 0 11 0 477816843 862035968 28231 4294967295 134512640 134569956 3221224416 3221214688 1131209854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 28231 13073 16 0 210442 0
vsize: 841832
[startup+140.021 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 12179 47 0 0 19 0 11 0 477816843 862035968 28460 4294967295 134512640 134569956 3221224416 3221214784 1131519517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 28460 13073 16 0 210442 0
vsize: 841832
[startup+150.026 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 13075 47 0 0 22 0 11 0 477816843 862035968 28779 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 28779 13073 16 0 210442 0
vsize: 841832
[startup+160.027 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 13984 47 0 0 22 0 11 0 477816843 862035968 29030 4294967295 134512640 134569956 3221224416 3221214784 1131518609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 29030 13073 16 0 210442 0
vsize: 841832
[startup+170.028 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 14908 47 0 0 24 0 11 0 477816843 862035968 29308 4294967295 134512640 134569956 3221224416 3221214544 1131488345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 29308 13073 16 0 210442 0
vsize: 841832
[startup+180.028 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 15842 48 0 0 24 0 11 0 477816843 862035968 29526 4294967295 134512640 134569956 3221224416 3221214664 1131469069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 29526 13073 16 0 210442 0
vsize: 841832
[startup+190.029 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 16780 48 0 0 25 0 11 0 477816843 862035968 29653 4294967295 134512640 134569956 3221224416 3221214312 1078829708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 29653 13073 16 0 210442 0
vsize: 841832
[startup+200.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 17707 48 0 0 24 0 11 0 477816843 862035968 29785 4294967295 134512640 134569956 3221224416 3221214784 1131518494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 29785 13073 16 0 210442 0
vsize: 841832
[startup+210.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 18627 48 0 0 25 0 11 0 477816843 862035968 29923 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 29923 13073 16 0 210442 0
vsize: 841832
[startup+220.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 19525 48 0 0 25 0 11 0 477816843 862035968 30076 4294967295 134512640 134569956 3221224416 3221214688 1131209878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 30076 13073 16 0 210442 0
vsize: 841832
[startup+230.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 20418 48 0 0 25 0 11 0 477816843 862035968 30373 4294967295 134512640 134569956 3221224416 3221214776 1131413856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 30373 13073 16 0 210442 0
vsize: 841832
[startup+240.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 21324 48 0 0 25 0 11 0 477816843 862035968 30584 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 30584 13073 16 0 210442 0
vsize: 841832
[startup+250.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 22234 49 0 0 25 0 11 0 477816843 862035968 30784 4294967295 134512640 134569956 3221224416 3221214576 1131257187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 30784 13073 16 0 210442 0
vsize: 841832
[startup+260.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 23139 49 0 0 25 0 11 0 477816843 862035968 31033 4294967295 134512640 134569956 3221224416 3221214688 1131210393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 31033 13073 16 0 210442 0
vsize: 841832
[startup+270.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 24052 49 0 0 23 0 11 0 477816843 862035968 31214 4294967295 134512640 134569956 3221224416 3221214688 1131209925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 31214 13073 16 0 210442 0
vsize: 841832
[startup+280.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 24959 50 0 0 25 0 11 0 477816843 862035968 31447 4294967295 134512640 134569956 3221224416 3221214784 1131518672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 31447 13073 16 0 210442 0
vsize: 841832
[startup+290.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 25878 50 0 0 25 0 11 0 477816843 862035968 31681 4294967295 134512640 134569956 3221224416 3221214844 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 31681 13073 16 0 210442 0
vsize: 841832
[startup+300.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 26807 50 0 0 25 0 11 0 477816843 862035968 31885 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 31885 13073 16 0 210442 0
vsize: 841832
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 27743 50 0 0 25 0 11 0 477816843 862035968 32042 4294967295 134512640 134569956 3221224416 3221214784 1131518609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32042 13073 16 0 210442 0
vsize: 841832
[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 28685 51 0 0 25 0 11 0 477816843 862035968 32179 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32179 13073 16 0 210442 0
vsize: 841832
[startup+330.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 29634 51 0 0 25 0 11 0 477816843 862035968 32331 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32331 13073 16 0 210442 0
vsize: 841832
[startup+340.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 30585 51 0 0 25 0 11 0 477816843 862035968 32437 4294967295 134512640 134569956 3221224416 3221214784 1131518565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32437 13073 16 0 210442 0
vsize: 841832
[startup+350.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 31536 52 0 0 25 0 11 0 477816843 862035968 32520 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32520 13073 16 0 210442 0
vsize: 841832
[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 32474 52 0 0 24 0 11 0 477816843 862035968 32624 4294967295 134512640 134569956 3221224416 3221214696 1131385545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32624 13073 16 0 210442 0
vsize: 841832
[startup+370.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 33412 52 0 0 25 0 11 0 477816843 862035968 32723 4294967295 134512640 134569956 3221224416 3221214664 1131466027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32723 13073 16 0 210442 0
vsize: 841832
[startup+380.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 34335 52 0 0 25 0 11 0 477816843 862035968 32830 4294967295 134512640 134569956 3221224416 3221214688 1131210027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 32830 13073 16 0 210442 0
vsize: 841832
[startup+390.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 35260 52 0 0 25 0 11 0 477816843 862035968 33064 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33064 13073 16 0 210442 0
vsize: 841832
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 36185 53 0 0 25 0 11 0 477816843 862035968 33200 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33200 13073 16 0 210442 0
vsize: 841832
[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 37111 53 0 0 25 0 11 0 477816843 862035968 33400 4294967295 134512640 134569956 3221224416 3221214784 1131519444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33400 13073 16 0 210442 0
vsize: 841832
[startup+420.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 38041 53 0 0 25 0 11 0 477816843 862035968 33570 4294967295 134512640 134569956 3221224416 3221214688 1131210863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33570 13073 16 0 210442 0
vsize: 841832
[startup+430.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 38978 54 0 0 25 0 11 0 477816843 862035968 33685 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33685 13073 16 0 210442 0
vsize: 841832
[startup+440.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 39912 54 0 0 25 0 11 0 477816843 862035968 33819 4294967295 134512640 134569956 3221224416 3221214688 1131209854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33819 13073 16 0 210442 0
vsize: 841832
[startup+450.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 40849 54 0 0 25 0 11 0 477816843 862035968 33928 4294967295 134512640 134569956 3221224416 3221214728 1131210133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 33928 13073 16 0 210442 0
vsize: 841832
[startup+460.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 41790 54 0 0 25 0 11 0 477816843 862035968 34106 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34106 13073 16 0 210442 0
vsize: 841832
[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 42739 55 0 0 25 0 11 0 477816843 862035968 34234 4294967295 134512640 134569956 3221224416 3221214688 1131210451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34234 13073 16 0 210442 0
vsize: 841832
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 43692 55 0 0 25 0 11 0 477816843 862035968 34345 4294967295 134512640 134569956 3221224416 3221214688 1131209909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34345 13073 16 0 210442 0
vsize: 841832
[startup+490.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 44647 56 0 0 25 0 11 0 477816843 862035968 34418 4294967295 134512640 134569956 3221224416 3221214764 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34418 13073 16 0 210442 0
vsize: 841832
[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 45599 56 0 0 25 0 11 0 477816843 862035968 34495 4294967295 134512640 134569956 3221224416 3221214784 1131519447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34495 13073 16 0 210442 0
vsize: 841832
[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 46551 56 0 0 25 0 11 0 477816843 862035968 34590 4294967295 134512640 134569956 3221224416 3221214784 1131518609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34590 13073 16 0 210442 0
vsize: 841832
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 47503 56 0 0 25 0 11 0 477816843 862035968 34702 4294967295 134512640 134569956 3221224416 3221214688 1131210347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34702 13073 16 0 210442 0
vsize: 841832
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 48459 57 0 0 25 0 11 0 477816843 862035968 34797 4294967295 134512640 134569956 3221224416 3221214784 1131519421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34797 13073 16 0 210442 0
vsize: 841832
[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 49412 58 0 0 24 0 11 0 477816843 862035968 34878 4294967295 134512640 134569956 3221224416 3221214780 1131209644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34878 13073 16 0 210442 0
vsize: 841832
[startup+550.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 50373 58 0 0 25 0 11 0 477816843 862035968 34970 4294967295 134512640 134569956 3221224416 3221214784 1131518508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 34970 13073 16 0 210442 0
vsize: 841832
[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 51336 59 0 0 25 0 11 0 477816843 862035968 35044 4294967295 134512640 134569956 3221224416 3221214688 1131210804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35044 13073 16 0 210442 0
vsize: 841832
[startup+570.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 52298 59 0 0 25 0 11 0 477816843 862035968 35128 4294967295 134512640 134569956 3221224416 3221214584 1131537917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35128 13073 16 0 210442 0
vsize: 841832
[startup+580.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 53256 60 0 0 25 0 11 0 477816843 862035968 35184 4294967295 134512640 134569956 3221224416 3221214784 1131518562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35184 13073 16 0 210442 0
vsize: 841832
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 54208 60 0 0 25 0 11 0 477816843 862035968 35250 4294967295 134512640 134569956 3221224416 3221214576 1131551666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35250 13073 16 0 210442 0
vsize: 841832
[startup+600.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 55158 60 0 0 25 0 11 0 477816843 862035968 35333 4294967295 134512640 134569956 3221224416 3221214784 1131517712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35333 13073 16 0 210442 0
vsize: 841832
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 56108 61 0 0 25 0 11 0 477816843 862035968 35421 4294967295 134512640 134569956 3221224416 3221214784 1131517589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35421 13073 16 0 210442 0
vsize: 841832
[startup+620.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 57056 61 0 0 25 0 11 0 477816843 862035968 35539 4294967295 134512640 134569956 3221224416 3221214772 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35539 13073 16 0 210442 0
vsize: 841832
[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 58002 62 0 0 25 0 11 0 477816843 862035968 35638 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35638 13073 16 0 210442 0
vsize: 841832
[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 58940 62 0 0 24 0 11 0 477816843 862035968 35737 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35737 13073 16 0 210442 0
vsize: 841832
[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 59884 63 0 0 25 0 11 0 477816843 862035968 35892 4294967295 134512640 134569956 3221224416 3221214696 1131385506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 35892 13073 16 0 210442 0
vsize: 841832
[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 60833 63 0 0 25 0 11 0 477816843 862035968 36003 4294967295 134512640 134569956 3221224416 3221214688 1131209857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36003 13073 16 0 210442 0
vsize: 841832
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 61786 63 0 0 25 0 11 0 477816843 862035968 36097 4294967295 134512640 134569956 3221224416 3221214576 1131552027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36097 13073 16 0 210442 0
vsize: 841832
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 62743 64 0 0 25 0 11 0 477816843 862035968 36208 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36208 13073 16 0 210442 0
vsize: 841832
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 63700 65 0 0 25 0 11 0 477816843 862035968 36291 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36291 13073 16 0 210442 0
vsize: 841832
[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 64657 65 0 0 25 0 11 0 477816843 862035968 36355 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36355 13073 16 0 210442 0
vsize: 841832
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 65613 65 0 0 25 0 11 0 477816843 862035968 36429 4294967295 134512640 134569956 3221224416 3221214688 1131209973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 36429 13073 16 0 210442 0
vsize: 841832
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 66565 66 0 0 25 0 11 0 477816843 862035968 36518 4294967295 134512640 134569956 3221224416 3221214784 1131517521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36518 13073 16 0 210442 0
vsize: 841832
[startup+730.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 67521 66 0 0 25 0 11 0 477816843 862035968 36600 4294967295 134512640 134569956 3221224416 3221214784 1131518587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36600 13073 16 0 210442 0
vsize: 841832
[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 68477 66 0 0 25 0 11 0 477816843 862035968 36666 4294967295 134512640 134569956 3221224416 3221214544 1131489173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36666 13073 16 0 210442 0
vsize: 841832
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 69431 67 0 0 25 0 11 0 477816843 862035968 36753 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36753 13073 16 0 210442 0
vsize: 841832
[startup+760.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 70382 67 0 0 25 0 11 0 477816843 862035968 36846 4294967295 134512640 134569956 3221224416 3221214664 1131469069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36846 13073 16 0 210442 0
vsize: 841832
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 71338 67 0 0 25 0 11 0 477816843 862035968 36944 4294967295 134512640 134569956 3221224416 3221214688 1131210119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 36944 13073 16 0 210442 0
vsize: 841832
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 72294 68 0 0 25 0 11 0 477816843 862035968 37005 4294967295 134512640 134569956 3221224416 3221214776 1131413133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37005 13073 16 0 210442 0
vsize: 841832
[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 73247 68 0 0 24 0 11 0 477816843 862035968 37104 4294967295 134512640 134569956 3221224416 3221214784 1131519525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37104 13073 16 0 210442 0
vsize: 841832
[startup+800.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 74206 69 0 0 25 0 11 0 477816843 862035968 37173 4294967295 134512640 134569956 3221224416 3221214688 1131210122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37173 13073 16 0 210442 0
vsize: 841832
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 75158 69 0 0 25 0 11 0 477816843 862035968 37235 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37235 13073 16 0 210442 0
vsize: 841832
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 76107 69 0 0 25 0 11 0 477816843 862035968 37342 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37342 13073 16 0 210442 0
vsize: 841832
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 77062 69 0 0 25 0 11 0 477816843 862035968 37430 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37430 13073 16 0 210442 0
vsize: 841832
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 78026 69 0 0 25 0 11 0 477816843 862035968 37542 4294967295 134512640 134569956 3221224416 3221214688 1131209720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37542 13073 16 0 210442 0
vsize: 841832
[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 78990 70 0 0 25 0 11 0 477816843 862035968 37623 4294967295 134512640 134569956 3221224416 3221214872 1131218695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37623 13073 16 0 210442 0
vsize: 841832
[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 79952 71 0 0 25 0 11 0 477816843 862035968 37662 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37662 13073 16 0 210442 0
vsize: 841832
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 80910 71 0 0 25 0 11 0 477816843 862035968 37723 4294967295 134512640 134569956 3221224416 3221214784 1131518695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37723 13073 16 0 210442 0
vsize: 841832
[startup+880.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 81866 71 0 0 25 0 11 0 477816843 862035968 37795 4294967295 134512640 134569956 3221224416 3221214688 1131210367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37795 13073 16 0 210442 0
vsize: 841832
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 82820 72 0 0 25 0 11 0 477816843 862035968 37863 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37863 13073 16 0 210442 0
vsize: 841832
[startup+900.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 83772 72 0 0 25 0 11 0 477816843 862035968 37951 4294967295 134512640 134569956 3221224416 3221214688 1131210367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 37951 13073 16 0 210442 0
vsize: 841832
[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 84733 72 0 0 25 0 11 0 477816843 862035968 38071 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38071 13073 16 0 210442 0
vsize: 841832
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 85697 73 0 0 25 0 11 0 477816843 862035968 38128 4294967295 134512640 134569956 3221224416 3221214784 1131518652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38128 13073 16 0 210442 0
vsize: 841832
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 86648 73 0 0 25 0 11 0 477816843 862035968 38198 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38198 13073 16 0 210442 0
vsize: 841832
[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 87590 73 0 0 25 0 11 0 477816843 862035968 38240 4294967295 134512640 134569956 3221224416 3221214688 1131210086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38240 13073 16 0 210442 0
vsize: 841832
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 88522 74 0 0 25 0 11 0 477816843 862035968 38341 4294967295 134512640 134569956 3221224416 3221214688 1131210162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38341 13073 16 0 210442 0
vsize: 841832
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 89454 75 0 0 25 0 11 0 477816843 862035968 38446 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38446 13073 16 0 210442 0
vsize: 841832
[startup+970.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 90391 75 0 0 25 0 11 0 477816843 862035968 38602 4294967295 134512640 134569956 3221224416 3221214784 1131518587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38602 13073 16 0 210442 0
vsize: 841832
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 91326 75 0 0 25 0 11 0 477816843 862035968 38743 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38743 13073 16 0 210442 0
vsize: 841832
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 92274 75 0 0 25 0 11 0 477816843 862035968 38889 4294967295 134512640 134569956 3221224416 3221214720 1131448483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38889 13073 16 0 210442 0
vsize: 841832
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 93227 76 0 0 25 0 11 0 477816843 862035968 38985 4294967295 134512640 134569956 3221224416 3221214688 1131210679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 38985 13073 16 0 210442 0
vsize: 841832
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 94178 76 0 0 25 0 11 0 477816843 862035968 39107 4294967295 134512640 134569956 3221224416 3221214688 1131209695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39107 13073 16 0 210442 0
vsize: 841832
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 95133 76 0 0 25 0 11 0 477816843 862035968 39201 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39201 13073 16 0 210442 0
vsize: 841832
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 96085 77 0 0 24 0 11 0 477816843 862035968 39286 4294967295 134512640 134569956 3221224416 3221214688 1131210057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39286 13073 16 0 210442 0
vsize: 841832
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 97043 77 0 0 25 0 11 0 477816843 862035968 39382 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39382 13073 16 0 210442 0
vsize: 841832
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 98000 77 0 0 25 0 11 0 477816843 862035968 39462 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39462 13073 16 0 210442 0
vsize: 841832
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 98951 77 0 0 25 0 11 0 477816843 862035968 39532 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39532 13073 16 0 210442 0
vsize: 841832
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 99902 78 0 0 25 0 11 0 477816843 862035968 39626 4294967295 134512640 134569956 3221224416 3221214688 1131210831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39626 13073 16 0 210442 0
vsize: 841832
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 100849 78 0 0 25 0 11 0 477816843 862035968 39703 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39703 13073 16 0 210442 0
vsize: 841832
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 101787 78 0 0 25 0 11 0 477816843 862035968 39800 4294967295 134512640 134569956 3221224416 3221214688 1131210336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39800 13073 16 0 210442 0
vsize: 841832
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 102731 79 0 0 25 0 11 0 477816843 862035968 39912 4294967295 134512640 134569956 3221224416 3221214688 1131210239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 39912 13073 16 0 210442 0
vsize: 841832
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 103681 79 0 0 25 0 11 0 477816843 862035968 40060 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40060 13073 16 0 210442 0
vsize: 841832
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 104634 79 0 0 25 0 11 0 477816843 862035968 40163 4294967295 134512640 134569956 3221224416 3221214688 1131210828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40163 13073 16 0 210442 0
vsize: 841832
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 105592 79 0 0 25 0 11 0 477816843 862035968 40248 4294967295 134512640 134569956 3221224416 3221214784 1131519421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210458 40248 13073 16 0 210442 0
vsize: 841832
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 106540 80 0 0 25 0 11 0 477816843 862035968 40321 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40321 13073 16 0 210442 0
vsize: 841832
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 107480 80 0 0 25 0 11 0 477816843 862035968 40407 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40407 13073 16 0 210442 0
vsize: 841832
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 108420 81 0 0 25 0 11 0 477816843 862035968 40520 4294967295 134512640 134569956 3221224416 3221214784 1131518562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40520 13073 16 0 210442 0
vsize: 841832
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 109365 81 0 0 25 0 11 0 477816843 862035968 40648 4294967295 134512640 134569956 3221224416 3221214576 1131552079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40648 13073 16 0 210442 0
vsize: 841832
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 110312 82 0 0 25 0 11 0 477816843 862035968 40788 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40788 13073 16 0 210442 0
vsize: 841832
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 111256 82 0 0 25 0 11 0 477816843 862035968 40885 4294967295 134512640 134569956 3221224416 3221214688 1131210661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40885 13073 16 0 210442 0
vsize: 841832
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 112201 83 0 0 25 0 11 0 477816843 862035968 40975 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 40975 13073 16 0 210442 0
vsize: 841832
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 113139 83 0 0 25 0 11 0 477816843 862035968 41097 4294967295 134512640 134569956 3221224416 3221214688 1131210742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41097 13073 16 0 210442 0
vsize: 841832
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 19767
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 114077 84 0 0 25 0 11 0 477816843 862035968 41206 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41206 13073 16 0 210442 0
vsize: 841832
[startup+1230.09 s]
Raw data (loadavg): 1.15 1.03 0.98 2/68 19810
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 115010 86 0 0 24 0 11 0 477816843 862035968 41378 4294967295 134512640 134569956 3221224416 3221214784 1131518562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41378 13073 16 0 210442 0
vsize: 841832
[startup+1240.09 s]
Raw data (loadavg): 1.13 1.03 0.98 2/64 19820
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 115951 87 0 0 25 0 11 0 477816843 862035968 41501 4294967295 134512640 134569956 3221224416 3221214688 1131210373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41501 13073 16 0 210442 0
vsize: 841832
[startup+1250.09 s]
Raw data (loadavg): 1.11 1.03 0.98 2/64 19820
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 116895 87 0 0 25 0 11 0 477816843 862035968 41602 4294967295 134512640 134569956 3221224416 3221214688 1131210102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41602 13073 16 0 210442 0
vsize: 841832
[startup+1260.09 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 19820
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 117837 88 0 0 25 0 11 0 477816843 862035968 41728 4294967295 134512640 134569956 3221224416 3221214784 1131518724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41728 13073 16 0 210442 0
vsize: 841832
[startup+1270.09 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 19820
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 118784 88 0 0 25 0 11 0 477816843 862035968 41856 4294967295 134512640 134569956 3221224416 3221214784 1131519509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41856 13073 16 0 210442 0
vsize: 841832
[startup+1280.09 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 19820
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 119736 88 0 0 25 0 11 0 477816843 862035968 41963 4294967295 134512640 134569956 3221224416 3221214576 1131552042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 41963 13073 16 0 210442 0
vsize: 841832
[startup+1290.09 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 19820
Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 120689 88 0 0 25 0 11 0 477816843 862035968 42064 4294967295 134512640 134569956 3221224416 3221214784 1131519469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210458 42064 13073 16 0 210442 0
vsize: 841832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1290.22 s]
Raw data (loadavg): 1.05 1.02 0.98 1/54 19822
Raw data (stat): 19750 (java) Z 19749 18865 18864 0 -1 1036 18095 21640 1 0 120691 88 7768 63 25 0 1 0 477816843 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): 1290.22
CPU time (s): 1286.12
CPU user time (s): 1284.6
CPU system time (s): 1.51577
CPU usage (%): 99.682
Max. virtual memory (Kb): 842448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####