Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
MD5SUM5f5cb3c37eae37e49339d7674a999c27
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 172663
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 42533442284
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 30985420800
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 101083836075
Number of bits of the biggest sum of numbers37
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.9357
Number of variables210852
Total number of constraints10500
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 constraints10500
Minimum length of a constraint10
Maximum length of a constraint413

Trace number 29838

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 11:58:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21229 boxname=wulflinc15 idbench=1217 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5f5cb3c37eae37e49339d7674a999c27  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-fit2p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-fit2p.opb
IDLAUNCH: 21229
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        668992 kB
Buffers:         33460 kB
Cached:         309948 kB
SwapCached:        672 kB
Active:          86812 kB
Inactive:       258668 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        668740 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14464 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:20:02 (client local time) WITH STATUS 143 IN 1312.08 SECONDS
stats: 21229 7 1312.08 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/wulflinc15/normalized-mps-v2-13-7-fit2p.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.166
#### 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): 1.06 1.01 1.00 1/54 7875
Raw data (stat): 7875 (runsolver) D 7874 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 780471293 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99976 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18015 0 1 0 863 40 0 0 25 0 10 0 780471293 853630976 19359 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 19359 13086 16 0 208390 0
vsize: 833624
[startup+20.0005 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 1762 40 0 0 25 0 10 0 780471293 854417408 20010 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208598 20010 13086 16 0 208582 0
vsize: 834392
[startup+30.0011 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 2653 40 0 0 25 0 10 0 780471293 854417408 20517 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208598 20517 13086 16 0 208582 0
vsize: 834392
[startup+40.0023 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 3569 40 0 0 25 0 10 0 780471293 854183936 20825 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208541 20825 13086 16 0 208525 0
vsize: 834164
[startup+50.008 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 4491 40 0 0 25 0 10 0 780471293 854183936 20991 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208541 20991 13086 16 0 208525 0
vsize: 834164
[startup+60.0084 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 5411 41 0 0 25 0 10 0 780471293 854183936 21119 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208541 21119 13086 16 0 208525 0
vsize: 834164
[startup+70.0089 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 6339 41 0 0 25 0 10 0 780471293 853880832 21343 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21343 13086 16 0 208451 0
vsize: 833868
[startup+80.0097 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 7281 41 0 0 25 0 10 0 780471293 853880832 21442 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21442 13086 16 0 208451 0
vsize: 833868
[startup+90.0112 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 8221 41 0 0 25 0 10 0 780471293 853880832 21537 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21537 13086 16 0 208451 0
vsize: 833868
[startup+100.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 9161 41 0 0 24 0 10 0 780471293 853880832 21625 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21625 13086 16 0 208451 0
vsize: 833868
[startup+110.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 7884
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 10106 41 0 0 25 0 10 0 780471293 853880832 21704 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21704 13086 16 0 208451 0
vsize: 833868
[startup+120.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 7937
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 11041 46 0 0 23 0 10 0 780471293 853880832 21782 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21782 13086 16 0 208451 0
vsize: 833868
[startup+130.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 7937
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 11983 46 0 0 25 0 10 0 780471293 853880832 21853 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21853 13086 16 0 208451 0
vsize: 833868
[startup+140.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 7937
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 12928 46 0 0 25 0 10 0 780471293 853880832 21921 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21921 13086 16 0 208451 0
vsize: 833868
[startup+150.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 7937
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 13870 46 0 0 25 0 10 0 780471293 853880832 21988 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21988 13086 16 0 208451 0
vsize: 833868
[startup+160.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 7937
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 14811 46 0 0 25 0 10 0 780471293 853880832 22053 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22053 13086 16 0 208451 0
vsize: 833868
[startup+170.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7937
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 15752 46 0 0 25 0 10 0 780471293 853880832 22112 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22112 13086 16 0 208451 0
vsize: 833868
[startup+180.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7937
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 16664 47 0 0 24 0 10 0 780471293 853880832 22171 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22171 13086 16 0 208451 0
vsize: 833868
[startup+190.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 17586 47 0 0 19 0 10 0 780471293 853880832 22483 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22483 13086 16 0 208451 0
vsize: 833868
[startup+200.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 18524 47 0 0 24 0 10 0 780471293 853880832 22539 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22539 13086 16 0 208451 0
vsize: 833868
[startup+210.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 19465 48 0 0 25 0 10 0 780471293 853880832 22591 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22591 13086 16 0 208451 0
vsize: 833868
[startup+220.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 20403 48 0 0 25 0 10 0 780471293 853880832 22644 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22644 13086 16 0 208451 0
vsize: 833868
[startup+230.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 21343 48 0 0 25 0 10 0 780471293 853880832 22693 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22693 13086 16 0 208451 0
vsize: 833868
[startup+240.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 22280 48 0 0 25 0 10 0 780471293 853880832 22745 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22745 13086 16 0 208451 0
vsize: 833868
[startup+250.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 23216 49 0 0 24 0 10 0 780471293 853880832 22794 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22794 13086 16 0 208451 0
vsize: 833868
[startup+260.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 24155 49 0 0 25 0 10 0 780471293 853880832 22840 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22840 13086 16 0 208451 0
vsize: 833868
[startup+270.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 25091 50 0 0 25 0 10 0 780471293 853880832 22887 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22887 13086 16 0 208451 0
vsize: 833868
[startup+280.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 26030 50 0 0 25 0 10 0 780471293 853880832 22931 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22931 13086 16 0 208451 0
vsize: 833868
[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 26964 50 0 0 25 0 10 0 780471293 853880832 22977 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 22977 13086 16 0 208451 0
vsize: 833868
[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 27902 51 0 0 25 0 10 0 780471293 853880832 23019 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23019 13086 16 0 208451 0
vsize: 833868
[startup+310.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 28836 51 0 0 24 0 10 0 780471293 853880832 23063 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23063 13086 16 0 208451 0
vsize: 833868
[startup+320.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 29772 52 0 0 25 0 10 0 780471293 853880832 23103 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23103 13086 16 0 208451 0
vsize: 833868
[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 30709 52 0 0 25 0 10 0 780471293 853880832 23143 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23143 13086 16 0 208451 0
vsize: 833868
[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 31642 52 0 0 25 0 10 0 780471293 853880832 23185 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23185 13086 16 0 208451 0
vsize: 833868
[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 32578 53 0 0 25 0 10 0 780471293 853880832 23223 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23223 13086 16 0 208451 0
vsize: 833868
[startup+360.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 33509 53 0 0 25 0 10 0 780471293 853880832 23265 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23265 13086 16 0 208451 0
vsize: 833868
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 34444 53 0 0 25 0 10 0 780471293 853880832 23302 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23302 13086 16 0 208451 0
vsize: 833868
[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 35378 54 0 0 25 0 10 0 780471293 853880832 23339 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23339 13086 16 0 208451 0
vsize: 833868
[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 36309 54 0 0 25 0 10 0 780471293 853880832 23378 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23378 13086 16 0 208451 0
vsize: 833868
[startup+400.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 37242 54 0 0 25 0 10 0 780471293 853880832 23414 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23414 13086 16 0 208451 0
vsize: 833868
[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 38170 55 0 0 25 0 10 0 780471293 853880832 23452 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23452 13086 16 0 208451 0
vsize: 833868
[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 39103 56 0 0 25 0 10 0 780471293 853880832 23487 4294967295 134512640 134569956 3221224368 3221213936 1079753249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23487 13086 16 0 208451 0
vsize: 833868
[startup+430.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 40036 56 0 0 25 0 10 0 780471293 853880832 23522 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23522 13086 16 0 208451 0
vsize: 833868
[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 40968 57 0 0 25 0 10 0 780471293 853880832 23556 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23556 13086 16 0 208451 0
vsize: 833868
[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 41896 57 0 0 25 0 10 0 780471293 853880832 23592 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23592 13086 16 0 208451 0
vsize: 833868
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 42828 58 0 0 25 0 10 0 780471293 853880832 23625 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23625 13086 16 0 208451 0
vsize: 833868
[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7939
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 43760 58 0 0 25 0 10 0 780471293 853880832 23658 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23658 13086 16 0 208451 0
vsize: 833868
[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 44687 58 0 0 24 0 10 0 780471293 853880832 23693 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23693 13086 16 0 208451 0
vsize: 833868
[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 45617 59 0 0 25 0 10 0 780471293 853880832 23725 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23725 13086 16 0 208451 0
vsize: 833868
[startup+500.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 46547 59 0 0 25 0 10 0 780471293 853880832 23758 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23758 13086 16 0 208451 0
vsize: 833868
[startup+510.048 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 47477 59 0 0 25 0 10 0 780471293 853880832 23790 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23790 13086 16 0 208451 0
vsize: 833868
[startup+520.049 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 48401 60 0 0 25 0 10 0 780471293 853880832 23823 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23823 13086 16 0 208451 0
vsize: 833868
[startup+530.049 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 49330 60 0 0 25 0 10 0 780471293 853880832 23854 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23854 13086 16 0 208451 0
vsize: 833868
[startup+540.051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 50258 60 0 0 25 0 10 0 780471293 853880832 23885 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23885 13086 16 0 208451 0
vsize: 833868
[startup+550.052 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 51181 60 0 0 24 0 10 0 780471293 853880832 23917 4294967295 134512640 134569956 3221224368 3221214100 1076877600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23917 13086 16 0 208451 0
vsize: 833868
[startup+560.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 52109 60 0 0 25 0 10 0 780471293 853880832 23947 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23947 13086 16 0 208451 0
vsize: 833868
[startup+570.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 53038 61 0 0 25 0 10 0 780471293 853880832 23977 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23977 13086 16 0 208451 0
vsize: 833868
[startup+580.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 53965 61 0 0 25 0 10 0 780471293 853880832 24006 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24006 13086 16 0 208451 0
vsize: 833868
[startup+590.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 54887 61 0 0 24 0 10 0 780471293 853880832 24037 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24037 13086 16 0 208451 0
vsize: 833868
[startup+600.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 55812 61 0 0 25 0 10 0 780471293 853880832 24066 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24066 13086 16 0 208451 0
vsize: 833868
[startup+610.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 56738 61 0 0 25 0 10 0 780471293 853880832 24095 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24095 13086 16 0 208451 0
vsize: 833868
[startup+620.068 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 57663 61 0 0 22 0 10 0 780471293 853880832 24124 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24124 13086 16 0 208451 0
vsize: 833868
[startup+630.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 58586 62 0 0 25 0 10 0 780471293 853880832 24153 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24153 13086 16 0 208451 0
vsize: 833868
[startup+640.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 59509 62 0 0 24 0 10 0 780471293 853880832 24182 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24182 13086 16 0 208451 0
vsize: 833868
[startup+650.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 60434 62 0 0 20 0 10 0 780471293 853880832 24210 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24210 13086 16 0 208451 0
vsize: 833868
[startup+660.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 61357 62 0 0 21 0 10 0 780471293 853880832 24237 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 24237 13086 16 0 208451 0
vsize: 833868
[startup+670.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 62277 62 0 0 25 0 10 0 780471293 853880832 25152 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25152 13086 16 0 208451 0
vsize: 833868
[startup+680.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 63198 62 0 0 25 0 10 0 780471293 853880832 25152 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25152 13086 16 0 208451 0
vsize: 833868
[startup+690.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 64113 63 0 0 25 0 10 0 780471293 853880832 25171 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25171 13086 16 0 208451 0
vsize: 833868
[startup+700.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 65027 63 0 0 25 0 10 0 780471293 853880832 25198 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25198 13086 16 0 208451 0
vsize: 833868
[startup+710.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 65940 63 0 0 25 0 10 0 780471293 853880832 25224 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25224 13086 16 0 208451 0
vsize: 833868
[startup+720.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 66853 63 0 0 25 0 10 0 780471293 853880832 25251 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25251 13086 16 0 208451 0
vsize: 833868
[startup+730.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 67766 63 0 0 25 0 10 0 780471293 853880832 25277 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25277 13086 16 0 208451 0
vsize: 833868
[startup+740.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 68679 63 0 0 25 0 10 0 780471293 853880832 25303 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25303 13086 16 0 208451 0
vsize: 833868
[startup+750.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 69591 63 0 0 25 0 10 0 780471293 853880832 25329 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25329 13086 16 0 208451 0
vsize: 833868
[startup+760.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 70503 63 0 0 25 0 10 0 780471293 853880832 25355 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25355 13086 16 0 208451 0
vsize: 833868
[startup+770.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 71414 64 0 0 25 0 10 0 780471293 853880832 25380 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25380 13086 16 0 208451 0
vsize: 833868
[startup+780.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 72326 64 0 0 25 0 10 0 780471293 853880832 25406 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25406 13086 16 0 208451 0
vsize: 833868
[startup+790.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 73237 64 0 0 25 0 10 0 780471293 853880832 25431 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25431 13086 16 0 208451 0
vsize: 833868
[startup+800.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 74147 64 0 0 25 0 10 0 780471293 853880832 25456 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25456 13086 16 0 208451 0
vsize: 833868
[startup+810.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 75056 64 0 0 25 0 10 0 780471293 853880832 25481 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25481 13086 16 0 208451 0
vsize: 833868
[startup+820.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 75964 65 0 0 24 0 10 0 780471293 853880832 25506 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25506 13086 16 0 208451 0
vsize: 833868
[startup+830.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 76878 65 0 0 25 0 10 0 780471293 853880832 25529 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25529 13086 16 0 208451 0
vsize: 833868
[startup+840.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 77788 65 0 0 25 0 10 0 780471293 853880832 25553 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25553 13086 16 0 208451 0
vsize: 833868
[startup+850.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 78698 65 0 0 25 0 10 0 780471293 853880832 25577 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25577 13086 16 0 208451 0
vsize: 833868
[startup+860.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 79607 65 0 0 25 0 10 0 780471293 853880832 25602 4294967295 134512640 134569956 3221224368 3221213936 1076409057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25602 13086 16 0 208451 0
vsize: 833868
[startup+870.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 80515 65 0 0 25 0 10 0 780471293 853880832 25627 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25627 13086 16 0 208451 0
vsize: 833868
[startup+880.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 81423 65 0 0 25 0 10 0 780471293 853880832 25650 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25650 13086 16 0 208451 0
vsize: 833868
[startup+890.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 82330 65 0 0 24 0 10 0 780471293 853880832 25674 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25674 13086 16 0 208451 0
vsize: 833868
[startup+900.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 83242 66 0 0 25 0 10 0 780471293 853880832 25696 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25696 13086 16 0 208451 0
vsize: 833868
[startup+910.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 84150 66 0 0 25 0 10 0 780471293 853880832 25720 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25720 13086 16 0 208451 0
vsize: 833868
[startup+920.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 85057 66 0 0 25 0 10 0 780471293 853880832 25743 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25743 13086 16 0 208451 0
vsize: 833868
[startup+930.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 85963 67 0 0 25 0 10 0 780471293 853880832 25766 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25766 13086 16 0 208451 0
vsize: 833868
[startup+940.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 86870 68 0 0 24 0 10 0 780471293 853880832 25789 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25789 13086 16 0 208451 0
vsize: 833868
[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 87780 68 0 0 25 0 10 0 780471293 853880832 25812 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25812 13086 16 0 208451 0
vsize: 833868
[startup+960.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 88686 68 0 0 25 0 10 0 780471293 853880832 25840 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25840 13086 16 0 208451 0
vsize: 833868
[startup+970.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 89591 69 0 0 25 0 10 0 780471293 853880832 25864 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25864 13086 16 0 208451 0
vsize: 833868
[startup+980.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 90496 69 0 0 25 0 10 0 780471293 853880832 25893 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25893 13086 16 0 208451 0
vsize: 833868
[startup+990.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 91400 70 0 0 24 0 10 0 780471293 853880832 25916 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25916 13086 16 0 208451 0
vsize: 833868
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 92310 70 0 0 25 0 10 0 780471293 853880832 25943 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25943 13086 16 0 208451 0
vsize: 833868
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 93214 70 0 0 25 0 10 0 780471293 853880832 25967 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25967 13086 16 0 208451 0
vsize: 833868
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 94118 71 0 0 25 0 10 0 780471293 853880832 25989 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25989 13086 16 0 208451 0
vsize: 833868
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 95022 72 0 0 24 0 10 0 780471293 853880832 26020 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26020 13086 16 0 208451 0
vsize: 833868
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 95932 72 0 0 25 0 10 0 780471293 853880832 26043 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26043 13086 16 0 208451 0
vsize: 833868
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 96836 72 0 0 21 0 10 0 780471293 853880832 26070 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26070 13086 16 0 208451 0
vsize: 833868
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 97739 73 0 0 19 0 10 0 780471293 853880832 26094 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26094 13086 16 0 208451 0
vsize: 833868
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 98646 73 0 0 23 0 10 0 780471293 853880832 26120 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26120 13086 16 0 208451 0
vsize: 833868
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 99547 73 0 0 20 0 10 0 780471293 853880832 26144 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26144 13086 16 0 208451 0
vsize: 833868
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 100451 73 0 0 19 0 10 0 780471293 853880832 26165 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26165 13086 16 0 208451 0
vsize: 833868
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 101359 74 0 0 22 0 10 0 780471293 853880832 26192 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26192 13086 16 0 208451 0
vsize: 833868
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 102260 75 0 0 19 0 10 0 780471293 853880832 26218 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26218 13086 16 0 208451 0
vsize: 833868
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) S 7874 23514 23513 0 -1 0 18016 0 1 0 103166 75 0 0 23 0 10 0 780471293 853880832 26241 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26241 13086 16 0 208451 0
vsize: 833868
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 104069 75 0 0 22 0 10 0 780471293 853880832 26267 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26267 13086 16 0 208451 0
vsize: 833868
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 104969 76 0 0 19 0 10 0 780471293 853880832 26291 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26291 13086 16 0 208451 0
vsize: 833868
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 105876 76 0 0 23 0 10 0 780471293 853880832 26310 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26310 13086 16 0 208451 0
vsize: 833868
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 106775 76 0 0 21 0 10 0 780471293 853880832 26337 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26337 13086 16 0 208451 0
vsize: 833868
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 107676 77 0 0 18 0 10 0 780471293 853880832 26362 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26362 13086 16 0 208451 0
vsize: 833868
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 108582 77 0 0 22 0 10 0 780471293 853880832 26383 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26383 13086 16 0 208451 0
vsize: 833868
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 109482 78 0 0 20 0 10 0 780471293 853880832 26408 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26408 13086 16 0 208451 0
vsize: 833868
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 110386 78 0 0 23 0 10 0 780471293 853880832 26432 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26432 13086 16 0 208451 0
vsize: 833868
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 111283 78 0 0 20 0 10 0 780471293 853880832 26455 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26455 13086 16 0 208451 0
vsize: 833868
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 112181 79 0 0 18 0 10 0 780471293 853880832 26478 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26478 13086 16 0 208451 0
vsize: 833868
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 113087 79 0 0 22 0 10 0 780471293 853880832 26497 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26497 13086 16 0 208451 0
vsize: 833868
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 113985 79 0 0 19 0 10 0 780471293 853880832 26517 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26517 13086 16 0 208451 0
vsize: 833868
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 114890 79 0 0 23 0 10 0 780471293 853880832 26536 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26536 13086 16 0 208451 0
vsize: 833868
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 115787 80 0 0 20 0 10 0 780471293 853880832 26569 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26569 13086 16 0 208451 0
vsize: 833868
[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 116685 80 0 0 19 0 10 0 780471293 853880832 26588 4294967295 134512640 134569956 3221224368 3221214216 1080019622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26588 13086 16 0 208451 0
vsize: 833868
[startup+1280.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 117590 81 0 0 23 0 10 0 780471293 853880832 26624 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26624 13086 16 0 208451 0
vsize: 833868
[startup+1290.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 118490 81 0 0 20 0 10 0 780471293 853880832 26635 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26635 13086 16 0 208451 0
vsize: 833868
[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 119392 81 0 0 19 0 10 0 780471293 853880832 26662 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26662 13086 16 0 208451 0
vsize: 833868
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7941
Raw data (stat): 7875 (java) R 7874 23514 23513 0 -1 0 18016 0 1 0 120301 82 0 0 24 0 10 0 780471293 853880832 26692 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26692 13086 16 0 208451 0
vsize: 833868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7943
Raw data (stat): 7875 (java) Z 7874 23514 23513 0 -1 1036 18016 9269 1 0 120303 87 10771 45 19 0 1 0 780471293 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): 1310.31
CPU time (s): 1312.08
CPU user time (s): 1310.76
CPU system time (s): 1.3278
CPU usage (%): 100.135
Max. virtual memory (Kb): 834392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####