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/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb
MD5SUM4ca29b1bc7e76812f7871e2b937d8a23
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved NO
Number of terms in the objective function 720
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 720
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 720
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04084
Number of variables720
Total number of constraints2168
Number of constraints which are clauses2144
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30

Trace number 4424 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-13 17:01:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2169 boxname=wulflinc7 idbench=241 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc7/normalized-s4-4-3-5pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-s4-4-3-5pb.opb
IDLAUNCH: 2169
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        923060 kB
Buffers:         36432 kB
Cached:          56048 kB
SwapCached:          0 kB
Active:          71776 kB
Inactive:        23544 kB
HighTotal:      131008 kB
HighFree:        71120 kB
LowTotal:       903652 kB
LowFree:        851940 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            10764 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:22:54 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2169 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-s4-4-3-5pb.opb
c reading problem 
c [nbvar=720]
c [nbconstr=2168]
c time 2.542
c #vars     720
c #clauses  2168
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=70
c Current CPU time (ms) : 22.645
c starts	: 2
c conflicts	: 237
c decisions	: 2284
c propagations	: 15194
c inspects	: 50029
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 237
c root simplifications	: 2
c 
c CURRENT OPTIMUM=68
c Current CPU time (ms) : 41.857
c starts	: 4
c conflicts	: 413
c decisions	: 4148
c propagations	: 24582
c inspects	: 92847
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 413
c root simplifications	: 4
c 
c CURRENT OPTIMUM=66
c Current CPU time (ms) : 51.684
c starts	: 5
c conflicts	: 488
c decisions	: 5064
c propagations	: 30105
c inspects	: 121292
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 488
c root simplifications	: 6
c 
c CURRENT OPTIMUM=64
c Current CPU time (ms) : 58.715
c starts	: 6
c conflicts	: 543
c decisions	: 5531
c propagations	: 34344
c inspects	: 143334
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 543
c root simplifications	: 7
c 
c CURRENT OPTIMUM=62
c Current CPU time (ms) : 90.196
c starts	: 8
c conflicts	: 658
c decisions	: 6578
c propagations	: 42045
c inspects	: 204891
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 658
c root simplifications	: 10
#### 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.93 0.99 0.94 2/54 23714
Raw data (stat): 23714 (runsolver) R 23713 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419375411 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.9999 s]
Raw data (loadavg): 1.33 1.07 0.97 2/64 23724
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18093 0 1 0 612 45 0 0 25 0 11 0 419375411 865456128 21643 4294967295 134512640 134569956 3221224416 3221214040 1131218425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211293 21643 13073 16 0 211277 0
vsize: 845172
[startup+20.001 s]
Raw data (loadavg): 1.28 1.07 0.97 2/64 23724
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18094 0 1 0 1537 45 0 0 24 0 11 0 419375411 862949376 21971 4294967295 134512640 134569956 3221224416 3221214592 1131331011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 21971 13073 16 0 210665 0
vsize: 842724
[startup+30.0011 s]
Raw data (loadavg): 1.24 1.07 0.97 2/64 23725
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18094 3 1 0 2464 45 0 0 25 0 11 0 419375411 862949376 22471 4294967295 134512640 134569956 3221224416 3221214912 1131333384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 22471 13073 16 0 210665 0
vsize: 842724
[startup+40.0008 s]
Raw data (loadavg): 1.20 1.06 0.97 2/64 23725
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 3384 45 0 0 25 0 11 0 419375411 862949376 22849 4294967295 134512640 134569956 3221224416 3221214816 1131212660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 22849 13073 16 0 210665 0
vsize: 842724
[startup+50.002 s]
Raw data (loadavg): 1.17 1.06 0.97 2/64 23726
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 4294 46 0 0 24 0 11 0 419375411 862949376 23018 4294967295 134512640 134569956 3221224416 3221214696 1131223648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 23018 13073 16 0 210665 0
vsize: 842724
[startup+60.0021 s]
Raw data (loadavg): 1.14 1.06 0.97 2/64 23728
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 5214 46 0 0 25 0 11 0 419375411 862949376 23291 4294967295 134512640 134569956 3221224416 3221214592 1131331197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 23291 13073 16 0 210665 0
vsize: 842724
[startup+70.0026 s]
Raw data (loadavg): 1.12 1.06 0.97 2/64 23728
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 6134 46 0 0 25 0 11 0 419375411 862949376 23444 4294967295 134512640 134569956 3221224416 3221214816 1131212949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 23444 13073 16 0 210665 0
vsize: 842724
[startup+80.0037 s]
Raw data (loadavg): 1.10 1.05 0.97 2/64 23728
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 7059 46 0 0 25 0 11 0 419375411 862949376 23727 4294967295 134512640 134569956 3221224416 3221214816 1131212949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 23727 13073 16 0 210665 0
vsize: 842724
[startup+90.0039 s]
Raw data (loadavg): 1.08 1.05 0.97 2/64 23728
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 8003 46 0 0 25 0 11 0 419375411 862949376 23943 4294967295 134512640 134569956 3221224416 3221214816 1131213204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 23943 13073 16 0 210665 0
vsize: 842724
[startup+100.005 s]
Raw data (loadavg): 1.07 1.05 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 8947 46 0 0 25 0 11 0 419375411 862949376 24128 4294967295 134512640 134569956 3221224416 3221214864 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 24128 13073 16 0 210665 0
vsize: 842724
[startup+110.006 s]
Raw data (loadavg): 1.06 1.05 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 9875 46 0 0 25 0 11 0 419375411 862949376 24280 4294967295 134512640 134569956 3221224416 3221214840 1131267532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 24280 13073 16 0 210665 0
vsize: 842724
[startup+120.006 s]
Raw data (loadavg): 1.05 1.05 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 10801 46 0 0 25 0 11 0 419375411 862949376 24403 4294967295 134512640 134569956 3221224416 3221214544 1131262669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 24403 13073 16 0 210665 0
vsize: 842724
[startup+130.006 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 11722 46 0 0 25 0 11 0 419375411 862949376 24539 4294967295 134512640 134569956 3221224416 3221214816 1131212949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 24539 13073 16 0 210665 0
vsize: 842724
[startup+140.007 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 12646 46 0 0 25 0 11 0 419375411 862949376 24788 4294967295 134512640 134569956 3221224416 3221214864 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 24788 13073 16 0 210665 0
vsize: 842724
[startup+150.008 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 13584 46 0 0 25 0 11 0 419375411 862949376 24998 4294967295 134512640 134569956 3221224416 3221214568 1131522454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 24998 13073 16 0 210665 0
vsize: 842724
[startup+160.007 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 14527 46 0 0 25 0 11 0 419375411 862949376 25208 4294967295 134512640 134569956 3221224416 3221214648 1131315085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25208 13073 16 0 210665 0
vsize: 842724
[startup+170.007 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 15468 46 0 0 25 0 11 0 419375411 862949376 25332 4294967295 134512640 134569956 3221224416 3221214840 1131267544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25332 13073 16 0 210665 0
vsize: 842724
[startup+180.008 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 16417 46 0 0 25 0 11 0 419375411 862949376 25439 4294967295 134512640 134569956 3221224416 3221214592 1131330990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25439 13073 16 0 210665 0
vsize: 842724
[startup+190.008 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 17350 46 0 0 25 0 11 0 419375411 862949376 25577 4294967295 134512640 134569956 3221224416 3221214648 1131281942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25577 13073 16 0 210665 0
vsize: 842724
[startup+200.01 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 18297 46 0 0 25 0 11 0 419375411 862949376 25737 4294967295 134512640 134569956 3221224416 3221214840 1131267239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25737 13073 16 0 210665 0
vsize: 842724
[startup+210.009 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23729
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 19254 46 0 0 25 0 11 0 419375411 862949376 25853 4294967295 134512640 134569956 3221224416 3221214832 1131309209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 25853 13073 16 0 210665 0
vsize: 842724
[startup+220.009 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 20210 46 0 0 25 0 11 0 419375411 862949376 26000 4294967295 134512640 134569956 3221224416 3221214568 1131343969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26000 13073 16 0 210665 0
vsize: 842724
[startup+230.01 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 21169 46 0 0 25 0 11 0 419375411 862949376 26075 4294967295 134512640 134569956 3221224416 3221214864 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26075 13073 16 0 210665 0
vsize: 842724
[startup+240.01 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 22127 46 0 0 25 0 11 0 419375411 862949376 26181 4294967295 134512640 134569956 3221224416 3221214864 1131144368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26181 13073 16 0 210665 0
vsize: 842724
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 23088 46 0 0 25 0 11 0 419375411 862949376 26263 4294967295 134512640 134569956 3221224416 3221214816 1131212608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26263 13073 16 0 210665 0
vsize: 842724
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 24052 46 0 0 25 0 11 0 419375411 862949376 26343 4294967295 134512640 134569956 3221224416 3221214464 1131262956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26343 13073 16 0 210665 0
vsize: 842724
[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 25018 47 0 0 25 0 11 0 419375411 862949376 26440 4294967295 134512640 134569956 3221224416 3221214816 1131212949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26440 13073 16 0 210665 0
vsize: 842724
[startup+280.013 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 25982 47 0 0 25 0 11 0 419375411 862949376 26505 4294967295 134512640 134569956 3221224416 3221214576 1131531081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26505 13073 16 0 210665 0
vsize: 842724
[startup+290.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 26942 47 0 0 25 0 11 0 419375411 862949376 26558 4294967295 134512640 134569956 3221224416 3221214816 1131213410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26558 13073 16 0 210665 0
vsize: 842724
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 27899 47 0 0 25 0 11 0 419375411 862949376 26623 4294967295 134512640 134569956 3221224416 3221214816 1131212938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26623 13073 16 0 210665 0
vsize: 842724
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 28846 47 0 0 25 0 11 0 419375411 862949376 26711 4294967295 134512640 134569956 3221224416 3221214576 1131532211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26711 13073 16 0 210665 0
vsize: 842724
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 29799 47 0 0 25 0 11 0 419375411 862949376 26865 4294967295 134512640 134569956 3221224416 3221214864 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26865 13073 16 0 210665 0
vsize: 842724
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 30753 47 0 0 25 0 11 0 419375411 862949376 26997 4294967295 134512640 134569956 3221224416 3221214744 1131380584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 26997 13073 16 0 210665 0
vsize: 842724
[startup+340.015 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 31712 47 0 0 24 0 11 0 419375411 862949376 27108 4294967295 134512640 134569956 3221224416 3221214576 1131532194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27108 13073 16 0 210665 0
vsize: 842724
[startup+350.016 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 32674 47 0 0 25 0 11 0 419375411 862949376 27172 4294967295 134512640 134569956 3221224416 3221214816 1131213763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27172 13073 16 0 210665 0
vsize: 842724
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 33633 47 0 0 25 0 11 0 419375411 862949376 27225 4294967295 134512640 134569956 3221224416 3221214544 1131262659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27225 13073 16 0 210665 0
vsize: 842724
[startup+370.016 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 34593 47 0 0 25 0 11 0 419375411 862949376 27325 4294967295 134512640 134569956 3221224416 3221214744 1131380535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27325 13073 16 0 210665 0
vsize: 842724
[startup+380.017 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 35551 47 0 0 25 0 11 0 419375411 862949376 27405 4294967295 134512640 134569956 3221224416 3221214816 1131212545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27405 13073 16 0 210665 0
vsize: 842724
[startup+390.017 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 36506 47 0 0 25 0 11 0 419375411 862949376 27494 4294967295 134512640 134569956 3221224416 3221214864 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27494 13073 16 0 210665 0
vsize: 842724
[startup+400.018 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 37456 47 0 0 25 0 11 0 419375411 862949376 27567 4294967295 134512640 134569956 3221224416 3221214600 1131244949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27567 13073 16 0 210665 0
vsize: 842724
[startup+410.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 38417 47 0 0 25 0 11 0 419375411 862949376 27688 4294967295 134512640 134569956 3221224416 3221214648 1131282197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27688 13073 16 0 210665 0
vsize: 842724
[startup+420.018 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 39374 47 0 0 25 0 11 0 419375411 862949376 27800 4294967295 134512640 134569956 3221224416 3221214624 1131148249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27800 13073 16 0 210665 0
vsize: 842724
[startup+430.018 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 40332 47 0 0 25 0 11 0 419375411 862949376 27872 4294967295 134512640 134569956 3221224416 3221214864 1131144348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27872 13073 16 0 210665 0
vsize: 842724
[startup+440.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 41286 47 0 0 25 0 11 0 419375411 862949376 27985 4294967295 134512640 134569956 3221224416 3221214528 1131414795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 27985 13073 16 0 210665 0
vsize: 842724
[startup+450.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 42231 47 0 0 25 0 11 0 419375411 862949376 28080 4294967295 134512640 134569956 3221224416 3221214544 1131262682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28080 13073 16 0 210665 0
vsize: 842724
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 43179 47 0 0 24 0 11 0 419375411 862949376 28179 4294967295 134512640 134569956 3221224416 3221214576 1131531026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28179 13073 16 0 210665 0
vsize: 842724
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 44141 48 0 0 25 0 11 0 419375411 862949376 28324 4294967295 134512640 134569956 3221224416 3221214912 1131333465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28324 13073 16 0 210665 0
vsize: 842724
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 45109 48 0 0 24 0 11 0 419375411 862949376 28443 4294967295 134512640 134569956 3221224416 3221214648 1131282247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28443 13073 16 0 210665 0
vsize: 842724
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 46082 48 0 0 25 0 11 0 419375411 862949376 28491 4294967295 134512640 134569956 3221224416 3221214816 1131212949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28491 13073 16 0 210665 0
vsize: 842724
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 47046 48 0 0 25 0 11 0 419375411 862949376 28518 4294967295 134512640 134569956 3221224416 3221214864 1131144337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28518 13073 16 0 210665 0
vsize: 842724
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 48003 48 0 0 24 0 11 0 419375411 862949376 28559 4294967295 134512640 134569956 3221224416 3221214744 1131379811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28559 13073 16 0 210665 0
vsize: 842724
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 48961 48 0 0 25 0 11 0 419375411 862949376 28643 4294967295 134512640 134569956 3221224416 3221214544 1131262592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28643 13073 16 0 210665 0
vsize: 842724
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 49918 48 0 0 25 0 11 0 419375411 862949376 28758 4294967295 134512640 134569956 3221224416 3221214544 1131262739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28758 13073 16 0 210665 0
vsize: 842724
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 50881 48 0 0 25 0 11 0 419375411 862949376 28857 4294967295 134512640 134569956 3221224416 3221214528 1131415165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28857 13073 16 0 210665 0
vsize: 842724
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) S 23713 22932 22931 0 -1 0 18095 3 1 0 51852 48 0 0 25 0 11 0 419375411 862949376 28907 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 28907 13073 16 0 210665 0
vsize: 842724
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 52815 48 0 0 25 0 11 0 419375411 862949376 29007 4294967295 134512640 134569956 3221224416 3221214876 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29007 13073 16 0 210665 0
vsize: 842724
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 53776 48 0 0 25 0 11 0 419375411 862949376 29033 4294967295 134512640 134569956 3221224416 3221214464 1131262669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29033 13073 16 0 210665 0
vsize: 842724
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 54740 48 0 0 25 0 11 0 419375411 862949376 29105 4294967295 134512640 134569956 3221224416 3221214544 1131262669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29105 13073 16 0 210665 0
vsize: 842724
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 55704 48 0 0 24 0 11 0 419375411 862949376 29221 4294967295 134512640 134569956 3221224416 3221214912 1131333764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29221 13073 16 0 210665 0
vsize: 842724
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 56666 48 0 0 25 0 11 0 419375411 862949376 29270 4294967295 134512640 134569956 3221224416 3221214576 1131531026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29270 13073 16 0 210665 0
vsize: 842724
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 57626 48 0 0 25 0 11 0 419375411 862949376 29343 4294967295 134512640 134569956 3221224416 3221214816 1131212889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29343 13073 16 0 210665 0
vsize: 842724
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 58581 49 0 0 25 0 11 0 419375411 862949376 29410 4294967295 134512640 134569956 3221224416 3221214464 1131262669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29410 13073 16 0 210665 0
vsize: 842724
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 59536 49 0 0 24 0 11 0 419375411 862949376 29521 4294967295 134512640 134569956 3221224416 3221214544 1131263456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29521 13073 16 0 210665 0
vsize: 842724
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 60500 49 0 0 25 0 11 0 419375411 862949376 29599 4294967295 134512640 134569956 3221224416 3221214816 1131212949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29599 13073 16 0 210665 0
vsize: 842724
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 61460 49 0 0 25 0 11 0 419375411 862949376 29697 4294967295 134512640 134569956 3221224416 3221214544 1131262703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29697 13073 16 0 210665 0
vsize: 842724
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 62428 49 0 0 25 0 11 0 419375411 862949376 29764 4294967295 134512640 134569956 3221224416 3221214596 1131577486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 29764 13073 16 0 210665 0
vsize: 842724
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 63384 49 0 0 24 0 11 0 419375411 862949376 29819 4294967295 134512640 134569956 3221224416 3221214572 1131457952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 29819 13073 16 0 210665 0
vsize: 842724
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 64352 49 0 0 25 0 11 0 419375411 862949376 29923 4294967295 134512640 134569956 3221224416 3221214544 1131262739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 29923 13073 16 0 210665 0
vsize: 842724
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 65311 50 0 0 25 0 11 0 419375411 862949376 29985 4294967295 134512640 134569956 3221224416 3221214472 1131572273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 29985 13073 16 0 210665 0
vsize: 842724
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 66283 50 0 0 25 0 11 0 419375411 862949376 30058 4294967295 134512640 134569956 3221224416 3221214872 1131333174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30058 13073 16 0 210665 0
vsize: 842724
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 67245 50 0 0 25 0 11 0 419375411 862949376 30114 4294967295 134512640 134569956 3221224416 3221214612 1080203744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30114 13073 16 0 210665 0
vsize: 842724
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 68212 51 0 0 25 0 11 0 419375411 862949376 30205 4294967295 134512640 134569956 3221224416 3221214824 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 30205 13073 16 0 210665 0
vsize: 842724
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 69175 51 0 0 25 0 11 0 419375411 862949376 30221 4294967295 134512640 134569956 3221224416 3221214824 1131144337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30221 13073 16 0 210665 0
vsize: 842724
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 70132 51 0 0 24 0 11 0 419375411 862949376 30303 4294967295 134512640 134569956 3221224416 3221214824 1131144320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30303 13073 16 0 210665 0
vsize: 842724
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 71102 51 0 0 25 0 11 0 419375411 862949376 30377 4294967295 134512640 134569956 3221224416 3221214520 1131262592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 30377 13073 16 0 210665 0
vsize: 842724
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 72074 51 0 0 25 0 11 0 419375411 862949376 30437 4294967295 134512640 134569956 3221224416 3221214552 1131531319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30437 13073 16 0 210665 0
vsize: 842724
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 73044 52 0 0 25 0 11 0 419375411 862949376 30536 4294967295 134512640 134569956 3221224416 3221214624 1131281942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30536 13073 16 0 210665 0
vsize: 842724
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 74014 52 0 0 25 0 11 0 419375411 862949376 30572 4294967295 134512640 134569956 3221224416 3221214624 1131282018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30572 13073 16 0 210665 0
vsize: 842724
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 74993 52 0 0 25 0 11 0 419375411 862949376 30605 4294967295 134512640 134569956 3221224416 3221214824 1131144320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30605 13073 16 0 210665 0
vsize: 842724
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 75962 52 0 0 25 0 11 0 419375411 862949376 30646 4294967295 134512640 134569956 3221224416 3221214720 1131376736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30646 13073 16 0 210665 0
vsize: 842724
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 76935 53 0 0 25 0 11 0 419375411 862949376 30684 4294967295 134512640 134569956 3221224416 3221214720 1131372656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 30684 13073 16 0 210665 0
vsize: 842724
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 77898 53 0 0 25 0 11 0 419375411 862949376 30749 4294967295 134512640 134569956 3221224416 3221214328 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30749 13073 16 0 210665 0
vsize: 842724
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 78867 53 0 0 25 0 11 0 419375411 862949376 30822 4294967295 134512640 134569956 3221224416 3221214440 1131262739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30822 13073 16 0 210665 0
vsize: 842724
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 79835 54 0 0 25 0 11 0 419375411 862949376 30899 4294967295 134512640 134569956 3221224416 3221214552 1131531101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 30899 13073 16 0 210665 0
vsize: 842724
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 80802 54 0 0 25 0 11 0 419375411 862949376 30970 4294967295 134512640 134569956 3221224416 3221214620 1131262528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 30970 13073 16 0 210665 0
vsize: 842724
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 81772 54 0 0 25 0 11 0 419375411 862949376 31023 4294967295 134512640 134569956 3221224416 3221214656 1131351804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31023 13073 16 0 210665 0
vsize: 842724
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 82741 55 0 0 25 0 11 0 419375411 862949376 31078 4294967295 134512640 134569956 3221224416 3221214824 1131144337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31078 13073 16 0 210665 0
vsize: 842724
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 83707 55 0 0 25 0 11 0 419375411 862949376 31140 4294967295 134512640 134569956 3221224416 3221214776 1131212620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31140 13073 16 0 210665 0
vsize: 842724
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) S 23713 22932 22931 0 -1 0 18095 3 1 0 84681 56 0 0 25 0 11 0 419375411 862949376 31197 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31197 13073 16 0 210665 0
vsize: 842724
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) S 23713 22932 22931 0 -1 0 18095 3 1 0 85649 56 0 0 25 0 11 0 419375411 862949376 31266 4294967295 134512640 134569956 3221224416 3221213144 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31266 13073 16 0 210665 0
vsize: 842724
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 86616 56 0 0 25 0 11 0 419375411 862949376 31344 4294967295 134512640 134569956 3221224416 3221214624 1131318063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31344 13073 16 0 210665 0
vsize: 842724
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 87589 57 0 0 25 0 11 0 419375411 862949376 31400 4294967295 134512640 134569956 3221224416 3221214624 1131315291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31400 13073 16 0 210665 0
vsize: 842724
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 88559 57 0 0 25 0 11 0 419375411 862949376 31460 4294967295 134512640 134569956 3221224416 3221214720 1131376995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 31460 13073 16 0 210665 0
vsize: 842724
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 89531 58 0 0 25 0 11 0 419375411 862949376 31519 4294967295 134512640 134569956 3221224416 3221214552 1131532130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31519 13073 16 0 210665 0
vsize: 842724
[startup+950.034 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 90512 58 0 0 25 0 11 0 419375411 862949376 31534 4294967295 134512640 134569956 3221224416 3221214776 1131212553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31534 13073 16 0 210665 0
vsize: 842724
[startup+960.035 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 91480 59 0 0 24 0 11 0 419375411 862949376 31569 4294967295 134512640 134569956 3221224416 3221214620 1131262535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31569 13073 16 0 210665 0
vsize: 842724
[startup+970.034 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 92450 59 0 0 24 0 11 0 419375411 862949376 31646 4294967295 134512640 134569956 3221224416 3221214624 1131282460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31646 13073 16 0 210665 0
vsize: 842724
[startup+980.036 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 93423 59 0 0 25 0 11 0 419375411 862949376 31688 4294967295 134512640 134569956 3221224416 3221214552 1131531323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31688 13073 16 0 210665 0
vsize: 842724
[startup+990.037 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 94394 60 0 0 25 0 11 0 419375411 862949376 31753 4294967295 134512640 134569956 3221224416 3221214624 1131282473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31753 13073 16 0 210665 0
vsize: 842724
[startup+1000.04 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 95368 60 0 0 25 0 11 0 419375411 862949376 31796 4294967295 134512640 134569956 3221224416 3221214520 1131262586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31796 13073 16 0 210665 0
vsize: 842724
[startup+1010.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 96342 61 0 0 25 0 11 0 419375411 862949376 31849 4294967295 134512640 134569956 3221224416 3221214320 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31849 13073 16 0 210665 0
vsize: 842724
[startup+1020.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 97322 61 0 0 25 0 11 0 419375411 862949376 31891 4294967295 134512640 134569956 3221224416 3221214824 1131144320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 31891 13073 16 0 210665 0
vsize: 842724
[startup+1030.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 98296 61 0 0 25 0 11 0 419375411 862949376 31925 4294967295 134512640 134569956 3221224416 3221214824 1131144348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31925 13073 16 0 210665 0
vsize: 842724
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 99266 61 0 0 25 0 11 0 419375411 862949376 31966 4294967295 134512640 134569956 3221224416 3221214520 1131262739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 31966 13073 16 0 210665 0
vsize: 842724
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 100236 62 0 0 25 0 11 0 419375411 862949376 32004 4294967295 134512640 134569956 3221224416 3221214872 1131333764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32004 13073 16 0 210665 0
vsize: 842724
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 101204 62 0 0 24 0 11 0 419375411 862949376 32078 4294967295 134512640 134569956 3221224416 3221214624 1131282176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32078 13073 16 0 210665 0
vsize: 842724
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 102176 62 0 0 24 0 11 0 419375411 862949376 32133 4294967295 134512640 134569956 3221224416 3221214520 1131262868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32133 13073 16 0 210665 0
vsize: 842724
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 103150 62 0 0 25 0 11 0 419375411 862949376 32177 4294967295 134512640 134569956 3221224416 3221214552 1131532100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32177 13073 16 0 210665 0
vsize: 842724
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 104125 62 0 0 25 0 11 0 419375411 862949376 32221 4294967295 134512640 134569956 3221224416 3221214552 1131531081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32221 13073 16 0 210665 0
vsize: 842724
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 105098 63 0 0 25 0 11 0 419375411 862949376 32278 4294967295 134512640 134569956 3221224416 3221214776 1131213074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32278 13073 16 0 210665 0
vsize: 842724
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 106082 63 0 0 24 0 11 0 419375411 862949376 32323 4294967295 134512640 134569956 3221224416 3221214624 1131281916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32323 13073 16 0 210665 0
vsize: 842724
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 107062 63 0 0 25 0 11 0 419375411 862949376 32341 4294967295 134512640 134569956 3221224416 3221214412 1131642512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32341 13073 16 0 210665 0
vsize: 842724
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 108043 64 0 0 25 0 11 0 419375411 862949376 32368 4294967295 134512640 134569956 3221224416 3221214824 1131144320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32368 13073 16 0 210665 0
vsize: 842724
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 109012 64 0 0 25 0 11 0 419375411 862949376 32402 4294967295 134512640 134569956 3221224416 3221214720 1131377870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32402 13073 16 0 210665 0
vsize: 842724
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 109983 65 0 0 25 0 11 0 419375411 862949376 32417 4294967295 134512640 134569956 3221224416 3221214552 1131531029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32417 13073 16 0 210665 0
vsize: 842724
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 110953 65 0 0 25 0 11 0 419375411 862949376 32460 4294967295 134512640 134569956 3221224416 3221214776 1131212553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32460 13073 16 0 210665 0
vsize: 842724
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 111920 66 0 0 25 0 11 0 419375411 862949376 32515 4294967295 134512640 134569956 3221224416 3221214872 1131333001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32515 13073 16 0 210665 0
vsize: 842724
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 112888 66 0 0 25 0 11 0 419375411 862949376 32557 4294967295 134512640 134569956 3221224416 3221214776 1131212949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32557 13073 16 0 210665 0
vsize: 842724
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 113854 66 0 0 24 0 11 0 419375411 862949376 32653 4294967295 134512640 134569956 3221224416 3221214776 1131212739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32653 13073 16 0 210665 0
vsize: 842724
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 114830 67 0 0 25 0 11 0 419375411 862949376 32690 4294967295 134512640 134569956 3221224416 3221214872 1131333476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32690 13073 16 0 210665 0
vsize: 842724
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 115803 67 0 0 25 0 11 0 419375411 862949376 32715 4294967295 134512640 134569956 3221224416 3221214032 1131642506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32715 13073 16 0 210665 0
vsize: 842724
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 116787 68 0 0 25 0 11 0 419375411 862949376 32731 4294967295 134512640 134569956 3221224416 3221214776 1131213758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32731 13073 16 0 210665 0
vsize: 842724
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 117750 68 0 0 25 0 11 0 419375411 862949376 32797 4294967295 134512640 134569956 3221224416 3221214552 1131530672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32797 13073 16 0 210665 0
vsize: 842724
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 118717 69 0 0 25 0 11 0 419375411 862949376 32834 4294967295 134512640 134569956 3221224416 3221214776 1131212998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32834 13073 16 0 210665 0
vsize: 842724
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 119675 69 0 0 25 0 11 0 419375411 862949376 32898 4294967295 134512640 134569956 3221224416 3221214520 1131262669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210681 32898 13073 16 0 210665 0
vsize: 842724
[startup+1260.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23731
Raw data (stat): 23714 (java) R 23713 22932 22931 0 -1 0 18095 3 1 0 120636 70 0 0 25 0 11 0 419375411 862949376 32942 4294967295 134512640 134569956 3221224416 3221214824 1131144317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210681 32942 13073 16 0 210665 0
vsize: 842724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 23733
Raw data (stat): 23714 (java) Z 23713 22932 22931 0 -1 1036 18095 16824 1 0 120638 70 5596 47 25 0 1 0 419375411 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): 1260.13
CPU time (s): 1263.52
CPU user time (s): 1262.34
CPU system time (s): 1.17782
CPU usage (%): 100.269
Max. virtual memory (Kb): 845172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####