PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUM	fa7153262db792d01bec14f5a651af5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	872
Optimality of the best value was proved	NO
Number of terms in the objective function	232
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	9597
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	9597
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.332949
Number of variables	232
Total number of constraints	527
Number of constraints which are clauses	527
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 4443

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-13 17:17:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2286 boxname=wulflinc28 idbench=254 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc28/normalized-mux.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mux.opb
IDLAUNCH: 2286
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        917616 kB
Buffers:         33364 kB
Cached:          47960 kB
SwapCached:          4 kB
Active:          43304 kB
Inactive:        40820 kB
HighTotal:      131008 kB
HighFree:        79520 kB
LowTotal:       903652 kB
LowFree:        838096 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            27332 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:37:39 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2286 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mux.opb
c reading problem 
c [nbvar=232]
c [nbconstr=527]
c time 1.466
c #vars     232
c #clauses  527
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=1190
c Current CPU time (ms) : 1.878
c starts	: 1
c conflicts	: 2
c decisions	: 91
c propagations	: 254
c inspects	: 831
c learned literals	: 2
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1068
c Current CPU time (ms) : 2.638
c starts	: 2
c conflicts	: 3
c decisions	: 173
c propagations	: 497
c inspects	: 1393
c learned literals	: 2
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 4
#### 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.96 2/54 11290
Raw data (stat): 11290 (runsolver) R 11289 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477688351 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0006 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18073 3 1 0 699 44 0 0 25 0 11 0 477688351 861982720 20854 4294967295 134512640 134569956 3221224416 3221214848 1131253385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210445 20854 13073 16 0 210429 0
vsize: 841780
[startup+20.0017 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18073 3 1 0 1645 45 0 0 25 0 11 0 477688351 861458432 21163 4294967295 134512640 134569956 3221224416 3221214608 1131245927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 21163 13073 16 0 210301 0
vsize: 841268
[startup+30.0024 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18074 3 1 0 2590 45 0 0 25 0 11 0 477688351 861097984 21559 4294967295 134512640 134569956 3221224416 3221214956 1130902044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 21559 13073 16 0 210213 0
vsize: 840916
[startup+40.0025 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18074 3 1 0 3519 45 0 0 25 0 11 0 477688351 861097984 21833 4294967295 134512640 134569956 3221224416 3221214816 1131221025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 21833 13073 16 0 210213 0
vsize: 840916
[startup+50.0028 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18074 3 1 0 4442 45 0 0 25 0 11 0 477688351 861097984 22199 4294967295 134512640 134569956 3221224416 3221214776 1131299459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 22199 13073 16 0 210213 0
vsize: 840916
[startup+60.0034 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 5377 45 0 0 25 0 11 0 477688351 861097984 22386 4294967295 134512640 134569956 3221224416 3221214912 1131230088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 22386 13073 16 0 210213 0
vsize: 840916
[startup+70.0036 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 6319 46 0 0 25 0 11 0 477688351 861097984 22569 4294967295 134512640 134569956 3221224416 3221214816 1131221091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 22569 13073 16 0 210213 0
vsize: 840916
[startup+80.0048 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 7255 46 0 0 24 0 11 0 477688351 861097984 22720 4294967295 134512640 134569956 3221224416 3221214704 1131527115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 22720 13073 16 0 210213 0
vsize: 840916
[startup+90.0053 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 8202 46 0 0 25 0 11 0 477688351 861097984 22877 4294967295 134512640 134569956 3221224416 3221214872 1131158781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 22877 13073 16 0 210213 0
vsize: 840916
[startup+100.005 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 9159 47 0 0 25 0 11 0 477688351 861097984 23064 4294967295 134512640 134569956 3221224416 3221214584 1131545648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 23064 13073 16 0 210213 0
vsize: 840916
[startup+110.006 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 10111 47 0 0 25 0 11 0 477688351 861097984 23196 4294967295 134512640 134569956 3221224416 3221214792 1131221025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23196 13073 16 0 210213 0
vsize: 840916
[startup+120.008 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 11068 47 0 0 25 0 11 0 477688351 861097984 23296 4294967295 134512640 134569956 3221224416 3221214260 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23296 13073 16 0 210213 0
vsize: 840916
[startup+130.009 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) S 11289 10614 10613 0 -1 0 18075 3 1 0 12012 48 0 0 25 0 11 0 477688351 861097984 23428 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23428 13073 16 0 210213 0
vsize: 840916
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 12976 48 0 0 25 0 11 0 477688351 861097984 23542 4294967295 134512640 134569956 3221224416 3221214768 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23542 13073 16 0 210213 0
vsize: 840916
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 13932 49 0 0 25 0 11 0 477688351 861097984 23701 4294967295 134512640 134569956 3221224416 3221214264 1131544260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23701 13073 16 0 210213 0
vsize: 840916
[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 14889 49 0 0 25 0 11 0 477688351 861097984 23824 4294967295 134512640 134569956 3221224416 3221214848 1131158808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23824 13073 16 0 210213 0
vsize: 840916
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 15850 49 0 0 25 0 11 0 477688351 861097984 23916 4294967295 134512640 134569956 3221224416 3221214448 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 23916 13073 16 0 210213 0
vsize: 840916
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 16812 50 0 0 25 0 11 0 477688351 861097984 24025 4294967295 134512640 134569956 3221224416 3221214792 1131221167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24025 13073 16 0 210213 0
vsize: 840916
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 17777 50 0 0 25 0 11 0 477688351 861097984 24141 4294967295 134512640 134569956 3221224416 3221214360 1131545724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24141 13073 16 0 210213 0
vsize: 840916
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 18747 51 0 0 25 0 11 0 477688351 861097984 24216 4294967295 134512640 134569956 3221224416 3221214696 1131524622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24216 13073 16 0 210213 0
vsize: 840916
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 19713 51 0 0 25 0 11 0 477688351 861097984 24284 4294967295 134512640 134569956 3221224416 3221214888 1131230978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24284 13073 16 0 210213 0
vsize: 840916
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 20681 52 0 0 25 0 11 0 477688351 861097984 24336 4294967295 134512640 134569956 3221224416 3221214696 1131526984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24336 13073 16 0 210213 0
vsize: 840916
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 21636 52 0 0 25 0 11 0 477688351 861097984 24427 4294967295 134512640 134569956 3221224416 3221214768 1131299709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24427 13073 16 0 210213 0
vsize: 840916
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 22595 52 0 0 25 0 11 0 477688351 861097984 24517 4294967295 134512640 134569956 3221224416 3221214696 1131527041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24517 13073 16 0 210213 0
vsize: 840916
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 23551 52 0 0 25 0 11 0 477688351 861097984 24667 4294967295 134512640 134569956 3221224416 3221214848 1131158784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24667 13073 16 0 210213 0
vsize: 840916
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 24514 53 0 0 24 0 11 0 477688351 861097984 24776 4294967295 134512640 134569956 3221224416 3221214792 1131220798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24776 13073 16 0 210213 0
vsize: 840916
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 25485 53 0 0 25 0 11 0 477688351 861097984 24877 4294967295 134512640 134569956 3221224416 3221214792 1131221249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24877 13073 16 0 210213 0
vsize: 840916
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 26451 54 0 0 25 0 11 0 477688351 861097984 24967 4294967295 134512640 134569956 3221224416 3221214848 1131158954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 24967 13073 16 0 210213 0
vsize: 840916
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 27423 54 0 0 25 0 11 0 477688351 861097984 25066 4294967295 134512640 134569956 3221224416 3221214848 1131158801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25066 13073 16 0 210213 0
vsize: 840916
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 28404 54 0 0 25 0 11 0 477688351 861097984 25131 4294967295 134512640 134569956 3221224416 3221214792 1131220654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25131 13073 16 0 210213 0
vsize: 840916
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 29374 55 0 0 24 0 11 0 477688351 861097984 25212 4294967295 134512640 134569956 3221224416 3221214600 1131246120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25212 13073 16 0 210213 0
vsize: 840916
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 30352 55 0 0 25 0 11 0 477688351 861097984 25252 4294967295 134512640 134569956 3221224416 3221214764 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25252 13073 16 0 210213 0
vsize: 840916
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 31327 55 0 0 25 0 11 0 477688351 861097984 25328 4294967295 134512640 134569956 3221224416 3221214780 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25328 13073 16 0 210213 0
vsize: 840916
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 32302 56 0 0 25 0 11 0 477688351 861097984 25406 4294967295 134512640 134569956 3221224416 3221214848 1131158826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25406 13073 16 0 210213 0
vsize: 840916
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 33278 56 0 0 25 0 11 0 477688351 861097984 25476 4294967295 134512640 134569956 3221224416 3221214560 1131494639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25476 13073 16 0 210213 0
vsize: 840916
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 34259 56 0 0 25 0 11 0 477688351 861097984 25512 4294967295 134512640 134569956 3221224416 3221214600 1131246091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25512 13073 16 0 210213 0
vsize: 840916
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 35236 57 0 0 25 0 11 0 477688351 861097984 25572 4294967295 134512640 134569956 3221224416 3221214640 1131319227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25572 13073 16 0 210213 0
vsize: 840916
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 36217 57 0 0 25 0 11 0 477688351 861097984 25617 4294967295 134512640 134569956 3221224416 3221214600 1131246146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25617 13073 16 0 210213 0
vsize: 840916
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 37200 58 0 0 25 0 11 0 477688351 861097984 25674 4294967295 134512640 134569956 3221224416 3221214616 1131490196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25674 13073 16 0 210213 0
vsize: 840916
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 38184 58 0 0 25 0 11 0 477688351 861097984 25712 4294967295 134512640 134569956 3221224416 3221214416 1080216949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25712 13073 16 0 210213 0
vsize: 840916
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 39158 59 0 0 25 0 11 0 477688351 861097984 25774 4294967295 134512640 134569956 3221224416 3221214600 1131246152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25774 13073 16 0 210213 0
vsize: 840916
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 40136 59 0 0 25 0 11 0 477688351 861097984 25837 4294967295 134512640 134569956 3221224416 3221214792 1131220969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25837 13073 16 0 210213 0
vsize: 840916
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 41113 59 0 0 24 0 11 0 477688351 861097984 25873 4294967295 134512640 134569956 3221224416 3221214632 1131315752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25873 13073 16 0 210213 0
vsize: 840916
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 42095 59 0 0 25 0 11 0 477688351 861097984 25895 4294967295 134512640 134569956 3221224416 3221214616 1131332874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25895 13073 16 0 210213 0
vsize: 840916
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 43074 60 0 0 25 0 11 0 477688351 861097984 25955 4294967295 134512640 134569956 3221224416 3221214560 1131494338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 25955 13073 16 0 210213 0
vsize: 840916
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 44058 60 0 0 25 0 11 0 477688351 861097984 26016 4294967295 134512640 134569956 3221224416 3221214636 1131493996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26016 13073 16 0 210213 0
vsize: 840916
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 45041 60 0 0 25 0 11 0 477688351 861097984 26086 4294967295 134512640 134569956 3221224416 3221214488 1131491745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26086 13073 16 0 210213 0
vsize: 840916
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 46025 61 0 0 25 0 11 0 477688351 861097984 26129 4294967295 134512640 134569956 3221224416 3221214584 1131486427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26129 13073 16 0 210213 0
vsize: 840916
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 47011 61 0 0 25 0 11 0 477688351 861097984 26175 4294967295 134512640 134569956 3221224416 3221214584 1079721529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26175 13073 16 0 210213 0
vsize: 840916
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 48000 61 0 0 25 0 11 0 477688351 861097984 26206 4294967295 134512640 134569956 3221224416 3221214560 1131494269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26206 13073 16 0 210213 0
vsize: 840916
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 48990 61 0 0 25 0 11 0 477688351 861097984 26227 4294967295 134512640 134569956 3221224416 3221214544 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 26227 13073 16 0 210213 0
vsize: 840916
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 49980 61 0 0 25 0 11 0 477688351 861097984 26233 4294967295 134512640 134569956 3221224416 3221214660 1131332000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26233 13073 16 0 210213 0
vsize: 840916
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 50967 62 0 0 24 0 11 0 477688351 861097984 26298 4294967295 134512640 134569956 3221224416 3221214600 1131246142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26298 13073 16 0 210213 0
vsize: 840916
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 51954 62 0 0 25 0 11 0 477688351 861097984 26343 4294967295 134512640 134569956 3221224416 3221214792 1131221037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26343 13073 16 0 210213 0
vsize: 840916
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 52939 62 0 0 25 0 11 0 477688351 861097984 26435 4294967295 134512640 134569956 3221224416 3221214432 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26435 13073 16 0 210213 0
vsize: 840916
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 53923 63 0 0 25 0 11 0 477688351 861097984 26442 4294967295 134512640 134569956 3221224416 3221214792 1131220909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26442 13073 16 0 210213 0
vsize: 840916
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 54905 63 0 0 25 0 11 0 477688351 861097984 26471 4294967295 134512640 134569956 3221224416 3221214260 1131544336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26471 13073 16 0 210213 0
vsize: 840916
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 55885 63 0 0 25 0 11 0 477688351 861097984 26505 4294967295 134512640 134569956 3221224416 3221214432 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26505 13073 16 0 210213 0
vsize: 840916
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 56870 64 0 0 25 0 11 0 477688351 861097984 26531 4294967295 134512640 134569956 3221224416 3221214608 1131516717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26531 13073 16 0 210213 0
vsize: 840916
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 57851 64 0 0 25 0 11 0 477688351 861097984 26557 4294967295 134512640 134569956 3221224416 3221214600 1131246140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26557 13073 16 0 210213 0
vsize: 840916
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 58832 64 0 0 25 0 11 0 477688351 861097984 26592 4294967295 134512640 134569956 3221224416 3221214792 1131221095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26592 13073 16 0 210213 0
vsize: 840916
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 59813 64 0 0 25 0 11 0 477688351 861097984 26651 4294967295 134512640 134569956 3221224416 3221214560 1131494514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26651 13073 16 0 210213 0
vsize: 840916
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 60794 65 0 0 25 0 11 0 477688351 861097984 26749 4294967295 134512640 134569956 3221224416 3221214792 1131221025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26749 13073 16 0 210213 0
vsize: 840916
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 61781 65 0 0 25 0 11 0 477688351 861097984 26788 4294967295 134512640 134569956 3221224416 3221214888 1131229893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26788 13073 16 0 210213 0
vsize: 840916
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 62765 65 0 0 25 0 11 0 477688351 861097984 26849 4294967295 134512640 134569956 3221224416 3221214848 1131158784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26849 13073 16 0 210213 0
vsize: 840916
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 63748 66 0 0 25 0 11 0 477688351 861097984 26939 4294967295 134512640 134569956 3221224416 3221214600 1131246152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26939 13073 16 0 210213 0
vsize: 840916
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 64734 66 0 0 25 0 11 0 477688351 861097984 26970 4294967295 134512640 134569956 3221224416 3221214600 1131246142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26970 13073 16 0 210213 0
vsize: 840916
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 65724 66 0 0 25 0 11 0 477688351 861097984 26993 4294967295 134512640 134569956 3221224416 3221214792 1131221177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 26993 13073 16 0 210213 0
vsize: 840916
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 66711 67 0 0 25 0 11 0 477688351 861097984 27022 4294967295 134512640 134569956 3221224416 3221214720 1131226016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27022 13073 16 0 210213 0
vsize: 840916
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 67700 67 0 0 25 0 11 0 477688351 861097984 27066 4294967295 134512640 134569956 3221224416 3221214848 1131158801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27066 13073 16 0 210213 0
vsize: 840916
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 68687 67 0 0 24 0 11 0 477688351 861097984 27103 4294967295 134512640 134569956 3221224416 3221214536 1131319683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27103 13073 16 0 210213 0
vsize: 840916
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 69676 67 0 0 25 0 11 0 477688351 861097984 27126 4294967295 134512640 134569956 3221224416 3221214352 1131545736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27126 13073 16 0 210213 0
vsize: 840916
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 70663 68 0 0 25 0 11 0 477688351 861097984 27134 4294967295 134512640 134569956 3221224416 3221214600 1131246025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27134 13073 16 0 210213 0
vsize: 840916
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 71656 68 0 0 25 0 11 0 477688351 861097984 27168 4294967295 134512640 134569956 3221224416 3221214416 1131494725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27168 13073 16 0 210213 0
vsize: 840916
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 72643 69 0 0 25 0 11 0 477688351 861097984 27172 4294967295 134512640 134569956 3221224416 3221214600 1131245927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27172 13073 16 0 210213 0
vsize: 840916
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 73630 69 0 0 25 0 11 0 477688351 861097984 27219 4294967295 134512640 134569956 3221224416 3221214640 1131320419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27219 13073 16 0 210213 0
vsize: 840916
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 74620 69 0 0 25 0 11 0 477688351 861097984 27256 4294967295 134512640 134569956 3221224416 3221214600 1131246109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27256 13073 16 0 210213 0
vsize: 840916
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 75613 69 0 0 25 0 11 0 477688351 861097984 27259 4294967295 134512640 134569956 3221224416 3221214792 1131222070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27259 13073 16 0 210213 0
vsize: 840916
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 76601 70 0 0 25 0 11 0 477688351 861097984 27289 4294967295 134512640 134569956 3221224416 3221214760 1131245927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27289 13073 16 0 210213 0
vsize: 840916
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 77592 70 0 0 25 0 11 0 477688351 861097984 27348 4294967295 134512640 134569956 3221224416 3221214628 1131319911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27348 13073 16 0 210213 0
vsize: 840916
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 78584 70 0 0 25 0 11 0 477688351 861097984 27350 4294967295 134512640 134569956 3221224416 3221214584 1131486492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27350 13073 16 0 210213 0
vsize: 840916
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 79577 70 0 0 25 0 11 0 477688351 861097984 27395 4294967295 134512640 134569956 3221224416 3221214792 1131220707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27395 13073 16 0 210213 0
vsize: 840916
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 80566 70 0 0 25 0 11 0 477688351 861097984 27419 4294967295 134512640 134569956 3221224416 3221214600 1131246068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27419 13073 16 0 210213 0
vsize: 840916
[startup+840.049 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 81558 70 0 0 25 0 11 0 477688351 861097984 27440 4294967295 134512640 134569956 3221224416 3221214600 1131245927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27440 13073 16 0 210213 0
vsize: 840916
[startup+850.049 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 82552 71 0 0 25 0 11 0 477688351 861097984 27440 4294967295 134512640 134569956 3221224416 3221214480 1131494859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27440 13073 16 0 210213 0
vsize: 840916
[startup+860.05 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 83549 71 0 0 25 0 11 0 477688351 861097984 27487 4294967295 134512640 134569956 3221224416 3221214600 1131246178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27487 13073 16 0 210213 0
vsize: 840916
[startup+870.051 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 84543 71 0 0 25 0 11 0 477688351 861097984 27504 4294967295 134512640 134569956 3221224416 3221214600 1131246048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27504 13073 16 0 210213 0
vsize: 840916
[startup+880.051 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 85534 71 0 0 25 0 11 0 477688351 861097984 27543 4294967295 134512640 134569956 3221224416 3221214416 1131494859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27543 13073 16 0 210213 0
vsize: 840916
[startup+890.051 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 86533 72 0 0 25 0 11 0 477688351 861097984 27545 4294967295 134512640 134569956 3221224416 3221214648 1131358034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27545 13073 16 0 210213 0
vsize: 840916
[startup+900.052 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 87531 72 0 0 25 0 11 0 477688351 861097984 27545 4294967295 134512640 134569956 3221224416 3221214432 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27545 13073 16 0 210213 0
vsize: 840916
[startup+910.052 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 88522 72 0 0 25 0 11 0 477688351 861097984 27545 4294967295 134512640 134569956 3221224416 3221214488 1131492021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27545 13073 16 0 210213 0
vsize: 840916
[startup+920.053 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 89516 72 0 0 25 0 11 0 477688351 861097984 27592 4294967295 134512640 134569956 3221224416 3221214560 1131494582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27592 13073 16 0 210213 0
vsize: 840916
[startup+930.053 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 90510 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214600 1131245927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+940.053 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 91505 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214648 1131358013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+950.053 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 92499 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214648 1131357962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+960.054 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 93499 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214488 1131491657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+970.054 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 94499 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214648 1131358075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 95495 73 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214408 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 96489 74 0 0 25 0 11 0 477688351 861097984 27616 4294967295 134512640 134569956 3221224416 3221214640 1131318829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27616 13073 16 0 210213 0
vsize: 840916
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 97479 74 0 0 25 0 11 0 477688351 861097984 27854 4294967295 134512640 134569956 3221224416 3221214200 1131545678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27854 13073 16 0 210213 0
vsize: 840916
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 98473 74 0 0 25 0 11 0 477688351 861097984 27854 4294967295 134512640 134569956 3221224416 3221214640 1131319965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27854 13073 16 0 210213 0
vsize: 840916
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 99466 74 0 0 25 0 11 0 477688351 861097984 27858 4294967295 134512640 134569956 3221224416 3221214552 1079721536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27858 13073 16 0 210213 0
vsize: 840916
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 100460 74 0 0 25 0 11 0 477688351 861097984 27858 4294967295 134512640 134569956 3221224416 3221214560 1131494451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27858 13073 16 0 210213 0
vsize: 840916
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 101453 74 0 0 25 0 11 0 477688351 861097984 27858 4294967295 134512640 134569956 3221224416 3221214640 1131319990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27858 13073 16 0 210213 0
vsize: 840916
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 102451 74 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214648 1131358040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 103448 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214592 1131544337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 104444 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214560 1131494459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 105439 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214640 1131320225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 106431 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214640 1131318829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 107428 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214720 1131227915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 108421 75 0 0 25 0 11 0 477688351 861097984 27947 4294967295 134512640 134569956 3221224416 3221214560 1131494514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27947 13073 16 0 210213 0
vsize: 840916
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 109414 76 0 0 25 0 11 0 477688351 861097984 27949 4294967295 134512640 134569956 3221224416 3221214560 1131494388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27949 13073 16 0 210213 0
vsize: 840916
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 110410 76 0 0 25 0 11 0 477688351 861097984 27956 4294967295 134512640 134569956 3221224416 3221214488 1131492129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27956 13073 16 0 210213 0
vsize: 840916
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 111405 76 0 0 25 0 11 0 477688351 861097984 27959 4294967295 134512640 134569956 3221224416 3221214560 1131494420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27959 13073 16 0 210213 0
vsize: 840916
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 112398 76 0 0 25 0 11 0 477688351 861097984 27959 4294967295 134512640 134569956 3221224416 3221214560 1131494626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 27959 13073 16 0 210213 0
vsize: 840916
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 113392 77 0 0 25 0 11 0 477688351 861097984 27992 4294967295 134512640 134569956 3221224416 3221214584 1131486435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27992 13073 16 0 210213 0
vsize: 840916
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 114385 77 0 0 25 0 11 0 477688351 861097984 27992 4294967295 134512640 134569956 3221224416 3221214640 1131320496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 27992 13073 16 0 210213 0
vsize: 840916
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 115377 77 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214600 1131246105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 28028 13073 16 0 210213 0
vsize: 840916
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 116372 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214776 1131267895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 28028 13073 16 0 210213 0
vsize: 840916
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 117369 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214488 1131491554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 28028 13073 16 0 210213 0
vsize: 840916
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 118368 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214600 1131246101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210229 28028 13073 16 0 210213 0
vsize: 840916
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 119365 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214560 1131494649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 28028 13073 16 0 210213 0
vsize: 840916
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11302
Raw data (stat): 11290 (java) R 11289 10614 10613 0 -1 0 18075 3 1 0 120360 78 0 0 25 0 11 0 477688351 861097984 28028 4294967295 134512640 134569956 3221224416 3221214560 1131494052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210229 28028 13073 16 0 210213 0
vsize: 840916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 11304
Raw data (stat): 11290 (java) Z 11289 10614 10613 0 -1 1036 18075 7808 1 0 120364 78 2252 22 25 0 1 0 477688351 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): 1230.16
CPU time (s): 1227.18
CPU user time (s): 1226.16
CPU system time (s): 1.01784
CPU usage (%): 99.7582
Max. virtual memory (Kb): 841780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####