Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUMeac61d4d68844395596b0518195dd6df
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 493056
Optimality of the best value was proved NO
Number of terms in the objective function 3024
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 839045346
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 839045346
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark41.1977
Number of variables3024
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint21
Maximum length of a constraint240

Trace number 14805

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        840896 kB
Buffers:          3668 kB
Cached:         170136 kB
SwapCached:        820 kB
Active:          15460 kB
Inactive:       160448 kB
HighTotal:      131008 kB
HighFree:        43092 kB
LowTotal:       903652 kB
LowFree:        797804 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            12156 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 01:49:51 (client local time) WITH STATUS 143 IN 1216.35 SECONDS
stats: 19262 7 1216.35 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran12x12.opb
c reading problem 
c [nbvar=3024]
c [nbconstr=168]
c time 5.917
c #vars     3024
c #clauses  192
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=937274
c Current CPU time (ms) : 24.105
c starts	: 1
c conflicts	: 15
c decisions	: 2583
c propagations	: 11044
c inspects	: 11641
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 9
c 
c CURRENT OPTIMUM=873065
c Current CPU time (ms) : 382.483
c starts	: 4
c conflicts	: 277
c decisions	: 15505
c propagations	: 46615
c inspects	: 140544
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 277
c root simplifications	: 40
c 
c CURRENT OPTIMUM=861417
c Current CPU time (ms) : 401.221
c starts	: 5
c conflicts	: 277
c decisions	: 16007
c propagations	: 48315
c inspects	: 146513
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 277
c root simplifications	: 41
#### 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.91 0.95 0.90 2/54 26926
Raw data (stat): 26926 (runsolver) R 26925 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541137221 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.0007 s]
Raw data (loadavg): 1.01 0.97 0.91 4/64 26936
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18072 0 1 0 687 42 0 0 25 0 11 0 541137221 863801344 21269 4294967295 134512640 134569956 3221224400 3221214692 1130863944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210889 21269 13073 16 0 210873 0
vsize: 843556
[startup+20.0303 s]
Raw data (loadavg): 1.15 1.00 0.92 3/64 26936
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18073 0 1 0 1546 43 0 0 25 0 11 0 541137221 861069312 21250 4294967295 134512640 134569956 3221224400 3221214672 1131228354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 21250 13073 16 0 210206 0
vsize: 840888
[startup+30.0523 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18073 3 1 0 2483 43 0 0 25 0 11 0 541137221 861069312 21438 4294967295 134512640 134569956 3221224400 3221214560 1131447795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 21438 13073 16 0 210206 0
vsize: 840888
[startup+40.0526 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18073 3 1 0 3426 43 0 0 25 0 11 0 541137221 861069312 21497 4294967295 134512640 134569956 3221224400 3221214744 1131387384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 21497 13073 16 0 210206 0
vsize: 840888
[startup+50.0536 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 4367 44 0 0 25 0 11 0 541137221 861069312 21999 4294967295 134512640 134569956 3221224400 3221214672 1131227244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 21999 13073 16 0 210206 0
vsize: 840888
[startup+60.0538 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 5332 44 0 0 25 0 11 0 541137221 861069312 22111 4294967295 134512640 134569956 3221224400 3221214672 1131227697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22111 13073 16 0 210206 0
vsize: 840888
[startup+70.0545 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 6303 44 0 0 25 0 11 0 541137221 861069312 22126 4294967295 134512640 134569956 3221224400 3221214672 1131227300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22126 13073 16 0 210206 0
vsize: 840888
[startup+80.0555 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 7280 45 0 0 25 0 11 0 541137221 861069312 22301 4294967295 134512640 134569956 3221224400 3221214672 1131227666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22301 13073 16 0 210206 0
vsize: 840888
[startup+90.0561 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 8271 45 0 0 25 0 11 0 541137221 861069312 22325 4294967295 134512640 134569956 3221224400 3221214672 1131227370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22325 13073 16 0 210206 0
vsize: 840888
[startup+100.056 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 9263 45 0 0 25 0 11 0 541137221 861069312 22340 4294967295 134512640 134569956 3221224400 3221214672 1131560295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22340 13073 16 0 210206 0
vsize: 840888
[startup+110.057 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 10257 45 0 0 25 0 11 0 541137221 861069312 22347 4294967295 134512640 134569956 3221224400 3221214568 1131273436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 22347 13073 16 0 210206 0
vsize: 840888
[startup+120.058 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 11241 45 0 0 25 0 11 0 541137221 861069312 22363 4294967295 134512640 134569956 3221224400 3221214672 1131227697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22363 13073 16 0 210206 0
vsize: 840888
[startup+130.057 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 12220 46 0 0 25 0 11 0 541137221 861069312 22373 4294967295 134512640 134569956 3221224400 3221214776 1131332851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22373 13073 16 0 210206 0
vsize: 840888
[startup+140.058 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 13199 46 0 0 25 0 11 0 541137221 861069312 22423 4294967295 134512640 134569956 3221224400 3221214672 1131227429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22423 13073 16 0 210206 0
vsize: 840888
[startup+150.059 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 14181 47 0 0 25 0 11 0 541137221 861069312 22555 4294967295 134512640 134569956 3221224400 3221214456 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22555 13073 16 0 210206 0
vsize: 840888
[startup+160.059 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 15166 47 0 0 25 0 11 0 541137221 861069312 22570 4294967295 134512640 134569956 3221224400 3221214664 1131228255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22570 13073 16 0 210206 0
vsize: 840888
[startup+170.059 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 16148 47 0 0 25 0 11 0 541137221 861069312 22574 4294967295 134512640 134569956 3221224400 3221214768 1131332916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22574 13073 16 0 210206 0
vsize: 840888
[startup+180.059 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 17132 48 0 0 25 0 11 0 541137221 861069312 22647 4294967295 134512640 134569956 3221224400 3221214768 1131332916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22647 13073 16 0 210206 0
vsize: 840888
[startup+190.059 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 18123 48 0 0 25 0 11 0 541137221 861069312 22676 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22676 13073 16 0 210206 0
vsize: 840888
[startup+200.059 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 19111 48 0 0 25 0 11 0 541137221 861069312 22693 4294967295 134512640 134569956 3221224400 3221214512 1131273462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22693 13073 16 0 210206 0
vsize: 840888
[startup+210.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 20095 48 0 0 25 0 11 0 541137221 861069312 22708 4294967295 134512640 134569956 3221224400 3221214512 1131273341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22708 13073 16 0 210206 0
vsize: 840888
[startup+220.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 21075 48 0 0 25 0 11 0 541137221 861069312 22719 4294967295 134512640 134569956 3221224400 3221214616 1131558615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22719 13073 16 0 210206 0
vsize: 840888
[startup+230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 22052 49 0 0 25 0 11 0 541137221 861069312 22789 4294967295 134512640 134569956 3221224400 3221214504 1131447177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22789 13073 16 0 210206 0
vsize: 840888
[startup+240.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 23026 49 0 0 25 0 11 0 541137221 861069312 22860 4294967295 134512640 134569956 3221224400 3221214664 1131227622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 22860 13073 16 0 210206 0
vsize: 840888
[startup+250.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 24007 49 0 0 25 0 11 0 541137221 861069312 22946 4294967295 134512640 134569956 3221224400 3221214664 1131227364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 22946 13073 16 0 210206 0
vsize: 840888
[startup+260.062 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 24991 49 0 0 25 0 11 0 541137221 861069312 23022 4294967295 134512640 134569956 3221224400 3221214768 1131332939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23022 13073 16 0 210206 0
vsize: 840888
[startup+270.063 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 25979 50 0 0 25 0 11 0 541137221 861069312 23049 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23049 13073 16 0 210206 0
vsize: 840888
[startup+280.062 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 26969 50 0 0 25 0 11 0 541137221 861069312 23091 4294967295 134512640 134569956 3221224400 3221214664 1131227409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23091 13073 16 0 210206 0
vsize: 840888
[startup+290.063 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 27960 50 0 0 25 0 11 0 541137221 861069312 23106 4294967295 134512640 134569956 3221224400 3221214664 1131227277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23106 13073 16 0 210206 0
vsize: 840888
[startup+300.064 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 28951 50 0 0 25 0 11 0 541137221 861069312 23124 4294967295 134512640 134569956 3221224400 3221214664 1131227835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23124 13073 16 0 210206 0
vsize: 840888
[startup+310.064 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 29940 51 0 0 25 0 11 0 541137221 861069312 23140 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23140 13073 16 0 210206 0
vsize: 840888
[startup+320.065 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 30931 51 0 0 25 0 11 0 541137221 861069312 23160 4294967295 134512640 134569956 3221224400 3221214664 1131227296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23160 13073 16 0 210206 0
vsize: 840888
[startup+330.065 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 31922 51 0 0 25 0 11 0 541137221 861069312 23175 4294967295 134512640 134569956 3221224400 3221214688 1131389242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23175 13073 16 0 210206 0
vsize: 840888
[startup+340.065 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18074 3 1 0 32914 52 0 0 25 0 11 0 541137221 861069312 23186 4294967295 134512640 134569956 3221224400 3221214504 1131447936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23186 13073 16 0 210206 0
vsize: 840888
[startup+350.065 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 33907 52 0 0 25 0 11 0 541137221 861069312 23218 4294967295 134512640 134569956 3221224400 3221214664 1131227246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23218 13073 16 0 210206 0
vsize: 840888
[startup+360.065 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 34898 53 0 0 25 0 11 0 541137221 861069312 23225 4294967295 134512640 134569956 3221224400 3221214288 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23225 13073 16 0 210206 0
vsize: 840888
[startup+370.065 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 35888 53 0 0 25 0 11 0 541137221 861069312 23245 4294967295 134512640 134569956 3221224400 3221214768 1131332851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23245 13073 16 0 210206 0
vsize: 840888
[startup+380.065 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 26937
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 36876 53 0 0 25 0 11 0 541137221 861069312 23245 4294967295 134512640 134569956 3221224400 3221214768 1131333982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23245 13073 16 0 210206 0
vsize: 840888
[startup+390.066 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 26938
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 37860 54 0 0 25 0 11 0 541137221 861069312 23265 4294967295 134512640 134569956 3221224400 3221214664 1131227610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23265 13073 16 0 210206 0
vsize: 840888
[startup+400.066 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 26938
Raw data (stat): 26926 (java) S 26925 28099 28098 0 -1 0 18075 3 1 0 38844 54 0 0 25 0 11 0 541137221 861069312 23305 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23305 13073 16 0 210206 0
vsize: 840888
[startup+410.07 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 39817 54 0 0 25 0 11 0 541137221 861069312 23318 4294967295 134512640 134569956 3221224400 3221214664 1131227662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23318 13073 16 0 210206 0
vsize: 840888
[startup+420.07 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 40799 54 0 0 25 0 11 0 541137221 861069312 23382 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23382 13073 16 0 210206 0
vsize: 840888
[startup+430.07 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 41782 54 0 0 25 0 11 0 541137221 861069312 23392 4294967295 134512640 134569956 3221224400 3221214504 1131447147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23392 13073 16 0 210206 0
vsize: 840888
[startup+440.07 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 42771 54 0 0 25 0 11 0 541137221 861069312 23463 4294967295 134512640 134569956 3221224400 3221214664 1131373625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23463 13073 16 0 210206 0
vsize: 840888
[startup+450.071 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 43758 54 0 0 25 0 11 0 541137221 861069312 23466 4294967295 134512640 134569956 3221224400 3221214664 1131228297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23466 13073 16 0 210206 0
vsize: 840888
[startup+460.071 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 44742 54 0 0 25 0 11 0 541137221 861069312 23470 4294967295 134512640 134569956 3221224400 3221214664 1131228166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23470 13073 16 0 210206 0
vsize: 840888
[startup+470.071 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 45726 54 0 0 25 0 11 0 541137221 861069312 23471 4294967295 134512640 134569956 3221224400 3221214764 1131228554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23471 13073 16 0 210206 0
vsize: 840888
[startup+480.072 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 46716 55 0 0 25 0 11 0 541137221 861069312 23553 4294967295 134512640 134569956 3221224400 3221214664 1131227330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23553 13073 16 0 210206 0
vsize: 840888
[startup+490.072 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 47710 55 0 0 25 0 11 0 541137221 861069312 23558 4294967295 134512640 134569956 3221224400 3221214664 1131227229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23558 13073 16 0 210206 0
vsize: 840888
[startup+500.072 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 48699 55 0 0 25 0 11 0 541137221 861069312 23562 4294967295 134512640 134569956 3221224400 3221213776 1077094241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23562 13073 16 0 210206 0
vsize: 840888
[startup+510.073 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 49686 55 0 0 25 0 11 0 541137221 861069312 23570 4294967295 134512640 134569956 3221224400 3221214664 1131227330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23570 13073 16 0 210206 0
vsize: 840888
[startup+520.073 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 50670 55 0 0 25 0 11 0 541137221 861069312 23573 4294967295 134512640 134569956 3221224400 3221214664 1131227472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23573 13073 16 0 210206 0
vsize: 840888
[startup+530.077 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) S 26925 28099 28098 0 -1 0 18075 3 1 0 51645 55 0 0 25 0 11 0 541137221 861069312 23651 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23651 13073 16 0 210206 0
vsize: 840888
[startup+540.078 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 52626 55 0 0 25 0 11 0 541137221 861069312 23732 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23732 13073 16 0 210206 0
vsize: 840888
[startup+550.077 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 53612 55 0 0 25 0 11 0 541137221 861069312 23815 4294967295 134512640 134569956 3221224400 3221214664 1131227904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23815 13073 16 0 210206 0
vsize: 840888
[startup+560.078 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 54603 55 0 0 22 0 11 0 541137221 861069312 23872 4294967295 134512640 134569956 3221224400 3221214768 1131337482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23872 13073 16 0 210206 0
vsize: 840888
[startup+570.079 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 55595 55 0 0 25 0 11 0 541137221 861069312 23873 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23873 13073 16 0 210206 0
vsize: 840888
[startup+580.078 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 56586 55 0 0 25 0 11 0 541137221 861069312 23897 4294967295 134512640 134569956 3221224400 3221214664 1131227938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23897 13073 16 0 210206 0
vsize: 840888
[startup+590.078 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 57578 55 0 0 25 0 11 0 541137221 861069312 23914 4294967295 134512640 134569956 3221224400 3221214768 1131332657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23914 13073 16 0 210206 0
vsize: 840888
[startup+600.079 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 58571 55 0 0 25 0 11 0 541137221 861069312 23919 4294967295 134512640 134569956 3221224400 3221214688 1131388496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23919 13073 16 0 210206 0
vsize: 840888
[startup+610.084 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 59556 55 0 0 25 0 11 0 541137221 861069312 23938 4294967295 134512640 134569956 3221224400 3221214664 1131227644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23938 13073 16 0 210206 0
vsize: 840888
[startup+620.084 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 60538 55 0 0 25 0 11 0 541137221 861069312 23953 4294967295 134512640 134569956 3221224400 3221214664 1131227831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23953 13073 16 0 210206 0
vsize: 840888
[startup+630.085 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 61521 55 0 0 25 0 11 0 541137221 861069312 23962 4294967295 134512640 134569956 3221224400 3221214768 1131332945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 23962 13073 16 0 210206 0
vsize: 840888
[startup+640.085 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 62507 56 0 0 25 0 11 0 541137221 861069312 24048 4294967295 134512640 134569956 3221224400 3221214664 1131227270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24048 13073 16 0 210206 0
vsize: 840888
[startup+650.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 63501 56 0 0 25 0 11 0 541137221 861069312 24063 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24063 13073 16 0 210206 0
vsize: 840888
[startup+660.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 64494 56 0 0 25 0 11 0 541137221 861069312 24069 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24069 13073 16 0 210206 0
vsize: 840888
[startup+670.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 65488 56 0 0 25 0 11 0 541137221 861069312 24074 4294967295 134512640 134569956 3221224400 3221214664 1131227582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24074 13073 16 0 210206 0
vsize: 840888
[startup+680.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 66481 56 0 0 25 0 11 0 541137221 861069312 24083 4294967295 134512640 134569956 3221224400 3221214768 1131332916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24083 13073 16 0 210206 0
vsize: 840888
[startup+690.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 67475 56 0 0 25 0 11 0 541137221 861069312 24094 4294967295 134512640 134569956 3221224400 3221214664 1131227893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24094 13073 16 0 210206 0
vsize: 840888
[startup+700.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 68469 56 0 0 25 0 11 0 541137221 861069312 24102 4294967295 134512640 134569956 3221224400 3221214664 1131373633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24102 13073 16 0 210206 0
vsize: 840888
[startup+710.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 69462 56 0 0 25 0 11 0 541137221 861069312 24111 4294967295 134512640 134569956 3221224400 3221214664 1131227244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24111 13073 16 0 210206 0
vsize: 840888
[startup+720.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 70456 56 0 0 25 0 11 0 541137221 861069312 24125 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24125 13073 16 0 210206 0
vsize: 840888
[startup+730.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 71448 56 0 0 25 0 11 0 541137221 861069312 24133 4294967295 134512640 134569956 3221224400 3221214768 1131338167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24133 13073 16 0 210206 0
vsize: 840888
[startup+740.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 72441 56 0 0 25 0 11 0 541137221 861069312 24153 4294967295 134512640 134569956 3221224400 3221214768 1131333894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24153 13073 16 0 210206 0
vsize: 840888
[startup+750.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 73432 56 0 0 25 0 11 0 541137221 861069312 24157 4294967295 134512640 134569956 3221224400 3221214664 1131227662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24157 13073 16 0 210206 0
vsize: 840888
[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 74424 56 0 0 25 0 11 0 541137221 861069312 24169 4294967295 134512640 134569956 3221224400 3221214768 1131334806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24169 13073 16 0 210206 0
vsize: 840888
[startup+770.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 75417 56 0 0 25 0 11 0 541137221 861069312 24188 4294967295 134512640 134569956 3221224400 3221214464 1131379687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24188 13073 16 0 210206 0
vsize: 840888
[startup+780.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 76401 56 0 0 25 0 11 0 541137221 861069312 24217 4294967295 134512640 134569956 3221224400 3221214280 1131596362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24217 13073 16 0 210206 0
vsize: 840888
[startup+790.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 77385 56 0 0 25 0 11 0 541137221 861069312 24222 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24222 13073 16 0 210206 0
vsize: 840888
[startup+800.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 78368 57 0 0 25 0 11 0 541137221 861069312 24231 4294967295 134512640 134569956 3221224400 3221214768 1131338196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24231 13073 16 0 210206 0
vsize: 840888
[startup+810.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 79359 57 0 0 25 0 11 0 541137221 861069312 24306 4294967295 134512640 134569956 3221224400 3221214768 1131333912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24306 13073 16 0 210206 0
vsize: 840888
[startup+820.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 80350 57 0 0 25 0 11 0 541137221 861069312 24322 4294967295 134512640 134569956 3221224400 3221214768 1131332891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24322 13073 16 0 210206 0
vsize: 840888
[startup+830.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 81343 57 0 0 25 0 11 0 541137221 861069312 24328 4294967295 134512640 134569956 3221224400 3221214664 1131227855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24328 13073 16 0 210206 0
vsize: 840888
[startup+840.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 82335 57 0 0 25 0 11 0 541137221 861069312 24336 4294967295 134512640 134569956 3221224400 3221214768 1131332844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24336 13073 16 0 210206 0
vsize: 840888
[startup+850.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 83326 57 0 0 25 0 11 0 541137221 861069312 24388 4294967295 134512640 134569956 3221224400 3221214768 1131332851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24388 13073 16 0 210206 0
vsize: 840888
[startup+860.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 84319 57 0 0 25 0 11 0 541137221 861069312 24390 4294967295 134512640 134569956 3221224400 3221214768 1131332851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24390 13073 16 0 210206 0
vsize: 840888
[startup+870.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 85312 57 0 0 25 0 11 0 541137221 861069312 24412 4294967295 134512640 134569956 3221224400 3221214664 1131228049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24412 13073 16 0 210206 0
vsize: 840888
[startup+880.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 86305 57 0 0 25 0 11 0 541137221 861069312 24440 4294967295 134512640 134569956 3221224400 3221214664 1131227241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24440 13073 16 0 210206 0
vsize: 840888
[startup+890.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 87299 57 0 0 25 0 11 0 541137221 861069312 24447 4294967295 134512640 134569956 3221224400 3221214768 1131337390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24447 13073 16 0 210206 0
vsize: 840888
[startup+900.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 88292 57 0 0 25 0 11 0 541137221 861069312 24455 4294967295 134512640 134569956 3221224400 3221214664 1131227847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24455 13073 16 0 210206 0
vsize: 840888
[startup+910.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 89285 57 0 0 25 0 11 0 541137221 861069312 24481 4294967295 134512640 134569956 3221224400 3221214664 1131227656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24481 13073 16 0 210206 0
vsize: 840888
[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 90278 57 0 0 25 0 11 0 541137221 861069312 24493 4294967295 134512640 134569956 3221224400 3221214664 1131227912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24493 13073 16 0 210206 0
vsize: 840888
[startup+930.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18075 3 1 0 91272 57 0 0 25 0 11 0 541137221 861069312 24513 4294967295 134512640 134569956 3221224400 3221214664 1131227233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24513 13073 16 0 210206 0
vsize: 840888
[startup+940.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 92268 57 0 0 25 0 11 0 541137221 861069312 24524 4294967295 134512640 134569956 3221224400 3221214512 1131273059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24524 13073 16 0 210206 0
vsize: 840888
[startup+950.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 93261 57 0 0 25 0 11 0 541137221 861069312 24532 4294967295 134512640 134569956 3221224400 3221214844 1130912541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24532 13073 16 0 210206 0
vsize: 840888
[startup+960.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 94242 57 0 0 25 0 11 0 541137221 861069312 24540 4294967295 134512640 134569956 3221224400 3221214664 1131227780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24540 13073 16 0 210206 0
vsize: 840888
[startup+970.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 95227 57 0 0 25 0 11 0 541137221 861069312 24555 4294967295 134512640 134569956 3221224400 3221214768 1131332657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24555 13073 16 0 210206 0
vsize: 840888
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 96209 57 0 0 25 0 11 0 541137221 861069312 24568 4294967295 134512640 134569956 3221224400 3221214768 1131333984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24568 13073 16 0 210206 0
vsize: 840888
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 97201 58 0 0 25 0 11 0 541137221 861069312 24638 4294967295 134512640 134569956 3221224400 3221214664 1131227944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24638 13073 16 0 210206 0
vsize: 840888
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 98195 58 0 0 25 0 11 0 541137221 861069312 24651 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24651 13073 16 0 210206 0
vsize: 840888
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 99188 58 0 0 25 0 11 0 541137221 861069312 24662 4294967295 134512640 134569956 3221224400 3221214768 1131333894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24662 13073 16 0 210206 0
vsize: 840888
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 100183 58 0 0 25 0 11 0 541137221 861069312 24671 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24671 13073 16 0 210206 0
vsize: 840888
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 101178 58 0 0 25 0 11 0 541137221 861069312 24672 4294967295 134512640 134569956 3221224400 3221214664 1131228166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24672 13073 16 0 210206 0
vsize: 840888
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 102173 58 0 0 25 0 11 0 541137221 861069312 24678 4294967295 134512640 134569956 3221224400 3221214768 1131332795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24678 13073 16 0 210206 0
vsize: 840888
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 103167 58 0 0 25 0 11 0 541137221 861069312 24680 4294967295 134512640 134569956 3221224400 3221214664 1131227788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24680 13073 16 0 210206 0
vsize: 840888
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 104160 58 0 0 25 0 11 0 541137221 861069312 24687 4294967295 134512640 134569956 3221224400 3221214768 1131337435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24687 13073 16 0 210206 0
vsize: 840888
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 105154 58 0 0 25 0 11 0 541137221 861069312 24690 4294967295 134512640 134569956 3221224400 3221214768 1131332844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 24690 13073 16 0 210206 0
vsize: 840888
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 106148 58 0 0 25 0 11 0 541137221 861069312 24735 4294967295 134512640 134569956 3221224400 3221214544 1131593879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24735 13073 16 0 210206 0
vsize: 840888
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 107144 58 0 0 25 0 11 0 541137221 861069312 24746 4294967295 134512640 134569956 3221224400 3221214512 1131273223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24746 13073 16 0 210206 0
vsize: 840888
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 108141 58 0 0 25 0 11 0 541137221 861069312 24749 4294967295 134512640 134569956 3221224400 3221214512 1131273702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24749 13073 16 0 210206 0
vsize: 840888
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 109136 58 0 0 25 0 11 0 541137221 861069312 24758 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24758 13073 16 0 210206 0
vsize: 840888
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 110127 58 0 0 25 0 11 0 541137221 861069312 24761 4294967295 134512640 134569956 3221224400 3221214664 1131227871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24761 13073 16 0 210206 0
vsize: 840888
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 111118 58 0 0 25 0 11 0 541137221 861069312 24762 4294967295 134512640 134569956 3221224400 3221214664 1131227821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24762 13073 16 0 210206 0
vsize: 840888
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 112108 58 0 0 25 0 11 0 541137221 861069312 24775 4294967295 134512640 134569956 3221224400 3221214664 1131228115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24775 13073 16 0 210206 0
vsize: 840888
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 113100 58 0 0 25 0 11 0 541137221 861069312 24814 4294967295 134512640 134569956 3221224400 3221214768 1131332935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24814 13073 16 0 210206 0
vsize: 840888
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 114092 58 0 0 25 0 11 0 541137221 861069312 24830 4294967295 134512640 134569956 3221224400 3221214664 1131227697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24830 13073 16 0 210206 0
vsize: 840888
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 115085 59 0 0 25 0 11 0 541137221 861069312 24843 4294967295 134512640 134569956 3221224400 3221214664 1131227244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24843 13073 16 0 210206 0
vsize: 840888
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 116077 59 0 0 25 0 11 0 541137221 861069312 24855 4294967295 134512640 134569956 3221224400 3221214664 1131227601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24855 13073 16 0 210206 0
vsize: 840888
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 117071 59 0 0 25 0 11 0 541137221 861069312 24867 4294967295 134512640 134569956 3221224400 3221214664 1131227244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24867 13073 16 0 210206 0
vsize: 840888
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 118064 59 0 0 25 0 11 0 541137221 861069312 24873 4294967295 134512640 134569956 3221224400 3221214768 1131337418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24873 13073 16 0 210206 0
vsize: 840888
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 119057 59 0 0 25 0 11 0 541137221 861069312 24895 4294967295 134512640 134569956 3221224400 3221214768 1131332920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24895 13073 16 0 210206 0
vsize: 840888
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26939
Raw data (stat): 26926 (java) R 26925 28099 28098 0 -1 0 18076 3 1 0 120052 59 0 0 25 0 11 0 541137221 861069312 24898 4294967295 134512640 134569956 3221224400 3221214768 1131333894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 24898 13073 16 0 210206 0
vsize: 840888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 26941
Raw data (stat): 26926 (java) Z 26925 28099 28098 0 -1 1036 18076 4693 1 0 120056 59 1497 21 25 0 1 0 541137221 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): 1220.2
CPU time (s): 1216.35
CPU user time (s): 1215.54
CPU system time (s): 0.811876
CPU usage (%): 99.6846
Max. virtual memory (Kb): 843556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####