Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb
MD5SUM49fba7b1c2f3e65c53f8418d126e3ec3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4605
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06684
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 14999

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        879272 kB
Buffers:         21088 kB
Cached:         113892 kB
SwapCached:          0 kB
Active:          64104 kB
Inactive:        73628 kB
HighTotal:      131008 kB
HighFree:        16716 kB
LowTotal:       903652 kB
LowFree:        862556 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12288 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 02:52:45 (client local time) WITH STATUS 143 IN 1237.21 SECONDS
stats: 18742 7 1237.21 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-p2756.opb
c reading problem 
c [nbvar=2756]
c [nbconstr=3511]
c time 6.408
c #vars     2756
c #clauses  749
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=118659
c Current CPU time (ms) : 10.528
c starts	: 1
c conflicts	: 45
c decisions	: 14230
c propagations	: 23362
c inspects	: 10914
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 45
c root simplifications	: 12
c 
c CURRENT OPTIMUM=118467
c Current CPU time (ms) : 79.897
c starts	: 2
c conflicts	: 61
c decisions	: 15934
c propagations	: 26216
c inspects	: 12887
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 61
c root simplifications	: 13
c 
c CURRENT OPTIMUM=38837
c Current CPU time (ms) : 81.612
c starts	: 3
c conflicts	: 69
c decisions	: 18766
c propagations	: 30810
c inspects	: 18723
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 69
c root simplifications	: 14
c 
c CURRENT OPTIMUM=29457
c Current CPU time (ms) : 95.572
c starts	: 4
c conflicts	: 75
c decisions	: 21671
c propagations	: 35156
c inspects	: 22119
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 75
c root simplifications	: 15
c 
c CURRENT OPTIMUM=26685
c Current CPU time (ms) : 522.025
c starts	: 6
c conflicts	: 180
c decisions	: 25319
c propagations	: 41784
c inspects	: 39860
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 180
c root simplifications	: 17
c 
c CURRENT OPTIMUM=18863
c Current CPU time (ms) : 540.921
c starts	: 7
c conflicts	: 182
c decisions	: 27387
c propagations	: 45416
c inspects	: 46531
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 182
c root simplifications	: 18
c 
c CURRENT OPTIMUM=17909
c Current CPU time (ms) : 546.346
c starts	: 8
c conflicts	: 185
c decisions	: 29225
c propagations	: 48695
c inspects	: 53786
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 185
c root simplifications	: 19
#### 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.84 0.94 0.96 2/54 26308
Raw data (stat): 26308 (runsolver) R 26307 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483279381 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.03 0.97 0.97 4/64 26318
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18104 0 1 0 748 40 0 0 25 0 11 0 483279381 865210368 21677 4294967295 134512640 134569956 3221224400 3221214672 1131275824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211233 21677 13073 16 0 211217 0
vsize: 844932
[startup+20.0017 s]
Raw data (loadavg): 1.02 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 1632 41 0 0 25 0 11 0 483279381 862162944 21674 4294967295 134512640 134569956 3221224400 3221214536 1131489555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 21674 13073 16 0 210473 0
vsize: 841956
[startup+30.002 s]
Raw data (loadavg): 1.02 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 2587 41 0 0 25 0 11 0 483279381 862162944 21822 4294967295 134512640 134569956 3221224400 3221214640 1131487937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 21822 13073 16 0 210473 0
vsize: 841956
[startup+40.0028 s]
Raw data (loadavg): 1.01 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 3537 41 0 0 25 0 11 0 483279381 862162944 21964 4294967295 134512640 134569956 3221224400 3221214520 1131546470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 21964 13073 16 0 210473 0
vsize: 841956
[startup+50.004 s]
Raw data (loadavg): 1.01 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 4483 41 0 0 25 0 11 0 483279381 862162944 22168 4294967295 134512640 134569956 3221224400 3221214440 1131310675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 22168 13073 16 0 210473 0
vsize: 841956
[startup+60.0034 s]
Raw data (loadavg): 1.01 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 5423 41 0 0 25 0 11 0 483279381 862162944 22366 4294967295 134512640 134569956 3221224400 3221214520 1131546894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 22366 13073 16 0 210473 0
vsize: 841956
[startup+70.0042 s]
Raw data (loadavg): 1.01 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 6383 42 0 0 25 0 11 0 483279381 862162944 22748 4294967295 134512640 134569956 3221224400 3221214440 1131312104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 22748 13073 16 0 210473 0
vsize: 841956
[startup+80.009 s]
Raw data (loadavg): 1.01 0.97 0.97 2/64 26319
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18106 4 1 0 7354 42 0 0 17 0 11 0 483279381 862162944 22868 4294967295 134512640 134569956 3221224400 3221214664 1131275742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 22868 13073 16 0 210473 0
vsize: 841956
[startup+90.0098 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26321
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 8313 43 0 0 25 0 11 0 483279381 862162944 22963 4294967295 134512640 134569956 3221224400 3221214688 1131435570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 22963 13073 16 0 210473 0
vsize: 841956
[startup+100.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 9278 43 0 0 25 0 11 0 483279381 862162944 23073 4294967295 134512640 134569956 3221224400 3221214656 1131275513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23073 13073 16 0 210473 0
vsize: 841956
[startup+110.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 10254 43 0 0 25 0 11 0 483279381 862162944 23095 4294967295 134512640 134569956 3221224400 3221214632 1131583043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 23095 13073 16 0 210473 0
vsize: 841956
[startup+120.012 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 11222 43 0 0 25 0 11 0 483279381 862162944 23162 4294967295 134512640 134569956 3221224400 3221214520 1131546925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23162 13073 16 0 210473 0
vsize: 841956
[startup+130.012 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 12197 43 0 0 25 0 11 0 483279381 862162944 23244 4294967295 134512640 134569956 3221224400 3221214628 1131269449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23244 13073 16 0 210473 0
vsize: 841956
[startup+140.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 13169 43 0 0 25 0 11 0 483279381 862162944 23244 4294967295 134512640 134569956 3221224400 3221214520 1131546807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23244 13073 16 0 210473 0
vsize: 841956
[startup+150.015 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 14145 43 0 0 25 0 11 0 483279381 862162944 23411 4294967295 134512640 134569956 3221224400 3221214520 1131546897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23411 13073 16 0 210473 0
vsize: 841956
[startup+160.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 15125 43 0 0 25 0 11 0 483279381 862162944 23415 4294967295 134512640 134569956 3221224400 3221214520 1131546427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23415 13073 16 0 210473 0
vsize: 841956
[startup+170.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 16114 43 0 0 25 0 11 0 483279381 862162944 23547 4294967295 134512640 134569956 3221224400 3221214440 1131310675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23547 13073 16 0 210473 0
vsize: 841956
[startup+180.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18107 4 1 0 17103 44 0 0 24 0 11 0 483279381 862162944 23557 4294967295 134512640 134569956 3221224400 3221214520 1131546535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23557 13073 16 0 210473 0
vsize: 841956
[startup+190.017 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 18086 44 0 0 25 0 11 0 483279381 862162944 23627 4294967295 134512640 134569956 3221224400 3221214440 1131310892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23627 13073 16 0 210473 0
vsize: 841956
[startup+200.017 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 19074 44 0 0 25 0 11 0 483279381 862162944 23633 4294967295 134512640 134569956 3221224400 3221214608 1131490813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23633 13073 16 0 210473 0
vsize: 841956
[startup+210.017 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 20060 44 0 0 25 0 11 0 483279381 862162944 23642 4294967295 134512640 134569956 3221224400 3221214520 1131547639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23642 13073 16 0 210473 0
vsize: 841956
[startup+220.018 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 21048 44 0 0 25 0 11 0 483279381 862162944 23651 4294967295 134512640 134569956 3221224400 3221214440 1131310595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23651 13073 16 0 210473 0
vsize: 841956
[startup+230.019 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 22033 44 0 0 25 0 11 0 483279381 862162944 23656 4294967295 134512640 134569956 3221224400 3221214632 1131579788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23656 13073 16 0 210473 0
vsize: 841956
[startup+240.019 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 23026 44 0 0 25 0 11 0 483279381 862162944 23775 4294967295 134512640 134569956 3221224400 3221214440 1131310605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23775 13073 16 0 210473 0
vsize: 841956
[startup+250.019 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 24019 44 0 0 25 0 11 0 483279381 862162944 23784 4294967295 134512640 134569956 3221224400 3221214440 1131310947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23784 13073 16 0 210473 0
vsize: 841956
[startup+260.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 25008 44 0 0 25 0 11 0 483279381 862162944 23794 4294967295 134512640 134569956 3221224400 3221214688 1131437767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23794 13073 16 0 210473 0
vsize: 841956
[startup+270.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 25979 45 0 0 25 0 11 0 483279381 862162944 23797 4294967295 134512640 134569956 3221224400 3221214544 1131269291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 23797 13073 16 0 210473 0
vsize: 841956
[startup+280.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 26954 45 0 0 25 0 11 0 483279381 862162944 23806 4294967295 134512640 134569956 3221224400 3221214752 1131183534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 23806 13073 16 0 210473 0
vsize: 841956
[startup+290.021 s]
Raw data (loadavg): 1.00 0.97 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 27909 45 0 0 25 0 11 0 483279381 862162944 23862 4294967295 134512640 134569956 3221224400 3221214520 1131546800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 23862 13073 16 0 210473 0
vsize: 841956
[startup+300.022 s]
Raw data (loadavg): 1.08 0.99 0.97 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 28878 46 0 0 25 0 11 0 483279381 862162944 23909 4294967295 134512640 134569956 3221224400 3221214440 1131310675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 23909 13073 16 0 210473 0
vsize: 841956
[startup+310.022 s]
Raw data (loadavg): 1.14 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 29848 46 0 0 25 0 11 0 483279381 862162944 24067 4294967295 134512640 134569956 3221224400 3221214520 1131547675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24067 13073 16 0 210473 0
vsize: 841956
[startup+320.023 s]
Raw data (loadavg): 1.12 1.00 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 30821 46 0 0 25 0 11 0 483279381 862162944 24070 4294967295 134512640 134569956 3221224400 3221214520 1131546427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24070 13073 16 0 210473 0
vsize: 841956
[startup+330.024 s]
Raw data (loadavg): 1.10 1.00 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 31793 47 0 0 25 0 11 0 483279381 862162944 24265 4294967295 134512640 134569956 3221224400 3221214520 1131547665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24265 13073 16 0 210473 0
vsize: 841956
[startup+340.025 s]
Raw data (loadavg): 1.08 1.00 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 32767 47 0 0 25 0 11 0 483279381 862162944 24315 4294967295 134512640 134569956 3221224400 3221214520 1131547020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24315 13073 16 0 210473 0
vsize: 841956
[startup+350.025 s]
Raw data (loadavg): 1.07 1.00 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 33744 47 0 0 25 0 11 0 483279381 862162944 24318 4294967295 134512640 134569956 3221224400 3221214440 1131310530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24318 13073 16 0 210473 0
vsize: 841956
[startup+360.026 s]
Raw data (loadavg): 1.06 1.00 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 34717 48 0 0 25 0 11 0 483279381 862162944 24374 4294967295 134512640 134569956 3221224400 3221214632 1131579776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24374 13073 16 0 210473 0
vsize: 841956
[startup+370.026 s]
Raw data (loadavg): 1.13 1.02 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 35694 48 0 0 25 0 11 0 483279381 862162944 24428 4294967295 134512640 134569956 3221224400 3221214440 1131310622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24428 13073 16 0 210473 0
vsize: 841956
[startup+380.027 s]
Raw data (loadavg): 1.11 1.02 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 36671 48 0 0 25 0 11 0 483279381 862162944 24516 4294967295 134512640 134569956 3221224400 3221214440 1131310528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24516 13073 16 0 210473 0
vsize: 841956
[startup+390.035 s]
Raw data (loadavg): 1.09 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 37653 49 0 0 25 0 11 0 483279381 862162944 24595 4294967295 134512640 134569956 3221224400 3221214520 1131546807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24595 13073 16 0 210473 0
vsize: 841956
[startup+400.06 s]
Raw data (loadavg): 1.08 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 38637 50 0 0 25 0 11 0 483279381 862162944 24604 4294967295 134512640 134569956 3221224400 3221214656 1131269352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24604 13073 16 0 210473 0
vsize: 841956
[startup+410.06 s]
Raw data (loadavg): 1.07 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 39613 50 0 0 25 0 11 0 483279381 862162944 24609 4294967295 134512640 134569956 3221224400 3221214544 1131269344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24609 13073 16 0 210473 0
vsize: 841956
[startup+420.06 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 40581 50 0 0 24 0 11 0 483279381 862162944 24628 4294967295 134512640 134569956 3221224400 3221214440 1131310675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24628 13073 16 0 210473 0
vsize: 841956
[startup+430.062 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) S 26307 32461 32460 0 -1 0 18108 4 1 0 41561 51 0 0 25 0 11 0 483279381 862162944 24751 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210489 24751 13073 16 0 210473 0
vsize: 841956
[startup+440.063 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 42539 51 0 0 25 0 11 0 483279381 862162944 24762 4294967295 134512640 134569956 3221224400 3221214584 1131282954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 24762 13073 16 0 210473 0
vsize: 841956
[startup+450.063 s]
Raw data (loadavg): 1.11 1.03 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 43518 51 0 0 25 0 11 0 483279381 862162944 24914 4294967295 134512640 134569956 3221224400 3221214440 1131310675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 24914 13073 16 0 210473 0
vsize: 841956
[startup+460.063 s]
Raw data (loadavg): 1.09 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 44490 51 0 0 25 0 11 0 483279381 862162944 24916 4294967295 134512640 134569956 3221224400 3221214632 1131579799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 24916 13073 16 0 210473 0
vsize: 841956
[startup+470.065 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 45454 51 0 0 25 0 11 0 483279381 862162944 25001 4294967295 134512640 134569956 3221224400 3221214520 1131548523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25001 13073 16 0 210473 0
vsize: 841956
[startup+480.065 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 46416 51 0 0 25 0 11 0 483279381 862162944 25014 4294967295 134512640 134569956 3221224400 3221214632 1131583066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25014 13073 16 0 210473 0
vsize: 841956
[startup+490.066 s]
Raw data (loadavg): 1.05 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 47383 51 0 0 25 0 11 0 483279381 862162944 25038 4294967295 134512640 134569956 3221224400 3221214664 1131275471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25038 13073 16 0 210473 0
vsize: 841956
[startup+500.068 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 48353 51 0 0 25 0 11 0 483279381 862162944 25206 4294967295 134512640 134569956 3221224400 3221214544 1131269346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25206 13073 16 0 210473 0
vsize: 841956
[startup+510.068 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 49331 51 0 0 24 0 11 0 483279381 862162944 25321 4294967295 134512640 134569956 3221224400 3221214632 1131337276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25321 13073 16 0 210473 0
vsize: 841956
[startup+520.069 s]
Raw data (loadavg): 1.03 1.02 0.99 2/64 26322
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 50310 51 0 0 25 0 11 0 483279381 862162944 25398 4294967295 134512640 134569956 3221224400 3221214664 1131275509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25398 13073 16 0 210473 0
vsize: 841956
[startup+530.07 s]
Raw data (loadavg): 1.03 1.02 0.99 2/64 26323
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 51292 51 0 0 24 0 11 0 483279381 862162944 25402 4294967295 134512640 134569956 3221224400 3221214760 1131377125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25402 13073 16 0 210473 0
vsize: 841956
[startup+540.071 s]
Raw data (loadavg): 1.10 1.03 0.99 2/64 26323
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 52273 51 0 0 25 0 11 0 483279381 862162944 25453 4294967295 134512640 134569956 3221224400 3221214760 1131372296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25453 13073 16 0 210473 0
vsize: 841956
[startup+550.071 s]
Raw data (loadavg): 1.08 1.03 0.99 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 53258 51 0 0 25 0 11 0 483279381 862162944 25457 4294967295 134512640 134569956 3221224400 3221214688 1131438262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25457 13073 16 0 210473 0
vsize: 841956
[startup+560.071 s]
Raw data (loadavg): 1.07 1.03 0.99 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 54210 51 0 0 25 0 11 0 483279381 862162944 25475 4294967295 134512640 134569956 3221224400 3221214592 1131473331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25475 13073 16 0 210473 0
vsize: 841956
[startup+570.072 s]
Raw data (loadavg): 1.06 1.03 0.99 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 55162 51 0 0 25 0 11 0 483279381 862162944 25516 4294967295 134512640 134569956 3221224400 3221214640 1131488098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210489 25516 13073 16 0 210473 0
vsize: 841956
[startup+580.072 s]
Raw data (loadavg): 1.13 1.04 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 56116 52 0 0 25 0 11 0 483279381 863211520 25981 4294967295 134512640 134569956 3221224400 3221214760 1131377163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 25981 13073 16 0 210729 0
vsize: 842980
[startup+590.074 s]
Raw data (loadavg): 1.11 1.04 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 57094 52 0 0 17 0 11 0 483279381 863211520 26116 4294967295 134512640 134569956 3221224400 3221214736 1131412989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26116 13073 16 0 210729 0
vsize: 842980
[startup+600.075 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 58066 52 0 0 24 0 11 0 483279381 863211520 26116 4294967295 134512640 134569956 3221224400 3221214656 1131310838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26116 13073 16 0 210729 0
vsize: 842980
[startup+610.075 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 59039 52 0 0 25 0 11 0 483279381 863211520 26157 4294967295 134512640 134569956 3221224400 3221214576 1131546845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26157 13073 16 0 210729 0
vsize: 842980
[startup+620.076 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 60025 52 0 0 25 0 11 0 483279381 863211520 26209 4294967295 134512640 134569956 3221224400 3221214664 1131490793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26209 13073 16 0 210729 0
vsize: 842980
[startup+630.076 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 61015 52 0 0 25 0 11 0 483279381 863211520 26259 4294967295 134512640 134569956 3221224400 3221214816 1131436690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26259 13073 16 0 210729 0
vsize: 842980
[startup+640.077 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 62004 52 0 0 25 0 11 0 483279381 863211520 26259 4294967295 134512640 134569956 3221224400 3221214664 1131490797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26259 13073 16 0 210729 0
vsize: 842980
[startup+650.077 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 62995 52 0 0 25 0 11 0 483279381 863211520 26259 4294967295 134512640 134569956 3221224400 3221214496 1131310697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26259 13073 16 0 210729 0
vsize: 842980
[startup+660.077 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 63986 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214816 1131436062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+670.077 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 64984 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214664 1131490813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+680.078 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 65982 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214688 1131579788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+690.078 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 66980 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214496 1131310578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+700.078 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 67978 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214576 1131546427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+710.078 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 68976 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214496 1131310675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+720.078 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 69974 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214688 1131579791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+730.078 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 70972 52 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214688 1131275496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+740.079 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 71969 53 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214496 1131310605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+750.079 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 72966 53 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214496 1131310838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+760.079 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 73958 53 0 0 25 0 11 0 483279381 863211520 26307 4294967295 134512640 134569956 3221224400 3221214720 1131474025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26307 13073 16 0 210729 0
vsize: 842980
[startup+770.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 74937 53 0 0 25 0 11 0 483279381 863211520 26321 4294967295 134512640 134569956 3221224400 3221214816 1131438262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26321 13073 16 0 210729 0
vsize: 842980
[startup+780.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 75921 53 0 0 25 0 11 0 483279381 863211520 26321 4294967295 134512640 134569956 3221224400 3221214576 1131546535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210745 26321 13073 16 0 210729 0
vsize: 842980
[startup+790.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 76905 53 0 0 25 0 11 0 483279381 863211520 26328 4294967295 134512640 134569956 3221224400 3221214496 1131310595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26328 13073 16 0 210729 0
vsize: 842980
[startup+800.081 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 77891 53 0 0 25 0 11 0 483279381 863211520 26373 4294967295 134512640 134569956 3221224400 3221214496 1131310635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26373 13073 16 0 210729 0
vsize: 842980
[startup+810.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 78880 53 0 0 25 0 11 0 483279381 863211520 26373 4294967295 134512640 134569956 3221224400 3221214496 1131310872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26373 13073 16 0 210729 0
vsize: 842980
[startup+820.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 79867 53 0 0 25 0 11 0 483279381 863211520 26453 4294967295 134512640 134569956 3221224400 3221214496 1131310668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26453 13073 16 0 210729 0
vsize: 842980
[startup+830.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 80862 53 0 0 25 0 11 0 483279381 863211520 26454 4294967295 134512640 134569956 3221224400 3221214496 1131310675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210745 26454 13073 16 0 210729 0
vsize: 842980
[startup+840.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 81857 54 0 0 25 0 11 0 483279381 863211520 26454 4294967295 134512640 134569956 3221224400 3221214496 1131310675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26454 13073 16 0 210729 0
vsize: 842980
[startup+850.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 82849 54 0 0 25 0 11 0 483279381 863211520 26455 4294967295 134512640 134569956 3221224400 3221214496 1131310675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26455 13073 16 0 210729 0
vsize: 842980
[startup+860.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 83835 54 0 0 25 0 11 0 483279381 863211520 26456 4294967295 134512640 134569956 3221224400 3221214688 1131579791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26456 13073 16 0 210729 0
vsize: 842980
[startup+870.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 84821 54 0 0 25 0 11 0 483279381 863211520 26456 4294967295 134512640 134569956 3221224400 3221214576 1131546384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26456 13073 16 0 210729 0
vsize: 842980
[startup+880.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 85808 54 0 0 24 0 11 0 483279381 863211520 26491 4294967295 134512640 134569956 3221224400 3221214496 1131312577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26491 13073 16 0 210729 0
vsize: 842980
[startup+890.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 86802 54 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214496 1131310605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+900.084 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 87797 54 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214600 1131269373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+910.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 88790 54 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214664 1131275513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+920.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 89770 54 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214688 1131579791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+930.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 90752 54 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214576 1131546818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+940.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 91732 55 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214496 1131310766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+950.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 92714 55 0 0 25 0 11 0 483279381 863211520 26500 4294967295 134512640 134569956 3221224400 3221214496 1131310605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26500 13073 16 0 210729 0
vsize: 842980
[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 93694 55 0 0 25 0 11 0 483279381 863211520 26627 4294967295 134512640 134569956 3221224400 3221214480 1131498241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26627 13073 16 0 210729 0
vsize: 842980
[startup+970.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 94672 55 0 0 25 0 11 0 483279381 863211520 26673 4294967295 134512640 134569956 3221224400 3221214576 1131546807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26673 13073 16 0 210729 0
vsize: 842980
[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 95640 55 0 0 25 0 11 0 483279381 863211520 26679 4294967295 134512640 134569956 3221224400 3221214712 1131282576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26679 13073 16 0 210729 0
vsize: 842980
[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 96593 55 0 0 25 0 11 0 483279381 863211520 26692 4294967295 134512640 134569956 3221224400 3221214600 1131269412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26692 13073 16 0 210729 0
vsize: 842980
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 97546 55 0 0 25 0 11 0 483279381 863211520 26778 4294967295 134512640 134569956 3221224400 3221214576 1131546807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26778 13073 16 0 210729 0
vsize: 842980
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 98506 55 0 0 25 0 11 0 483279381 863211520 26821 4294967295 134512640 134569956 3221224400 3221214576 1131546798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 26821 13073 16 0 210729 0
vsize: 842980
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 99465 55 0 0 25 0 11 0 483279381 863211520 27058 4294967295 134512640 134569956 3221224400 3221214664 1131333828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27058 13073 16 0 210729 0
vsize: 842980
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 100447 55 0 0 25 0 11 0 483279381 863211520 27139 4294967295 134512640 134569956 3221224400 3221214576 1131546897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27139 13073 16 0 210729 0
vsize: 842980
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 101427 55 0 0 25 0 11 0 483279381 863211520 27182 4294967295 134512640 134569956 3221224400 3221214760 1131380836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27182 13073 16 0 210729 0
vsize: 842980
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 102377 56 0 0 25 0 11 0 483279381 863211520 27182 4294967295 134512640 134569956 3221224400 3221214720 1131475674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27182 13073 16 0 210729 0
vsize: 842980
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 103322 56 0 0 25 0 11 0 483279381 863211520 27271 4294967295 134512640 134569956 3221224400 3221214496 1131310675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27271 13073 16 0 210729 0
vsize: 842980
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 104276 56 0 0 25 0 11 0 483279381 863211520 27288 4294967295 134512640 134569956 3221224400 3221214664 1131275643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27288 13073 16 0 210729 0
vsize: 842980
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 105238 56 0 0 25 0 11 0 483279381 863211520 27562 4294967295 134512640 134569956 3221224400 3221214664 1131333867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27562 13073 16 0 210729 0
vsize: 842980
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 106208 56 0 0 25 0 11 0 483279381 863211520 27618 4294967295 134512640 134569956 3221224400 3221214688 1131579820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27618 13073 16 0 210729 0
vsize: 842980
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 107181 56 0 0 25 0 11 0 483279381 863211520 27704 4294967295 134512640 134569956 3221224400 3221214520 1131504856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27704 13073 16 0 210729 0
vsize: 842980
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 108161 56 0 0 25 0 11 0 483279381 863211520 27706 4294967295 134512640 134569956 3221224400 3221214576 1131546424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27706 13073 16 0 210729 0
vsize: 842980
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 109139 56 0 0 25 0 11 0 483279381 863211520 27790 4294967295 134512640 134569956 3221224400 3221214496 1131310800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27790 13073 16 0 210729 0
vsize: 842980
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 110126 56 0 0 25 0 11 0 483279381 863211520 27905 4294967295 134512640 134569956 3221224400 3221214496 1131310605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27905 13073 16 0 210729 0
vsize: 842980
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 111121 56 0 0 25 0 11 0 483279381 863211520 27905 4294967295 134512640 134569956 3221224400 3221214496 1131310639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27905 13073 16 0 210729 0
vsize: 842980
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 112116 56 0 0 25 0 11 0 483279381 863211520 27905 4294967295 134512640 134569956 3221224400 3221214576 1131546807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27905 13073 16 0 210729 0
vsize: 842980
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 113111 56 0 0 25 0 11 0 483279381 863211520 27908 4294967295 134512640 134569956 3221224400 3221214496 1131312394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27908 13073 16 0 210729 0
vsize: 842980
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 114109 56 0 0 25 0 11 0 483279381 863211520 27946 4294967295 134512640 134569956 3221224400 3221214576 1131547838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27946 13073 16 0 210729 0
vsize: 842980
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 115105 56 0 0 25 0 11 0 483279381 863211520 27946 4294967295 134512640 134569956 3221224400 3221214496 1131310555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27946 13073 16 0 210729 0
vsize: 842980
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 116101 56 0 0 25 0 11 0 483279381 863211520 27946 4294967295 134512640 134569956 3221224400 3221214576 1131546807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27946 13073 16 0 210729 0
vsize: 842980
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 117096 56 0 0 25 0 11 0 483279381 863211520 27946 4294967295 134512640 134569956 3221224400 3221214688 1131579791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27946 13073 16 0 210729 0
vsize: 842980
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 118092 56 0 0 25 0 11 0 483279381 863211520 27947 4294967295 134512640 134569956 3221224400 3221214688 1131579788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27947 13073 16 0 210729 0
vsize: 842980
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 119088 56 0 0 25 0 11 0 483279381 863211520 27947 4294967295 134512640 134569956 3221224400 3221214600 1131269323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27947 13073 16 0 210729 0
vsize: 842980
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26325
Raw data (stat): 26308 (java) R 26307 32461 32460 0 -1 0 18108 4 1 0 120083 56 0 0 25 0 11 0 483279381 863211520 27947 4294967295 134512640 134569956 3221224400 3221214496 1131310528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210745 27947 13073 16 0 210729 0
vsize: 842980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26327
Raw data (stat): 26308 (java) Z 26307 32461 32460 0 -1 1036 18108 12380 1 0 120087 56 3536 40 25 0 1 0 483279381 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): 1230.18
CPU time (s): 1237.21
CPU user time (s): 1236.24
CPU system time (s): 0.971852
CPU usage (%): 100.571
Max. virtual memory (Kb): 844932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####