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-p0201.opb
MD5SUM8c361d02d5162bb0b133ab6ed38f9294
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved NO
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02284
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 18022

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 13:10:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18703 boxname=wulflinc2 idbench=1439 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 18703
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        679596 kB
Buffers:         22728 kB
Cached:         311396 kB
SwapCached:        504 kB
Active:          59688 kB
Inactive:       276640 kB
HighTotal:      131008 kB
HighFree:         1344 kB
LowTotal:       903652 kB
LowFree:        678252 kB
SwapTotal:     2097136 kB
SwapFree:      2095900 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            13128 kB
Committed_AS:    71772 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 13:31:07 (client local time) WITH STATUS 143 IN 1237.26 SECONDS
stats: 18703 7 1237.26 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb
c reading problem 
c [nbvar=201]
c [nbconstr=334]
c time 1.299
c #vars     201
c #clauses  133
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=2222
c Current CPU time (ms) : 1.717
c starts	: 1
c conflicts	: 3
c decisions	: 52
c propagations	: 231
c inspects	: 704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1659
c Current CPU time (ms) : 30.552
c starts	: 3
c conflicts	: 176
c decisions	: 950
c propagations	: 3942
c inspects	: 43058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 176
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1635
c Current CPU time (ms) : 42.007
c starts	: 4
c conflicts	: 232
c decisions	: 1297
c propagations	: 5773
c inspects	: 73305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 232
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1623
c Current CPU time (ms) : 45.884
c starts	: 5
c conflicts	: 241
c decisions	: 1482
c propagations	: 6421
c inspects	: 79468
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 241
c root simplifications	: 11
#### 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.98 0.92 2/54 28051
Raw data (stat): 28051 (runsolver) R 28050 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487113591 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.0002 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 28062
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18085 4 1 0 675 39 0 0 25 0 11 0 487113591 859897856 20271 4294967295 134512640 134569956 3221224400 3221214536 1131385111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209936 20271 13073 16 0 209920 0
vsize: 839744
[startup+20.0008 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 28062
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18086 4 1 0 1624 40 0 0 25 0 11 0 487113591 858779648 20354 4294967295 134512640 134569956 3221224400 3221214848 1131173821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 20354 13073 16 0 209647 0
vsize: 838652
[startup+30.002 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 28062
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 2572 40 0 0 24 0 11 0 487113591 864022528 21812 4294967295 134512640 134569956 3221224400 3221214848 1131173882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210943 21812 13073 16 0 210927 0
vsize: 843772
[startup+40.0027 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 28063
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 3515 40 0 0 25 0 11 0 487113591 862973952 21880 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 21880 13073 16 0 210671 0
vsize: 842748
[startup+50.0034 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 4475 41 0 0 24 0 11 0 487113591 862973952 22093 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22093 13073 16 0 210671 0
vsize: 842748
[startup+60.0041 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 5444 41 0 0 25 0 11 0 487113591 862973952 22190 4294967295 134512640 134569956 3221224400 3221214792 1131217310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22190 13073 16 0 210671 0
vsize: 842748
[startup+70.0043 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 6412 41 0 0 25 0 11 0 487113591 862973952 22301 4294967295 134512640 134569956 3221224400 3221214792 1131217483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22301 13073 16 0 210671 0
vsize: 842748
[startup+80.0055 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 7385 42 0 0 24 0 11 0 487113591 862973952 22418 4294967295 134512640 134569956 3221224400 3221214792 1131217510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22418 13073 16 0 210671 0
vsize: 842748
[startup+90.0062 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18087 4 1 0 8362 42 0 0 25 0 11 0 487113591 862973952 22499 4294967295 134512640 134569956 3221224400 3221214792 1131217285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22499 13073 16 0 210671 0
vsize: 842748
[startup+100.006 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 9336 42 0 0 25 0 11 0 487113591 862973952 22569 4294967295 134512640 134569956 3221224400 3221214896 1131227468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22569 13073 16 0 210671 0
vsize: 842748
[startup+110.008 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 10308 43 0 0 25 0 11 0 487113591 862973952 22639 4294967295 134512640 134569956 3221224400 3221214848 1131173848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22639 13073 16 0 210671 0
vsize: 842748
[startup+120.008 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 11277 43 0 0 25 0 11 0 487113591 862973952 22734 4294967295 134512640 134569956 3221224400 3221214792 1131217292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22734 13073 16 0 210671 0
vsize: 842748
[startup+130.009 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 12245 43 0 0 24 0 11 0 487113591 862973952 22826 4294967295 134512640 134569956 3221224400 3221214792 1131217832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22826 13073 16 0 210671 0
vsize: 842748
[startup+140.009 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 13216 43 0 0 25 0 11 0 487113591 862973952 22915 4294967295 134512640 134569956 3221224400 3221214848 1131173824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 22915 13073 16 0 210671 0
vsize: 842748
[startup+150.01 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 14188 43 0 0 25 0 11 0 487113591 862973952 23032 4294967295 134512640 134569956 3221224400 3221214792 1131217570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23032 13073 16 0 210671 0
vsize: 842748
[startup+160.01 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 15162 44 0 0 25 0 11 0 487113591 862973952 23140 4294967295 134512640 134569956 3221224400 3221214848 1131173848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23140 13073 16 0 210671 0
vsize: 842748
[startup+170.01 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 16138 44 0 0 25 0 11 0 487113591 862973952 23240 4294967295 134512640 134569956 3221224400 3221214792 1131217961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23240 13073 16 0 210671 0
vsize: 842748
[startup+180.011 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 17109 44 0 0 25 0 11 0 487113591 862973952 23308 4294967295 134512640 134569956 3221224400 3221214792 1131217656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23308 13073 16 0 210671 0
vsize: 842748
[startup+190.011 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 18083 45 0 0 25 0 11 0 487113591 862973952 23379 4294967295 134512640 134569956 3221224400 3221214792 1131218543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23379 13073 16 0 210671 0
vsize: 842748
[startup+200.012 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 19057 45 0 0 24 0 11 0 487113591 862973952 23466 4294967295 134512640 134569956 3221224400 3221214792 1131217914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23466 13073 16 0 210671 0
vsize: 842748
[startup+210.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 20031 46 0 0 25 0 11 0 487113591 862973952 23535 4294967295 134512640 134569956 3221224400 3221214792 1131218460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23535 13073 16 0 210671 0
vsize: 842748
[startup+220.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 21004 46 0 0 25 0 11 0 487113591 862973952 23615 4294967295 134512640 134569956 3221224400 3221214792 1131217285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23615 13073 16 0 210671 0
vsize: 842748
[startup+230.013 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 21979 47 0 0 25 0 11 0 487113591 862973952 23707 4294967295 134512640 134569956 3221224400 3221214896 1131227464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23707 13073 16 0 210671 0
vsize: 842748
[startup+240.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 22955 47 0 0 25 0 11 0 487113591 862973952 23780 4294967295 134512640 134569956 3221224400 3221214680 1131259008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23780 13073 16 0 210671 0
vsize: 842748
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 23933 47 0 0 25 0 11 0 487113591 862973952 23866 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23866 13073 16 0 210671 0
vsize: 842748
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 24912 48 0 0 25 0 11 0 487113591 862973952 23924 4294967295 134512640 134569956 3221224400 3221214792 1131217612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 23924 13073 16 0 210671 0
vsize: 842748
[startup+270.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 25890 48 0 0 25 0 11 0 487113591 862973952 23993 4294967295 134512640 134569956 3221224400 3221214792 1131218521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 23993 13073 16 0 210671 0
vsize: 842748
[startup+280.019 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 26870 49 0 0 25 0 11 0 487113591 862973952 24050 4294967295 134512640 134569956 3221224400 3221214792 1131218486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24050 13073 16 0 210671 0
vsize: 842748
[startup+290.02 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 27847 49 0 0 25 0 11 0 487113591 862973952 24119 4294967295 134512640 134569956 3221224400 3221214848 1131173821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24119 13073 16 0 210671 0
vsize: 842748
[startup+300.021 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 28826 49 0 0 25 0 11 0 487113591 862973952 24173 4294967295 134512640 134569956 3221224400 3221214616 1131375672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24173 13073 16 0 210671 0
vsize: 842748
[startup+310.021 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 29802 50 0 0 25 0 11 0 487113591 862973952 24250 4294967295 134512640 134569956 3221224400 3221214592 1131311110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24250 13073 16 0 210671 0
vsize: 842748
[startup+320.021 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 30779 50 0 0 25 0 11 0 487113591 862973952 24341 4294967295 134512640 134569956 3221224400 3221214896 1131226617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24341 13073 16 0 210671 0
vsize: 842748
[startup+330.022 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 31757 50 0 0 25 0 11 0 487113591 862973952 24405 4294967295 134512640 134569956 3221224400 3221214936 1131333273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24405 13073 16 0 210671 0
vsize: 842748
[startup+340.022 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) S 28050 20937 20936 0 -1 0 18088 4 1 0 32733 50 0 0 25 0 11 0 487113591 862973952 24476 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24476 13073 16 0 210671 0
vsize: 842748
[startup+350.023 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 33708 51 0 0 25 0 11 0 487113591 862973952 24544 4294967295 134512640 134569956 3221224400 3221214792 1131217656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24544 13073 16 0 210671 0
vsize: 842748
[startup+360.024 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 34685 51 0 0 25 0 11 0 487113591 862973952 24633 4294967295 134512640 134569956 3221224400 3221214792 1131217281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24633 13073 16 0 210671 0
vsize: 842748
[startup+370.023 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 35662 51 0 0 25 0 11 0 487113591 862973952 24710 4294967295 134512640 134569956 3221224400 3221214792 1131217387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24710 13073 16 0 210671 0
vsize: 842748
[startup+380.024 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 36637 52 0 0 25 0 11 0 487113591 862973952 24789 4294967295 134512640 134569956 3221224400 3221214792 1131217656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24789 13073 16 0 210671 0
vsize: 842748
[startup+390.025 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 37615 52 0 0 25 0 11 0 487113591 862973952 24872 4294967295 134512640 134569956 3221224400 3221214848 1131173945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24872 13073 16 0 210671 0
vsize: 842748
[startup+400.025 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 38589 52 0 0 25 0 11 0 487113591 862973952 24967 4294967295 134512640 134569956 3221224400 3221214880 1131371260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 24967 13073 16 0 210671 0
vsize: 842748
[startup+410.026 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 39570 53 0 0 25 0 11 0 487113591 862973952 25065 4294967295 134512640 134569956 3221224400 3221214792 1131217310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25065 13073 16 0 210671 0
vsize: 842748
[startup+420.025 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 40548 53 0 0 25 0 11 0 487113591 862973952 25164 4294967295 134512640 134569956 3221224400 3221214792 1131217310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 25164 13073 16 0 210671 0
vsize: 842748
[startup+430.026 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 41525 53 0 0 25 0 11 0 487113591 862973952 25230 4294967295 134512640 134569956 3221224400 3221214848 1131173978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25230 13073 16 0 210671 0
vsize: 842748
[startup+440.027 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 42502 54 0 0 25 0 11 0 487113591 862973952 25306 4294967295 134512640 134569956 3221224400 3221214848 1131173848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25306 13073 16 0 210671 0
vsize: 842748
[startup+450.027 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 43480 54 0 0 25 0 11 0 487113591 862973952 25375 4294967295 134512640 134569956 3221224400 3221214896 1131226724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25375 13073 16 0 210671 0
vsize: 842748
[startup+460.028 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 44459 54 0 0 24 0 11 0 487113591 862973952 25460 4294967295 134512640 134569956 3221224400 3221214936 1131333273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25460 13073 16 0 210671 0
vsize: 842748
[startup+470.029 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 45439 55 0 0 25 0 11 0 487113591 862973952 25509 4294967295 134512640 134569956 3221224400 3221214692 1131215667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25509 13073 16 0 210671 0
vsize: 842748
[startup+480.029 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 46420 55 0 0 25 0 11 0 487113591 862973952 25568 4294967295 134512640 134569956 3221224400 3221214792 1131218486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25568 13073 16 0 210671 0
vsize: 842748
[startup+490.029 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 47400 56 0 0 25 0 11 0 487113591 862973952 25654 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 25654 13073 16 0 210671 0
vsize: 842748
[startup+500.031 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 48378 56 0 0 24 0 11 0 487113591 862973952 25709 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25709 13073 16 0 210671 0
vsize: 842748
[startup+510.032 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 49357 56 0 0 25 0 11 0 487113591 862973952 25763 4294967295 134512640 134569956 3221224400 3221214792 1131217714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25763 13073 16 0 210671 0
vsize: 842748
[startup+520.031 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 50335 57 0 0 25 0 11 0 487113591 862973952 25850 4294967295 134512640 134569956 3221224400 3221214848 1131173848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25850 13073 16 0 210671 0
vsize: 842748
[startup+530.032 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 51312 57 0 0 25 0 11 0 487113591 862973952 25926 4294967295 134512640 134569956 3221224400 3221214896 1131226614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25926 13073 16 0 210671 0
vsize: 842748
[startup+540.032 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 52291 57 0 0 25 0 11 0 487113591 862973952 25989 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 25989 13073 16 0 210671 0
vsize: 842748
[startup+550.033 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 53269 58 0 0 25 0 11 0 487113591 862973952 26059 4294967295 134512640 134569956 3221224400 3221214416 1131526869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26059 13073 16 0 210671 0
vsize: 842748
[startup+560.034 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 54246 58 0 0 25 0 11 0 487113591 862973952 26127 4294967295 134512640 134569956 3221224400 3221214896 1131226629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26127 13073 16 0 210671 0
vsize: 842748
[startup+570.035 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 55223 58 0 0 25 0 11 0 487113591 862973952 26182 4294967295 134512640 134569956 3221224400 3221214512 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26182 13073 16 0 210671 0
vsize: 842748
[startup+580.036 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 56201 58 0 0 25 0 11 0 487113591 862973952 26278 4294967295 134512640 134569956 3221224400 3221214848 1131173856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26278 13073 16 0 210671 0
vsize: 842748
[startup+590.036 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 57178 59 0 0 25 0 11 0 487113591 862973952 26347 4294967295 134512640 134569956 3221224400 3221214792 1131217680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26347 13073 16 0 210671 0
vsize: 842748
[startup+600.038 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 58155 59 0 0 25 0 11 0 487113591 862973952 26429 4294967295 134512640 134569956 3221224400 3221214736 1131269355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26429 13073 16 0 210671 0
vsize: 842748
[startup+610.038 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 59135 59 0 0 25 0 11 0 487113591 862973952 26501 4294967295 134512640 134569956 3221224400 3221214896 1131226939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26501 13073 16 0 210671 0
vsize: 842748
[startup+620.037 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 60114 60 0 0 25 0 11 0 487113591 862973952 26558 4294967295 134512640 134569956 3221224400 3221214848 1131173824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26558 13073 16 0 210671 0
vsize: 842748
[startup+630.038 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 61093 60 0 0 25 0 11 0 487113591 862973952 26644 4294967295 134512640 134569956 3221224400 3221214792 1131217731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26644 13073 16 0 210671 0
vsize: 842748
[startup+640.039 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 62072 60 0 0 25 0 11 0 487113591 862973952 26714 4294967295 134512640 134569956 3221224400 3221214792 1131217285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26714 13073 16 0 210671 0
vsize: 842748
[startup+650.04 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 63050 60 0 0 25 0 11 0 487113591 862973952 26772 4294967295 134512640 134569956 3221224400 3221214848 1131173878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26772 13073 16 0 210671 0
vsize: 842748
[startup+660.04 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 64029 60 0 0 25 0 11 0 487113591 862973952 26850 4294967295 134512640 134569956 3221224400 3221214736 1131239000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26850 13073 16 0 210671 0
vsize: 842748
[startup+670.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 65007 61 0 0 25 0 11 0 487113591 862973952 26919 4294967295 134512640 134569956 3221224400 3221214832 1131536084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 26919 13073 16 0 210671 0
vsize: 842748
[startup+680.041 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 65986 61 0 0 25 0 11 0 487113591 862973952 27012 4294967295 134512640 134569956 3221224400 3221214848 1131173866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27012 13073 16 0 210671 0
vsize: 842748
[startup+690.042 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 66964 62 0 0 25 0 11 0 487113591 862973952 27080 4294967295 134512640 134569956 3221224400 3221214896 1131226868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27080 13073 16 0 210671 0
vsize: 842748
[startup+700.042 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 67942 62 0 0 25 0 11 0 487113591 862973952 27131 4294967295 134512640 134569956 3221224400 3221214896 1131226441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27131 13073 16 0 210671 0
vsize: 842748
[startup+710.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 68921 62 0 0 25 0 11 0 487113591 862973952 27201 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27201 13073 16 0 210671 0
vsize: 842748
[startup+720.042 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 69901 62 0 0 25 0 11 0 487113591 862973952 27253 4294967295 134512640 134569956 3221224400 3221214480 1131523732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27253 13073 16 0 210671 0
vsize: 842748
[startup+730.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 70880 62 0 0 25 0 11 0 487113591 862973952 27307 4294967295 134512640 134569956 3221224400 3221214792 1131217880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27307 13073 16 0 210671 0
vsize: 842748
[startup+740.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 71858 62 0 0 20 0 11 0 487113591 862973952 27357 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27357 13073 16 0 210671 0
vsize: 842748
[startup+750.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 72837 62 0 0 25 0 11 0 487113591 862973952 27411 4294967295 134512640 134569956 3221224400 3221214596 1131525392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27411 13073 16 0 210671 0
vsize: 842748
[startup+760.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 73816 62 0 0 25 0 11 0 487113591 862973952 27486 4294967295 134512640 134569956 3221224400 3221214792 1131217880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27486 13073 16 0 210671 0
vsize: 842748
[startup+770.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 74799 62 0 0 25 0 11 0 487113591 862973952 27553 4294967295 134512640 134569956 3221224400 3221214792 1131217495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27553 13073 16 0 210671 0
vsize: 842748
[startup+780.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 75779 62 0 0 25 0 11 0 487113591 862973952 27597 4294967295 134512640 134569956 3221224400 3221214728 1131247655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27597 13073 16 0 210671 0
vsize: 842748
[startup+790.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 76758 62 0 0 25 0 11 0 487113591 862973952 27654 4294967295 134512640 134569956 3221224400 3221214792 1131217680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27654 13073 16 0 210671 0
vsize: 842748
[startup+800.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 77735 62 0 0 25 0 11 0 487113591 862973952 27702 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27702 13073 16 0 210671 0
vsize: 842748
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.96 3/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 78711 62 0 0 24 0 11 0 487113591 862973952 27786 4294967295 134512640 134569956 3221224400 3221214792 1131217310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27786 13073 16 0 210671 0
vsize: 842748
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 79689 62 0 0 24 0 11 0 487113591 862973952 27879 4294967295 134512640 134569956 3221224400 3221214792 1131218884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27879 13073 16 0 210671 0
vsize: 842748
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 80670 62 0 0 24 0 11 0 487113591 862973952 27922 4294967295 134512640 134569956 3221224400 3221214792 1131218460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27922 13073 16 0 210671 0
vsize: 842748
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 81651 62 0 0 25 0 11 0 487113591 862973952 27972 4294967295 134512640 134569956 3221224400 3221214792 1131217872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 27972 13073 16 0 210671 0
vsize: 842748
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 82629 62 0 0 25 0 11 0 487113591 862973952 28066 4294967295 134512640 134569956 3221224400 3221214792 1131217285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28066 13073 16 0 210671 0
vsize: 842748
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 83608 62 0 0 25 0 11 0 487113591 862973952 28137 4294967295 134512640 134569956 3221224400 3221214512 1131259155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28137 13073 16 0 210671 0
vsize: 842748
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 84586 62 0 0 25 0 11 0 487113591 862973952 28194 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28194 13073 16 0 210671 0
vsize: 842748
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 85564 63 0 0 25 0 11 0 487113591 862973952 28260 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28260 13073 16 0 210671 0
vsize: 842748
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 86543 63 0 0 24 0 11 0 487113591 862973952 28332 4294967295 134512640 134569956 3221224400 3221214848 1131173898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28332 13073 16 0 210671 0
vsize: 842748
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 87524 63 0 0 25 0 11 0 487113591 862973952 28397 4294967295 134512640 134569956 3221224400 3221214848 1131174004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 28397 13073 16 0 210671 0
vsize: 842748
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 88503 63 0 0 25 0 11 0 487113591 862973952 28449 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28449 13073 16 0 210671 0
vsize: 842748
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 89484 63 0 0 25 0 11 0 487113591 862973952 28535 4294967295 134512640 134569956 3221224400 3221214848 1131173841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28535 13073 16 0 210671 0
vsize: 842748
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 90466 63 0 0 25 0 11 0 487113591 862973952 28599 4294967295 134512640 134569956 3221224400 3221214504 1131259155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28599 13073 16 0 210671 0
vsize: 842748
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 91448 63 0 0 25 0 11 0 487113591 862973952 28648 4294967295 134512640 134569956 3221224400 3221214792 1131217809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28648 13073 16 0 210671 0
vsize: 842748
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 92431 63 0 0 25 0 11 0 487113591 862973952 28694 4294967295 134512640 134569956 3221224400 3221214792 1131217403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28694 13073 16 0 210671 0
vsize: 842748
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 93412 63 0 0 25 0 11 0 487113591 862973952 28752 4294967295 134512640 134569956 3221224400 3221214848 1131173817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28752 13073 16 0 210671 0
vsize: 842748
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 94393 63 0 0 25 0 11 0 487113591 862973952 28811 4294967295 134512640 134569956 3221224400 3221214792 1131217441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28811 13073 16 0 210671 0
vsize: 842748
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 95374 63 0 0 25 0 11 0 487113591 862973952 28879 4294967295 134512640 134569956 3221224400 3221214792 1131218065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28879 13073 16 0 210671 0
vsize: 842748
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 96354 63 0 0 25 0 11 0 487113591 862973952 28928 4294967295 134512640 134569956 3221224400 3221214792 1131217570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 28928 13073 16 0 210671 0
vsize: 842748
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 97337 63 0 0 25 0 11 0 487113591 862973952 28992 4294967295 134512640 134569956 3221224400 3221214848 1131173845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 28992 13073 16 0 210671 0
vsize: 842748
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 98317 63 0 0 25 0 11 0 487113591 862973952 29036 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29036 13073 16 0 210671 0
vsize: 842748
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 99297 64 0 0 25 0 11 0 487113591 862973952 29113 4294967295 134512640 134569956 3221224400 3221214792 1131218486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29113 13073 16 0 210671 0
vsize: 842748
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 100274 64 0 0 25 0 11 0 487113591 862973952 29164 4294967295 134512640 134569956 3221224400 3221214800 1131275290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29164 13073 16 0 210671 0
vsize: 842748
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 101253 64 0 0 25 0 11 0 487113591 862973952 29241 4294967295 134512640 134569956 3221224400 3221214792 1131217749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29241 13073 16 0 210671 0
vsize: 842748
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 102232 64 0 0 25 0 11 0 487113591 862973952 29309 4294967295 134512640 134569956 3221224400 3221214896 1131226617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29309 13073 16 0 210671 0
vsize: 842748
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 103211 64 0 0 25 0 11 0 487113591 862973952 29365 4294967295 134512640 134569956 3221224400 3221214792 1131217656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29365 13073 16 0 210671 0
vsize: 842748
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 104190 64 0 0 25 0 11 0 487113591 862973952 29455 4294967295 134512640 134569956 3221224400 3221214848 1131173824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29455 13073 16 0 210671 0
vsize: 842748
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 105168 64 0 0 25 0 11 0 487113591 862973952 29508 4294967295 134512640 134569956 3221224400 3221214792 1131218205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29508 13073 16 0 210671 0
vsize: 842748
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 106145 64 0 0 24 0 11 0 487113591 862973952 29564 4294967295 134512640 134569956 3221224400 3221214792 1131217680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29564 13073 16 0 210671 0
vsize: 842748
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 107122 64 0 0 25 0 11 0 487113591 862973952 29643 4294967295 134512640 134569956 3221224400 3221214512 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29643 13073 16 0 210671 0
vsize: 842748
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 108101 64 0 0 25 0 11 0 487113591 862973952 29708 4294967295 134512640 134569956 3221224400 3221214792 1131217310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29708 13073 16 0 210671 0
vsize: 842748
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 109078 64 0 0 25 0 11 0 487113591 862973952 29756 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29756 13073 16 0 210671 0
vsize: 842748
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 110054 64 0 0 25 0 11 0 487113591 862973952 29834 4294967295 134512640 134569956 3221224400 3221214792 1131217285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29834 13073 16 0 210671 0
vsize: 842748
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) S 28050 20937 20936 0 -1 0 18088 4 1 0 111029 64 0 0 25 0 11 0 487113591 862973952 29901 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29901 13073 16 0 210671 0
vsize: 842748
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 112006 64 0 0 25 0 11 0 487113591 862973952 29952 4294967295 134512640 134569956 3221224400 3221214896 1131226773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 29952 13073 16 0 210671 0
vsize: 842748
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 112985 65 0 0 25 0 11 0 487113591 862973952 30043 4294967295 134512640 134569956 3221224400 3221214792 1131218486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30043 13073 16 0 210671 0
vsize: 842748
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 113963 65 0 0 25 0 11 0 487113591 862973952 30100 4294967295 134512640 134569956 3221224400 3221214848 1131173824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30100 13073 16 0 210671 0
vsize: 842748
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 114941 65 0 0 25 0 11 0 487113591 862973952 30162 4294967295 134512640 134569956 3221224400 3221214848 1131173841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30162 13073 16 0 210671 0
vsize: 842748
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 115919 65 0 0 25 0 11 0 487113591 862973952 30193 4294967295 134512640 134569956 3221224400 3221214896 1131227438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30193 13073 16 0 210671 0
vsize: 842748
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 116894 65 0 0 25 0 11 0 487113591 862973952 30262 4294967295 134512640 134569956 3221224400 3221214848 1131173845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30262 13073 16 0 210671 0
vsize: 842748
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 117867 65 0 0 25 0 11 0 487113591 862973952 30338 4294967295 134512640 134569956 3221224400 3221214792 1131217780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30338 13073 16 0 210671 0
vsize: 842748
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 118842 66 0 0 25 0 11 0 487113591 862973952 30390 4294967295 134512640 134569956 3221224400 3221214792 1131217683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30390 13073 16 0 210671 0
vsize: 842748
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 119813 66 0 0 25 0 11 0 487113591 862973952 30479 4294967295 134512640 134569956 3221224400 3221214792 1131217656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210687 30479 13073 16 0 210671 0
vsize: 842748
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 28065
Raw data (stat): 28051 (java) R 28050 20937 20936 0 -1 0 18088 4 1 0 120786 66 0 0 25 0 11 0 487113591 862973952 30574 4294967295 134512640 134569956 3221224400 3221214792 1131217403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210687 30574 13073 16 0 210671 0
vsize: 842748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 28067
Raw data (stat): 28051 (java) Z 28050 20937 20936 0 -1 1036 18088 10060 1 0 120791 66 2831 36 25 0 1 0 487113591 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): 1240.18
CPU time (s): 1237.26
CPU user time (s): 1236.23
CPU system time (s): 1.03084
CPU usage (%): 99.7646
Max. virtual memory (Kb): 843772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####