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/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM9689869ef48b5a0c26d142f61d149c48
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51200
Optimality of the best value was proved NO
Number of terms in the objective function 123
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1061759
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268469758
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.08
Number of variables17883
Total number of constraints4322
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)1177
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 13893 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-20 22:09:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20198 boxname=wulflinc27 idbench=1554 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9689869ef48b5a0c26d142f61d149c48  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-railway_8_1_0.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-railway_8_1_0.opb
IDLAUNCH: 20198
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        775632 kB
Buffers:         33568 kB
Cached:         192464 kB
SwapCached:        136 kB
Active:         109260 kB
Inactive:       119160 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775380 kB
SwapTotal:     2097892 kB
SwapFree:      2097324 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            24864 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:30:03 (client local time) WITH STATUS 143 IN 1253.69 SECONDS
stats: 20198 7 1253.69 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-railway_8_1_0.opb
c reading problem 
c [nbvar=17883]
c [nbconstr=4322]
c time 102.256
c #vars     17883
c #clauses  3146
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=64000
c Current CPU time (ms) : 112.426
c starts	: 1
c conflicts	: 0
c decisions	: 5669
c propagations	: 17883
c inspects	: 58558
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=63872
c Current CPU time (ms) : 121.254
c starts	: 2
c conflicts	: 0
c decisions	: 11324
c propagations	: 35761
c inspects	: 112928
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=63744
c Current CPU time (ms) : 129.691
c starts	: 3
c conflicts	: 0
c decisions	: 16965
c propagations	: 53639
c inspects	: 167264
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=63616
c Current CPU time (ms) : 138.225
c starts	: 4
c conflicts	: 0
c decisions	: 22583
c propagations	: 71517
c inspects	: 221765
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=63488
c Current CPU time (ms) : 146.576
c starts	: 5
c conflicts	: 0
c decisions	: 28188
c propagations	: 89395
c inspects	: 276362
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=63360
c Current CPU time (ms) : 155.467
c starts	: 6
c conflicts	: 1
c decisions	: 33772
c propagations	: 107277
c inspects	: 331117
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 6
c 
c CURRENT OPTIMUM=63232
c Current CPU time (ms) : 262.357
c starts	: 7
c conflicts	: 43
c decisions	: 40666
c propagations	: 140996
c inspects	: 435262
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 7
#### 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.86 0.95 0.90 1/54 5758
Raw data (stat): 5758 (runsolver) D 5757 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 539923070 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.96 0.91 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18006 0 1 0 731 40 0 0 25 0 10 0 539923070 854106112 19320 4294967295 134512640 134569956 3221224400 3221214760 1131191617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208522 19320 13073 16 0 208506 0
vsize: 834088
[startup+20.0013 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) S 5757 18865 18864 0 -1 0 18007 0 1 0 1627 41 0 0 25 0 10 0 539923070 856506368 20399 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209108 20399 13073 16 0 209092 0
vsize: 836432
[startup+30.0021 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 2514 41 0 0 25 0 10 0 539923070 855396352 20663 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 20663 13073 16 0 208821 0
vsize: 835348
[startup+40.0029 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 3430 41 0 0 25 0 10 0 539923070 854478848 20727 4294967295 134512640 134569956 3221224400 3221214832 1131229019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 20727 13073 16 0 208597 0
vsize: 834452
[startup+50.0033 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 4355 42 0 0 25 0 10 0 539923070 854478848 20895 4294967295 134512640 134569956 3221224400 3221214620 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 20895 13073 16 0 208597 0
vsize: 834452
[startup+60.0038 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 5279 42 0 0 25 0 10 0 539923070 854478848 21028 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 21028 13073 16 0 208597 0
vsize: 834452
[startup+70.0044 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 6200 42 0 0 25 0 10 0 539923070 854478848 21152 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 21152 13073 16 0 208597 0
vsize: 834452
[startup+80.0048 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 7130 42 0 0 25 0 10 0 539923070 854478848 21340 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 21340 13073 16 0 208597 0
vsize: 834452
[startup+90.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 8064 43 0 0 25 0 10 0 539923070 854478848 21437 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 21437 13073 16 0 208597 0
vsize: 834452
[startup+100.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 5767
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18007 0 1 0 8993 43 0 0 25 0 10 0 539923070 854478848 21528 4294967295 134512640 134569956 3221224400 3221214800 1131152127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208613 21528 13073 16 0 208597 0
vsize: 834452
[startup+110.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 5768
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18038 0 1 0 9910 45 0 0 25 0 11 0 539923070 855007232 24986 4294967295 134512640 134569956 3221224400 3221214800 1131239346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208742 24986 13073 16 0 208726 0
vsize: 834968
[startup+120.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 5769
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18039 3 1 0 10819 46 0 0 25 0 11 0 539923070 856002560 25205 4294967295 134512640 134569956 3221224400 3221214896 1131359777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208985 25205 13073 16 0 208969 0
vsize: 835940
[startup+130.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 5770
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18039 3 1 0 11750 46 0 0 25 0 11 0 539923070 856002560 25202 4294967295 134512640 134569956 3221224400 3221214904 1131369462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208985 25202 13073 16 0 208969 0
vsize: 835940
[startup+140.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 5771
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18039 3 1 0 12682 46 0 0 25 0 11 0 539923070 856002560 25299 4294967295 134512640 134569956 3221224400 3221214792 1131324226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208985 25299 13073 16 0 208969 0
vsize: 835940
[startup+150.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 5773
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18039 3 1 0 13630 47 0 0 25 0 11 0 539923070 856002560 25383 4294967295 134512640 134569956 3221224400 3221214744 1131239047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208985 25383 13073 16 0 208969 0
vsize: 835940
[startup+160.009 s]
Raw data (loadavg): 1.08 1.01 0.92 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18080 3 1 0 14533 47 0 0 24 0 11 0 539923070 860696576 26577 4294967295 134512640 134569956 3221224400 3221214744 1131239043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210131 26577 13073 16 0 210115 0
vsize: 840524
[startup+170.009 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18081 3 1 0 15496 47 0 0 25 0 11 0 539923070 859906048 26397 4294967295 134512640 134569956 3221224400 3221214636 1131500606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209938 26397 13073 16 0 209922 0
vsize: 839752
[startup+180.011 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 16478 47 0 0 25 0 11 0 539923070 865148928 27852 4294967295 134512640 134569956 3221224400 3221214640 1131448687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 27852 13073 16 0 211202 0
vsize: 844872
[startup+190.011 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 17462 48 0 0 25 0 11 0 539923070 865148928 27763 4294967295 134512640 134569956 3221224400 3221214640 1131611152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 27763 13073 16 0 211202 0
vsize: 844872
[startup+200.01 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 18449 48 0 0 25 0 11 0 539923070 865148928 27894 4294967295 134512640 134569956 3221224400 3221214424 1131578202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 27894 13073 16 0 211202 0
vsize: 844872
[startup+210.011 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 19442 48 0 0 25 0 11 0 539923070 865148928 28059 4294967295 134512640 134569956 3221224400 3221214640 1131611148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28059 13073 16 0 211202 0
vsize: 844872
[startup+220.011 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 20435 48 0 0 25 0 11 0 539923070 865148928 28077 4294967295 134512640 134569956 3221224400 3221214640 1131611152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28077 13073 16 0 211202 0
vsize: 844872
[startup+230.012 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 21428 48 0 0 25 0 11 0 539923070 865148928 28096 4294967295 134512640 134569956 3221224400 3221214792 1131419765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28096 13073 16 0 211202 0
vsize: 844872
[startup+240.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 22418 48 0 0 25 0 11 0 539923070 865148928 28122 4294967295 134512640 134569956 3221224400 3221214640 1131611152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28122 13073 16 0 211202 0
vsize: 844872
[startup+250.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 23411 48 0 0 25 0 11 0 539923070 865148928 28134 4294967295 134512640 134569956 3221224400 3221214640 1131611164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28134 13073 16 0 211202 0
vsize: 844872
[startup+260.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 5774
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 24395 48 0 0 25 0 11 0 539923070 866054144 28373 4294967295 134512640 134569956 3221224400 3221214744 1131238601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211439 28373 13073 16 0 211423 0
vsize: 845756
[startup+270.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 25344 48 0 0 24 0 11 0 539923070 866054144 28485 4294967295 134512640 134569956 3221224400 3221214792 1131324226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211439 28485 13073 16 0 211423 0
vsize: 845756
[startup+280.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 26324 48 0 0 25 0 11 0 539923070 865148928 28298 4294967295 134512640 134569956 3221224400 3221214656 1131611297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28298 13073 16 0 211202 0
vsize: 844872
[startup+290.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 27310 48 0 0 25 0 11 0 539923070 865148928 28324 4294967295 134512640 134569956 3221224400 3221214792 1131324383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28324 13073 16 0 211202 0
vsize: 844872
[startup+300.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 28300 49 0 0 25 0 11 0 539923070 865148928 28333 4294967295 134512640 134569956 3221224400 3221214808 1131419521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 28333 13073 16 0 211202 0
vsize: 844872
[startup+310.015 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 29286 49 0 0 25 0 11 0 539923070 865148928 28342 4294967295 134512640 134569956 3221224400 3221214656 1131611289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28342 13073 16 0 211202 0
vsize: 844872
[startup+320.015 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 30277 49 0 0 25 0 11 0 539923070 865148928 28367 4294967295 134512640 134569956 3221224400 3221214656 1131611148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28367 13073 16 0 211202 0
vsize: 844872
[startup+330.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 31263 49 0 0 25 0 11 0 539923070 865148928 28400 4294967295 134512640 134569956 3221224400 3221214696 1131448701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28400 13073 16 0 211202 0
vsize: 844872
[startup+340.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 32254 49 0 0 25 0 11 0 539923070 865148928 28431 4294967295 134512640 134569956 3221224400 3221214784 1131391260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28431 13073 16 0 211202 0
vsize: 844872
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 33245 49 0 0 25 0 11 0 539923070 865148928 28448 4294967295 134512640 134569956 3221224400 3221214808 1131419503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28448 13073 16 0 211202 0
vsize: 844872
[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 34233 49 0 0 25 0 11 0 539923070 865148928 28485 4294967295 134512640 134569956 3221224400 3221214656 1131611156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28485 13073 16 0 211202 0
vsize: 844872
[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18083 3 1 0 35224 49 0 0 25 0 11 0 539923070 865148928 28582 4294967295 134512640 134569956 3221224400 3221214744 1131239095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28582 13073 16 0 211202 0
vsize: 844872
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 36219 49 0 0 25 0 11 0 539923070 865148928 28648 4294967295 134512640 134569956 3221224400 3221214656 1131611152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 28648 13073 16 0 211202 0
vsize: 844872
[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 37214 49 0 0 25 0 11 0 539923070 865148928 28740 4294967295 134512640 134569956 3221224400 3221214656 1131611156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28740 13073 16 0 211202 0
vsize: 844872
[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 38203 49 0 0 25 0 11 0 539923070 865148928 28822 4294967295 134512640 134569956 3221224400 3221214656 1131611159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28822 13073 16 0 211202 0
vsize: 844872
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 39196 49 0 0 25 0 11 0 539923070 865148928 28845 4294967295 134512640 134569956 3221224400 3221214688 1131475321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28845 13073 16 0 211202 0
vsize: 844872
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 40189 49 0 0 25 0 11 0 539923070 865148928 28870 4294967295 134512640 134569956 3221224400 3221214656 1131611152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28870 13073 16 0 211202 0
vsize: 844872
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 41185 49 0 0 25 0 11 0 539923070 865148928 28870 4294967295 134512640 134569956 3221224400 3221214656 1131611289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28870 13073 16 0 211202 0
vsize: 844872
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 42178 49 0 0 25 0 11 0 539923070 865148928 28899 4294967295 134512640 134569956 3221224400 3221214656 1131611161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28899 13073 16 0 211202 0
vsize: 844872
[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 43174 50 0 0 25 0 11 0 539923070 865148928 28908 4294967295 134512640 134569956 3221224400 3221214656 1131611136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28908 13073 16 0 211202 0
vsize: 844872
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 44143 50 0 0 25 0 11 0 539923070 865148928 28968 4294967295 134512640 134569956 3221224400 3221214840 1131360687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 28968 13073 16 0 211202 0
vsize: 844872
[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 45105 50 0 0 25 0 11 0 539923070 865148928 29028 4294967295 134512640 134569956 3221224400 3221214744 1131239163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29028 13073 16 0 211202 0
vsize: 844872
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 46076 50 0 0 25 0 11 0 539923070 865148928 29103 4294967295 134512640 134569956 3221224400 3221214696 1131449660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29103 13073 16 0 211202 0
vsize: 844872
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 47036 50 0 0 25 0 11 0 539923070 865148928 29209 4294967295 134512640 134569956 3221224400 3221214744 1131239026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29209 13073 16 0 211202 0
vsize: 844872
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 48009 50 0 0 25 0 11 0 539923070 865148928 29336 4294967295 134512640 134569956 3221224400 3221214744 1131239904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29336 13073 16 0 211202 0
vsize: 844872
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 48995 50 0 0 25 0 11 0 539923070 865148928 29469 4294967295 134512640 134569956 3221224400 3221214696 1131448048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29469 13073 16 0 211202 0
vsize: 844872
[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 49989 50 0 0 25 0 11 0 539923070 865148928 29478 4294967295 134512640 134569956 3221224400 3221214656 1131611304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29478 13073 16 0 211202 0
vsize: 844872
[startup+530.051 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 50974 51 0 0 25 0 11 0 539923070 865148928 29484 4294967295 134512640 134569956 3221224400 3221214840 1131359768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29484 13073 16 0 211202 0
vsize: 844872
[startup+540.051 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 51955 51 0 0 24 0 11 0 539923070 865148928 29496 4294967295 134512640 134569956 3221224400 3221214744 1131238976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29496 13073 16 0 211202 0
vsize: 844872
[startup+550.052 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 52916 51 0 0 24 0 11 0 539923070 865148928 29604 4294967295 134512640 134569956 3221224400 3221214836 1131263169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29604 13073 16 0 211202 0
vsize: 844872
[startup+560.052 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 53898 52 0 0 25 0 11 0 539923070 865148928 29616 4294967295 134512640 134569956 3221224400 3221214744 1131239015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29616 13073 16 0 211202 0
vsize: 844872
[startup+570.053 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 54888 52 0 0 25 0 11 0 539923070 865148928 29631 4294967295 134512640 134569956 3221224400 3221214792 1131324271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29631 13073 16 0 211202 0
vsize: 844872
[startup+580.054 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 55853 52 0 0 25 0 11 0 539923070 865148928 29755 4294967295 134512640 134569956 3221224400 3221214656 1131611152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29755 13073 16 0 211202 0
vsize: 844872
[startup+590.054 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 56832 53 0 0 25 0 11 0 539923070 865148928 29808 4294967295 134512640 134569956 3221224400 3221214656 1131611304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29808 13073 16 0 211202 0
vsize: 844872
[startup+600.055 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 57824 53 0 0 25 0 11 0 539923070 865148928 29831 4294967295 134512640 134569956 3221224400 3221214552 1131292959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29831 13073 16 0 211202 0
vsize: 844872
[startup+610.056 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 58806 53 0 0 25 0 11 0 539923070 865148928 29892 4294967295 134512640 134569956 3221224400 3221214696 1131448750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29892 13073 16 0 211202 0
vsize: 844872
[startup+620.056 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 59788 54 0 0 25 0 11 0 539923070 865148928 29959 4294967295 134512640 134569956 3221224400 3221214808 1131419568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 29959 13073 16 0 211202 0
vsize: 844872
[startup+630.057 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 60773 54 0 0 25 0 11 0 539923070 865148928 29992 4294967295 134512640 134569956 3221224400 3221214656 1131611159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 29992 13073 16 0 211202 0
vsize: 844872
[startup+640.063 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 61757 54 0 0 25 0 11 0 539923070 865148928 30012 4294967295 134512640 134569956 3221224400 3221214808 1131419564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30012 13073 16 0 211202 0
vsize: 844872
[startup+650.062 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 62739 54 0 0 25 0 11 0 539923070 865148928 30056 4294967295 134512640 134569956 3221224400 3221214808 1131419753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30056 13073 16 0 211202 0
vsize: 844872
[startup+660.063 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 63732 54 0 0 25 0 11 0 539923070 865148928 30072 4294967295 134512640 134569956 3221224400 3221214840 1131360741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30072 13073 16 0 211202 0
vsize: 844872
[startup+670.063 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 64718 55 0 0 25 0 11 0 539923070 865148928 30141 4294967295 134512640 134569956 3221224400 3221214656 1131611230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30141 13073 16 0 211202 0
vsize: 844872
[startup+680.064 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 65703 55 0 0 25 0 11 0 539923070 865148928 30250 4294967295 134512640 134569956 3221224400 3221214656 1131611304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211218 30250 13073 16 0 211202 0
vsize: 844872
[startup+690.064 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 66698 55 0 0 25 0 11 0 539923070 865148928 30267 4294967295 134512640 134569956 3221224400 3221214712 1131239307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30267 13073 16 0 211202 0
vsize: 844872
[startup+700.064 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 67685 55 0 0 25 0 11 0 539923070 865148928 30293 4294967295 134512640 134569956 3221224400 3221214808 1131419583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30293 13073 16 0 211202 0
vsize: 844872
[startup+710.065 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 68678 55 0 0 25 0 11 0 539923070 865148928 30325 4294967295 134512640 134569956 3221224400 3221214696 1131448699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30325 13073 16 0 211202 0
vsize: 844872
[startup+720.071 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 69671 56 0 0 25 0 11 0 539923070 865148928 30341 4294967295 134512640 134569956 3221224400 3221214744 1131238610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30341 13073 16 0 211202 0
vsize: 844872
[startup+730.071 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 70656 56 0 0 25 0 11 0 539923070 865148928 30382 4294967295 134512640 134569956 3221224400 3221214656 1131611289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30382 13073 16 0 211202 0
vsize: 844872
[startup+740.072 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 71645 57 0 0 25 0 11 0 539923070 865148928 30422 4294967295 134512640 134569956 3221224400 3221214656 1131611152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30422 13073 16 0 211202 0
vsize: 844872
[startup+750.072 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 72632 57 0 0 25 0 11 0 539923070 865148928 30440 4294967295 134512640 134569956 3221224400 3221214688 1131476945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30440 13073 16 0 211202 0
vsize: 844872
[startup+760.073 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 73619 57 0 0 25 0 11 0 539923070 865148928 30479 4294967295 134512640 134569956 3221224400 3221214656 1131611297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30479 13073 16 0 211202 0
vsize: 844872
[startup+770.073 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 74608 57 0 0 25 0 11 0 539923070 865148928 30479 4294967295 134512640 134569956 3221224400 3221214656 1131611289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30479 13073 16 0 211202 0
vsize: 844872
[startup+780.075 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 75589 58 0 0 25 0 11 0 539923070 865148928 30534 4294967295 134512640 134569956 3221224400 3221214792 1131324271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30534 13073 16 0 211202 0
vsize: 844872
[startup+790.075 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 76561 58 0 0 25 0 11 0 539923070 865148928 30592 4294967295 134512640 134569956 3221224400 3221214808 1131419521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30592 13073 16 0 211202 0
vsize: 844872
[startup+800.075 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 77545 58 0 0 25 0 11 0 539923070 865148928 30642 4294967295 134512640 134569956 3221224400 3221214808 1131419500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30642 13073 16 0 211202 0
vsize: 844872
[startup+810.076 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 78530 59 0 0 25 0 11 0 539923070 865148928 30720 4294967295 134512640 134569956 3221224400 3221214656 1131611289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30720 13073 16 0 211202 0
vsize: 844872
[startup+820.077 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 79520 59 0 0 25 0 11 0 539923070 865148928 30780 4294967295 134512640 134569956 3221224400 3221214692 1131500556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30780 13073 16 0 211202 0
vsize: 844872
[startup+830.077 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 80504 59 0 0 25 0 11 0 539923070 865148928 30809 4294967295 134512640 134569956 3221224400 3221214808 1131419576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30809 13073 16 0 211202 0
vsize: 844872
[startup+840.077 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 81494 59 0 0 25 0 11 0 539923070 865148928 30839 4294967295 134512640 134569956 3221224400 3221214496 1131585204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30839 13073 16 0 211202 0
vsize: 844872
[startup+850.078 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 82481 59 0 0 25 0 11 0 539923070 865148928 30893 4294967295 134512640 134569956 3221224400 3221214656 1131611297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30893 13073 16 0 211202 0
vsize: 844872
[startup+860.078 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 83467 60 0 0 25 0 11 0 539923070 865148928 30923 4294967295 134512640 134569956 3221224400 3221214840 1131359722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30923 13073 16 0 211202 0
vsize: 844872
[startup+870.079 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 84446 60 0 0 25 0 11 0 539923070 865148928 30977 4294967295 134512640 134569956 3221224400 3221214792 1131324226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 30977 13073 16 0 211202 0
vsize: 844872
[startup+880.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 85426 60 0 0 25 0 11 0 539923070 865148928 31024 4294967295 134512640 134569956 3221224400 3221214696 1131448701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31024 13073 16 0 211202 0
vsize: 844872
[startup+890.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 86410 61 0 0 25 0 11 0 539923070 865148928 31095 4294967295 134512640 134569956 3221224400 3221214656 1131611289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31095 13073 16 0 211202 0
vsize: 844872
[startup+900.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 87386 61 0 0 25 0 11 0 539923070 865148928 31114 4294967295 134512640 134569956 3221224400 3221214744 1131239092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31114 13073 16 0 211202 0
vsize: 844872
[startup+910.081 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 88348 61 0 0 25 0 11 0 539923070 865148928 31175 4294967295 134512640 134569956 3221224400 3221214744 1131239170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31175 13073 16 0 211202 0
vsize: 844872
[startup+920.081 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 89309 62 0 0 25 0 11 0 539923070 865148928 31254 4294967295 134512640 134569956 3221224400 3221214696 1131448744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31254 13073 16 0 211202 0
vsize: 844872
[startup+930.083 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 90270 62 0 0 25 0 11 0 539923070 865148928 31331 4294967295 134512640 134569956 3221224400 3221214744 1131238774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31331 13073 16 0 211202 0
vsize: 844872
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 91223 62 0 0 25 0 11 0 539923070 865148928 31600 4294967295 134512640 134569956 3221224400 3221214744 1131239118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31600 13073 16 0 211202 0
vsize: 844872
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 92186 63 0 0 25 0 11 0 539923070 865148928 31753 4294967295 134512640 134569956 3221224400 3221214744 1131239145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31753 13073 16 0 211202 0
vsize: 844872
[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 93156 63 0 0 25 0 11 0 539923070 865148928 31876 4294967295 134512640 134569956 3221224400 3221214744 1131239192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31876 13073 16 0 211202 0
vsize: 844872
[startup+970.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 94145 64 0 0 25 0 11 0 539923070 865148928 31949 4294967295 134512640 134569956 3221224400 3221214744 1131239005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 31949 13073 16 0 211202 0
vsize: 844872
[startup+980.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 95119 64 0 0 25 0 11 0 539923070 865148928 32085 4294967295 134512640 134569956 3221224400 3221214808 1131419753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32085 13073 16 0 211202 0
vsize: 844872
[startup+990.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 96096 64 0 0 25 0 11 0 539923070 865148928 32144 4294967295 134512640 134569956 3221224400 3221214744 1131239338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32144 13073 16 0 211202 0
vsize: 844872
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 97075 65 0 0 25 0 11 0 539923070 865148928 32191 4294967295 134512640 134569956 3221224400 3221214744 1131238836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32191 13073 16 0 211202 0
vsize: 844872
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 98054 66 0 0 25 0 11 0 539923070 865148928 32279 4294967295 134512640 134569956 3221224400 3221214744 1131239333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32279 13073 16 0 211202 0
vsize: 844872
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 99033 66 0 0 25 0 11 0 539923070 865148928 32348 4294967295 134512640 134569956 3221224400 3221214792 1131324271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32348 13073 16 0 211202 0
vsize: 844872
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 100009 66 0 0 25 0 11 0 539923070 865148928 32412 4294967295 134512640 134569956 3221224400 3221214760 1131509959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32412 13073 16 0 211202 0
vsize: 844872
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 100983 67 0 0 24 0 11 0 539923070 865148928 32461 4294967295 134512640 134569956 3221224400 3221214808 1131419572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32461 13073 16 0 211202 0
vsize: 844872
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 101958 67 0 0 25 0 11 0 539923070 865148928 32541 4294967295 134512640 134569956 3221224400 3221214816 1131391260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32541 13073 16 0 211202 0
vsize: 844872
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 102925 67 0 0 25 0 11 0 539923070 865148928 32710 4294967295 134512640 134569956 3221224400 3221214744 1131239287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32710 13073 16 0 211202 0
vsize: 844872
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 103897 68 0 0 25 0 11 0 539923070 865148928 32873 4294967295 134512640 134569956 3221224400 3221214696 1131449666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 32873 13073 16 0 211202 0
vsize: 844872
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 104872 68 0 0 25 0 11 0 539923070 865148928 33042 4294967295 134512640 134569956 3221224400 3221214696 1131448030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33042 13073 16 0 211202 0
vsize: 844872
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 105857 68 0 0 25 0 11 0 539923070 865148928 33152 4294967295 134512640 134569956 3221224400 3221214792 1131324365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33152 13073 16 0 211202 0
vsize: 844872
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 106833 68 0 0 25 0 11 0 539923070 865148928 33325 4294967295 134512640 134569956 3221224400 3221214656 1131611152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33325 13073 16 0 211202 0
vsize: 844872
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 107808 69 0 0 24 0 11 0 539923070 865148928 33465 4294967295 134512640 134569956 3221224400 3221214792 1131324334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33465 13073 16 0 211202 0
vsize: 844872
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 108779 69 0 0 25 0 11 0 539923070 865148928 33528 4294967295 134512640 134569956 3221224400 3221214792 1131324226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33528 13073 16 0 211202 0
vsize: 844872
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 109749 69 0 0 25 0 11 0 539923070 865148928 33696 4294967295 134512640 134569956 3221224400 3221214808 1131419564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33696 13073 16 0 211202 0
vsize: 844872
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 110724 70 0 0 25 0 11 0 539923070 865148928 33737 4294967295 134512640 134569956 3221224400 3221214544 1131292386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33737 13073 16 0 211202 0
vsize: 844872
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 111692 70 0 0 25 0 11 0 539923070 865148928 33897 4294967295 134512640 134569956 3221224400 3221214816 1131391307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33897 13073 16 0 211202 0
vsize: 844872
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 112668 71 0 0 25 0 11 0 539923070 865148928 33916 4294967295 134512640 134569956 3221224400 3221214656 1131611304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 33916 13073 16 0 211202 0
vsize: 844872
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 113639 71 0 0 25 0 11 0 539923070 865148928 34072 4294967295 134512640 134569956 3221224400 3221214696 1131448701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34072 13073 16 0 211202 0
vsize: 844872
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 114611 71 0 0 25 0 11 0 539923070 865148928 34151 4294967295 134512640 134569956 3221224400 3221214792 1131324257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34151 13073 16 0 211202 0
vsize: 844872
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 115582 71 0 0 25 0 11 0 539923070 865148928 34288 4294967295 134512640 134569956 3221224400 3221214792 1131324231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34288 13073 16 0 211202 0
vsize: 844872
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 116555 71 0 0 25 0 11 0 539923070 865148928 34352 4294967295 134512640 134569956 3221224400 3221214744 1131239095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34352 13073 16 0 211202 0
vsize: 844872
[startup+1210.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 117522 72 0 0 25 0 11 0 539923070 865148928 34518 4294967295 134512640 134569956 3221224400 3221214696 1131447688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34518 13073 16 0 211202 0
vsize: 844872
[startup+1220.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 118489 72 0 0 25 0 11 0 539923070 865148928 34614 4294967295 134512640 134569956 3221224400 3221214792 1131324226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34614 13073 16 0 211202 0
vsize: 844872
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 119460 72 0 0 25 0 11 0 539923070 865148928 34776 4294967295 134512640 134569956 3221224400 3221214744 1131239233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34776 13073 16 0 211202 0
vsize: 844872
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5775
Raw data (stat): 5758 (java) R 5757 18865 18864 0 -1 0 18084 3 1 0 120426 72 0 0 25 0 11 0 539923070 865148928 34914 4294967295 134512640 134569956 3221224400 3221214792 1131324226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211218 34914 13073 16 0 211202 0
vsize: 844872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.33 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 5777
Raw data (stat): 5758 (java) Z 5757 18865 18864 0 -1 1036 18084 23258 1 0 120430 79 4796 62 25 0 1 0 539923070 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): 1240.33
CPU time (s): 1253.69
CPU user time (s): 1252.27
CPU system time (s): 1.41578
CPU usage (%): 101.077
Max. virtual memory (Kb): 845756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####