Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb
MD5SUM4386d3a42d53adecf557a6eee4db5bf4
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2070
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 421980536439
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 53687091200000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 326830904793855
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.39679
Number of variables41130
Total number of constraints990
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints990
Minimum length of a constraint30
Maximum length of a constraint1710

Trace number 29477

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 08:04:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20877 boxname=wulflinc28 idbench=865 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4386d3a42d53adecf557a6eee4db5bf4  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-scfxm3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-scfxm3.opb
IDLAUNCH: 20877
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        681584 kB
Buffers:         24012 kB
Cached:         307320 kB
SwapCached:       1052 kB
Active:          41708 kB
Inactive:       292192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        681332 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13528 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:25:25 (client local time) WITH STATUS 143 IN 1259.07 SECONDS
stats: 20877 7 1259.07 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-scfxm3.opb
c reading problem ... done. Time 496.008 ms.
c #vars     41130
c #constraints  1536
c starts	: 3
c conflicts	: 279
c decisions	: 3004
c propagations	: 42559
c inspects	: 1426244
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 279
c root simplifications	: 281
s UNKNOWN
c Total CPU time (ms) : 1259.171
#### 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.99 2/54 3728
Raw data (stat): 3728 (runsolver) R 3727 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837302202 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0004 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 831 36 0 0 25 0 10 0 837302202 857022464 20591 4294967295 134512640 134569956 3221224368 3221214640 1131188685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 20591 13086 16 0 209218 0
vsize: 836936
[startup+20.004 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 1690 36 0 0 25 0 10 0 837302202 857939968 21860 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 21860 13086 16 0 209442 0
vsize: 837832
[startup+30.0045 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 2557 37 0 0 25 0 10 0 837302202 857939968 22159 4294967295 134512640 134569956 3221224368 3221214072 1131215024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 22159 13086 16 0 209442 0
vsize: 837832
[startup+40.0083 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 3424 37 0 0 25 0 10 0 837302202 857939968 22600 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 22600 13086 16 0 209442 0
vsize: 837832
[startup+50.009 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 4282 37 0 0 25 0 10 0 837302202 857939968 23040 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 23040 13086 16 0 209442 0
vsize: 837832
[startup+60.0103 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 5160 38 0 0 25 0 10 0 837302202 857939968 23390 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 23390 13086 16 0 209442 0
vsize: 837832
[startup+70.0104 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 6052 38 0 0 25 0 10 0 837302202 857939968 23643 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 23643 13086 16 0 209442 0
vsize: 837832
[startup+80.0106 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 3737
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 6918 39 0 0 24 0 10 0 837302202 857939968 23884 4294967295 134512640 134569956 3221224368 3221213768 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 23884 13086 16 0 209442 0
vsize: 837832
[startup+90.0145 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 7788 39 0 0 25 0 10 0 837302202 857939968 24142 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 24142 13086 16 0 209442 0
vsize: 837832
[startup+100.014 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 8678 40 0 0 25 0 10 0 837302202 857939968 24579 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 24579 13086 16 0 209442 0
vsize: 837832
[startup+110.015 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 9567 40 0 0 18 0 10 0 837302202 857939968 24690 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 24690 13086 16 0 209442 0
vsize: 837832
[startup+120.016 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 10463 40 0 0 18 0 10 0 837302202 857939968 24996 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 24996 13086 16 0 209442 0
vsize: 837832
[startup+130.015 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 11363 40 0 0 23 0 10 0 837302202 857939968 25181 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25181 13086 16 0 209442 0
vsize: 837832
[startup+140.015 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 12263 40 0 0 25 0 10 0 837302202 857939968 25462 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25462 13086 16 0 209442 0
vsize: 837832
[startup+150.02 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 13178 40 0 0 25 0 10 0 837302202 857939968 25552 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25552 13086 16 0 209442 0
vsize: 837832
[startup+160.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 14081 40 0 0 25 0 10 0 837302202 857939968 25717 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25717 13086 16 0 209442 0
vsize: 837832
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 14987 41 0 0 24 0 10 0 837302202 857939968 25924 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 25924 13086 16 0 209442 0
vsize: 837832
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 15909 41 0 0 24 0 10 0 837302202 857939968 26056 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26056 13086 16 0 209442 0
vsize: 837832
[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 16823 41 0 0 25 0 10 0 837302202 857939968 26187 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26187 13086 16 0 209442 0
vsize: 837832
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 17724 41 0 0 25 0 10 0 837302202 857939968 26282 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26282 13086 16 0 209442 0
vsize: 837832
[startup+210.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 18645 42 0 0 25 0 10 0 837302202 857939968 26597 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26597 13086 16 0 209442 0
vsize: 837832
[startup+220.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 19570 42 0 0 25 0 10 0 837302202 857939968 26640 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26640 13086 16 0 209442 0
vsize: 837832
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 20479 42 0 0 25 0 10 0 837302202 857939968 26764 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26764 13086 16 0 209442 0
vsize: 837832
[startup+240.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 21370 43 0 0 25 0 10 0 837302202 857939968 26882 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209458 26882 13086 16 0 209442 0
vsize: 837832
[startup+250.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 22241 43 0 0 24 0 10 0 837302202 856891392 26754 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 26754 13086 16 0 209186 0
vsize: 836808
[startup+260.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 23147 43 0 0 25 0 10 0 837302202 856891392 27128 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27128 13086 16 0 209186 0
vsize: 836808
[startup+270.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 24073 44 0 0 25 0 10 0 837302202 856891392 27187 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27187 13086 16 0 209186 0
vsize: 836808
[startup+280.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 24979 44 0 0 25 0 10 0 837302202 856891392 27241 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27241 13086 16 0 209186 0
vsize: 836808
[startup+290.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 25879 44 0 0 25 0 10 0 837302202 856891392 27438 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27438 13086 16 0 209186 0
vsize: 836808
[startup+300.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 26789 44 0 0 25 0 10 0 837302202 856891392 27544 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27544 13086 16 0 209186 0
vsize: 836808
[startup+310.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 27704 45 0 0 25 0 10 0 837302202 856891392 27697 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27697 13086 16 0 209186 0
vsize: 836808
[startup+320.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 28606 45 0 0 25 0 10 0 837302202 856891392 27771 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27771 13086 16 0 209186 0
vsize: 836808
[startup+330.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 29507 45 0 0 25 0 10 0 837302202 856891392 27961 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 27961 13086 16 0 209186 0
vsize: 836808
[startup+340.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 30426 45 0 0 25 0 10 0 837302202 856891392 28076 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28076 13086 16 0 209186 0
vsize: 836808
[startup+350.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 31346 45 0 0 25 0 10 0 837302202 856891392 28128 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28128 13086 16 0 209186 0
vsize: 836808
[startup+360.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 32261 46 0 0 25 0 10 0 837302202 856891392 28237 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28237 13086 16 0 209186 0
vsize: 836808
[startup+370.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 33164 46 0 0 24 0 10 0 837302202 856891392 28343 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28343 13086 16 0 209186 0
vsize: 836808
[startup+380.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 34072 46 0 0 25 0 10 0 837302202 856891392 28449 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28449 13086 16 0 209186 0
vsize: 836808
[startup+390.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 34984 47 0 0 25 0 10 0 837302202 856891392 28611 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28611 13086 16 0 209186 0
vsize: 836808
[startup+400.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 35905 47 0 0 24 0 10 0 837302202 856891392 28641 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28641 13086 16 0 209186 0
vsize: 836808
[startup+410.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 36831 47 0 0 25 0 10 0 837302202 856891392 28741 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28741 13086 16 0 209186 0
vsize: 836808
[startup+420.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 37754 47 0 0 25 0 10 0 837302202 856891392 28795 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28795 13086 16 0 209186 0
vsize: 836808
[startup+430.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 38663 47 0 0 25 0 10 0 837302202 856891392 28864 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28864 13086 16 0 209186 0
vsize: 836808
[startup+440.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 39581 48 0 0 25 0 10 0 837302202 856891392 28923 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 28923 13086 16 0 209186 0
vsize: 836808
[startup+450.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 40507 48 0 0 25 0 10 0 837302202 856891392 29037 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 29037 13086 16 0 209186 0
vsize: 836808
[startup+460.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 41426 48 0 0 25 0 10 0 837302202 856891392 29065 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 29065 13086 16 0 209186 0
vsize: 836808
[startup+470.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) S 3727 24821 24820 0 -1 0 18044 0 1 0 42343 48 0 0 25 0 10 0 837302202 856891392 29140 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 29140 13086 16 0 209186 0
vsize: 836808
[startup+480.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 43258 49 0 0 25 0 10 0 837302202 856891392 29213 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 29213 13086 16 0 209186 0
vsize: 836808
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18044 0 1 0 44164 49 0 0 25 0 10 0 837302202 856891392 29307 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 29307 13086 16 0 209186 0
vsize: 836808
[startup+500.055 s]
Raw data (loadavg): 1.15 1.00 1.00 3/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18090 0 1 0 45053 49 0 0 25 0 10 0 837302202 861085696 30532 4294967295 134512640 134569956 3221224368 3221214712 1131396756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210226 30532 13086 16 0 210210 0
vsize: 840904
[startup+510.056 s]
Raw data (loadavg): 1.13 1.00 1.00 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18090 0 1 0 45960 50 0 0 24 0 10 0 837302202 861085696 30475 4294967295 134512640 134569956 3221224368 3221214600 1131356691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210226 30475 13086 16 0 210210 0
vsize: 840904
[startup+520.057 s]
Raw data (loadavg): 1.11 1.00 1.00 2/63 3739
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18090 0 1 0 46872 50 0 0 25 0 10 0 837302202 860037120 30608 4294967295 134512640 134569956 3221224368 3221214696 1131392892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209970 30608 13086 16 0 209954 0
vsize: 839880
[startup+530.057 s]
Raw data (loadavg): 1.09 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18108 0 1 0 47795 50 0 0 25 0 11 0 837302202 860565504 30671 4294967295 134512640 134569956 3221224368 3221214576 1131355158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 30671 13086 16 0 210083 0
vsize: 840396
[startup+540.058 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18109 0 1 0 48719 50 0 0 24 0 11 0 837302202 860565504 31268 4294967295 134512640 134569956 3221224368 3221214616 1131349990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 31268 13086 16 0 210083 0
vsize: 840396
[startup+550.058 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18109 0 1 0 49679 50 0 0 25 0 11 0 837302202 860565504 31413 4294967295 134512640 134569956 3221224368 3221214660 1131193925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 31413 13086 16 0 210083 0
vsize: 840396
[startup+560.058 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18109 0 1 0 50660 51 0 0 21 0 11 0 837302202 860565504 31484 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 31484 13086 16 0 210083 0
vsize: 840396
[startup+570.059 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 51648 51 0 0 25 0 11 0 837302202 860565504 31547 4294967295 134512640 134569956 3221224368 3221214576 1131353903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210099 31547 13086 16 0 210083 0
vsize: 840396
[startup+580.059 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 52641 51 0 0 25 0 11 0 837302202 860565504 31559 4294967295 134512640 134569956 3221224368 3221214576 1131354713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 31559 13086 16 0 210083 0
vsize: 840396
[startup+590.059 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 53635 51 0 0 25 0 11 0 837302202 860565504 31573 4294967295 134512640 134569956 3221224368 3221214664 1131394064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 31573 13086 16 0 210083 0
vsize: 840396
[startup+600.058 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 54628 51 0 0 25 0 11 0 837302202 860565504 31596 4294967295 134512640 134569956 3221224368 3221214660 1131216480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210099 31596 13086 16 0 210083 0
vsize: 840396
[startup+610.06 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 55621 51 0 0 25 0 11 0 837302202 862662656 31958 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210611 31958 13086 16 0 210595 0
vsize: 842444
[startup+620.06 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 56613 51 0 0 25 0 11 0 837302202 862662656 31972 4294967295 134512640 134569956 3221224368 3221214576 1131355131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 31972 13086 16 0 210595 0
vsize: 842444
[startup+630.06 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18110 0 1 0 57607 51 0 0 25 0 11 0 837302202 862662656 31984 4294967295 134512640 134569956 3221224368 3221214576 1131355139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 31984 13086 16 0 210595 0
vsize: 842444
[startup+640.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 58601 51 0 0 25 0 11 0 837302202 862662656 31999 4294967295 134512640 134569956 3221224368 3221214576 1131353688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 31999 13086 16 0 210595 0
vsize: 842444
[startup+650.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 59594 51 0 0 25 0 11 0 837302202 862662656 32009 4294967295 134512640 134569956 3221224368 3221214664 1131392878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32009 13086 16 0 210595 0
vsize: 842444
[startup+660.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 60587 51 0 0 25 0 11 0 837302202 862662656 32018 4294967295 134512640 134569956 3221224368 3221214576 1131354703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32018 13086 16 0 210595 0
vsize: 842444
[startup+670.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 61582 51 0 0 25 0 11 0 837302202 862662656 32026 4294967295 134512640 134569956 3221224368 3221214656 1131193870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32026 13086 16 0 210595 0
vsize: 842444
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 62568 52 0 0 25 0 11 0 837302202 862662656 32037 4294967295 134512640 134569956 3221224368 3221214576 1131353943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210611 32037 13086 16 0 210595 0
vsize: 842444
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 63561 52 0 0 25 0 11 0 837302202 862662656 32045 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32045 13086 16 0 210595 0
vsize: 842444
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 64554 52 0 0 25 0 11 0 837302202 862662656 32052 4294967295 134512640 134569956 3221224368 3221214576 1131353785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32052 13086 16 0 210595 0
vsize: 842444
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 65546 52 0 0 17 0 11 0 837302202 862662656 32060 4294967295 134512640 134569956 3221224368 3221214664 1131395621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32060 13086 16 0 210595 0
vsize: 842444
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 66538 52 0 0 25 0 11 0 837302202 862662656 32078 4294967295 134512640 134569956 3221224368 3221214664 1131390972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32078 13086 16 0 210595 0
vsize: 842444
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 67531 52 0 0 25 0 11 0 837302202 862662656 32092 4294967295 134512640 134569956 3221224368 3221214664 1131391037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32092 13086 16 0 210595 0
vsize: 842444
[startup+740.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 68525 52 0 0 25 0 11 0 837302202 862662656 32105 4294967295 134512640 134569956 3221224368 3221214576 1131353692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32105 13086 16 0 210595 0
vsize: 842444
[startup+750.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 69518 52 0 0 25 0 11 0 837302202 862662656 32111 4294967295 134512640 134569956 3221224368 3221214660 1131419945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32111 13086 16 0 210595 0
vsize: 842444
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 70512 52 0 0 25 0 11 0 837302202 862662656 32119 4294967295 134512640 134569956 3221224368 3221214568 1131216565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32119 13086 16 0 210595 0
vsize: 842444
[startup+770.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 71506 53 0 0 25 0 11 0 837302202 862662656 32125 4294967295 134512640 134569956 3221224368 3221214576 1131353960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32125 13086 16 0 210595 0
vsize: 842444
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 72499 53 0 0 25 0 11 0 837302202 862662656 32132 4294967295 134512640 134569956 3221224368 3221214664 1131392188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32132 13086 16 0 210595 0
vsize: 842444
[startup+790.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 73493 53 0 0 25 0 11 0 837302202 862662656 32138 4294967295 134512640 134569956 3221224368 3221214664 1131390905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32138 13086 16 0 210595 0
vsize: 842444
[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 74486 54 0 0 25 0 11 0 837302202 862662656 32144 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32144 13086 16 0 210595 0
vsize: 842444
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 75480 54 0 0 25 0 11 0 837302202 862662656 32151 4294967295 134512640 134569956 3221224368 3221214664 1131391056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32151 13086 16 0 210595 0
vsize: 842444
[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 76473 54 0 0 25 0 11 0 837302202 862662656 32157 4294967295 134512640 134569956 3221224368 3221214608 1131258839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32157 13086 16 0 210595 0
vsize: 842444
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 77467 54 0 0 25 0 11 0 837302202 862662656 32163 4294967295 134512640 134569956 3221224368 3221214664 1131394032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32163 13086 16 0 210595 0
vsize: 842444
[startup+840.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 78461 54 0 0 25 0 11 0 837302202 862662656 32168 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32168 13086 16 0 210595 0
vsize: 842444
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 79454 54 0 0 25 0 11 0 837302202 862662656 32174 4294967295 134512640 134569956 3221224368 3221214664 1131390972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32174 13086 16 0 210595 0
vsize: 842444
[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 80448 54 0 0 25 0 11 0 837302202 862662656 32181 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32181 13086 16 0 210595 0
vsize: 842444
[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 81442 54 0 0 25 0 11 0 837302202 862662656 32186 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32186 13086 16 0 210595 0
vsize: 842444
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 82434 55 0 0 25 0 11 0 837302202 862662656 32192 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32192 13086 16 0 210595 0
vsize: 842444
[startup+890.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 83428 55 0 0 25 0 11 0 837302202 862662656 32198 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32198 13086 16 0 210595 0
vsize: 842444
[startup+900.065 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 84422 55 0 0 25 0 11 0 837302202 862662656 32203 4294967295 134512640 134569956 3221224368 3221214664 1131396185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32203 13086 16 0 210595 0
vsize: 842444
[startup+910.066 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 85415 55 0 0 25 0 11 0 837302202 862662656 32209 4294967295 134512640 134569956 3221224368 3221214576 1131354587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32209 13086 16 0 210595 0
vsize: 842444
[startup+920.066 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 86409 55 0 0 25 0 11 0 837302202 862662656 32214 4294967295 134512640 134569956 3221224368 3221214656 1131193902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32214 13086 16 0 210595 0
vsize: 842444
[startup+930.066 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 87402 55 0 0 25 0 11 0 837302202 862662656 32219 4294967295 134512640 134569956 3221224368 3221214280 1131199711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32219 13086 16 0 210595 0
vsize: 842444
[startup+940.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 88394 56 0 0 25 0 11 0 837302202 862662656 32227 4294967295 134512640 134569956 3221224368 3221214664 1131391060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32227 13086 16 0 210595 0
vsize: 842444
[startup+950.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 89386 56 0 0 19 0 11 0 837302202 862662656 32231 4294967295 134512640 134569956 3221224368 3221214576 1131353697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32231 13086 16 0 210595 0
vsize: 842444
[startup+960.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 90378 56 0 0 25 0 11 0 837302202 862662656 32237 4294967295 134512640 134569956 3221224368 3221214664 1131392892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32237 13086 16 0 210595 0
vsize: 842444
[startup+970.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 91368 56 0 0 25 0 11 0 837302202 862662656 32264 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32264 13086 16 0 210595 0
vsize: 842444
[startup+980.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 92360 56 0 0 25 0 11 0 837302202 862662656 32268 4294967295 134512640 134569956 3221224368 3221214576 1131353873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32268 13086 16 0 210595 0
vsize: 842444
[startup+990.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 93352 56 0 0 25 0 11 0 837302202 862662656 32288 4294967295 134512640 134569956 3221224368 3221214576 1131353960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32288 13086 16 0 210595 0
vsize: 842444
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 94344 56 0 0 25 0 11 0 837302202 862662656 32302 4294967295 134512640 134569956 3221224368 3221214576 1131353746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32302 13086 16 0 210595 0
vsize: 842444
[startup+1010.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 95338 56 0 0 25 0 11 0 837302202 862662656 32307 4294967295 134512640 134569956 3221224368 3221214664 1131396756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32307 13086 16 0 210595 0
vsize: 842444
[startup+1020.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 96331 56 0 0 25 0 11 0 837302202 862662656 32311 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32311 13086 16 0 210595 0
vsize: 842444
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 97323 56 0 0 25 0 11 0 837302202 862662656 32316 4294967295 134512640 134569956 3221224368 3221214576 1131353873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32316 13086 16 0 210595 0
vsize: 842444
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 98317 56 0 0 25 0 11 0 837302202 862662656 32321 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32321 13086 16 0 210595 0
vsize: 842444
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 99310 56 0 0 25 0 11 0 837302202 862662656 32326 4294967295 134512640 134569956 3221224368 3221214576 1131353940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32326 13086 16 0 210595 0
vsize: 842444
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 100302 56 0 0 25 0 11 0 837302202 862662656 32330 4294967295 134512640 134569956 3221224368 3221214664 1131396694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32330 13086 16 0 210595 0
vsize: 842444
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 101296 56 0 0 25 0 11 0 837302202 862662656 32335 4294967295 134512640 134569956 3221224368 3221214568 1131216553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32335 13086 16 0 210595 0
vsize: 842444
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 102289 57 0 0 25 0 11 0 837302202 862662656 32340 4294967295 134512640 134569956 3221224368 3221214664 1131392892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32340 13086 16 0 210595 0
vsize: 842444
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 103281 57 0 0 25 0 11 0 837302202 862662656 32345 4294967295 134512640 134569956 3221224368 3221214576 1131353743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32345 13086 16 0 210595 0
vsize: 842444
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 104274 57 0 0 25 0 11 0 837302202 862662656 32349 4294967295 134512640 134569956 3221224368 3221214664 1131396742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32349 13086 16 0 210595 0
vsize: 842444
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 105267 57 0 0 25 0 11 0 837302202 862662656 32354 4294967295 134512640 134569956 3221224368 3221214664 1131390972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32354 13086 16 0 210595 0
vsize: 842444
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 106260 57 0 0 25 0 11 0 837302202 862662656 32359 4294967295 134512640 134569956 3221224368 3221214576 1131353960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32359 13086 16 0 210595 0
vsize: 842444
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 107253 57 0 0 25 0 11 0 837302202 862662656 32362 4294967295 134512640 134569956 3221224368 3221214576 1131354703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32362 13086 16 0 210595 0
vsize: 842444
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 108245 57 0 0 25 0 11 0 837302202 862662656 32367 4294967295 134512640 134569956 3221224368 3221214576 1131355116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32367 13086 16 0 210595 0
vsize: 842444
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 109239 57 0 0 25 0 11 0 837302202 862662656 32371 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32371 13086 16 0 210595 0
vsize: 842444
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 110232 57 0 0 25 0 11 0 837302202 862662656 32375 4294967295 134512640 134569956 3221224368 3221214576 1131354088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32375 13086 16 0 210595 0
vsize: 842444
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 111224 58 0 0 25 0 11 0 837302202 862662656 32379 4294967295 134512640 134569956 3221224368 3221214576 1131353833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32379 13086 16 0 210595 0
vsize: 842444
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 112217 58 0 0 25 0 11 0 837302202 862662656 32384 4294967295 134512640 134569956 3221224368 3221214576 1131353697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32384 13086 16 0 210595 0
vsize: 842444
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 113210 58 0 0 25 0 11 0 837302202 862662656 32387 4294967295 134512640 134569956 3221224368 3221214576 1131354015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32387 13086 16 0 210595 0
vsize: 842444
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 114202 58 0 0 25 0 11 0 837302202 862662656 32392 4294967295 134512640 134569956 3221224368 3221214664 1131394070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32392 13086 16 0 210595 0
vsize: 842444
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 115195 58 0 0 25 0 11 0 837302202 862662656 32397 4294967295 134512640 134569956 3221224368 3221214664 1131397864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32397 13086 16 0 210595 0
vsize: 842444
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 116188 58 0 0 25 0 11 0 837302202 862662656 32400 4294967295 134512640 134569956 3221224368 3221214664 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32400 13086 16 0 210595 0
vsize: 842444
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 117181 58 0 0 25 0 11 0 837302202 862662656 32405 4294967295 134512640 134569956 3221224368 3221214664 1131396192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32405 13086 16 0 210595 0
vsize: 842444
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 118173 58 0 0 25 0 11 0 837302202 862662656 32409 4294967295 134512640 134569956 3221224368 3221214576 1131353847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32409 13086 16 0 210595 0
vsize: 842444
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 119166 58 0 0 25 0 11 0 837302202 862662656 32413 4294967295 134512640 134569956 3221224368 3221214576 1131353736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32413 13086 16 0 210595 0
vsize: 842444
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3740
Raw data (stat): 3728 (java) R 3727 24821 24820 0 -1 0 18111 0 1 0 120159 58 0 0 25 0 11 0 837302202 862662656 32417 4294967295 134512640 134569956 3221224368 3221214664 1131391963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210611 32417 13086 16 0 210595 0
vsize: 842444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3742
Raw data (stat): 3728 (java) Z 3727 24821 24820 0 -1 1036 18111 11927 1 0 120163 58 5639 45 25 0 1 0 837302202 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1260.19
CPU time (s): 1259.07
CPU user time (s): 1258.03
CPU system time (s): 1.04384
CPU usage (%): 99.9113
Max. virtual memory (Kb): 842444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####