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-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
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	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 4437

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-13 17:11:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2232 boxname=wulflinc24 idbench=248 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc24/normalized-C432.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-C432.opb
IDLAUNCH: 2232
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        877232 kB
Buffers:         32352 kB
Cached:          82888 kB
SwapCached:       3828 kB
Active:          42060 kB
Inactive:        79832 kB
HighTotal:      131008 kB
HighFree:        45864 kB
LowTotal:       903652 kB
LowFree:        831368 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30052 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:32:18 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2232 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-C432.opb
c reading problem 
c [nbvar=771]
c [nbconstr=1951]
c time 2.523
c #vars     771
c #clauses  1951
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=5742
c Current CPU time (ms) : 4.193
c starts	: 1
c conflicts	: 8
c decisions	: 1200
c propagations	: 2966
c inspects	: 6043
c learned literals	: 7
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 8
c 
c CURRENT OPTIMUM=5724
c Current CPU time (ms) : 7.978
c starts	: 2
c conflicts	: 10
c decisions	: 1508
c propagations	: 3739
c inspects	: 7724
c learned literals	: 7
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 9
#### 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.85 0.97 0.99 2/54 30174
Raw data (stat): 30174 (runsolver) R 30173 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477645161 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0003 s]
Raw data (loadavg): 1.18 1.03 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18080 3 1 0 704 40 0 0 24 0 11 0 477645161 867241984 22381 4294967295 134512640 134569956 3221224416 3221214688 1131342659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211729 22381 13073 16 0 211713 0
vsize: 846916
[startup+20.0005 s]
Raw data (loadavg): 1.23 1.05 1.02 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18080 3 1 0 1622 41 0 0 25 0 11 0 477645161 865529856 22142 4294967295 134512640 134569956 3221224416 3221214752 1131342274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 22142 13073 16 0 211295 0
vsize: 845244
[startup+30.0016 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18080 3 1 0 2555 41 0 0 25 0 11 0 477645161 865529856 22497 4294967295 134512640 134569956 3221224416 3221214400 1077635760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 22497 13073 16 0 211295 0
vsize: 845244
[startup+40.0014 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 3476 41 0 0 25 0 11 0 477645161 865529856 22752 4294967295 134512640 134569956 3221224416 3221214760 1131244199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 22752 13073 16 0 211295 0
vsize: 845244
[startup+50.0026 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 4420 41 0 0 25 0 11 0 477645161 865529856 23171 4294967295 134512640 134569956 3221224416 3221214880 1131145809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 23171 13073 16 0 211295 0
vsize: 845244
[startup+60.0027 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 5357 41 0 0 25 0 11 0 477645161 865529856 23363 4294967295 134512640 134569956 3221224416 3221214816 1131379752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 23363 13073 16 0 211295 0
vsize: 845244
[startup+70.0033 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 6295 41 0 0 25 0 11 0 477645161 865529856 23449 4294967295 134512640 134569956 3221224416 3221214588 1131536544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 23449 13073 16 0 211295 0
vsize: 845244
[startup+80.0036 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 7236 41 0 0 25 0 11 0 477645161 865529856 23603 4294967295 134512640 134569956 3221224416 3221214816 1131379916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 23603 13073 16 0 211295 0
vsize: 845244
[startup+90.0038 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 8173 41 0 0 25 0 11 0 477645161 865529856 23806 4294967295 134512640 134569956 3221224416 3221214816 1131378994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 23806 13073 16 0 211295 0
vsize: 845244
[startup+100.004 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 9118 41 0 0 25 0 11 0 477645161 865529856 23940 4294967295 134512640 134569956 3221224416 3221214856 1131283901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211311 23940 13073 16 0 211295 0
vsize: 845244
[startup+110.005 s]
Raw data (loadavg): 1.05 1.03 1.01 3/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18081 3 1 0 10064 41 0 0 25 0 11 0 477645161 865529856 24175 4294967295 134512640 134569956 3221224416 3221214600 1131508985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24175 13073 16 0 211295 0
vsize: 845244
[startup+120.005 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 11015 41 0 0 25 0 11 0 477645161 865529856 24309 4294967295 134512640 134569956 3221224416 3221214880 1131145880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24309 13073 16 0 211295 0
vsize: 845244
[startup+130.006 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 11973 41 0 0 24 0 11 0 477645161 865529856 24377 4294967295 134512640 134569956 3221224416 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24377 13073 16 0 211295 0
vsize: 845244
[startup+140.006 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 12931 41 0 0 25 0 11 0 477645161 865529856 24502 4294967295 134512640 134569956 3221224416 3221214816 1131379570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24502 13073 16 0 211295 0
vsize: 845244
[startup+150.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 13880 42 0 0 25 0 11 0 477645161 865529856 24618 4294967295 134512640 134569956 3221224416 3221214880 1131145809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24618 13073 16 0 211295 0
vsize: 845244
[startup+160.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 14802 42 0 0 25 0 11 0 477645161 865529856 24682 4294967295 134512640 134569956 3221224416 3221214804 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24682 13073 16 0 211295 0
vsize: 845244
[startup+170.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 15720 42 0 0 25 0 11 0 477645161 865529856 24824 4294967295 134512640 134569956 3221224416 3221214816 1131380454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 24824 13073 16 0 211295 0
vsize: 845244
[startup+180.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 16643 42 0 0 25 0 11 0 477645161 865529856 25109 4294967295 134512640 134569956 3221224416 3221214672 1131422700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25109 13073 16 0 211295 0
vsize: 845244
[startup+190.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 17601 43 0 0 25 0 11 0 477645161 865529856 25384 4294967295 134512640 134569956 3221224416 3221214752 1131342211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25384 13073 16 0 211295 0
vsize: 845244
[startup+200.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 18565 43 0 0 25 0 11 0 477645161 865529856 25450 4294967295 134512640 134569956 3221224416 3221214768 1131367532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25450 13073 16 0 211295 0
vsize: 845244
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 19530 43 0 0 25 0 11 0 477645161 865529856 25525 4294967295 134512640 134569956 3221224416 3221214792 1131354969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25525 13073 16 0 211295 0
vsize: 845244
[startup+220.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 20502 44 0 0 25 0 11 0 477645161 865529856 25590 4294967295 134512640 134569956 3221224416 3221214880 1131145789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25590 13073 16 0 211295 0
vsize: 845244
[startup+230.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 21460 44 0 0 25 0 11 0 477645161 865529856 25645 4294967295 134512640 134569956 3221224416 3221214672 1131421589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25645 13073 16 0 211295 0
vsize: 845244
[startup+240.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 22407 44 0 0 25 0 11 0 477645161 865529856 25738 4294967295 134512640 134569956 3221224416 3221214752 1131341622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25738 13073 16 0 211295 0
vsize: 845244
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 23346 44 0 0 24 0 11 0 477645161 865529856 25837 4294967295 134512640 134569956 3221224416 3221214672 1131422867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25837 13073 16 0 211295 0
vsize: 845244
[startup+260.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 24284 45 0 0 25 0 11 0 477645161 865529856 25928 4294967295 134512640 134569956 3221224416 3221214804 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 25928 13073 16 0 211295 0
vsize: 845244
[startup+270.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 25219 45 0 0 25 0 11 0 477645161 865529856 26105 4294967295 134512640 134569956 3221224416 3221214804 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26105 13073 16 0 211295 0
vsize: 845244
[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 26152 45 0 0 24 0 11 0 477645161 865529856 26266 4294967295 134512640 134569956 3221224416 3221214880 1131145834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26266 13073 16 0 211295 0
vsize: 845244
[startup+290.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 27092 46 0 0 25 0 11 0 477645161 865529856 26378 4294967295 134512640 134569956 3221224416 3221214696 1131627607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26378 13073 16 0 211295 0
vsize: 845244
[startup+300.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 28045 46 0 0 25 0 11 0 477645161 865529856 26566 4294967295 134512640 134569956 3221224416 3221214672 1131421565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26566 13073 16 0 211295 0
vsize: 845244
[startup+310.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 29004 46 0 0 25 0 11 0 477645161 865529856 26705 4294967295 134512640 134569956 3221224416 3221214880 1131145809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26705 13073 16 0 211295 0
vsize: 845244
[startup+320.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 29965 46 0 0 25 0 11 0 477645161 865529856 26802 4294967295 134512640 134569956 3221224416 3221214588 1131537056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26802 13073 16 0 211295 0
vsize: 845244
[startup+330.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 30928 46 0 0 25 0 11 0 477645161 865529856 26877 4294967295 134512640 134569956 3221224416 3221214720 1131240097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26877 13073 16 0 211295 0
vsize: 845244
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 31886 47 0 0 25 0 11 0 477645161 865529856 26950 4294967295 134512640 134569956 3221224416 3221214816 1131380454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 26950 13073 16 0 211295 0
vsize: 845244
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 32834 47 0 0 24 0 11 0 477645161 865529856 27044 4294967295 134512640 134569956 3221224416 3221214600 1131244272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27044 13073 16 0 211295 0
vsize: 845244
[startup+360.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 33778 47 0 0 25 0 11 0 477645161 865529856 27113 4294967295 134512640 134569956 3221224416 3221214536 1131607570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27113 13073 16 0 211295 0
vsize: 845244
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 34715 48 0 0 25 0 11 0 477645161 865529856 27216 4294967295 134512640 134569956 3221224416 3221214752 1131341920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27216 13073 16 0 211295 0
vsize: 845244
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 35652 48 0 0 25 0 11 0 477645161 865529856 27447 4294967295 134512640 134569956 3221224416 3221214880 1131145816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27447 13073 16 0 211295 0
vsize: 845244
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) S 30173 28546 28545 0 -1 0 18082 3 1 0 36588 49 0 0 25 0 11 0 477645161 865529856 27649 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27649 13073 16 0 211295 0
vsize: 845244
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 37535 49 0 0 25 0 11 0 477645161 865529856 27731 4294967295 134512640 134569956 3221224416 3221214600 1131244284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27731 13073 16 0 211295 0
vsize: 845244
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 38479 49 0 0 25 0 11 0 477645161 865529856 27853 4294967295 134512640 134569956 3221224416 3221214824 1131240276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27853 13073 16 0 211295 0
vsize: 845244
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 39446 49 0 0 25 0 11 0 477645161 865529856 27953 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 27953 13073 16 0 211295 0
vsize: 845244
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 40399 50 0 0 24 0 11 0 477645161 865529856 28142 4294967295 134512640 134569956 3221224416 3221214720 1131342064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28142 13073 16 0 211295 0
vsize: 845244
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 41348 50 0 0 25 0 11 0 477645161 865529856 28218 4294967295 134512640 134569956 3221224416 3221214716 1131350451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28218 13073 16 0 211295 0
vsize: 845244
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 42298 50 0 0 25 0 11 0 477645161 865529856 28350 4294967295 134512640 134569956 3221224416 3221214736 1131367784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28350 13073 16 0 211295 0
vsize: 845244
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 43243 51 0 0 23 0 11 0 477645161 865529856 28427 4294967295 134512640 134569956 3221224416 3221214776 1131239641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28427 13073 16 0 211295 0
vsize: 845244
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 44184 51 0 0 25 0 11 0 477645161 865529856 28538 4294967295 134512640 134569956 3221224416 3221214872 1131298757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28538 13073 16 0 211295 0
vsize: 845244
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 45125 51 0 0 25 0 11 0 477645161 865529856 28719 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28719 13073 16 0 211295 0
vsize: 845244
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 46067 52 0 0 25 0 11 0 477645161 865529856 28815 4294967295 134512640 134569956 3221224416 3221214776 1131239641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28815 13073 16 0 211295 0
vsize: 845244
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 47007 52 0 0 25 0 11 0 477645161 865529856 28955 4294967295 134512640 134569956 3221224416 3221213840 1077101170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 28955 13073 16 0 211295 0
vsize: 845244
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 47945 52 0 0 25 0 11 0 477645161 865529856 29145 4294967295 134512640 134569956 3221224416 3221214664 1131625521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29145 13073 16 0 211295 0
vsize: 845244
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 48891 53 0 0 25 0 11 0 477645161 865529856 29228 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29228 13073 16 0 211295 0
vsize: 845244
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 49848 53 0 0 25 0 11 0 477645161 865529856 29384 4294967295 134512640 134569956 3221224416 3221214872 1131298759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29384 13073 16 0 211295 0
vsize: 845244
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 50800 53 0 0 25 0 11 0 477645161 865529856 29520 4294967295 134512640 134569956 3221224416 3221214664 1131350694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29520 13073 16 0 211295 0
vsize: 845244
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 51757 53 0 0 25 0 11 0 477645161 865529856 29582 4294967295 134512640 134569956 3221224416 3221214568 1131244286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29582 13073 16 0 211295 0
vsize: 845244
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 52712 54 0 0 25 0 11 0 477645161 865529856 29701 4294967295 134512640 134569956 3221224416 3221214776 1131239518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29701 13073 16 0 211295 0
vsize: 845244
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 53670 54 0 0 25 0 11 0 477645161 865529856 29778 4294967295 134512640 134569956 3221224416 3221214640 1131424187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29778 13073 16 0 211295 0
vsize: 845244
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 54629 54 0 0 25 0 11 0 477645161 865529856 29916 4294967295 134512640 134569956 3221224416 3221214872 1131299327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 29916 13073 16 0 211295 0
vsize: 845244
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 55596 54 0 0 25 0 11 0 477645161 865529856 30015 4294967295 134512640 134569956 3221224416 3221214868 1131145772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30015 13073 16 0 211295 0
vsize: 845244
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) S 30173 28546 28545 0 -1 0 18082 3 1 0 56557 55 0 0 25 0 11 0 477645161 865529856 30081 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30081 13073 16 0 211295 0
vsize: 845244
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 57507 55 0 0 25 0 11 0 477645161 865529856 30127 4294967295 134512640 134569956 3221224416 3221214720 1131342385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30127 13073 16 0 211295 0
vsize: 845244
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 58453 55 0 0 25 0 11 0 477645161 865529856 30175 4294967295 134512640 134569956 3221224416 3221214568 1131244010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30175 13073 16 0 211295 0
vsize: 845244
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 59400 56 0 0 25 0 11 0 477645161 865529856 30318 4294967295 134512640 134569956 3221224416 3221214568 1131244107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30318 13073 16 0 211295 0
vsize: 845244
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 60362 56 0 0 25 0 11 0 477645161 865529856 30553 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30553 13073 16 0 211295 0
vsize: 845244
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 61324 57 0 0 25 0 11 0 477645161 865529856 30626 4294967295 134512640 134569956 3221224416 3221214928 1131308655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30626 13073 16 0 211295 0
vsize: 845244
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 62285 58 0 0 25 0 11 0 477645161 865529856 30686 4294967295 134512640 134569956 3221224416 3221214776 1131239657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30686 13073 16 0 211295 0
vsize: 845244
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 63250 58 0 0 25 0 11 0 477645161 865529856 30774 4294967295 134512640 134569956 3221224416 3221214720 1131341456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30774 13073 16 0 211295 0
vsize: 845244
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 64218 59 0 0 25 0 11 0 477645161 865529856 30859 4294967295 134512640 134569956 3221224416 3221214776 1131239363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30859 13073 16 0 211295 0
vsize: 845244
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 65187 59 0 0 25 0 11 0 477645161 865529856 30922 4294967295 134512640 134569956 3221224416 3221214552 1079721521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30922 13073 16 0 211295 0
vsize: 845244
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 66146 60 0 0 25 0 11 0 477645161 865529856 30973 4294967295 134512640 134569956 3221224416 3221214824 1131284038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 30973 13073 16 0 211295 0
vsize: 845244
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 67088 60 0 0 24 0 11 0 477645161 865529856 31052 4294967295 134512640 134569956 3221224416 3221214776 1131239233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31052 13073 16 0 211295 0
vsize: 845244
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 68024 60 0 0 24 0 11 0 477645161 865529856 31127 4294967295 134512640 134569956 3221224416 3221214600 1131468449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31127 13073 16 0 211295 0
vsize: 845244
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 68962 61 0 0 25 0 11 0 477645161 865529856 31306 4294967295 134512640 134569956 3221224416 3221214640 1131422052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31306 13073 16 0 211295 0
vsize: 845244
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 69917 61 0 0 25 0 11 0 477645161 865529856 31492 4294967295 134512640 134569956 3221224416 3221214872 1131298757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31492 13073 16 0 211295 0
vsize: 845244
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 70880 62 0 0 25 0 11 0 477645161 865529856 31580 4294967295 134512640 134569956 3221224416 3221214776 1131240279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31580 13073 16 0 211295 0
vsize: 845244
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 71849 62 0 0 25 0 11 0 477645161 865529856 31689 4294967295 134512640 134569956 3221224416 3221214776 1131239833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31689 13073 16 0 211295 0
vsize: 845244
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 72817 62 0 0 25 0 11 0 477645161 865529856 31795 4294967295 134512640 134569956 3221224416 3221214832 1131145834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31795 13073 16 0 211295 0
vsize: 845244
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 73787 63 0 0 24 0 11 0 477645161 865529856 31921 4294967295 134512640 134569956 3221224416 3221214772 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31921 13073 16 0 211295 0
vsize: 845244
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 74758 63 0 0 25 0 11 0 477645161 865529856 31941 4294967295 134512640 134569956 3221224416 3221214672 1131338674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31941 13073 16 0 211295 0
vsize: 845244
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 75712 63 0 0 25 0 11 0 477645161 865529856 31956 4294967295 134512640 134569956 3221224416 3221214780 1131342792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31956 13073 16 0 211295 0
vsize: 845244
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) S 30173 28546 28545 0 -1 0 18082 3 1 0 76664 63 0 0 25 0 11 0 477645161 865529856 31978 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 31978 13073 16 0 211295 0
vsize: 845244
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 77612 64 0 0 25 0 11 0 477645161 865529856 32113 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 32113 13073 16 0 211295 0
vsize: 845244
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 78556 64 0 0 25 0 11 0 477645161 865529856 32301 4294967295 134512640 134569956 3221224416 3221214640 1131361019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 32301 13073 16 0 211295 0
vsize: 845244
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 79483 64 0 0 25 0 11 0 477645161 865529856 32408 4294967295 134512640 134569956 3221224416 3221214832 1131145809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 32408 13073 16 0 211295 0
vsize: 845244
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 80394 64 0 0 25 0 11 0 477645161 865529856 32681 4294967295 134512640 134569956 3221224416 3221214872 1131550730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 32681 13073 16 0 211295 0
vsize: 845244
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 81317 64 0 0 25 0 11 0 477645161 865529856 32853 4294967295 134512640 134569956 3221224416 3221214776 1131239265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 32853 13073 16 0 211295 0
vsize: 845244
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 82254 65 0 0 25 0 11 0 477645161 865529856 33022 4294967295 134512640 134569956 3221224416 3221214720 1131341359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33022 13073 16 0 211295 0
vsize: 845244
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) S 30173 28546 28545 0 -1 0 18082 3 1 0 83203 65 0 0 25 0 11 0 477645161 865529856 33374 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33374 13073 16 0 211295 0
vsize: 845244
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 84172 65 0 0 25 0 11 0 477645161 865529856 33494 4294967295 134512640 134569956 3221224416 3221214776 1131239873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33494 13073 16 0 211295 0
vsize: 845244
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 85140 66 0 0 25 0 11 0 477645161 865529856 33556 4294967295 134512640 134569956 3221224416 3221214520 1131638978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33556 13073 16 0 211295 0
vsize: 845244
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 86114 66 0 0 25 0 11 0 477645161 865529856 33653 4294967295 134512640 134569956 3221224416 3221214860 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33653 13073 16 0 211295 0
vsize: 845244
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 87089 66 0 0 25 0 11 0 477645161 865529856 33684 4294967295 134512640 134569956 3221224416 3221214776 1131239460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33684 13073 16 0 211295 0
vsize: 845244
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 88064 67 0 0 25 0 11 0 477645161 865529856 33730 4294967295 134512640 134569956 3221224416 3221214772 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33730 13073 16 0 211295 0
vsize: 845244
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 89037 67 0 0 25 0 11 0 477645161 865529856 33770 4294967295 134512640 134569956 3221224416 3221214860 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33770 13073 16 0 211295 0
vsize: 845244
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 90016 68 0 0 25 0 11 0 477645161 865529856 33834 4294967295 134512640 134569956 3221224416 3221214832 1131145899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33834 13073 16 0 211295 0
vsize: 845244
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 90991 68 0 0 24 0 11 0 477645161 865529856 33854 4294967295 134512640 134569956 3221224416 3221214784 1131378354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33854 13073 16 0 211295 0
vsize: 845244
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 91967 68 0 0 25 0 11 0 477645161 865529856 33887 4294967295 134512640 134569956 3221224416 3221214592 1131598115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33887 13073 16 0 211295 0
vsize: 845244
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 92933 69 0 0 24 0 11 0 477645161 865529856 33909 4294967295 134512640 134569956 3221224416 3221214672 1131338567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33909 13073 16 0 211295 0
vsize: 845244
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 93900 69 0 0 24 0 11 0 477645161 865529856 33924 4294967295 134512640 134569956 3221224416 3221214608 1131145816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33924 13073 16 0 211295 0
vsize: 845244
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 94866 69 0 0 25 0 11 0 477645161 865529856 33958 4294967295 134512640 134569956 3221224416 3221214720 1131342740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 33958 13073 16 0 211295 0
vsize: 845244
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 95832 70 0 0 25 0 11 0 477645161 865529856 34102 4294967295 134512640 134569956 3221224416 3221214776 1131239641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34102 13073 16 0 211295 0
vsize: 845244
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 96793 70 0 0 17 0 11 0 477645161 865529856 34147 4294967295 134512640 134569956 3221224416 3221214644 1080203728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34147 13073 16 0 211295 0
vsize: 845244
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 97760 70 0 0 25 0 11 0 477645161 865529856 34202 4294967295 134512640 134569956 3221224416 3221214776 1131239813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34202 13073 16 0 211295 0
vsize: 845244
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 98727 71 0 0 25 0 11 0 477645161 865529856 34253 4294967295 134512640 134569956 3221224416 3221214832 1131145803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34253 13073 16 0 211295 0
vsize: 845244
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 99695 71 0 0 25 0 11 0 477645161 865529856 34361 4294967295 134512640 134569956 3221224416 3221214552 1131608032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34361 13073 16 0 211295 0
vsize: 845244
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 100669 72 0 0 25 0 11 0 477645161 865529856 34434 4294967295 134512640 134569956 3221224416 3221214688 1131420216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34434 13073 16 0 211295 0
vsize: 845244
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 101641 72 0 0 25 0 11 0 477645161 865529856 34452 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34452 13073 16 0 211295 0
vsize: 845244
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 102614 73 0 0 25 0 11 0 477645161 865529856 34510 4294967295 134512640 134569956 3221224416 3221214784 1131378364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34510 13073 16 0 211295 0
vsize: 845244
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 103591 73 0 0 24 0 11 0 477645161 865529856 34569 4294967295 134512640 134569956 3221224416 3221214672 1131338674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34569 13073 16 0 211295 0
vsize: 845244
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 104569 74 0 0 25 0 11 0 477645161 865529856 34602 4294967295 134512640 134569956 3221224416 3221214776 1131239825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34602 13073 16 0 211295 0
vsize: 845244
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 105546 74 0 0 25 0 11 0 477645161 865529856 34639 4294967295 134512640 134569956 3221224416 3221214664 1131350510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34639 13073 16 0 211295 0
vsize: 845244
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 106525 74 0 0 25 0 11 0 477645161 865529856 34657 4294967295 134512640 134569956 3221224416 3221214568 1131244173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34657 13073 16 0 211295 0
vsize: 845244
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 107501 74 0 0 25 0 11 0 477645161 865529856 34707 4294967295 134512640 134569956 3221224416 3221214600 1131469890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34707 13073 16 0 211295 0
vsize: 845244
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 108478 75 0 0 25 0 11 0 477645161 865529856 34730 4294967295 134512640 134569956 3221224416 3221214784 1131373122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34730 13073 16 0 211295 0
vsize: 845244
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 109458 75 0 0 25 0 11 0 477645161 865529856 34756 4294967295 134512640 134569956 3221224416 3221214776 1131239835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34756 13073 16 0 211295 0
vsize: 845244
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 110431 75 0 0 25 0 11 0 477645161 865529856 34808 4294967295 134512640 134569956 3221224416 3221214520 1131633251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34808 13073 16 0 211295 0
vsize: 845244
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 111406 76 0 0 25 0 11 0 477645161 865529856 34831 4294967295 134512640 134569956 3221224416 3221214832 1131145792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34831 13073 16 0 211295 0
vsize: 845244
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 112382 76 0 0 25 0 11 0 477645161 865529856 34858 4294967295 134512640 134569956 3221224416 3221214720 1131336005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34858 13073 16 0 211295 0
vsize: 845244
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 113353 76 0 0 25 0 11 0 477645161 865529856 34905 4294967295 134512640 134569956 3221224416 3221214640 1131423708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34905 13073 16 0 211295 0
vsize: 845244
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 114324 77 0 0 25 0 11 0 477645161 865529856 34930 4294967295 134512640 134569956 3221224416 3221214720 1131341507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34930 13073 16 0 211295 0
vsize: 845244
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 115298 78 0 0 25 0 11 0 477645161 865529856 34993 4294967295 134512640 134569956 3221224416 3221214720 1131342459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 34993 13073 16 0 211295 0
vsize: 845244
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 116272 78 0 0 25 0 11 0 477645161 865529856 35048 4294967295 134512640 134569956 3221224416 3221214716 1131420241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 35048 13073 16 0 211295 0
vsize: 845244
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 117249 78 0 0 25 0 11 0 477645161 865529856 35097 4294967295 134512640 134569956 3221224416 3221214664 1131625633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 35097 13073 16 0 211295 0
vsize: 845244
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 118221 79 0 0 25 0 11 0 477645161 865529856 35137 4294967295 134512640 134569956 3221224416 3221214560 1131587619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 35137 13073 16 0 211295 0
vsize: 845244
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 119192 79 0 0 25 0 11 0 477645161 865529856 35178 4294967295 134512640 134569956 3221224416 3221214568 1131244329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 35178 13073 16 0 211295 0
vsize: 845244
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30186
Raw data (stat): 30174 (java) R 30173 28546 28545 0 -1 0 18082 3 1 0 120164 79 0 0 25 0 11 0 477645161 865529856 35205 4294967295 134512640 134569956 3221224416 3221214872 1131299327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211311 35205 13073 16 0 211295 0
vsize: 845244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30188
Raw data (stat): 30174 (java) Z 30173 28546 28545 0 -1 1036 18082 21092 1 0 120165 86 6843 62 25 0 1 0 477645161 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.14
CPU time (s): 1271.58
CPU user time (s): 1270.09
CPU system time (s): 1.48877
CPU usage (%): 100.908
Max. virtual memory (Kb): 846916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####