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-9pb.opb
MD5SUM7d64f372313e74de659e9e56ab2d9bab
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
Optimality of the best value was proved NO
Number of terms in the objective function 840
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 840
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 840
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.04684
Number of variables840
Total number of constraints2526
Number of constraints which are clauses2502
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 constraint35

Trace number 4432 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-13 17:08:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2205 boxname=wulflinc26 idbench=245 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7d64f372313e74de659e9e56ab2d9bab  /oldhome/oroussel/tmp/wulflinc26/normalized-s4-4-3-9pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-s4-4-3-9pb.opb
IDLAUNCH: 2205
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        867580 kB
Buffers:         32724 kB
Cached:          94408 kB
SwapCached:       2476 kB
Active:          44052 kB
Inactive:        88436 kB
HighTotal:      131008 kB
HighFree:        33516 kB
LowTotal:       903652 kB
LowFree:        834064 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            29048 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:29:31 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2205 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-s4-4-3-9pb.opb
c reading problem 
c [nbvar=840]
c [nbconstr=2526]
c time 2.789
c #vars     840
c #clauses  2526
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) : 31.516
c starts	: 2
c conflicts	: 187
c decisions	: 2694
c propagations	: 16996
c inspects	: 49707
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 187
c root simplifications	: 7
c 
c CURRENT OPTIMUM=68
c Current CPU time (ms) : 137.449
c starts	: 4
c conflicts	: 404
c decisions	: 5057
c propagations	: 34672
c inspects	: 138545
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 404
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.92 0.99 0.97 2/54 23411
Raw data (stat): 23411 (runsolver) R 23410 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477636817 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.09 1.02 0.99 4/64 23421
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18119 0 1 0 663 43 0 0 25 0 11 0 477636817 873672704 23476 4294967295 134512640 134569956 3221224416 3221214616 1130883256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213299 23476 13073 16 0 213283 0
vsize: 853196
[startup+20.001 s]
Raw data (loadavg): 1.30 1.07 1.00 2/64 23421
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18120 0 1 0 1538 43 0 0 20 0 11 0 477636817 868356096 23095 4294967295 134512640 134569956 3221224416 3221214768 1131222411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 23095 13073 16 0 211985 0
vsize: 848004
[startup+30.0012 s]
Raw data (loadavg): 1.26 1.07 1.00 2/64 23421
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18120 0 1 0 2454 43 0 0 25 0 11 0 477636817 868356096 23554 4294967295 134512640 134569956 3221224416 3221214688 1131662225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 23554 13073 16 0 211985 0
vsize: 848004
[startup+40.0019 s]
Raw data (loadavg): 1.22 1.06 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 3363 43 0 0 25 0 11 0 477636817 868356096 24016 4294967295 134512640 134569956 3221224416 3221214736 1131420565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 24016 13073 16 0 211985 0
vsize: 848004
[startup+50.0022 s]
Raw data (loadavg): 1.18 1.06 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 4273 43 0 0 24 0 11 0 477636817 868356096 24190 4294967295 134512640 134569956 3221224416 3221214624 1131351831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 24190 13073 16 0 211985 0
vsize: 848004
[startup+60.0028 s]
Raw data (loadavg): 1.16 1.06 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 5203 43 0 0 25 0 11 0 477636817 868356096 24434 4294967295 134512640 134569956 3221224416 3221214892 1131651315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 24434 13073 16 0 211985 0
vsize: 848004
[startup+70.0039 s]
Raw data (loadavg): 1.13 1.06 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 6141 43 0 0 25 0 11 0 477636817 868356096 24648 4294967295 134512640 134569956 3221224416 3221214624 1131348617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 24648 13073 16 0 211985 0
vsize: 848004
[startup+80.0042 s]
Raw data (loadavg): 1.11 1.05 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 7086 43 0 0 25 0 11 0 477636817 868356096 24854 4294967295 134512640 134569956 3221224416 3221214736 1131416009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 24854 13073 16 0 211985 0
vsize: 848004
[startup+90.0038 s]
Raw data (loadavg): 1.09 1.05 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 8038 44 0 0 25 0 11 0 477636817 868356096 24954 4294967295 134512640 134569956 3221224416 3221214592 1131221652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 24954 13073 16 0 211985 0
vsize: 848004
[startup+100.004 s]
Raw data (loadavg): 1.08 1.05 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 8984 44 0 0 25 0 11 0 477636817 868356096 25103 4294967295 134512640 134569956 3221224416 3221214560 1131405174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 25103 13073 16 0 211985 0
vsize: 848004
[startup+110.004 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 9926 44 0 0 25 0 11 0 477636817 868356096 25220 4294967295 134512640 134569956 3221224416 3221214736 1131421254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 25220 13073 16 0 211985 0
vsize: 848004
[startup+120.005 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 10870 44 0 0 25 0 11 0 477636817 868356096 25346 4294967295 134512640 134569956 3221224416 3221214792 1131317109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 25346 13073 16 0 211985 0
vsize: 848004
[startup+130.005 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 23422
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 11808 44 0 0 25 0 11 0 477636817 868356096 25436 4294967295 134512640 134569956 3221224416 3221214688 1131662113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 25436 13073 16 0 211985 0
vsize: 848004
[startup+140.006 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 12756 44 0 0 25 0 11 0 477636817 868356096 25603 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 25603 13073 16 0 211985 0
vsize: 848004
[startup+150.006 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 13703 44 0 0 25 0 11 0 477636817 868356096 25685 4294967295 134512640 134569956 3221224416 3221214768 1131221898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 25685 13073 16 0 211985 0
vsize: 848004
[startup+160.007 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 14652 44 0 0 25 0 11 0 477636817 868356096 25882 4294967295 134512640 134569956 3221224416 3221214736 1131415411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 25882 13073 16 0 211985 0
vsize: 848004
[startup+170.008 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 15601 45 0 0 25 0 11 0 477636817 868356096 25964 4294967295 134512640 134569956 3221224416 3221214576 1131467853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 25964 13073 16 0 211985 0
vsize: 848004
[startup+180.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 16550 45 0 0 25 0 11 0 477636817 868356096 26105 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26105 13073 16 0 211985 0
vsize: 848004
[startup+190.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 17502 45 0 0 25 0 11 0 477636817 868356096 26219 4294967295 134512640 134569956 3221224416 3221214792 1131317174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26219 13073 16 0 211985 0
vsize: 848004
[startup+200.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 18455 45 0 0 25 0 11 0 477636817 868356096 26353 4294967295 134512640 134569956 3221224416 3221214592 1131221961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26353 13073 16 0 211985 0
vsize: 848004
[startup+210.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 19413 46 0 0 25 0 11 0 477636817 868356096 26436 4294967295 134512640 134569956 3221224416 3221214592 1131221671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26436 13073 16 0 211985 0
vsize: 848004
[startup+220.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 20365 46 0 0 25 0 11 0 477636817 868356096 26572 4294967295 134512640 134569956 3221224416 3221214792 1131317149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26572 13073 16 0 211985 0
vsize: 848004
[startup+230.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 21299 46 0 0 25 0 11 0 477636817 868356096 26663 4294967295 134512640 134569956 3221224416 3221214332 1078829736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26663 13073 16 0 211985 0
vsize: 848004
[startup+240.009 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 22238 47 0 0 25 0 11 0 477636817 868356096 26746 4294967295 134512640 134569956 3221224416 3221214696 1131213206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26746 13073 16 0 211985 0
vsize: 848004
[startup+250.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 23183 47 0 0 25 0 11 0 477636817 868356096 26847 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 26847 13073 16 0 211985 0
vsize: 848004
[startup+260.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 24135 47 0 0 25 0 11 0 477636817 868356096 27148 4294967295 134512640 134569956 3221224416 3221214592 1131221785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27148 13073 16 0 211985 0
vsize: 848004
[startup+270.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 25098 47 0 0 25 0 11 0 477636817 868356096 27215 4294967295 134512640 134569956 3221224416 3221214576 1131467904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 27215 13073 16 0 211985 0
vsize: 848004
[startup+280.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 26071 47 0 0 25 0 11 0 477636817 868356096 27274 4294967295 134512640 134569956 3221224416 3221214624 1131349313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27274 13073 16 0 211985 0
vsize: 848004
[startup+290.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 27033 48 0 0 25 0 11 0 477636817 868356096 27360 4294967295 134512640 134569956 3221224416 3221214688 1131662236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27360 13073 16 0 211985 0
vsize: 848004
[startup+300.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 27991 48 0 0 25 0 11 0 477636817 868356096 27402 4294967295 134512640 134569956 3221224416 3221214736 1131417954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27402 13073 16 0 211985 0
vsize: 848004
[startup+310.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 28942 48 0 0 25 0 11 0 477636817 868356096 27438 4294967295 134512640 134569956 3221224416 3221214696 1131213130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27438 13073 16 0 211985 0
vsize: 848004
[startup+320.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 29892 48 0 0 25 0 11 0 477636817 868356096 27545 4294967295 134512640 134569956 3221224416 3221214576 1131466797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27545 13073 16 0 211985 0
vsize: 848004
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 30841 49 0 0 25 0 11 0 477636817 868356096 27661 4294967295 134512640 134569956 3221224416 3221214976 1131314062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27661 13073 16 0 211985 0
vsize: 848004
[startup+340.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 31785 49 0 0 25 0 11 0 477636817 868356096 27783 4294967295 134512640 134569956 3221224416 3221214696 1131213728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27783 13073 16 0 211985 0
vsize: 848004
[startup+350.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 32731 49 0 0 25 0 11 0 477636817 868356096 27933 4294967295 134512640 134569956 3221224416 3221214736 1131417431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 27933 13073 16 0 211985 0
vsize: 848004
[startup+360.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 33684 49 0 0 25 0 11 0 477636817 868356096 28053 4294967295 134512640 134569956 3221224416 3221214912 1131392267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28053 13073 16 0 211985 0
vsize: 848004
[startup+370.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 34637 49 0 0 25 0 11 0 477636817 868356096 28146 4294967295 134512640 134569956 3221224416 3221214592 1131221838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28146 13073 16 0 211985 0
vsize: 848004
[startup+380.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 35586 50 0 0 25 0 11 0 477636817 868356096 28281 4294967295 134512640 134569956 3221224416 3221214592 1131221785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28281 13073 16 0 211985 0
vsize: 848004
[startup+390.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 36538 50 0 0 25 0 11 0 477636817 868356096 28382 4294967295 134512640 134569956 3221224416 3221214688 1131660095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 28382 13073 16 0 211985 0
vsize: 848004
[startup+400.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 37492 50 0 0 25 0 11 0 477636817 868356096 28513 4294967295 134512640 134569956 3221224416 3221214696 1131213157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28513 13073 16 0 211985 0
vsize: 848004
[startup+410.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 38451 50 0 0 25 0 11 0 477636817 868356096 28582 4294967295 134512640 134569956 3221224416 3221214696 1131213283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28582 13073 16 0 211985 0
vsize: 848004
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 39400 51 0 0 25 0 11 0 477636817 868356096 28669 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28669 13073 16 0 211985 0
vsize: 848004
[startup+430.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 40358 51 0 0 25 0 11 0 477636817 868356096 28774 4294967295 134512640 134569956 3221224416 3221214696 1131212741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28774 13073 16 0 211985 0
vsize: 848004
[startup+440.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 41318 51 0 0 25 0 11 0 477636817 868356096 28875 4294967295 134512640 134569956 3221224416 3221214664 1131305469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28875 13073 16 0 211985 0
vsize: 848004
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 42279 52 0 0 25 0 11 0 477636817 868356096 28953 4294967295 134512640 134569956 3221224416 3221214568 1131221733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 28953 13073 16 0 211985 0
vsize: 848004
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 43239 52 0 0 25 0 11 0 477636817 868356096 29052 4294967295 134512640 134569956 3221224416 3221214840 1131278546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29052 13073 16 0 211985 0
vsize: 848004
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 44198 52 0 0 25 0 11 0 477636817 868356096 29154 4294967295 134512640 134569956 3221224416 3221214568 1131221785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29154 13073 16 0 211985 0
vsize: 848004
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 45161 52 0 0 25 0 11 0 477636817 868356096 29222 4294967295 134512640 134569956 3221224416 3221214696 1131212737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29222 13073 16 0 211985 0
vsize: 848004
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 46119 52 0 0 25 0 11 0 477636817 868356096 29296 4294967295 134512640 134569956 3221224416 3221214696 1131213102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29296 13073 16 0 211985 0
vsize: 848004
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 47083 53 0 0 25 0 11 0 477636817 868356096 29373 4294967295 134512640 134569956 3221224416 3221214592 1131458145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29373 13073 16 0 211985 0
vsize: 848004
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 48046 53 0 0 25 0 11 0 477636817 868356096 29472 4294967295 134512640 134569956 3221224416 3221214568 1131221652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29472 13073 16 0 211985 0
vsize: 848004
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 49005 54 0 0 25 0 11 0 477636817 868356096 29556 4294967295 134512640 134569956 3221224416 3221214792 1131316907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29556 13073 16 0 211985 0
vsize: 848004
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 49961 54 0 0 25 0 11 0 477636817 868356096 29643 4294967295 134512640 134569956 3221224416 3221214712 1131421878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29643 13073 16 0 211985 0
vsize: 848004
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 50902 54 0 0 24 0 11 0 477636817 868356096 29743 4294967295 134512640 134569956 3221224416 3221214568 1131221967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29743 13073 16 0 211985 0
vsize: 848004
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 51855 55 0 0 25 0 11 0 477636817 868356096 29808 4294967295 134512640 134569956 3221224416 3221214568 1131221522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29808 13073 16 0 211985 0
vsize: 848004
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 52803 55 0 0 25 0 11 0 477636817 868356096 29908 4294967295 134512640 134569956 3221224416 3221214696 1131212748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 29908 13073 16 0 211985 0
vsize: 848004
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 53763 56 0 0 25 0 11 0 477636817 868356096 30104 4294967295 134512640 134569956 3221224416 3221214792 1131317109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30104 13073 16 0 211985 0
vsize: 848004
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 54732 56 0 0 25 0 11 0 477636817 868356096 30160 4294967295 134512640 134569956 3221224416 3221214456 1131680065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 30160 13073 16 0 211985 0
vsize: 848004
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 55700 56 0 0 25 0 11 0 477636817 868356096 30197 4294967295 134512640 134569956 3221224416 3221214696 1131212737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30197 13073 16 0 211985 0
vsize: 848004
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 56657 56 0 0 25 0 11 0 477636817 868356096 30279 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30279 13073 16 0 211985 0
vsize: 848004
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 57620 56 0 0 25 0 11 0 477636817 868356096 30368 4294967295 134512640 134569956 3221224416 3221214712 1131417039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30368 13073 16 0 211985 0
vsize: 848004
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 58583 56 0 0 25 0 11 0 477636817 868356096 30440 4294967295 134512640 134569956 3221224416 3221214712 1131418203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30440 13073 16 0 211985 0
vsize: 848004
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 59540 57 0 0 25 0 11 0 477636817 868356096 30512 4294967295 134512640 134569956 3221224416 3221214648 1131282353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 30512 13073 16 0 211985 0
vsize: 848004
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 60498 57 0 0 25 0 11 0 477636817 868356096 30565 4294967295 134512640 134569956 3221224416 3221214696 1131213157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30565 13073 16 0 211985 0
vsize: 848004
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 61459 58 0 0 25 0 11 0 477636817 868356096 30647 4294967295 134512640 134569956 3221224416 3221214600 1131351590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30647 13073 16 0 211985 0
vsize: 848004
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 62420 58 0 0 25 0 11 0 477636817 868356096 30732 4294967295 134512640 134569956 3221224416 3221214664 1131662113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30732 13073 16 0 211985 0
vsize: 848004
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 63376 58 0 0 25 0 11 0 477636817 868356096 30787 4294967295 134512640 134569956 3221224416 3221214792 1131317113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30787 13073 16 0 211985 0
vsize: 848004
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 64339 59 0 0 25 0 11 0 477636817 868356096 30896 4294967295 134512640 134569956 3221224416 3221214568 1131221679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30896 13073 16 0 211985 0
vsize: 848004
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 65301 59 0 0 25 0 11 0 477636817 868356096 30990 4294967295 134512640 134569956 3221224416 3221214664 1131662113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 30990 13073 16 0 211985 0
vsize: 848004
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 66268 59 0 0 25 0 11 0 477636817 868356096 31081 4294967295 134512640 134569956 3221224416 3221214568 1131221937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31081 13073 16 0 211985 0
vsize: 848004
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 67235 60 0 0 25 0 11 0 477636817 868356096 31138 4294967295 134512640 134569956 3221224416 3221214568 1131221785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31138 13073 16 0 211985 0
vsize: 848004
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 68200 60 0 0 25 0 11 0 477636817 868356096 31190 4294967295 134512640 134569956 3221224416 3221214696 1131212939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31190 13073 16 0 211985 0
vsize: 848004
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 69157 60 0 0 25 0 11 0 477636817 868356096 31276 4294967295 134512640 134569956 3221224416 3221214600 1131347823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31276 13073 16 0 211985 0
vsize: 848004
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 70110 61 0 0 25 0 11 0 477636817 868356096 31370 4294967295 134512640 134569956 3221224416 3221214792 1131317949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31370 13073 16 0 211985 0
vsize: 848004
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 71065 61 0 0 25 0 11 0 477636817 868356096 31477 4294967295 134512640 134569956 3221224416 3221214600 1131347482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31477 13073 16 0 211985 0
vsize: 848004
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 72028 61 0 0 25 0 11 0 477636817 868356096 31578 4294967295 134512640 134569956 3221224416 3221214712 1131416061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31578 13073 16 0 211985 0
vsize: 848004
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 72987 61 0 0 25 0 11 0 477636817 868356096 31633 4294967295 134512640 134569956 3221224416 3221214640 1131172761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31633 13073 16 0 211985 0
vsize: 848004
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 73950 62 0 0 25 0 11 0 477636817 868356096 31717 4294967295 134512640 134569956 3221224416 3221214792 1131320641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31717 13073 16 0 211985 0
vsize: 848004
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 74914 62 0 0 24 0 11 0 477636817 868356096 31840 4294967295 134512640 134569956 3221224416 3221214568 1131221785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31840 13073 16 0 211985 0
vsize: 848004
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 75889 63 0 0 25 0 11 0 477636817 868356096 31882 4294967295 134512640 134569956 3221224416 3221214552 1131466612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31882 13073 16 0 211985 0
vsize: 848004
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 76864 63 0 0 25 0 11 0 477636817 868356096 31901 4294967295 134512640 134569956 3221224416 3221214836 1131399712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31901 13073 16 0 211985 0
vsize: 848004
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 77836 63 0 0 25 0 11 0 477636817 868356096 31941 4294967295 134512640 134569956 3221224416 3221214700 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31941 13073 16 0 211985 0
vsize: 848004
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 78806 64 0 0 25 0 11 0 477636817 868356096 31942 4294967295 134512640 134569956 3221224416 3221214552 1131467789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31942 13073 16 0 211985 0
vsize: 848004
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 79771 64 0 0 25 0 11 0 477636817 868356096 31977 4294967295 134512640 134569956 3221224416 3221214696 1131212933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 31977 13073 16 0 211985 0
vsize: 848004
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 80732 65 0 0 25 0 11 0 477636817 868356096 32085 4294967295 134512640 134569956 3221224416 3221214792 1131318159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32085 13073 16 0 211985 0
vsize: 848004
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 81690 65 0 0 25 0 11 0 477636817 868356096 32160 4294967295 134512640 134569956 3221224416 3221214552 1131467748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32160 13073 16 0 211985 0
vsize: 848004
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 82652 65 0 0 25 0 11 0 477636817 868356096 32249 4294967295 134512640 134569956 3221224416 3221214712 1131416061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32249 13073 16 0 211985 0
vsize: 848004
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 83610 65 0 0 25 0 11 0 477636817 868356096 32330 4294967295 134512640 134569956 3221224416 3221214664 1131305561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32330 13073 16 0 211985 0
vsize: 848004
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 84574 66 0 0 25 0 11 0 477636817 868356096 32379 4294967295 134512640 134569956 3221224416 3221214568 1131221743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32379 13073 16 0 211985 0
vsize: 848004
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 85539 66 0 0 25 0 11 0 477636817 868356096 32463 4294967295 134512640 134569956 3221224416 3221214792 1131316927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32463 13073 16 0 211985 0
vsize: 848004
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 86502 66 0 0 25 0 11 0 477636817 868356096 32533 4294967295 134512640 134569956 3221224416 3221214948 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32533 13073 16 0 211985 0
vsize: 848004
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 87469 67 0 0 25 0 11 0 477636817 868356096 32584 4294967295 134512640 134569956 3221224416 3221214696 1131212729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32584 13073 16 0 211985 0
vsize: 848004
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 88436 67 0 0 25 0 11 0 477636817 868356096 32642 4294967295 134512640 134569956 3221224416 3221214792 1131318179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32642 13073 16 0 211985 0
vsize: 848004
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 89400 67 0 0 25 0 11 0 477636817 868356096 32682 4294967295 134512640 134569956 3221224416 3221214696 1131212748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32682 13073 16 0 211985 0
vsize: 848004
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 90362 67 0 0 25 0 11 0 477636817 868356096 32748 4294967295 134512640 134569956 3221224416 3221214568 1131221947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32748 13073 16 0 211985 0
vsize: 848004
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 91326 68 0 0 25 0 11 0 477636817 868356096 32822 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32822 13073 16 0 211985 0
vsize: 848004
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 92291 68 0 0 25 0 11 0 477636817 868356096 32922 4294967295 134512640 134569956 3221224416 3221214744 1131221615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32922 13073 16 0 211985 0
vsize: 848004
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 93253 68 0 0 25 0 11 0 477636817 868356096 32998 4294967295 134512640 134569956 3221224416 3221214696 1131213003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 32998 13073 16 0 211985 0
vsize: 848004
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 94217 69 0 0 25 0 11 0 477636817 868356096 33034 4294967295 134512640 134569956 3221224416 3221214696 1131213157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33034 13073 16 0 211985 0
vsize: 848004
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 95182 69 0 0 25 0 11 0 477636817 868356096 33109 4294967295 134512640 134569956 3221224416 3221214568 1131221747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33109 13073 16 0 211985 0
vsize: 848004
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 96145 69 0 0 25 0 11 0 477636817 868356096 33157 4294967295 134512640 134569956 3221224416 3221214664 1131659975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33157 13073 16 0 211985 0
vsize: 848004
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 97103 70 0 0 25 0 11 0 477636817 868356096 33212 4294967295 134512640 134569956 3221224416 3221214792 1131321739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33212 13073 16 0 211985 0
vsize: 848004
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 98063 70 0 0 25 0 11 0 477636817 868356096 33289 4294967295 134512640 134569956 3221224416 3221214696 1131213728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33289 13073 16 0 211985 0
vsize: 848004
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 99013 70 0 0 25 0 11 0 477636817 868356096 33367 4294967295 134512640 134569956 3221224416 3221214568 1131221735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33367 13073 16 0 211985 0
vsize: 848004
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 99972 71 0 0 25 0 11 0 477636817 868356096 33447 4294967295 134512640 134569956 3221224416 3221214696 1131213242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33447 13073 16 0 211985 0
vsize: 848004
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 100932 72 0 0 25 0 11 0 477636817 868356096 33538 4294967295 134512640 134569956 3221224416 3221214792 1131317109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33538 13073 16 0 211985 0
vsize: 848004
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 101896 72 0 0 25 0 11 0 477636817 868356096 33693 4294967295 134512640 134569956 3221224416 3221214552 1131466549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33693 13073 16 0 211985 0
vsize: 848004
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 102869 72 0 0 25 0 11 0 477636817 868356096 33738 4294967295 134512640 134569956 3221224416 3221214824 1131649014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33738 13073 16 0 211985 0
vsize: 848004
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 103831 72 0 0 25 0 11 0 477636817 868356096 33780 4294967295 134512640 134569956 3221224416 3221214552 1131466531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33780 13073 16 0 211985 0
vsize: 848004
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 104795 73 0 0 24 0 11 0 477636817 868356096 33854 4294967295 134512640 134569956 3221224416 3221214552 1131466526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33854 13073 16 0 211985 0
vsize: 848004
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 105766 73 0 0 25 0 11 0 477636817 868356096 33904 4294967295 134512640 134569956 3221224416 3221214696 1131212750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33904 13073 16 0 211985 0
vsize: 848004
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 106731 73 0 0 25 0 11 0 477636817 868356096 33971 4294967295 134512640 134569956 3221224416 3221214552 1131466549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 33971 13073 16 0 211985 0
vsize: 848004
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 107698 74 0 0 25 0 11 0 477636817 868356096 34023 4294967295 134512640 134569956 3221224416 3221214792 1131317109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34023 13073 16 0 211985 0
vsize: 848004
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 108656 74 0 0 23 0 11 0 477636817 868356096 34066 4294967295 134512640 134569956 3221224416 3221214792 1131319147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34066 13073 16 0 211985 0
vsize: 848004
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 109617 74 0 0 25 0 11 0 477636817 868356096 34132 4294967295 134512640 134569956 3221224416 3221214536 1131370605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34132 13073 16 0 211985 0
vsize: 848004
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 110577 74 0 0 25 0 11 0 477636817 868356096 34222 4294967295 134512640 134569956 3221224416 3221214692 1131213150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34222 13073 16 0 211985 0
vsize: 848004
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 111546 75 0 0 25 0 11 0 477636817 868356096 34288 4294967295 134512640 134569956 3221224416 3221214568 1131221437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34288 13073 16 0 211985 0
vsize: 848004
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 112512 75 0 0 25 0 11 0 477636817 868356096 34384 4294967295 134512640 134569956 3221224416 3221214696 1131213173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34384 13073 16 0 211985 0
vsize: 848004
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 113480 75 0 0 25 0 11 0 477636817 868356096 34435 4294967295 134512640 134569956 3221224416 3221214792 1131316927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34435 13073 16 0 211985 0
vsize: 848004
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 114446 76 0 0 25 0 11 0 477636817 868356096 34490 4294967295 134512640 134569956 3221224416 3221214792 1131318098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34490 13073 16 0 211985 0
vsize: 848004
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 115413 76 0 0 25 0 11 0 477636817 868356096 34549 4294967295 134512640 134569956 3221224416 3221214568 1131221641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34549 13073 16 0 211985 0
vsize: 848004
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 116382 76 0 0 25 0 11 0 477636817 868356096 34615 4294967295 134512640 134569956 3221224416 3221214792 1131319004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34615 13073 16 0 211985 0
vsize: 848004
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 117349 77 0 0 25 0 11 0 477636817 868356096 34681 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34681 13073 16 0 211985 0
vsize: 848004
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 118321 77 0 0 25 0 11 0 477636817 868356096 34745 4294967295 134512640 134569956 3221224416 3221214840 1131278453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34745 13073 16 0 211985 0
vsize: 848004
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) S 23410 22612 22611 0 -1 0 18121 3 1 0 119296 77 0 0 25 0 11 0 477636817 868356096 34794 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34794 13073 16 0 211985 0
vsize: 848004
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23423
Raw data (stat): 23411 (java) R 23410 22612 22611 0 -1 0 18121 3 1 0 120265 78 0 0 25 0 11 0 477636817 868356096 34833 4294967295 134512640 134569956 3221224416 3221214712 1131423036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212001 34833 13073 16 0 211985 0
vsize: 848004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23425
Raw data (stat): 23411 (java) Z 23410 22612 22611 0 -1 1036 18121 12985 1 0 120269 78 5245 43 25 0 1 0 477636817 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.17
CPU time (s): 1256.37
CPU user time (s): 1255.15
CPU system time (s): 1.21281
CPU usage (%): 99.6985
Max. virtual memory (Kb): 853196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####