Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb
MD5SUM94a3882d5878f0ddbdd9e110c3ba8806
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 690
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 140660178813
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 53687091200000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 326830904793855
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.529918
Number of variables13710
Total number of constraints330
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 constraints330
Minimum length of a constraint30
Maximum length of a constraint1710

Trace number 29473

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 08:03:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20875 boxname=wulflinc22 idbench=863 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  94a3882d5878f0ddbdd9e110c3ba8806  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-scfxm1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-scfxm1.opb
IDLAUNCH: 20875
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        757920 kB
Buffers:         25812 kB
Cached:         228108 kB
SwapCached:        400 kB
Active:          49188 kB
Inactive:       207000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        757668 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14896 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:24:06 (client local time) WITH STATUS 143 IN 1228.52 SECONDS
stats: 20875 7 1228.52 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/wulflinc22/normalized-mps-v2-20-10-scfxm1.opb
c reading problem ... done. Time 62.771 ms.
c #vars     13710
c #constraints  512
c starts	: 3
c conflicts	: 374
c decisions	: 10683
c propagations	: 32501
c inspects	: 1547621
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 374
c root simplifications	: 186
s UNKNOWN
c Total CPU time (ms) : 1229.099
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 1366
Raw data (stat): 1366 (runsolver) R 1365 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837290041 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.0009 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18031 0 1 0 786 42 0 0 18 0 10 0 837290041 855474176 20452 4294967295 134512640 134569956 3221224368 3221214696 1131300737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208856 20452 13086 16 0 208840 0
vsize: 835424
[startup+20.0025 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18032 0 1 0 1654 42 0 0 18 0 10 0 837290041 855441408 21216 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 21216 13086 16 0 208832 0
vsize: 835392
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18032 0 1 0 2522 43 0 0 18 0 10 0 837290041 855441408 21686 4294967295 134512640 134569956 3221224368 3221214656 1131236635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 21686 13086 16 0 208832 0
vsize: 835392
[startup+40.0077 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18032 0 1 0 3384 43 0 0 17 0 10 0 837290041 855441408 22010 4294967295 134512640 134569956 3221224368 3221214776 1131328123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208848 22010 13086 16 0 208832 0
vsize: 835392
[startup+50.0089 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18032 0 1 0 4257 43 0 0 22 0 10 0 837290041 855343104 22396 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208824 22396 13086 16 0 208808 0
vsize: 835296
[startup+60.0095 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18032 0 1 0 5134 44 0 0 17 0 10 0 837290041 855343104 22765 4294967295 134512640 134569956 3221224368 3221214736 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208824 22765 13086 16 0 208808 0
vsize: 835296
[startup+70.0106 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 1375
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18092 0 1 0 6038 45 0 0 21 0 10 0 837290041 856522752 23231 4294967295 134512640 134569956 3221224368 3221214632 1131296620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209112 23231 13086 16 0 209096 0
vsize: 836448
[startup+80.0175 s]
Raw data (loadavg): 0.96 0.97 0.99 2/64 1376
Raw data (stat): 1366 (java) S 1365 23310 23309 0 -1 0 18110 0 1 0 6940 45 0 0 25 0 11 0 837290041 856002560 23228 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208985 23228 13086 16 0 208969 0
vsize: 835940
[startup+90.0171 s]
Raw data (loadavg): 0.96 0.97 0.99 2/64 1376
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18112 0 1 0 7822 45 0 0 25 0 11 0 837290041 861523968 24695 4294967295 134512640 134569956 3221224368 3221214584 1131295472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 24695 13086 16 0 210317 0
vsize: 841332
[startup+100.018 s]
Raw data (loadavg): 0.97 0.97 0.99 2/64 1376
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18112 0 1 0 8754 45 0 0 25 0 11 0 837290041 860610560 24738 4294967295 134512640 134569956 3221224368 3221214664 1131217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210110 24738 13086 16 0 210094 0
vsize: 840440
[startup+110.019 s]
Raw data (loadavg): 0.97 0.97 0.99 2/64 1376
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18113 0 1 0 9723 45 0 0 25 0 11 0 837290041 860209152 24938 4294967295 134512640 134569956 3221224368 3221214664 1131217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210012 24938 13086 16 0 209996 0
vsize: 840048
[startup+120.021 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18113 0 1 0 10705 45 0 0 25 0 11 0 837290041 859975680 24941 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209955 24941 13086 16 0 209939 0
vsize: 839820
[startup+130.021 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18113 0 1 0 11689 45 0 0 25 0 11 0 837290041 859975680 24980 4294967295 134512640 134569956 3221224368 3221214584 1131295491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 24980 13086 16 0 209939 0
vsize: 839820
[startup+140.021 s]
Raw data (loadavg): 1.06 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 12662 46 0 0 24 0 11 0 837290041 859975680 25146 4294967295 134512640 134569956 3221224368 3221214672 1131352232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25146 13086 16 0 209939 0
vsize: 839820
[startup+150.021 s]
Raw data (loadavg): 1.05 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 13651 46 0 0 25 0 11 0 837290041 859975680 25158 4294967295 134512640 134569956 3221224368 3221214576 1131317748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25158 13086 16 0 209939 0
vsize: 839820
[startup+160.021 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 14640 46 0 0 24 0 11 0 837290041 859975680 25193 4294967295 134512640 134569956 3221224368 3221214584 1131296144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25193 13086 16 0 209939 0
vsize: 839820
[startup+170.022 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 15629 46 0 0 25 0 11 0 837290041 859975680 25220 4294967295 134512640 134569956 3221224368 3221214584 1131296024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25220 13086 16 0 209939 0
vsize: 839820
[startup+180.023 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 16620 46 0 0 25 0 11 0 837290041 859975680 25249 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25249 13086 16 0 209939 0
vsize: 839820
[startup+190.023 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 17611 46 0 0 25 0 11 0 837290041 859975680 25274 4294967295 134512640 134569956 3221224368 3221214584 1131295226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25274 13086 16 0 209939 0
vsize: 839820
[startup+200.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 18602 46 0 0 25 0 11 0 837290041 859975680 25304 4294967295 134512640 134569956 3221224368 3221214584 1131295495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25304 13086 16 0 209939 0
vsize: 839820
[startup+210.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 19593 46 0 0 25 0 11 0 837290041 859975680 25323 4294967295 134512640 134569956 3221224368 3221214576 1131317825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25323 13086 16 0 209939 0
vsize: 839820
[startup+220.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 20584 47 0 0 25 0 11 0 837290041 859975680 25344 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25344 13086 16 0 209939 0
vsize: 839820
[startup+230.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18114 0 1 0 21576 47 0 0 25 0 11 0 837290041 859975680 25364 4294967295 134512640 134569956 3221224368 3221214672 1131348860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25364 13086 16 0 209939 0
vsize: 839820
[startup+240.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 22568 47 0 0 25 0 11 0 837290041 859975680 25381 4294967295 134512640 134569956 3221224368 3221214672 1131352764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25381 13086 16 0 209939 0
vsize: 839820
[startup+250.025 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 23558 47 0 0 25 0 11 0 837290041 859975680 25404 4294967295 134512640 134569956 3221224368 3221214584 1131295289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25404 13086 16 0 209939 0
vsize: 839820
[startup+260.025 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 24549 47 0 0 25 0 11 0 837290041 859975680 25426 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25426 13086 16 0 209939 0
vsize: 839820
[startup+270.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 25541 47 0 0 25 0 11 0 837290041 859975680 25440 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25440 13086 16 0 209939 0
vsize: 839820
[startup+280.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 26533 47 0 0 25 0 11 0 837290041 859975680 25465 4294967295 134512640 134569956 3221224368 3221214672 1131347035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25465 13086 16 0 209939 0
vsize: 839820
[startup+290.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 27525 47 0 0 25 0 11 0 837290041 859975680 25487 4294967295 134512640 134569956 3221224368 3221214584 1131295472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25487 13086 16 0 209939 0
vsize: 839820
[startup+300.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 28517 47 0 0 25 0 11 0 837290041 859975680 25500 4294967295 134512640 134569956 3221224368 3221214584 1131295531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25500 13086 16 0 209939 0
vsize: 839820
[startup+310.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 29508 48 0 0 25 0 11 0 837290041 859975680 25512 4294967295 134512640 134569956 3221224368 3221214584 1131295464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25512 13086 16 0 209939 0
vsize: 839820
[startup+320.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 30500 48 0 0 25 0 11 0 837290041 859975680 25536 4294967295 134512640 134569956 3221224368 3221214584 1131296024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25536 13086 16 0 209939 0
vsize: 839820
[startup+330.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 31493 48 0 0 25 0 11 0 837290041 859975680 25552 4294967295 134512640 134569956 3221224368 3221214672 1131352860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25552 13086 16 0 209939 0
vsize: 839820
[startup+340.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 32485 48 0 0 25 0 11 0 837290041 859975680 25565 4294967295 134512640 134569956 3221224368 3221214584 1131296068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25565 13086 16 0 209939 0
vsize: 839820
[startup+350.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 33478 49 0 0 25 0 11 0 837290041 859975680 25577 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209955 25577 13086 16 0 209939 0
vsize: 839820
[startup+360.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 34470 49 0 0 25 0 11 0 837290041 859975680 25590 4294967295 134512640 134569956 3221224368 3221214584 1131295291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25590 13086 16 0 209939 0
vsize: 839820
[startup+370.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 35463 49 0 0 25 0 11 0 837290041 859975680 25603 4294967295 134512640 134569956 3221224368 3221214672 1131348332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25603 13086 16 0 209939 0
vsize: 839820
[startup+380.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 36455 49 0 0 25 0 11 0 837290041 859975680 25615 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25615 13086 16 0 209939 0
vsize: 839820
[startup+390.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 37448 49 0 0 25 0 11 0 837290041 859975680 25628 4294967295 134512640 134569956 3221224368 3221214584 1131295430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25628 13086 16 0 209939 0
vsize: 839820
[startup+400.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 38440 50 0 0 25 0 11 0 837290041 859975680 25641 4294967295 134512640 134569956 3221224368 3221214584 1131295330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25641 13086 16 0 209939 0
vsize: 839820
[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 39433 50 0 0 25 0 11 0 837290041 859975680 25651 4294967295 134512640 134569956 3221224368 3221214672 1131347135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25651 13086 16 0 209939 0
vsize: 839820
[startup+420.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 40426 50 0 0 25 0 11 0 837290041 859975680 25660 4294967295 134512640 134569956 3221224368 3221214668 1131296450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25660 13086 16 0 209939 0
vsize: 839820
[startup+430.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 41419 50 0 0 25 0 11 0 837290041 859975680 25672 4294967295 134512640 134569956 3221224368 3221214664 1131217331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25672 13086 16 0 209939 0
vsize: 839820
[startup+440.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 42411 50 0 0 25 0 11 0 837290041 859975680 25685 4294967295 134512640 134569956 3221224368 3221214672 1131349208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25685 13086 16 0 209939 0
vsize: 839820
[startup+450.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 43403 50 0 0 25 0 11 0 837290041 859975680 25700 4294967295 134512640 134569956 3221224368 3221214584 1131295472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25700 13086 16 0 209939 0
vsize: 839820
[startup+460.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 44396 50 0 0 25 0 11 0 837290041 859975680 25707 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25707 13086 16 0 209939 0
vsize: 839820
[startup+470.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 45388 50 0 0 25 0 11 0 837290041 859975680 25721 4294967295 134512640 134569956 3221224368 3221214672 1131349288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25721 13086 16 0 209939 0
vsize: 839820
[startup+480.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 46380 51 0 0 25 0 11 0 837290041 859975680 25732 4294967295 134512640 134569956 3221224368 3221214584 1131295344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25732 13086 16 0 209939 0
vsize: 839820
[startup+490.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 47372 51 0 0 25 0 11 0 837290041 859975680 25745 4294967295 134512640 134569956 3221224368 3221214672 1131348259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25745 13086 16 0 209939 0
vsize: 839820
[startup+500.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 48363 51 0 0 25 0 11 0 837290041 859975680 25764 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25764 13086 16 0 209939 0
vsize: 839820
[startup+510.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 49354 51 0 0 25 0 11 0 837290041 859975680 25771 4294967295 134512640 134569956 3221224368 3221214672 1131348980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25771 13086 16 0 209939 0
vsize: 839820
[startup+520.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 50345 51 0 0 25 0 11 0 837290041 859975680 25785 4294967295 134512640 134569956 3221224368 3221214672 1131348980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25785 13086 16 0 209939 0
vsize: 839820
[startup+530.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 51336 51 0 0 25 0 11 0 837290041 859975680 25809 4294967295 134512640 134569956 3221224368 3221214672 1131348980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209955 25809 13086 16 0 209939 0
vsize: 839820
[startup+540.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 52327 51 0 0 25 0 11 0 837290041 859975680 25832 4294967295 134512640 134569956 3221224368 3221214672 1131348041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25832 13086 16 0 209939 0
vsize: 839820
[startup+550.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 53319 52 0 0 25 0 11 0 837290041 859975680 25847 4294967295 134512640 134569956 3221224368 3221214672 1131349219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25847 13086 16 0 209939 0
vsize: 839820
[startup+560.037 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 54312 52 0 0 25 0 11 0 837290041 859975680 25853 4294967295 134512640 134569956 3221224368 3221214672 1131353216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25853 13086 16 0 209939 0
vsize: 839820
[startup+570.037 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 55303 52 0 0 25 0 11 0 837290041 859975680 25866 4294967295 134512640 134569956 3221224368 3221214672 1131348436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25866 13086 16 0 209939 0
vsize: 839820
[startup+580.037 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 56295 52 0 0 25 0 11 0 837290041 859975680 25873 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25873 13086 16 0 209939 0
vsize: 839820
[startup+590.037 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 57286 52 0 0 25 0 11 0 837290041 859975680 25894 4294967295 134512640 134569956 3221224368 3221214584 1131295592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25894 13086 16 0 209939 0
vsize: 839820
[startup+600.038 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 58278 52 0 0 25 0 11 0 837290041 859975680 25900 4294967295 134512640 134569956 3221224368 3221214672 1131348827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25900 13086 16 0 209939 0
vsize: 839820
[startup+610.038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 59271 52 0 0 25 0 11 0 837290041 859975680 25914 4294967295 134512640 134569956 3221224368 3221214672 1131346881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25914 13086 16 0 209939 0
vsize: 839820
[startup+620.039 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 60263 52 0 0 25 0 11 0 837290041 859975680 25927 4294967295 134512640 134569956 3221224368 3221214584 1131296075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25927 13086 16 0 209939 0
vsize: 839820
[startup+630.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 61255 52 0 0 25 0 11 0 837290041 859975680 25934 4294967295 134512640 134569956 3221224368 3221214672 1131352819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25934 13086 16 0 209939 0
vsize: 839820
[startup+640.039 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 62247 52 0 0 25 0 11 0 837290041 859975680 25946 4294967295 134512640 134569956 3221224368 3221214584 1131295316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25946 13086 16 0 209939 0
vsize: 839820
[startup+650.039 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 63240 52 0 0 25 0 11 0 837290041 859975680 25953 4294967295 134512640 134569956 3221224368 3221214584 1131295487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25953 13086 16 0 209939 0
vsize: 839820
[startup+660.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 64231 53 0 0 25 0 11 0 837290041 859975680 25962 4294967295 134512640 134569956 3221224368 3221214616 1131321282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25962 13086 16 0 209939 0
vsize: 839820
[startup+670.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 65224 53 0 0 25 0 11 0 837290041 859975680 25971 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25971 13086 16 0 209939 0
vsize: 839820
[startup+680.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 66217 53 0 0 25 0 11 0 837290041 859975680 25978 4294967295 134512640 134569956 3221224368 3221214584 1131295407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25978 13086 16 0 209939 0
vsize: 839820
[startup+690.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 67209 53 0 0 25 0 11 0 837290041 859975680 25984 4294967295 134512640 134569956 3221224368 3221214584 1131295495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25984 13086 16 0 209939 0
vsize: 839820
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 68200 53 0 0 25 0 11 0 837290041 859975680 25999 4294967295 134512640 134569956 3221224368 3221214672 1131348966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 25999 13086 16 0 209939 0
vsize: 839820
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 69193 53 0 0 25 0 11 0 837290041 859975680 26005 4294967295 134512640 134569956 3221224368 3221214672 1131348090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26005 13086 16 0 209939 0
vsize: 839820
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 70185 53 0 0 25 0 11 0 837290041 859975680 26012 4294967295 134512640 134569956 3221224368 3221214672 1131348980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26012 13086 16 0 209939 0
vsize: 839820
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 71178 53 0 0 25 0 11 0 837290041 859975680 26024 4294967295 134512640 134569956 3221224368 3221214672 1131347071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26024 13086 16 0 209939 0
vsize: 839820
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 72171 53 0 0 25 0 11 0 837290041 859975680 26031 4294967295 134512640 134569956 3221224368 3221214584 1131295192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26031 13086 16 0 209939 0
vsize: 839820
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 73163 53 0 0 25 0 11 0 837290041 859975680 26037 4294967295 134512640 134569956 3221224368 3221214584 1131295579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26037 13086 16 0 209939 0
vsize: 839820
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 74155 53 0 0 25 0 11 0 837290041 859975680 26043 4294967295 134512640 134569956 3221224368 3221214576 1131317812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26043 13086 16 0 209939 0
vsize: 839820
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 75148 53 0 0 25 0 11 0 837290041 859975680 26057 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26057 13086 16 0 209939 0
vsize: 839820
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 76140 53 0 0 25 0 11 0 837290041 859975680 26063 4294967295 134512640 134569956 3221224368 3221214672 1131349331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26063 13086 16 0 209939 0
vsize: 839820
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 77132 53 0 0 25 0 11 0 837290041 859975680 26070 4294967295 134512640 134569956 3221224368 3221214584 1131296099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26070 13086 16 0 209939 0
vsize: 839820
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 78124 54 0 0 25 0 11 0 837290041 859975680 26076 4294967295 134512640 134569956 3221224368 3221214672 1131348436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26076 13086 16 0 209939 0
vsize: 839820
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 79117 54 0 0 25 0 11 0 837290041 859975680 26086 4294967295 134512640 134569956 3221224368 3221214672 1131348980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26086 13086 16 0 209939 0
vsize: 839820
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 80109 54 0 0 25 0 11 0 837290041 859975680 26095 4294967295 134512640 134569956 3221224368 3221214592 1131190681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26095 13086 16 0 209939 0
vsize: 839820
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 81101 54 0 0 25 0 11 0 837290041 859975680 26101 4294967295 134512640 134569956 3221224368 3221214672 1131348848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26101 13086 16 0 209939 0
vsize: 839820
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 82094 54 0 0 25 0 11 0 837290041 859975680 26108 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26108 13086 16 0 209939 0
vsize: 839820
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 83087 54 0 0 25 0 11 0 837290041 859975680 26114 4294967295 134512640 134569956 3221224368 3221214584 1131296153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26114 13086 16 0 209939 0
vsize: 839820
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 84078 55 0 0 25 0 11 0 837290041 859975680 26126 4294967295 134512640 134569956 3221224368 3221214584 1131295272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26126 13086 16 0 209939 0
vsize: 839820
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 85071 55 0 0 25 0 11 0 837290041 859975680 26133 4294967295 134512640 134569956 3221224368 3221214672 1131348041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26133 13086 16 0 209939 0
vsize: 839820
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 86063 55 0 0 25 0 11 0 837290041 859975680 26139 4294967295 134512640 134569956 3221224368 3221214672 1131346883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26139 13086 16 0 209939 0
vsize: 839820
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 87055 55 0 0 25 0 11 0 837290041 859975680 26145 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26145 13086 16 0 209939 0
vsize: 839820
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 88047 55 0 0 25 0 11 0 837290041 859975680 26152 4294967295 134512640 134569956 3221224368 3221214672 1131348618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26152 13086 16 0 209939 0
vsize: 839820
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 89039 55 0 0 25 0 11 0 837290041 859975680 26158 4294967295 134512640 134569956 3221224368 3221214584 1131296087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26158 13086 16 0 209939 0
vsize: 839820
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 90032 55 0 0 25 0 11 0 837290041 859975680 26164 4294967295 134512640 134569956 3221224368 3221214576 1131317751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26164 13086 16 0 209939 0
vsize: 839820
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 91020 55 0 0 25 0 11 0 837290041 859975680 26180 4294967295 134512640 134569956 3221224368 3221214672 1131348324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26180 13086 16 0 209939 0
vsize: 839820
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 92012 56 0 0 25 0 11 0 837290041 859975680 26189 4294967295 134512640 134569956 3221224368 3221214584 1131295291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26189 13086 16 0 209939 0
vsize: 839820
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) S 1365 23310 23309 0 -1 0 18115 0 1 0 93004 56 0 0 25 0 11 0 837290041 859975680 26196 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26196 13086 16 0 209939 0
vsize: 839820
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 93996 56 0 0 25 0 11 0 837290041 859975680 26202 4294967295 134512640 134569956 3221224368 3221214672 1131349172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26202 13086 16 0 209939 0
vsize: 839820
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 94987 56 0 0 25 0 11 0 837290041 859975680 26208 4294967295 134512640 134569956 3221224368 3221214584 1131296015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26208 13086 16 0 209939 0
vsize: 839820
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 95980 57 0 0 25 0 11 0 837290041 859975680 26215 4294967295 134512640 134569956 3221224368 3221214672 1131352876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26215 13086 16 0 209939 0
vsize: 839820
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 96972 57 0 0 25 0 11 0 837290041 859975680 26224 4294967295 134512640 134569956 3221224368 3221214664 1131217323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26224 13086 16 0 209939 0
vsize: 839820
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 97964 57 0 0 25 0 11 0 837290041 859975680 26230 4294967295 134512640 134569956 3221224368 3221214584 1131295192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26230 13086 16 0 209939 0
vsize: 839820
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 98956 57 0 0 25 0 11 0 837290041 859975680 26237 4294967295 134512640 134569956 3221224368 3221214576 1131191861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26237 13086 16 0 209939 0
vsize: 839820
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 99948 57 0 0 25 0 11 0 837290041 859975680 26243 4294967295 134512640 134569956 3221224368 3221214672 1131347067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26243 13086 16 0 209939 0
vsize: 839820
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 100940 57 0 0 25 0 11 0 837290041 859975680 26249 4294967295 134512640 134569956 3221224368 3221214568 1131401516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26249 13086 16 0 209939 0
vsize: 839820
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 101933 57 0 0 25 0 11 0 837290041 859975680 26256 4294967295 134512640 134569956 3221224368 3221214672 1131347893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26256 13086 16 0 209939 0
vsize: 839820
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 102924 58 0 0 25 0 11 0 837290041 859975680 26262 4294967295 134512640 134569956 3221224368 3221214584 1131295291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26262 13086 16 0 209939 0
vsize: 839820
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 103916 58 0 0 25 0 11 0 837290041 859975680 26268 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26268 13086 16 0 209939 0
vsize: 839820
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 104908 58 0 0 25 0 11 0 837290041 859975680 26275 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26275 13086 16 0 209939 0
vsize: 839820
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 105900 58 0 0 25 0 11 0 837290041 859975680 26281 4294967295 134512640 134569956 3221224368 3221214584 1131295377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26281 13086 16 0 209939 0
vsize: 839820
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 106892 58 0 0 25 0 11 0 837290041 859975680 26287 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26287 13086 16 0 209939 0
vsize: 839820
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 107884 58 0 0 25 0 11 0 837290041 859975680 26294 4294967295 134512640 134569956 3221224368 3221214672 1131347074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26294 13086 16 0 209939 0
vsize: 839820
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 108876 58 0 0 25 0 11 0 837290041 859975680 26300 4294967295 134512640 134569956 3221224368 3221214584 1131295258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26300 13086 16 0 209939 0
vsize: 839820
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 109868 58 0 0 25 0 11 0 837290041 859975680 26306 4294967295 134512640 134569956 3221224368 3221214720 1131336413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209955 26306 13086 16 0 209939 0
vsize: 839820
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 110860 58 0 0 25 0 11 0 837290041 859975680 26313 4294967295 134512640 134569956 3221224368 3221214672 1131348980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26313 13086 16 0 209939 0
vsize: 839820
[startup+1140.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 111851 58 0 0 25 0 11 0 837290041 859975680 26325 4294967295 134512640 134569956 3221224368 3221214664 1131217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26325 13086 16 0 209939 0
vsize: 839820
[startup+1150.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 112843 58 0 0 25 0 11 0 837290041 859975680 26331 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26331 13086 16 0 209939 0
vsize: 839820
[startup+1160.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 113835 58 0 0 25 0 11 0 837290041 859975680 26338 4294967295 134512640 134569956 3221224368 3221214672 1131352296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26338 13086 16 0 209939 0
vsize: 839820
[startup+1170.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 114827 58 0 0 25 0 11 0 837290041 859975680 26344 4294967295 134512640 134569956 3221224368 3221214584 1131295289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26344 13086 16 0 209939 0
vsize: 839820
[startup+1180.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 115820 58 0 0 25 0 11 0 837290041 859975680 26350 4294967295 134512640 134569956 3221224368 3221214576 1131192939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26350 13086 16 0 209939 0
vsize: 839820
[startup+1190.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 116811 58 0 0 25 0 11 0 837290041 859975680 26356 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26356 13086 16 0 209939 0
vsize: 839820
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 117804 58 0 0 25 0 11 0 837290041 859975680 26363 4294967295 134512640 134569956 3221224368 3221214672 1131349240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26363 13086 16 0 209939 0
vsize: 839820
[startup+1210.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 118795 58 0 0 25 0 11 0 837290041 859975680 26369 4294967295 134512640 134569956 3221224368 3221214672 1131348795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26369 13086 16 0 209939 0
vsize: 839820
[startup+1220.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 119787 59 0 0 25 0 11 0 837290041 859975680 26375 4294967295 134512640 134569956 3221224368 3221214584 1131295444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26375 13086 16 0 209939 0
vsize: 839820
[startup+1230.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1378
Raw data (stat): 1366 (java) R 1365 23310 23309 0 -1 0 18115 0 1 0 120778 59 0 0 25 0 11 0 837290041 859975680 26382 4294967295 134512640 134569956 3221224368 3221214584 1131295337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209955 26382 13086 16 0 209939 0
vsize: 839820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 1380
Raw data (stat): 1366 (java) Z 1365 23310 23309 0 -1 1036 18115 6565 1 0 120779 59 1987 26 25 0 1 0 837290041 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): 1230.13
CPU time (s): 1228.52
CPU user time (s): 1227.67
CPU system time (s): 0.856869
CPU usage (%): 99.8692
Max. virtual memory (Kb): 841332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####