Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2.opb
MD5SUMa1d50263b520d58c9e2807bbf8bc2f07
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 9432
Biggest coefficient in the objective function 409031671808
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 179181298104960
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 409031671808
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 179181298104960
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.120981
Number of variables13368
Total number of constraints2112
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints1824
Minimum length of a constraint1
Maximum length of a constraint209

Trace number 29962

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 13:13:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21363 boxname=wulflinc9 idbench=1351 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a1d50263b520d58c9e2807bbf8bc2f07  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-gesa2.opb
IDLAUNCH: 21363
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        457876 kB
Buffers:         34980 kB
Cached:         520200 kB
SwapCached:        584 kB
Active:          57496 kB
Inactive:       499764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        457624 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13788 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:34:02 (client local time) WITH STATUS 143 IN 1237.81 SECONDS
stats: 21363 7 1237.81 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/wulflinc9/normalized-mps-v2-13-7-gesa2.opb
c reading problem ... done. Time 57.065 ms.
c #vars     13368
c #constraints  1872
c starts	: 10
c conflicts	: 10990
c decisions	: 15535
c propagations	: 41799
c inspects	: 4022926
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10990
c root simplifications	: 23
s UNKNOWN
c Total CPU time (ms) : 1239.147
#### 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.94 0.99 0.99 2/54 20349
Raw data (stat): 20349 (runsolver) R 20348 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780927379 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 20358
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18033 0 1 0 874 37 0 0 24 0 10 0 780927379 853835776 19350 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 19350 13086 16 0 208440 0
vsize: 833824
[startup+20.0008 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 20358
Raw data (stat): 20349 (java) S 20348 3944 3943 0 -1 0 18034 0 1 0 1776 37 0 0 25 0 10 0 780927379 855461888 20184 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208853 20184 13086 16 0 208837 0
vsize: 835412
[startup+30.0016 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 20358
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18034 0 1 0 2670 37 0 0 25 0 10 0 780927379 854851584 20564 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208704 20564 13086 16 0 208688 0
vsize: 834816
[startup+40.005 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 20358
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18047 0 1 0 3533 38 0 0 24 0 10 0 780927379 856854528 21390 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209193 21390 13086 16 0 209177 0
vsize: 836772
[startup+50.0058 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 20358
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18047 0 1 0 4410 39 0 0 24 0 10 0 780927379 856854528 21549 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209193 21549 13086 16 0 209177 0
vsize: 836772
[startup+60.0059 s]
Raw data (loadavg): 1.06 1.01 1.00 3/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18086 0 1 0 5273 39 0 0 25 0 11 0 780927379 857845760 22239 4294967295 134512640 134569956 3221224368 3221214376 1130912067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209435 22239 13086 16 0 209419 0
vsize: 837740
[startup+70.0067 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18090 0 1 0 6091 40 0 0 25 0 11 0 780927379 862752768 24064 4294967295 134512640 134569956 3221224368 3221214664 1131468716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210633 24064 13086 16 0 210617 0
vsize: 842532
[startup+80.0074 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18091 0 1 0 7027 40 0 0 25 0 11 0 780927379 861704192 24509 4294967295 134512640 134569956 3221224368 3221214448 1131416522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 24509 13086 16 0 210361 0
vsize: 841508
[startup+90.0083 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 7948 40 0 0 25 0 11 0 780927379 861704192 25004 4294967295 134512640 134569956 3221224368 3221214552 1131274923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 25004 13086 16 0 210361 0
vsize: 841508
[startup+100.009 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 8895 40 0 0 25 0 11 0 780927379 861704192 25557 4294967295 134512640 134569956 3221224368 3221214496 1131408361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 25557 13086 16 0 210361 0
vsize: 841508
[startup+110.009 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 9869 40 0 0 25 0 11 0 780927379 861704192 25907 4294967295 134512640 134569956 3221224368 3221214312 1131613320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 25907 13086 16 0 210361 0
vsize: 841508
[startup+120.01 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 10834 41 0 0 25 0 11 0 780927379 861704192 26276 4294967295 134512640 134569956 3221224368 3221214288 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 26276 13086 16 0 210361 0
vsize: 841508
[startup+130.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 11790 41 0 0 24 0 11 0 780927379 861704192 26574 4294967295 134512640 134569956 3221224368 3221213904 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 26574 13086 16 0 210361 0
vsize: 841508
[startup+140.01 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 12767 41 0 0 25 0 11 0 780927379 861704192 26745 4294967295 134512640 134569956 3221224368 3221213880 1131317761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 26745 13086 16 0 210361 0
vsize: 841508
[startup+150.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 13734 41 0 0 25 0 11 0 780927379 861704192 26893 4294967295 134512640 134569956 3221224368 3221214440 1131275823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 26893 13086 16 0 210361 0
vsize: 841508
[startup+160.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 14700 41 0 0 25 0 11 0 780927379 861704192 27158 4294967295 134512640 134569956 3221224368 3221214364 1131317664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 27158 13086 16 0 210361 0
vsize: 841508
[startup+170.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 15676 41 0 0 25 0 11 0 780927379 861704192 27384 4294967295 134512640 134569956 3221224368 3221213864 1131613225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 27384 13086 16 0 210361 0
vsize: 841508
[startup+180.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 16642 41 0 0 25 0 11 0 780927379 861704192 27619 4294967295 134512640 134569956 3221224368 3221214648 1131467519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 27619 13086 16 0 210361 0
vsize: 841508
[startup+190.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 17619 41 0 0 25 0 11 0 780927379 861704192 27771 4294967295 134512640 134569956 3221224368 3221214648 1131469315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 27771 13086 16 0 210361 0
vsize: 841508
[startup+200.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 18597 41 0 0 25 0 11 0 780927379 861704192 27924 4294967295 134512640 134569956 3221224368 3221214580 1131245472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 27924 13086 16 0 210361 0
vsize: 841508
[startup+210.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) S 20348 3944 3943 0 -1 0 18092 0 1 0 19570 41 0 0 25 0 11 0 780927379 861704192 28121 4294967295 134512640 134569956 3221224368 3221213192 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 28121 13086 16 0 210361 0
vsize: 841508
[startup+220.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 20541 41 0 0 25 0 11 0 780927379 861704192 28322 4294967295 134512640 134569956 3221224368 3221214304 1131317138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 28322 13086 16 0 210361 0
vsize: 841508
[startup+230.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 21519 41 0 0 25 0 11 0 780927379 861704192 28477 4294967295 134512640 134569956 3221224368 3221214032 1131613372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 28477 13086 16 0 210361 0
vsize: 841508
[startup+240.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18092 0 1 0 22497 41 0 0 25 0 11 0 780927379 861704192 28563 4294967295 134512640 134569956 3221224368 3221214028 1131613355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 28563 13086 16 0 210361 0
vsize: 841508
[startup+250.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 23474 41 0 0 25 0 11 0 780927379 861704192 28716 4294967295 134512640 134569956 3221224368 3221214408 1131313386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 28716 13086 16 0 210361 0
vsize: 841508
[startup+260.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 24452 42 0 0 25 0 11 0 780927379 861704192 28868 4294967295 134512640 134569956 3221224368 3221214264 1131317788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 28868 13086 16 0 210361 0
vsize: 841508
[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 25419 42 0 0 25 0 11 0 780927379 861704192 29017 4294967295 134512640 134569956 3221224368 3221213872 1131613234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29017 13086 16 0 210361 0
vsize: 841508
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 26396 42 0 0 25 0 11 0 780927379 861704192 29174 4294967295 134512640 134569956 3221224368 3221213520 1131311338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29174 13086 16 0 210361 0
vsize: 841508
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 27374 42 0 0 25 0 11 0 780927379 861704192 29309 4294967295 134512640 134569956 3221224368 3221213952 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29309 13086 16 0 210361 0
vsize: 841508
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 28342 42 0 0 25 0 11 0 780927379 861704192 29445 4294967295 134512640 134569956 3221224368 3221214248 1131613384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29445 13086 16 0 210361 0
vsize: 841508
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 29309 42 0 0 25 0 11 0 780927379 861704192 29579 4294967295 134512640 134569956 3221224368 3221214256 1131613225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29579 13086 16 0 210361 0
vsize: 841508
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 30288 42 0 0 25 0 11 0 780927379 861704192 29642 4294967295 134512640 134569956 3221224368 3221213840 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 29642 13086 16 0 210361 0
vsize: 841508
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 31255 42 0 0 25 0 11 0 780927379 861704192 29779 4294967295 134512640 134569956 3221224368 3221214328 1131346008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29779 13086 16 0 210361 0
vsize: 841508
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 32234 42 0 0 25 0 11 0 780927379 861704192 29903 4294967295 134512640 134569956 3221224368 3221213872 1131613386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29903 13086 16 0 210361 0
vsize: 841508
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 33202 43 0 0 25 0 11 0 780927379 861704192 29973 4294967295 134512640 134569956 3221224368 3221213656 1131317685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 29973 13086 16 0 210361 0
vsize: 841508
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 34169 43 0 0 24 0 11 0 780927379 861704192 30132 4294967295 134512640 134569956 3221224368 3221214488 1131258577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30132 13086 16 0 210361 0
vsize: 841508
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 35148 43 0 0 25 0 11 0 780927379 861704192 30193 4294967295 134512640 134569956 3221224368 3221213768 1131317850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30193 13086 16 0 210361 0
vsize: 841508
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 36126 43 0 0 25 0 11 0 780927379 861704192 30309 4294967295 134512640 134569956 3221224368 3221214208 1131317841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30309 13086 16 0 210361 0
vsize: 841508
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 37093 43 0 0 25 0 11 0 780927379 861704192 30438 4294967295 134512640 134569956 3221224368 3221213756 1131317776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30438 13086 16 0 210361 0
vsize: 841508
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 38072 43 0 0 25 0 11 0 780927379 861704192 30511 4294967295 134512640 134569956 3221224368 3221214464 1131313554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30511 13086 16 0 210361 0
vsize: 841508
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 39039 43 0 0 25 0 11 0 780927379 861704192 30640 4294967295 134512640 134569956 3221224368 3221213540 1131317835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30640 13086 16 0 210361 0
vsize: 841508
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 40018 43 0 0 25 0 11 0 780927379 861704192 30687 4294967295 134512640 134569956 3221224368 3221214584 1131307010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30687 13086 16 0 210361 0
vsize: 841508
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 40996 43 0 0 25 0 11 0 780927379 861704192 30765 4294967295 134512640 134569956 3221224368 3221213840 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 30765 13086 16 0 210361 0
vsize: 841508
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 41963 43 0 0 25 0 11 0 780927379 861704192 30939 4294967295 134512640 134569956 3221224368 3221214432 1131317733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 30939 13086 16 0 210361 0
vsize: 841508
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 42941 43 0 0 25 0 11 0 780927379 861704192 31020 4294967295 134512640 134569956 3221224368 3221214488 1131257141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31020 13086 16 0 210361 0
vsize: 841508
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 43919 43 0 0 25 0 11 0 780927379 861704192 31154 4294967295 134512640 134569956 3221224368 3221214316 1131317840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31154 13086 16 0 210361 0
vsize: 841508
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 44887 43 0 0 25 0 11 0 780927379 861704192 31247 4294967295 134512640 134569956 3221224368 3221213980 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31247 13086 16 0 210361 0
vsize: 841508
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 45865 43 0 0 25 0 11 0 780927379 861704192 31328 4294967295 134512640 134569956 3221224368 3221214344 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31328 13086 16 0 210361 0
vsize: 841508
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 46844 43 0 0 25 0 11 0 780927379 861704192 31417 4294967295 134512640 134569956 3221224368 3221214096 1131317841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31417 13086 16 0 210361 0
vsize: 841508
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 47812 44 0 0 25 0 11 0 780927379 861704192 31535 4294967295 134512640 134569956 3221224368 3221214248 1131317141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31535 13086 16 0 210361 0
vsize: 841508
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 48790 44 0 0 25 0 11 0 780927379 861704192 31616 4294967295 134512640 134569956 3221224368 3221213488 1131317816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 31616 13086 16 0 210361 0
vsize: 841508
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 49769 44 0 0 25 0 11 0 780927379 861704192 31717 4294967295 134512640 134569956 3221224368 3221214584 1131307186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31717 13086 16 0 210361 0
vsize: 841508
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 50747 44 0 0 25 0 11 0 780927379 861704192 31808 4294967295 134512640 134569956 3221224368 3221214488 1131257066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31808 13086 16 0 210361 0
vsize: 841508
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 51714 44 0 0 25 0 11 0 780927379 861704192 31955 4294967295 134512640 134569956 3221224368 3221214248 1131613384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 31955 13086 16 0 210361 0
vsize: 841508
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 52692 44 0 0 25 0 11 0 780927379 861704192 32016 4294967295 134512640 134569956 3221224368 3221213928 1131613340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32016 13086 16 0 210361 0
vsize: 841508
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 53670 44 0 0 25 0 11 0 780927379 861704192 32089 4294967295 134512640 134569956 3221224368 3221214488 1131256929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32089 13086 16 0 210361 0
vsize: 841508
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 54648 44 0 0 25 0 11 0 780927379 861704192 32167 4294967295 134512640 134569956 3221224368 3221213540 1131317784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32167 13086 16 0 210361 0
vsize: 841508
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 55627 44 0 0 25 0 11 0 780927379 861704192 32245 4294967295 134512640 134569956 3221224368 3221214360 1131317141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32245 13086 16 0 210361 0
vsize: 841508
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 56605 44 0 0 25 0 11 0 780927379 861704192 32315 4294967295 134512640 134569956 3221224368 3221214584 1131307366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32315 13086 16 0 210361 0
vsize: 841508
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) S 20348 3944 3943 0 -1 0 18093 0 1 0 57580 44 0 0 25 0 11 0 780927379 861704192 32411 4294967295 134512640 134569956 3221224368 3221213176 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32411 13086 16 0 210361 0
vsize: 841508
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 58551 44 0 0 25 0 11 0 780927379 861704192 32539 4294967295 134512640 134569956 3221224368 3221213928 1131317905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32539 13086 16 0 210361 0
vsize: 841508
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 59530 44 0 0 25 0 11 0 780927379 861704192 32539 4294967295 134512640 134569956 3221224368 3221214648 1131467512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32539 13086 16 0 210361 0
vsize: 841508
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 60497 44 0 0 25 0 11 0 780927379 861704192 32655 4294967295 134512640 134569956 3221224368 3221213800 1131613384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32655 13086 16 0 210361 0
vsize: 841508
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 61465 44 0 0 25 0 11 0 780927379 861704192 32785 4294967295 134512640 134569956 3221224368 3221213512 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32785 13086 16 0 210361 0
vsize: 841508
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 62443 44 0 0 25 0 11 0 780927379 861704192 32822 4294967295 134512640 134569956 3221224368 3221214144 1131613372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32822 13086 16 0 210361 0
vsize: 841508
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 63411 44 0 0 25 0 11 0 780927379 861704192 32896 4294967295 134512640 134569956 3221224368 3221213904 1131313540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32896 13086 16 0 210361 0
vsize: 841508
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 64389 45 0 0 25 0 11 0 780927379 861704192 32966 4294967295 134512640 134569956 3221224368 3221214280 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 32966 13086 16 0 210361 0
vsize: 841508
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 65357 45 0 0 25 0 11 0 780927379 861704192 33034 4294967295 134512640 134569956 3221224368 3221213712 1131317788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33034 13086 16 0 210361 0
vsize: 841508
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 66336 45 0 0 25 0 11 0 780927379 861704192 33106 4294967295 134512640 134569956 3221224368 3221214584 1131307430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33106 13086 16 0 210361 0
vsize: 841508
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 67303 45 0 0 25 0 11 0 780927379 861704192 33177 4294967295 134512640 134569956 3221224368 3221214488 1131257014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33177 13086 16 0 210361 0
vsize: 841508
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 68281 45 0 0 25 0 11 0 780927379 861704192 33213 4294967295 134512640 134569956 3221224368 3221214648 1131467347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33213 13086 16 0 210361 0
vsize: 841508
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 69248 45 0 0 25 0 11 0 780927379 861704192 33305 4294967295 134512640 134569956 3221224368 3221214488 1131256880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33305 13086 16 0 210361 0
vsize: 841508
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 70226 45 0 0 25 0 11 0 780927379 861704192 33370 4294967295 134512640 134569956 3221224368 3221214648 1131467576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33370 13086 16 0 210361 0
vsize: 841508
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 71204 45 0 0 25 0 11 0 780927379 861704192 33436 4294967295 134512640 134569956 3221224368 3221214488 1131258426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33436 13086 16 0 210361 0
vsize: 841508
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 72172 45 0 0 25 0 11 0 780927379 861704192 33497 4294967295 134512640 134569956 3221224368 3221214208 1131317841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33497 13086 16 0 210361 0
vsize: 841508
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 73150 45 0 0 25 0 11 0 780927379 861704192 33582 4294967295 134512640 134569956 3221224368 3221214368 1131613312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33582 13086 16 0 210361 0
vsize: 841508
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 74129 45 0 0 25 0 11 0 780927379 861704192 33644 4294967295 134512640 134569956 3221224368 3221214648 1131468704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33644 13086 16 0 210361 0
vsize: 841508
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 75097 45 0 0 25 0 11 0 780927379 861704192 33730 4294967295 134512640 134569956 3221224368 3221214200 1131613162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33730 13086 16 0 210361 0
vsize: 841508
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 76076 45 0 0 25 0 11 0 780927379 861704192 33785 4294967295 134512640 134569956 3221224368 3221213364 1131613348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 33785 13086 16 0 210361 0
vsize: 841508
[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 77054 45 0 0 25 0 11 0 780927379 861704192 33840 4294967295 134512640 134569956 3221224368 3221214256 1131613330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33840 13086 16 0 210361 0
vsize: 841508
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 78033 45 0 0 25 0 11 0 780927379 861704192 33906 4294967295 134512640 134569956 3221224368 3221214256 1131613359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33906 13086 16 0 210361 0
vsize: 841508
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 79002 45 0 0 25 0 11 0 780927379 861704192 33980 4294967295 134512640 134569956 3221224368 3221214228 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 33980 13086 16 0 210361 0
vsize: 841508
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 79981 45 0 0 25 0 11 0 780927379 861704192 34033 4294967295 134512640 134569956 3221224368 3221214472 1131317141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34033 13086 16 0 210361 0
vsize: 841508
[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 80948 46 0 0 25 0 11 0 780927379 861704192 34121 4294967295 134512640 134569956 3221224368 3221213896 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34121 13086 16 0 210361 0
vsize: 841508
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 81928 46 0 0 25 0 11 0 780927379 861704192 34178 4294967295 134512640 134569956 3221224368 3221213976 1131613225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34178 13086 16 0 210361 0
vsize: 841508
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 82897 46 0 0 24 0 11 0 780927379 861704192 34262 4294967295 134512640 134569956 3221224368 3221214584 1131306992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34262 13086 16 0 210361 0
vsize: 841508
[startup+870.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 83876 46 0 0 25 0 11 0 780927379 861704192 34316 4294967295 134512640 134569956 3221224368 3221214608 1131303769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34316 13086 16 0 210361 0
vsize: 841508
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 84855 46 0 0 25 0 11 0 780927379 861704192 34377 4294967295 134512640 134569956 3221224368 3221214200 1131613225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34377 13086 16 0 210361 0
vsize: 841508
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 85824 46 0 0 25 0 11 0 780927379 861704192 34460 4294967295 134512640 134569956 3221224368 3221214648 1131467576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34460 13086 16 0 210361 0
vsize: 841508
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 86804 46 0 0 25 0 11 0 780927379 861704192 34518 4294967295 134512640 134569956 3221224368 3221213912 1131317138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34518 13086 16 0 210361 0
vsize: 841508
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 87783 46 0 0 25 0 11 0 780927379 861704192 34571 4294967295 134512640 134569956 3221224368 3221213760 1131613340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34571 13086 16 0 210361 0
vsize: 841508
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 88763 46 0 0 25 0 11 0 780927379 861704192 34630 4294967295 134512640 134569956 3221224368 3221214024 1131317138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34630 13086 16 0 210361 0
vsize: 841508
[startup+930.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 89732 46 0 0 25 0 11 0 780927379 861704192 34717 4294967295 134512640 134569956 3221224368 3221214312 1131613228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34717 13086 16 0 210361 0
vsize: 841508
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 90712 46 0 0 25 0 11 0 780927379 861704192 34772 4294967295 134512640 134569956 3221224368 3221214648 1131467519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34772 13086 16 0 210361 0
vsize: 841508
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 91691 46 0 0 25 0 11 0 780927379 861704192 34828 4294967295 134512640 134569956 3221224368 3221213976 1131613405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 34828 13086 16 0 210361 0
vsize: 841508
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 92671 46 0 0 25 0 11 0 780927379 861704192 34893 4294967295 134512640 134569956 3221224368 3221213544 1131317816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34893 13086 16 0 210361 0
vsize: 841508
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 93651 46 0 0 25 0 11 0 780927379 861704192 34935 4294967295 134512640 134569956 3221224368 3221214432 1131317841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 34935 13086 16 0 210361 0
vsize: 841508
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 94621 46 0 0 25 0 11 0 780927379 861704192 35011 4294967295 134512640 134569956 3221224368 3221214372 1076619280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35011 13086 16 0 210361 0
vsize: 841508
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 95600 46 0 0 25 0 11 0 780927379 861704192 35062 4294967295 134512640 134569956 3221224368 3221214200 1131613372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35062 13086 16 0 210361 0
vsize: 841508
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 96581 47 0 0 25 0 11 0 780927379 861704192 35121 4294967295 134512640 134569956 3221224368 3221213320 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35121 13086 16 0 210361 0
vsize: 841508
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 97561 47 0 0 25 0 11 0 780927379 861704192 35175 4294967295 134512640 134569956 3221224368 3221214480 1131613225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35175 13086 16 0 210361 0
vsize: 841508
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 98541 47 0 0 25 0 11 0 780927379 861704192 35225 4294967295 134512640 134569956 3221224368 3221213812 1131317840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35225 13086 16 0 210361 0
vsize: 841508
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 99520 47 0 0 25 0 11 0 780927379 861704192 35275 4294967295 134512640 134569956 3221224368 3221214208 1131317816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35275 13086 16 0 210361 0
vsize: 841508
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 100489 47 0 0 25 0 11 0 780927379 861704192 35353 4294967295 134512640 134569956 3221224368 3221214232 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35353 13086 16 0 210361 0
vsize: 841508
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 101467 47 0 0 25 0 11 0 780927379 861704192 35408 4294967295 134512640 134569956 3221224368 3221214008 1085679538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210377 35408 13086 16 0 210361 0
vsize: 841508
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 102447 47 0 0 25 0 11 0 780927379 861704192 35463 4294967295 134512640 134569956 3221224368 3221214032 1131613359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35463 13086 16 0 210361 0
vsize: 841508
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 103426 47 0 0 25 0 11 0 780927379 861704192 35515 4294967295 134512640 134569956 3221224368 3221213584 1131613384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35515 13086 16 0 210361 0
vsize: 841508
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 104395 47 0 0 25 0 11 0 780927379 861704192 35595 4294967295 134512640 134569956 3221224368 3221214064 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35595 13086 16 0 210361 0
vsize: 841508
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 105373 47 0 0 25 0 11 0 780927379 861704192 35652 4294967295 134512640 134569956 3221224368 3221214488 1131256929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35652 13086 16 0 210361 0
vsize: 841508
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 106353 47 0 0 25 0 11 0 780927379 861704192 35702 4294967295 134512640 134569956 3221224368 3221214480 1131613386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35702 13086 16 0 210361 0
vsize: 841508
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 107323 47 0 0 24 0 11 0 780927379 861704192 35788 4294967295 134512640 134569956 3221224368 3221214304 1131613378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35788 13086 16 0 210361 0
vsize: 841508
[startup+1120.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 108303 47 0 0 25 0 11 0 780927379 861704192 35836 4294967295 134512640 134569956 3221224368 3221214584 1131307041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35836 13086 16 0 210361 0
vsize: 841508
[startup+1130.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 109283 47 0 0 25 0 11 0 780927379 861704192 35886 4294967295 134512640 134569956 3221224368 3221214488 1131257066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35886 13086 16 0 210361 0
vsize: 841508
[startup+1140.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 110263 48 0 0 25 0 11 0 780927379 861704192 35933 4294967295 134512640 134569956 3221224368 3221214064 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35933 13086 16 0 210361 0
vsize: 841508
[startup+1150.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 111242 48 0 0 25 0 11 0 780927379 861704192 35985 4294967295 134512640 134569956 3221224368 3221213472 1131317143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 35985 13086 16 0 210361 0
vsize: 841508
[startup+1160.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 112212 48 0 0 25 0 11 0 780927379 861704192 36067 4294967295 134512640 134569956 3221224368 3221214480 1131613225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36067 13086 16 0 210361 0
vsize: 841508
[startup+1170.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 113191 48 0 0 25 0 11 0 780927379 861704192 36155 4294967295 134512640 134569956 3221224368 3221214488 1131258614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36155 13086 16 0 210361 0
vsize: 841508
[startup+1180.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 114172 48 0 0 25 0 11 0 780927379 861704192 36200 4294967295 134512640 134569956 3221224368 3221214040 1131317677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36200 13086 16 0 210361 0
vsize: 841508
[startup+1190.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 115153 48 0 0 25 0 11 0 780927379 861704192 36248 4294967295 134512640 134569956 3221224368 3221214136 1131317141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36248 13086 16 0 210361 0
vsize: 841508
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 116134 48 0 0 25 0 11 0 780927379 861704192 36300 4294967295 134512640 134569956 3221224368 3221213096 1131317847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36300 13086 16 0 210361 0
vsize: 841508
[startup+1210.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 117114 48 0 0 25 0 11 0 780927379 861704192 36347 4294967295 134512640 134569956 3221224368 3221214472 1131613384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36347 13086 16 0 210361 0
vsize: 841508
[startup+1220.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 118095 48 0 0 25 0 11 0 780927379 861704192 36401 4294967295 134512640 134569956 3221224368 3221213976 1131613296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36401 13086 16 0 210361 0
vsize: 841508
[startup+1230.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 119075 48 0 0 25 0 11 0 780927379 861704192 36451 4294967295 134512640 134569956 3221224368 3221213868 1131317840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36451 13086 16 0 210361 0
vsize: 841508
[startup+1240.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20359
Raw data (stat): 20349 (java) R 20348 3944 3943 0 -1 0 18093 0 1 0 120055 48 0 0 25 0 11 0 780927379 861704192 36491 4294967295 134512640 134569956 3221224368 3221214488 1131257066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210377 36491 13086 16 0 210361 0
vsize: 841508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 20361
Raw data (stat): 20349 (java) Z 20348 3944 3943 0 -1 1036 18093 16170 1 0 120061 48 3637 34 25 0 1 0 780927379 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.2
CPU time (s): 1237.81
CPU user time (s): 1236.98
CPU system time (s): 0.830873
CPU usage (%): 99.8077
Max. virtual memory (Kb): 842532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####