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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath1.opb
MD5SUMd4e99ebd08b929dc4252a5f0acf82be9
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 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 203989830597156
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 benchmark2.26865
Number of variables39271
Total number of constraints7608
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2495
Number of constraints which are nor clauses,nor cardinality constraints5113
Minimum length of a constraint1
Maximum length of a constraint37670

Trace number 14008

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-20 22:35:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19834 boxname=wulflinc9 idbench=1526 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d4e99ebd08b929dc4252a5f0acf82be9  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-swath1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-swath1.opb
IDLAUNCH: 19834
/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:        657284 kB
Buffers:         34584 kB
Cached:         319212 kB
SwapCached:          8 kB
Active:          43960 kB
Inactive:       312640 kB
HighTotal:      131008 kB
HighFree:        22568 kB
LowTotal:       903652 kB
LowFree:        634716 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            15028 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 22:56:51 (client local time) WITH STATUS 143 IN 1249.08 SECONDS
stats: 19834 7 1249.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-swath1.opb
c reading problem 
c [nbvar=39271]
c [nbconstr=7608]
c time 478.832
c #vars     39271
c #clauses  5405
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.87 0.97 0.93 1/54 29960
Raw data (stat): 29960 (runsolver) R 29959 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481864322 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99996 s]
Raw data (loadavg): 0.89 0.97 0.93 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18005 0 1 0 879 39 0 0 25 0 10 0 481864322 857784320 20254 4294967295 134512640 134569956 3221224400 3221214512 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 20254 13073 16 0 209404 0
vsize: 837680
[startup+20.0106 s]
Raw data (loadavg): 0.90 0.97 0.93 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18005 0 1 0 1771 40 0 0 25 0 10 0 481864322 857784320 20766 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209420 20766 13073 16 0 209404 0
vsize: 837680
[startup+30.0109 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18005 0 1 0 2657 40 0 0 25 0 10 0 481864322 857784320 21302 4294967295 134512640 134569956 3221224400 3221214736 1131219649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 21302 13073 16 0 209404 0
vsize: 837680
[startup+40.0122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 3567 40 0 0 25 0 10 0 481864322 857784320 21594 4294967295 134512640 134569956 3221224400 3221214464 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 21594 13073 16 0 209404 0
vsize: 837680
[startup+50.0135 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 4496 41 0 0 25 0 10 0 481864322 857784320 21763 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 21763 13073 16 0 209404 0
vsize: 837680
[startup+60.0135 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 5413 41 0 0 25 0 10 0 481864322 857784320 21914 4294967295 134512640 134569956 3221224400 3221214816 1131307220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 21914 13073 16 0 209404 0
vsize: 837680
[startup+70.0135 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 6332 42 0 0 25 0 10 0 481864322 857784320 22043 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22043 13073 16 0 209404 0
vsize: 837680
[startup+80.0147 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 7267 42 0 0 25 0 10 0 481864322 857784320 22233 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22233 13073 16 0 209404 0
vsize: 837680
[startup+90.0155 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 8199 42 0 0 25 0 10 0 481864322 857784320 22336 4294967295 134512640 134569956 3221224400 3221214304 1131184523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22336 13073 16 0 209404 0
vsize: 837680
[startup+100.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 9137 43 0 0 25 0 10 0 481864322 857784320 22426 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22426 13073 16 0 209404 0
vsize: 837680
[startup+110.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 10071 43 0 0 23 0 10 0 481864322 857784320 22517 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22517 13073 16 0 209404 0
vsize: 837680
[startup+120.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 11007 44 0 0 25 0 10 0 481864322 857784320 22601 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22601 13073 16 0 209404 0
vsize: 837680
[startup+130.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 11945 44 0 0 25 0 10 0 481864322 857784320 22675 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22675 13073 16 0 209404 0
vsize: 837680
[startup+140.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 12881 44 0 0 25 0 10 0 481864322 857784320 22751 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22751 13073 16 0 209404 0
vsize: 837680
[startup+150.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 13816 45 0 0 25 0 10 0 481864322 857784320 22823 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22823 13073 16 0 209404 0
vsize: 837680
[startup+160.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 14754 45 0 0 25 0 10 0 481864322 857784320 22888 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22888 13073 16 0 209404 0
vsize: 837680
[startup+170.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 15689 46 0 0 25 0 10 0 481864322 857784320 22955 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 22955 13073 16 0 209404 0
vsize: 837680
[startup+180.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 16623 46 0 0 24 0 10 0 481864322 857784320 23020 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23020 13073 16 0 209404 0
vsize: 837680
[startup+190.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 17548 46 0 0 25 0 10 0 481864322 857784320 23079 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23079 13073 16 0 209404 0
vsize: 837680
[startup+200.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) S 29959 30854 30853 0 -1 0 18006 0 1 0 18465 47 0 0 25 0 10 0 481864322 857784320 23136 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23136 13073 16 0 209404 0
vsize: 837680
[startup+210.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 19392 47 0 0 25 0 10 0 481864322 857784320 23361 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23361 13073 16 0 209404 0
vsize: 837680
[startup+220.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 20322 48 0 0 24 0 10 0 481864322 857784320 23418 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23418 13073 16 0 209404 0
vsize: 837680
[startup+230.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 21257 48 0 0 25 0 10 0 481864322 857784320 23470 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23470 13073 16 0 209404 0
vsize: 837680
[startup+240.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 22186 49 0 0 25 0 10 0 481864322 857784320 23525 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23525 13073 16 0 209404 0
vsize: 837680
[startup+250.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 23119 49 0 0 25 0 10 0 481864322 857784320 23575 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23575 13073 16 0 209404 0
vsize: 837680
[startup+260.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 24048 50 0 0 25 0 10 0 481864322 857784320 23627 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23627 13073 16 0 209404 0
vsize: 837680
[startup+270.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 24975 50 0 0 24 0 10 0 481864322 857784320 23678 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23678 13073 16 0 209404 0
vsize: 837680
[startup+280.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 25906 51 0 0 25 0 10 0 481864322 857784320 23725 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23725 13073 16 0 209404 0
vsize: 837680
[startup+290.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 26833 51 0 0 24 0 10 0 481864322 857784320 23774 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23774 13073 16 0 209404 0
vsize: 837680
[startup+300.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 27763 52 0 0 25 0 10 0 481864322 857784320 23819 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23819 13073 16 0 209404 0
vsize: 837680
[startup+310.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 28688 52 0 0 25 0 10 0 481864322 857784320 23866 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23866 13073 16 0 209404 0
vsize: 837680
[startup+320.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 29618 52 0 0 25 0 10 0 481864322 857784320 23909 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23909 13073 16 0 209404 0
vsize: 837680
[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 30542 53 0 0 25 0 10 0 481864322 857784320 23954 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23954 13073 16 0 209404 0
vsize: 837680
[startup+340.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 31471 53 0 0 25 0 10 0 481864322 857784320 23996 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 23996 13073 16 0 209404 0
vsize: 837680
[startup+350.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 32394 54 0 0 25 0 10 0 481864322 857784320 24040 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24040 13073 16 0 209404 0
vsize: 837680
[startup+360.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 33322 54 0 0 25 0 10 0 481864322 857784320 24082 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24082 13073 16 0 209404 0
vsize: 837680
[startup+370.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 34244 55 0 0 24 0 10 0 481864322 857784320 24125 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24125 13073 16 0 209404 0
vsize: 837680
[startup+380.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 35176 55 0 0 25 0 10 0 481864322 857784320 24161 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24161 13073 16 0 209404 0
vsize: 837680
[startup+390.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) S 29959 30854 30853 0 -1 0 18006 0 1 0 36105 56 0 0 25 0 10 0 481864322 857784320 24198 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24198 13073 16 0 209404 0
vsize: 837680
[startup+400.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 37038 56 0 0 25 0 10 0 481864322 857784320 24230 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24230 13073 16 0 209404 0
vsize: 837680
[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 37972 57 0 0 25 0 10 0 481864322 857784320 24253 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24253 13073 16 0 209404 0
vsize: 837680
[startup+420.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 38906 57 0 0 25 0 10 0 481864322 857784320 24276 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24276 13073 16 0 209404 0
vsize: 837680
[startup+430.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 39835 57 0 0 24 0 10 0 481864322 857784320 24300 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 24300 13073 16 0 209404 0
vsize: 837680
[startup+440.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 40727 58 0 0 24 0 10 0 481864322 857784320 27953 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 27953 13073 16 0 209404 0
vsize: 837680
[startup+450.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 41660 58 0 0 25 0 10 0 481864322 857784320 27953 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 27953 13073 16 0 209404 0
vsize: 837680
[startup+460.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 42577 59 0 0 25 0 10 0 481864322 857784320 27959 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 27959 13073 16 0 209404 0
vsize: 837680
[startup+470.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18006 0 1 0 43495 60 0 0 25 0 10 0 481864322 857784320 28008 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 28008 13073 16 0 209404 0
vsize: 837680
[startup+480.036 s]
Raw data (loadavg): 1.00 0.99 0.94 3/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18027 0 1 0 44433 63 0 0 25 0 10 0 481864322 857784320 28814 4294967295 134512640 134569956 3221224400 3221214904 1131180614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209420 28814 13073 16 0 209404 0
vsize: 837680
[startup+490.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 29969
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18027 0 1 0 45370 63 0 0 25 0 10 0 481864322 857784320 32373 4294967295 134512640 134569956 3221224400 3221214896 1131181118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209420 32373 13073 16 0 209404 0
vsize: 837680
[startup+500.037 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18034 0 1 0 46359 64 0 0 25 0 11 0 481864322 858312704 32389 4294967295 134512640 134569956 3221224400 3221214824 1131180880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209549 32389 13073 16 0 209533 0
vsize: 838196
[startup+510.036 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18034 0 1 0 47353 64 0 0 25 0 11 0 481864322 858312704 32390 4294967295 134512640 134569956 3221224400 3221214848 1131180843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209549 32390 13073 16 0 209533 0
vsize: 838196
[startup+520.037 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18034 0 1 0 48346 64 0 0 25 0 11 0 481864322 858312704 32390 4294967295 134512640 134569956 3221224400 3221214752 1131268907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209549 32390 13073 16 0 209533 0
vsize: 838196
[startup+530.036 s]
Raw data (loadavg): 1.04 1.00 0.94 4/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18072 0 1 0 49321 65 0 0 25 0 11 0 481864322 859041792 32528 4294967295 134512640 134569956 3221224400 3221214348 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 32528 13073 16 0 209711 0
vsize: 838908
[startup+540.037 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 50295 65 0 0 25 0 11 0 481864322 859754496 32839 4294967295 134512640 134569956 3221224400 3221214848 1131180917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209901 32839 13073 16 0 209885 0
vsize: 839604
[startup+550.038 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 51288 65 0 0 25 0 11 0 481864322 858968064 32640 4294967295 134512640 134569956 3221224400 3221214752 1131269025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209709 32640 13073 16 0 209693 0
vsize: 838836
[startup+560.038 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 52264 65 0 0 25 0 11 0 481864322 858738688 32592 4294967295 134512640 134569956 3221224400 3221214664 1131405261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32592 13073 16 0 209637 0
vsize: 838612
[startup+570.038 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 53256 66 0 0 25 0 11 0 481864322 858738688 32593 4294967295 134512640 134569956 3221224400 3221214896 1131357330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32593 13073 16 0 209637 0
vsize: 838612
[startup+580.039 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 54248 66 0 0 25 0 11 0 481864322 858738688 32609 4294967295 134512640 134569956 3221224400 3221214752 1131270572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32609 13073 16 0 209637 0
vsize: 838612
[startup+590.043 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 55239 67 0 0 25 0 11 0 481864322 858738688 32611 4294967295 134512640 134569956 3221224400 3221214752 1131269083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32611 13073 16 0 209637 0
vsize: 838612
[startup+600.049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 56231 68 0 0 25 0 11 0 481864322 858738688 32627 4294967295 134512640 134569956 3221224400 3221214664 1131405227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32627 13073 16 0 209637 0
vsize: 838612
[startup+610.056 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 57225 68 0 0 25 0 11 0 481864322 858738688 32628 4294967295 134512640 134569956 3221224400 3221214840 1131213551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32628 13073 16 0 209637 0
vsize: 838612
[startup+620.057 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 58216 68 0 0 25 0 11 0 481864322 858738688 32630 4294967295 134512640 134569956 3221224400 3221214752 1131270536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32630 13073 16 0 209637 0
vsize: 838612
[startup+630.058 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 59206 69 0 0 25 0 11 0 481864322 858738688 32632 4294967295 134512640 134569956 3221224400 3221214800 1131298160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32632 13073 16 0 209637 0
vsize: 838612
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 60197 69 0 0 25 0 11 0 481864322 858738688 32648 4294967295 134512640 134569956 3221224400 3221214752 1131269949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32648 13073 16 0 209637 0
vsize: 838612
[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 61188 69 0 0 18 0 11 0 481864322 858738688 32649 4294967295 134512640 134569956 3221224400 3221214752 1131269131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32649 13073 16 0 209637 0
vsize: 838612
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 62179 70 0 0 25 0 11 0 481864322 858738688 32651 4294967295 134512640 134569956 3221224400 3221214752 1131269022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32651 13073 16 0 209637 0
vsize: 838612
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 63169 70 0 0 25 0 11 0 481864322 858738688 32654 4294967295 134512640 134569956 3221224400 3221214848 1131180600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32654 13073 16 0 209637 0
vsize: 838612
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 64157 70 0 0 25 0 11 0 481864322 858738688 32657 4294967295 134512640 134569956 3221224400 3221214752 1131270545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32657 13073 16 0 209637 0
vsize: 838612
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 65146 71 0 0 25 0 11 0 481864322 858738688 32674 4294967295 134512640 134569956 3221224400 3221214800 1131297464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32674 13073 16 0 209637 0
vsize: 838612
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 66139 71 0 0 25 0 11 0 481864322 858738688 32676 4294967295 134512640 134569956 3221224400 3221214800 1131297665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32676 13073 16 0 209637 0
vsize: 838612
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 67127 71 0 0 25 0 11 0 481864322 858738688 32680 4294967295 134512640 134569956 3221224400 3221214848 1131180607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32680 13073 16 0 209637 0
vsize: 838612
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 68113 72 0 0 25 0 11 0 481864322 858738688 32684 4294967295 134512640 134569956 3221224400 3221214872 1131339505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32684 13073 16 0 209637 0
vsize: 838612
[startup+730.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 69102 72 0 0 25 0 11 0 481864322 858738688 32687 4294967295 134512640 134569956 3221224400 3221214848 1131277689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32687 13073 16 0 209637 0
vsize: 838612
[startup+740.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 70090 72 0 0 25 0 11 0 481864322 858738688 32705 4294967295 134512640 134569956 3221224400 3221214800 1131297673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32705 13073 16 0 209637 0
vsize: 838612
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 71080 72 0 0 25 0 11 0 481864322 858738688 32708 4294967295 134512640 134569956 3221224400 3221214896 1131357113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32708 13073 16 0 209637 0
vsize: 838612
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 72068 73 0 0 25 0 11 0 481864322 858738688 32712 4294967295 134512640 134569956 3221224400 3221214848 1131277900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32712 13073 16 0 209637 0
vsize: 838612
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 73054 73 0 0 25 0 11 0 481864322 858738688 32716 4294967295 134512640 134569956 3221224400 3221214896 1131357372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32716 13073 16 0 209637 0
vsize: 838612
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 74039 73 0 0 25 0 11 0 481864322 858738688 32721 4294967295 134512640 134569956 3221224400 3221214872 1131339494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32721 13073 16 0 209637 0
vsize: 838612
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 75024 74 0 0 25 0 11 0 481864322 858738688 32741 4294967295 134512640 134569956 3221224400 3221214728 1131405234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32741 13073 16 0 209637 0
vsize: 838612
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 76013 74 0 0 22 0 11 0 481864322 858738688 32745 4294967295 134512640 134569956 3221224400 3221214752 1131269162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32745 13073 16 0 209637 0
vsize: 838612
[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 76996 74 0 0 25 0 11 0 481864322 858738688 32751 4294967295 134512640 134569956 3221224400 3221214848 1131180628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32751 13073 16 0 209637 0
vsize: 838612
[startup+820.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 77979 75 0 0 25 0 11 0 481864322 858738688 32756 4294967295 134512640 134569956 3221224400 3221214848 1131180956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32756 13073 16 0 209637 0
vsize: 838612
[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 78963 75 0 0 25 0 11 0 481864322 858738688 32777 4294967295 134512640 134569956 3221224400 3221214872 1131339505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32777 13073 16 0 209637 0
vsize: 838612
[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 79949 75 0 0 25 0 11 0 481864322 858738688 32784 4294967295 134512640 134569956 3221224400 3221214728 1131405307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32784 13073 16 0 209637 0
vsize: 838612
[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 80933 75 0 0 25 0 11 0 481864322 858738688 32790 4294967295 134512640 134569956 3221224400 3221214896 1131357428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32790 13073 16 0 209637 0
vsize: 838612
[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 81911 75 0 0 25 0 11 0 481864322 858738688 32797 4294967295 134512640 134569956 3221224400 3221214752 1131269271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32797 13073 16 0 209637 0
vsize: 838612
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 82889 75 0 0 25 0 11 0 481864322 858738688 32807 4294967295 134512640 134569956 3221224400 3221214848 1131180956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32807 13073 16 0 209637 0
vsize: 838612
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 83866 75 0 0 25 0 11 0 481864322 858738688 32832 4294967295 134512640 134569956 3221224400 3221214752 1131269183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32832 13073 16 0 209637 0
vsize: 838612
[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 84852 76 0 0 25 0 11 0 481864322 858738688 32842 4294967295 134512640 134569956 3221224400 3221214848 1131180800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32842 13073 16 0 209637 0
vsize: 838612
[startup+900.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 85825 76 0 0 25 0 11 0 481864322 858738688 32853 4294967295 134512640 134569956 3221224400 3221214896 1131357125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32853 13073 16 0 209637 0
vsize: 838612
[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 86798 76 0 0 25 0 11 0 481864322 858738688 32866 4294967295 134512640 134569956 3221224400 3221214872 1131339505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32866 13073 16 0 209637 0
vsize: 838612
[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 87770 76 0 0 25 0 11 0 481864322 858738688 32881 4294967295 134512640 134569956 3221224400 3221214892 1131339436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32881 13073 16 0 209637 0
vsize: 838612
[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 88753 76 0 0 25 0 11 0 481864322 858738688 32910 4294967295 134512640 134569956 3221224400 3221214848 1131180956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32910 13073 16 0 209637 0
vsize: 838612
[startup+940.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 89721 76 0 0 25 0 11 0 481864322 858738688 32927 4294967295 134512640 134569956 3221224400 3221214752 1131268985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32927 13073 16 0 209637 0
vsize: 838612
[startup+950.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 90688 76 0 0 25 0 11 0 481864322 858738688 32942 4294967295 134512640 134569956 3221224400 3221214752 1131269904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32942 13073 16 0 209637 0
vsize: 838612
[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 91653 76 0 0 25 0 11 0 481864322 858738688 32965 4294967295 134512640 134569956 3221224400 3221214840 1131213554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32965 13073 16 0 209637 0
vsize: 838612
[startup+970.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 92636 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+980.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 93635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 94635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 95635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 96636 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 97635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 98635 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 99636 76 0 0 25 0 11 0 481864322 858738688 32992 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 32992 13073 16 0 209637 0
vsize: 838612
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 3/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 100609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33001 13073 16 0 209637 0
vsize: 838612
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 101609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33001 13073 16 0 209637 0
vsize: 838612
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 102609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33001 13073 16 0 209637 0
vsize: 838612
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 103609 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33001 13073 16 0 209637 0
vsize: 838612
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 104610 76 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33001 13073 16 0 209637 0
vsize: 838612
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 105610 77 0 0 25 0 11 0 481864322 858738688 33001 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33001 13073 16 0 209637 0
vsize: 838612
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 106594 77 0 0 25 0 11 0 481864322 858738688 33922 4294967295 134512640 134569956 3221224400 3221214752 1131201683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33922 13073 16 0 209637 0
vsize: 838612
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 107586 77 0 0 25 0 11 0 481864322 858738688 33922 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33922 13073 16 0 209637 0
vsize: 838612
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 108580 77 0 0 25 0 11 0 481864322 858738688 33922 4294967295 134512640 134569956 3221224400 3221214744 1131427475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33922 13073 16 0 209637 0
vsize: 838612
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 109576 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 110577 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 111579 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 112579 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 113579 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 114580 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 115556 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 116556 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 117556 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 118555 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 119554 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 29970
Raw data (stat): 29960 (java) R 29959 30854 30853 0 -1 0 18080 0 1 0 120554 77 0 0 25 0 11 0 481864322 858738688 33923 4294967295 134512640 134569956 3221224400 3221214728 1131405277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209653 33923 13073 16 0 209637 0
vsize: 838612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 29972
Raw data (stat): 29960 (java) Z 29959 30854 30853 0 -1 1036 18080 14413 1 0 120558 77 4228 43 25 0 1 0 481864322 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.27
CPU time (s): 1249.08
CPU user time (s): 1247.87
CPU system time (s): 1.20982
CPU usage (%): 99.905
Max. virtual memory (Kb): 839604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####