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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
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	2
Trace number 4490

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc32 THE 2005-04-13 17:44:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2934 boxname=wulflinc32 idbench=326 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc32/normalized-frb40-19-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc32/normalized-frb40-19-3.opb
IDLAUNCH: 2934
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.085
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.085
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:      1034724 kB
MemFree:        754348 kB
Buffers:         32752 kB
Cached:         135764 kB
SwapCached:       1212 kB
Active:         136280 kB
Inactive:       112600 kB
HighTotal:      131072 kB
HighFree:          256 kB
LowTotal:       903652 kB
LowFree:        754092 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          81768 kB
Slab:            25696 kB
Committed_AS:   174000 kB
PageTables:        432 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:06:04 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2934 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc32/normalized-frb40-19-3.opb
c reading problem 
c [nbvar=760]
c [nbconstr=41095]
c time 7.612
c #vars     760
c #clauses  41095
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=0
c Current CPU time (ms) : 8.013
c starts	: 1
c conflicts	: 0
c decisions	: 760
c propagations	: 760
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1
c Current CPU time (ms) : 8.343
c starts	: 2
c conflicts	: 0
c decisions	: 1519
c propagations	: 1520
c inspects	: 196
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 12.751
c starts	: 3
c conflicts	: 18
c decisions	: 2278
c propagations	: 2469
c inspects	: 2433
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-26
c Current CPU time (ms) : 12.892
c starts	: 4
c conflicts	: 18
c decisions	: 2304
c propagations	: 3229
c inspects	: 5215
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-27
c Current CPU time (ms) : 16.174
c starts	: 5
c conflicts	: 43
c decisions	: 2360
c propagations	: 4192
c inspects	: 13062
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-28
c Current CPU time (ms) : 17.665
c starts	: 6
c conflicts	: 51
c decisions	: 2399
c propagations	: 5013
c inspects	: 20074
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 51
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-29
c Current CPU time (ms) : 40.892
c starts	: 8
c conflicts	: 156
c decisions	: 2575
c propagations	: 7249
c inspects	: 62798
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 156
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-30
c Current CPU time (ms) : 53.207
c starts	: 9
c conflicts	: 218
c decisions	: 2671
c propagations	: 8415
c inspects	: 91745
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 218
c root simplifications	: 9
c 
c CURRENT OPTIMUM=-31
c Current CPU time (ms) : 93.718
c starts	: 11
c conflicts	: 351
c decisions	: 2908
c propagations	: 10816
c inspects	: 166318
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 351
c root simplifications	: 11
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/53 9894
Raw data (stat): 9894 (runsolver) R 9893 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477840876 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 1.17 1.03 1.01 3/63 9906
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18075 3 1 0 729 45 0 0 25 0 11 0 477840876 857812992 22731 4294967295 134512640 134569956 3221224416 3221214784 1130892668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209427 22731 13073 16 0 209411 0
vsize: 837708
[startup+20.0076 s]
Raw data (loadavg): 1.22 1.05 1.02 2/63 9910
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18080 3 1 0 1539 45 0 0 25 0 11 0 477840876 861106176 27326 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27326 13073 16 0 210215 0
vsize: 840924
[startup+30.0093 s]
Raw data (loadavg): 1.18 1.05 1.01 2/63 9910
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18080 3 1 0 2433 45 0 0 25 0 11 0 477840876 861106176 27630 4294967295 134512640 134569956 3221224416 3221214616 1131389923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 27630 13073 16 0 210215 0
vsize: 840924
[startup+40.0126 s]
Raw data (loadavg): 1.16 1.04 1.01 2/63 9910
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 3327 45 0 0 25 0 11 0 477840876 861106176 28034 4294967295 134512640 134569956 3221224416 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 28034 13073 16 0 210215 0
vsize: 840924
[startup+50.0148 s]
Raw data (loadavg): 1.13 1.04 1.01 2/63 9911
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 4195 45 0 0 24 0 11 0 477840876 861106176 28661 4294967295 134512640 134569956 3221224416 3221214616 1131390230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210231 28661 13073 16 0 210215 0
vsize: 840924
[startup+60.0155 s]
Raw data (loadavg): 1.18 1.06 1.02 2/63 9912
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 5062 46 0 0 25 0 11 0 477840876 865300480 30268 4294967295 134512640 134569956 3221224416 3221214712 1131180456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 30268 13073 16 0 211239 0
vsize: 845020
[startup+70.0173 s]
Raw data (loadavg): 1.24 1.07 1.02 2/63 9912
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 5938 46 0 0 24 0 11 0 477840876 865300480 30800 4294967295 134512640 134569956 3221224416 3221214712 1131179764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 30800 13073 16 0 211239 0
vsize: 845020
[startup+80.0188 s]
Raw data (loadavg): 1.20 1.07 1.02 2/63 9912
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 6827 46 0 0 25 0 11 0 477840876 865300480 30990 4294967295 134512640 134569956 3221224416 3221214712 1131179957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 30990 13073 16 0 211239 0
vsize: 845020
[startup+90.0229 s]
Raw data (loadavg): 1.17 1.07 1.02 2/63 9912
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 7711 46 0 0 25 0 11 0 477840876 865300480 31302 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 31302 13073 16 0 211239 0
vsize: 845020
[startup+100.024 s]
Raw data (loadavg): 1.14 1.06 1.02 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 8579 46 0 0 25 0 11 0 477840876 865300480 31603 4294967295 134512640 134569956 3221224416 3221214712 1131422352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 31603 13073 16 0 211239 0
vsize: 845020
[startup+110.028 s]
Raw data (loadavg): 1.12 1.06 1.02 2/63 9913
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 9449 46 0 0 25 0 11 0 477840876 865300480 31950 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 31950 13073 16 0 211239 0
vsize: 845020
[startup+120.03 s]
Raw data (loadavg): 1.10 1.06 1.02 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 10316 46 0 0 25 0 11 0 477840876 865300480 32259 4294967295 134512640 134569956 3221224416 3221214712 1131180602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 32259 13073 16 0 211239 0
vsize: 845020
[startup+130.032 s]
Raw data (loadavg): 1.08 1.06 1.02 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 11197 47 0 0 25 0 11 0 477840876 865300480 32539 4294967295 134512640 134569956 3221224416 3221214712 1131180556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 32539 13073 16 0 211239 0
vsize: 845020
[startup+140.032 s]
Raw data (loadavg): 1.07 1.05 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 12078 47 0 0 25 0 11 0 477840876 865300480 32772 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 32772 13073 16 0 211239 0
vsize: 845020
[startup+150.034 s]
Raw data (loadavg): 1.06 1.05 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 12954 47 0 0 25 0 11 0 477840876 865300480 33085 4294967295 134512640 134569956 3221224416 3221214708 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 33085 13073 16 0 211239 0
vsize: 845020
[startup+160.035 s]
Raw data (loadavg): 1.05 1.05 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 13826 48 0 0 25 0 11 0 477840876 865300480 33390 4294967295 134512640 134569956 3221224416 3221214728 1131179810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 33390 13073 16 0 211239 0
vsize: 845020
[startup+170.037 s]
Raw data (loadavg): 1.04 1.05 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 14715 48 0 0 25 0 11 0 477840876 865300480 33590 4294967295 134512640 134569956 3221224416 3221214600 1131241278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 33590 13073 16 0 211239 0
vsize: 845020
[startup+180.039 s]
Raw data (loadavg): 1.04 1.05 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 15599 49 0 0 25 0 11 0 477840876 865300480 33752 4294967295 134512640 134569956 3221224416 3221214712 1131179624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211255 33752 13073 16 0 211239 0
vsize: 845020
[startup+190.04 s]
Raw data (loadavg): 1.03 1.04 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 16489 49 0 0 25 0 11 0 477840876 865300480 34046 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 34046 13073 16 0 211239 0
vsize: 845020
[startup+200.042 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 17366 50 0 0 25 0 11 0 477840876 862154752 33706 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 33706 13073 16 0 210471 0
vsize: 841948
[startup+210.043 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 18244 50 0 0 25 0 11 0 477840876 862154752 33906 4294967295 134512640 134569956 3221224416 3221214712 1131424041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 33906 13073 16 0 210471 0
vsize: 841948
[startup+220.045 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 19123 50 0 0 25 0 11 0 477840876 862154752 34226 4294967295 134512640 134569956 3221224416 3221214808 1131358356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 34226 13073 16 0 210471 0
vsize: 841948
[startup+230.045 s]
Raw data (loadavg): 1.01 1.04 1.01 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 19985 51 0 0 25 0 11 0 477840876 862154752 34537 4294967295 134512640 134569956 3221224416 3221214712 1131179486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 34537 13073 16 0 210471 0
vsize: 841948
[startup+240.046 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 20872 51 0 0 25 0 11 0 477840876 862154752 34783 4294967295 134512640 134569956 3221224416 3221214808 1131358382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 34783 13073 16 0 210471 0
vsize: 841948
[startup+250.048 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 21753 51 0 0 25 0 11 0 477840876 862154752 35057 4294967295 134512640 134569956 3221224416 3221214704 1131642007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 35057 13073 16 0 210471 0
vsize: 841948
[startup+260.048 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 22633 52 0 0 24 0 11 0 477840876 862154752 35410 4294967295 134512640 134569956 3221224416 3221214652 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 35410 13073 16 0 210471 0
vsize: 841948
[startup+270.05 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 23531 52 0 0 25 0 11 0 477840876 862154752 35624 4294967295 134512640 134569956 3221224416 3221214712 1131180613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 35624 13073 16 0 210471 0
vsize: 841948
[startup+280.051 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 24435 52 0 0 25 0 11 0 477840876 862154752 35892 4294967295 134512640 134569956 3221224416 3221214712 1131179863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 35892 13073 16 0 210471 0
vsize: 841948
[startup+290.088 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 25346 52 0 0 25 0 11 0 477840876 862154752 36106 4294967295 134512640 134569956 3221224416 3221214664 1131550292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 36106 13073 16 0 210471 0
vsize: 841948
[startup+300.088 s]
Raw data (loadavg): 1.00 1.03 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 26253 53 0 0 25 0 11 0 477840876 862154752 36319 4294967295 134512640 134569956 3221224416 3221214808 1131358360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 36319 13073 16 0 210471 0
vsize: 841948
[startup+310.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 27158 53 0 0 25 0 11 0 477840876 862154752 36519 4294967295 134512640 134569956 3221224416 3221214712 1131179220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 36519 13073 16 0 210471 0
vsize: 841948
[startup+320.091 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 28053 53 0 0 25 0 11 0 477840876 862154752 36726 4294967295 134512640 134569956 3221224416 3221214704 1131639879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 36726 13073 16 0 210471 0
vsize: 841948
[startup+330.092 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 28946 54 0 0 25 0 11 0 477840876 862154752 36926 4294967295 134512640 134569956 3221224416 3221214804 1131180659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 36926 13073 16 0 210471 0
vsize: 841948
[startup+340.093 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 29864 54 0 0 25 0 11 0 477840876 862154752 37225 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 37225 13073 16 0 210471 0
vsize: 841948
[startup+350.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 30781 54 0 0 25 0 11 0 477840876 862154752 37300 4294967295 134512640 134569956 3221224416 3221214712 1131423650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 37300 13073 16 0 210471 0
vsize: 841948
[startup+360.095 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 31698 55 0 0 25 0 11 0 477840876 862154752 37508 4294967295 134512640 134569956 3221224416 3221214712 1131180168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 37508 13073 16 0 210471 0
vsize: 841948
[startup+370.097 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 32625 55 0 0 25 0 11 0 477840876 862154752 37664 4294967295 134512640 134569956 3221224416 3221214712 1131179374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 37664 13073 16 0 210471 0
vsize: 841948
[startup+380.098 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 33553 56 0 0 25 0 11 0 477840876 862154752 37826 4294967295 134512640 134569956 3221224416 3221214600 1131537700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 37826 13073 16 0 210471 0
vsize: 841948
[startup+390.098 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 34489 56 0 0 25 0 11 0 477840876 862154752 37976 4294967295 134512640 134569956 3221224416 3221214712 1131179782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 37976 13073 16 0 210471 0
vsize: 841948
[startup+400.099 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 35415 56 0 0 25 0 11 0 477840876 862154752 38150 4294967295 134512640 134569956 3221224416 3221214600 1131537588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 38150 13073 16 0 210471 0
vsize: 841948
[startup+410.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 36327 57 0 0 25 0 11 0 477840876 862154752 38284 4294967295 134512640 134569956 3221224416 3221214712 1131179961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 38284 13073 16 0 210471 0
vsize: 841948
[startup+420.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 37244 57 0 0 25 0 11 0 477840876 862154752 38509 4294967295 134512640 134569956 3221224416 3221214712 1131179688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 38509 13073 16 0 210471 0
vsize: 841948
[startup+430.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 38161 58 0 0 25 0 11 0 477840876 862154752 38653 4294967295 134512640 134569956 3221224416 3221214648 1131507878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 38653 13073 16 0 210471 0
vsize: 841948
[startup+440.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 39078 58 0 0 25 0 11 0 477840876 862154752 38845 4294967295 134512640 134569956 3221224416 3221214080 1131617069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 38845 13073 16 0 210471 0
vsize: 841948
[startup+450.105 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 39994 59 0 0 25 0 11 0 477840876 862154752 39055 4294967295 134512640 134569956 3221224416 3221214560 1131410532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39055 13073 16 0 210471 0
vsize: 841948
[startup+460.106 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 40924 59 0 0 25 0 11 0 477840876 862154752 39270 4294967295 134512640 134569956 3221224416 3221214808 1131358433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39270 13073 16 0 210471 0
vsize: 841948
[startup+470.107 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 41863 60 0 0 25 0 11 0 477840876 862154752 39425 4294967295 134512640 134569956 3221224416 3221214808 1131358217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39425 13073 16 0 210471 0
vsize: 841948
[startup+480.108 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 42802 60 0 0 25 0 11 0 477840876 862154752 39554 4294967295 134512640 134569956 3221224416 3221214384 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39554 13073 16 0 210471 0
vsize: 841948
[startup+490.109 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 43742 60 0 0 25 0 11 0 477840876 862154752 39681 4294967295 134512640 134569956 3221224416 3221214536 1131492544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39681 13073 16 0 210471 0
vsize: 841948
[startup+500.111 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 44675 60 0 0 25 0 11 0 477840876 862154752 39843 4294967295 134512640 134569956 3221224416 3221214712 1131179749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39843 13073 16 0 210471 0
vsize: 841948
[startup+510.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 45608 61 0 0 25 0 11 0 477840876 862154752 39986 4294967295 134512640 134569956 3221224416 3221214712 1131179670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 39986 13073 16 0 210471 0
vsize: 841948
[startup+520.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 46536 62 0 0 25 0 11 0 477840876 862154752 40205 4294967295 134512640 134569956 3221224416 3221214808 1131358400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 40205 13073 16 0 210471 0
vsize: 841948
[startup+530.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 47463 62 0 0 25 0 11 0 477840876 862154752 40321 4294967295 134512640 134569956 3221224416 3221214712 1131179846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 40321 13073 16 0 210471 0
vsize: 841948
[startup+540.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 48393 63 0 0 25 0 11 0 477840876 862154752 40430 4294967295 134512640 134569956 3221224416 3221214328 1080217212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 40430 13073 16 0 210471 0
vsize: 841948
[startup+550.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 49320 64 0 0 25 0 11 0 477840876 862154752 40636 4294967295 134512640 134569956 3221224416 3221214704 1131639856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 40636 13073 16 0 210471 0
vsize: 841948
[startup+560.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 50250 64 0 0 25 0 11 0 477840876 862154752 40761 4294967295 134512640 134569956 3221224416 3221214416 1131701178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 40761 13073 16 0 210471 0
vsize: 841948
[startup+570.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 51179 64 0 0 25 0 11 0 477840876 862154752 40942 4294967295 134512640 134569956 3221224416 3221214640 1131241719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 40942 13073 16 0 210471 0
vsize: 841948
[startup+580.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 52113 65 0 0 25 0 11 0 477840876 862154752 41153 4294967295 134512640 134569956 3221224416 3221214712 1131179209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 41153 13073 16 0 210471 0
vsize: 841948
[startup+590.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 53060 66 0 0 25 0 11 0 477840876 862154752 41271 4294967295 134512640 134569956 3221224416 3221214712 1131179905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 41271 13073 16 0 210471 0
vsize: 841948
[startup+600.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 53970 66 0 0 25 0 11 0 477840876 862154752 41490 4294967295 134512640 134569956 3221224416 3221214804 1131179180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 41490 13073 16 0 210471 0
vsize: 841948
[startup+610.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 54887 66 0 0 25 0 11 0 477840876 862154752 41677 4294967295 134512640 134569956 3221224416 3221214712 1131422875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 41677 13073 16 0 210471 0
vsize: 841948
[startup+620.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 55800 66 0 0 24 0 11 0 477840876 862154752 41892 4294967295 134512640 134569956 3221224416 3221214712 1131179367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 41892 13073 16 0 210471 0
vsize: 841948
[startup+630.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 56720 67 0 0 25 0 11 0 477840876 862154752 41939 4294967295 134512640 134569956 3221224416 3221214712 1131179609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 41939 13073 16 0 210471 0
vsize: 841948
[startup+640.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 57629 67 0 0 25 0 11 0 477840876 862154752 42149 4294967295 134512640 134569956 3221224416 3221214712 1131179234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 42149 13073 16 0 210471 0
vsize: 841948
[startup+650.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 58542 67 0 0 25 0 11 0 477840876 862154752 42321 4294967295 134512640 134569956 3221224416 3221214808 1131358593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 42321 13073 16 0 210471 0
vsize: 841948
[startup+660.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 59463 68 0 0 25 0 11 0 477840876 862154752 42547 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 42547 13073 16 0 210471 0
vsize: 841948
[startup+670.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 60390 68 0 0 25 0 11 0 477840876 862154752 42694 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 42694 13073 16 0 210471 0
vsize: 841948
[startup+680.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 61314 69 0 0 25 0 11 0 477840876 862154752 42830 4294967295 134512640 134569956 3221224416 3221214760 1131144640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 42830 13073 16 0 210471 0
vsize: 841948
[startup+690.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 62241 69 0 0 24 0 11 0 477840876 862154752 43009 4294967295 134512640 134569956 3221224416 3221214808 1131359299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43009 13073 16 0 210471 0
vsize: 841948
[startup+700.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 63173 70 0 0 25 0 11 0 477840876 862154752 43178 4294967295 134512640 134569956 3221224416 3221214704 1080203665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43178 13073 16 0 210471 0
vsize: 841948
[startup+710.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 64107 70 0 0 25 0 11 0 477840876 862154752 43287 4294967295 134512640 134569956 3221224416 3221214712 1131179389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43287 13073 16 0 210471 0
vsize: 841948
[startup+720.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 65037 71 0 0 24 0 11 0 477840876 862154752 43442 4294967295 134512640 134569956 3221224416 3221214712 1131179193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43442 13073 16 0 210471 0
vsize: 841948
[startup+730.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 65971 72 0 0 25 0 11 0 477840876 862154752 43584 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43584 13073 16 0 210471 0
vsize: 841948
[startup+740.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 66911 72 0 0 25 0 11 0 477840876 862154752 43712 4294967295 134512640 134569956 3221224416 3221214712 1131179921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43712 13073 16 0 210471 0
vsize: 841948
[startup+750.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 67854 73 0 0 25 0 11 0 477840876 862154752 43848 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43848 13073 16 0 210471 0
vsize: 841948
[startup+760.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 68786 73 0 0 25 0 11 0 477840876 862154752 43950 4294967295 134512640 134569956 3221224416 3221214712 1131179234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 43950 13073 16 0 210471 0
vsize: 841948
[startup+770.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 69700 73 0 0 25 0 11 0 477840876 862154752 44060 4294967295 134512640 134569956 3221224416 3221214712 1131179205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 44060 13073 16 0 210471 0
vsize: 841948
[startup+780.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 70600 73 0 0 24 0 11 0 477840876 862154752 44172 4294967295 134512640 134569956 3221224416 3221214712 1131179234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 44172 13073 16 0 210471 0
vsize: 841948
[startup+790.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 71506 74 0 0 25 0 11 0 477840876 862154752 44355 4294967295 134512640 134569956 3221224416 3221214712 1131179688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 44355 13073 16 0 210471 0
vsize: 841948
[startup+800.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 72412 74 0 0 25 0 11 0 477840876 862154752 44641 4294967295 134512640 134569956 3221224416 3221214712 1131179626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 44641 13073 16 0 210471 0
vsize: 841948
[startup+810.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 73330 74 0 0 25 0 11 0 477840876 862154752 44874 4294967295 134512640 134569956 3221224416 3221214760 1131144657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 44874 13073 16 0 210471 0
vsize: 841948
[startup+820.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 74252 75 0 0 25 0 11 0 477840876 862154752 45051 4294967295 134512640 134569956 3221224416 3221214808 1131358416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 45051 13073 16 0 210471 0
vsize: 841948
[startup+830.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 75171 75 0 0 24 0 11 0 477840876 862154752 45169 4294967295 134512640 134569956 3221224416 3221214712 1131179921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 45169 13073 16 0 210471 0
vsize: 841948
[startup+840.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 76090 75 0 0 25 0 11 0 477840876 862154752 45345 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 45345 13073 16 0 210471 0
vsize: 841948
[startup+850.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 77007 76 0 0 25 0 11 0 477840876 862154752 45514 4294967295 134512640 134569956 3221224416 3221214808 1131358544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 45514 13073 16 0 210471 0
vsize: 841948
[startup+860.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 77925 76 0 0 25 0 11 0 477840876 862154752 45701 4294967295 134512640 134569956 3221224416 3221214712 1131179437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 45701 13073 16 0 210471 0
vsize: 841948
[startup+870.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 78847 76 0 0 25 0 11 0 477840876 862154752 45877 4294967295 134512640 134569956 3221224416 3221214712 1131179637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 45877 13073 16 0 210471 0
vsize: 841948
[startup+880.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 79768 77 0 0 25 0 11 0 477840876 862154752 46032 4294967295 134512640 134569956 3221224416 3221214712 1131179714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46032 13073 16 0 210471 0
vsize: 841948
[startup+890.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 80687 77 0 0 25 0 11 0 477840876 862154752 46213 4294967295 134512640 134569956 3221224416 3221214712 1131179869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46213 13073 16 0 210471 0
vsize: 841948
[startup+900.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 81604 77 0 0 25 0 11 0 477840876 862154752 46360 4294967295 134512640 134569956 3221224416 3221214712 1131179945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46360 13073 16 0 210471 0
vsize: 841948
[startup+910.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 82524 78 0 0 25 0 11 0 477840876 862154752 46516 4294967295 134512640 134569956 3221224416 3221214712 1131179205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46516 13073 16 0 210471 0
vsize: 841948
[startup+920.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 83449 78 0 0 25 0 11 0 477840876 862154752 46709 4294967295 134512640 134569956 3221224416 3221214808 1131359315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46709 13073 16 0 210471 0
vsize: 841948
[startup+930.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 84378 79 0 0 25 0 11 0 477840876 862154752 46880 4294967295 134512640 134569956 3221224416 3221214808 1131359222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46880 13073 16 0 210471 0
vsize: 841948
[startup+940.184 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 85304 79 0 0 25 0 11 0 477840876 862154752 46995 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 46995 13073 16 0 210471 0
vsize: 841948
[startup+950.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 86226 80 0 0 25 0 11 0 477840876 862154752 47161 4294967295 134512640 134569956 3221224416 3221214808 1131359189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 47161 13073 16 0 210471 0
vsize: 841948
[startup+960.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9913
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 87143 80 0 0 24 0 11 0 477840876 862154752 47310 4294967295 134512640 134569956 3221224416 3221214712 1131179563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 47310 13073 16 0 210471 0
vsize: 841948
[startup+970.188 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 88053 81 0 0 24 0 11 0 477840876 862154752 47415 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 47415 13073 16 0 210471 0
vsize: 841948
[startup+980.189 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 88967 82 0 0 25 0 11 0 477840876 862154752 47565 4294967295 134512640 134569956 3221224416 3221214712 1131179688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 47565 13073 16 0 210471 0
vsize: 841948
[startup+990.19 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 89875 82 0 0 25 0 11 0 477840876 862154752 47719 4294967295 134512640 134569956 3221224416 3221214712 1131179205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 47719 13073 16 0 210471 0
vsize: 841948
[startup+1000.19 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 90797 82 0 0 25 0 11 0 477840876 862154752 47897 4294967295 134512640 134569956 3221224416 3221214808 1131358211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 47897 13073 16 0 210471 0
vsize: 841948
[startup+1010.19 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 91724 82 0 0 25 0 11 0 477840876 862154752 48049 4294967295 134512640 134569956 3221224416 3221214712 1131179212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48049 13073 16 0 210471 0
vsize: 841948
[startup+1020.19 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 92658 83 0 0 25 0 11 0 477840876 862154752 48165 4294967295 134512640 134569956 3221224416 3221214600 1131537795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48165 13073 16 0 210471 0
vsize: 841948
[startup+1030.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 9966
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 93585 83 0 0 25 0 11 0 477840876 862154752 48311 4294967295 134512640 134569956 3221224416 3221214712 1131180509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48311 13073 16 0 210471 0
vsize: 841948
[startup+1040.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 94517 84 0 0 25 0 11 0 477840876 862154752 48433 4294967295 134512640 134569956 3221224416 3221214704 1131642007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210487 48433 13073 16 0 210471 0
vsize: 841948
[startup+1050.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 95449 85 0 0 25 0 11 0 477840876 862154752 48595 4294967295 134512640 134569956 3221224416 3221214712 1131424886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48595 13073 16 0 210471 0
vsize: 841948
[startup+1060.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 96388 85 0 0 25 0 11 0 477840876 862154752 48685 4294967295 134512640 134569956 3221224416 3221214712 1131179563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48685 13073 16 0 210471 0
vsize: 841948
[startup+1070.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 9968
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 97324 86 0 0 25 0 11 0 477840876 862154752 48781 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48781 13073 16 0 210471 0
vsize: 841948
[startup+1080.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 98261 86 0 0 25 0 11 0 477840876 862154752 48890 4294967295 134512640 134569956 3221224416 3221214648 1131507208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 48890 13073 16 0 210471 0
vsize: 841948
[startup+1090.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 99203 87 0 0 25 0 11 0 477840876 862154752 49008 4294967295 134512640 134569956 3221224416 3221214808 1131359175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49008 13073 16 0 210471 0
vsize: 841948
[startup+1100.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 100147 88 0 0 25 0 11 0 477840876 862154752 49133 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49133 13073 16 0 210471 0
vsize: 841948
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 101097 88 0 0 25 0 11 0 477840876 862154752 49201 4294967295 134512640 134569956 3221224416 3221214808 1131359199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49201 13073 16 0 210471 0
vsize: 841948
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 102038 88 0 0 25 0 11 0 477840876 862154752 49295 4294967295 134512640 134569956 3221224416 3221214712 1131179921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49295 13073 16 0 210471 0
vsize: 841948
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 102977 88 0 0 25 0 11 0 477840876 862154752 49393 4294967295 134512640 134569956 3221224416 3221214808 1131358400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49393 13073 16 0 210471 0
vsize: 841948
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 103914 88 0 0 25 0 11 0 477840876 862154752 49462 4294967295 134512640 134569956 3221224416 3221214712 1131179445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49462 13073 16 0 210471 0
vsize: 841948
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 104853 88 0 0 25 0 11 0 477840876 862154752 49590 4294967295 134512640 134569956 3221224416 3221214808 1131358298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49590 13073 16 0 210471 0
vsize: 841948
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 105793 89 0 0 25 0 11 0 477840876 862154752 49720 4294967295 134512640 134569956 3221224416 3221214808 1131359222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49720 13073 16 0 210471 0
vsize: 841948
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 106721 89 0 0 24 0 11 0 477840876 862154752 49810 4294967295 134512640 134569956 3221224416 3221214712 1131180529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49810 13073 16 0 210471 0
vsize: 841948
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 107651 89 0 0 25 0 11 0 477840876 862154752 49924 4294967295 134512640 134569956 3221224416 3221214712 1131179737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 49924 13073 16 0 210471 0
vsize: 841948
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 108582 90 0 0 25 0 11 0 477840876 862154752 50052 4294967295 134512640 134569956 3221224416 3221214712 1131180608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50052 13073 16 0 210471 0
vsize: 841948
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 109509 90 0 0 25 0 11 0 477840876 862154752 50199 4294967295 134512640 134569956 3221224416 3221214712 1131180471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50199 13073 16 0 210471 0
vsize: 841948
[startup+1210.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 110433 90 0 0 25 0 11 0 477840876 862154752 50304 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50304 13073 16 0 210471 0
vsize: 841948
[startup+1220.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 111360 91 0 0 25 0 11 0 477840876 862154752 50472 4294967295 134512640 134569956 3221224416 3221214712 1131179385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50472 13073 16 0 210471 0
vsize: 841948
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 112298 91 0 0 25 0 11 0 477840876 862154752 50686 4294967295 134512640 134569956 3221224416 3221214712 1131179756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50686 13073 16 0 210471 0
vsize: 841948
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 113224 92 0 0 25 0 11 0 477840876 862154752 50783 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50783 13073 16 0 210471 0
vsize: 841948
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 114145 92 0 0 25 0 11 0 477840876 862154752 50871 4294967295 134512640 134569956 3221224416 3221214808 1131358316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50871 13073 16 0 210471 0
vsize: 841948
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 115053 93 0 0 25 0 11 0 477840876 862154752 50995 4294967295 134512640 134569956 3221224416 3221214808 1131359222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 50995 13073 16 0 210471 0
vsize: 841948
[startup+1270.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) S 9893 7987 7986 0 -1 0 18081 3 1 0 115970 93 0 0 25 0 11 0 477840876 862154752 51188 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 51188 13073 16 0 210471 0
vsize: 841948
[startup+1280.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 116884 93 0 0 24 0 11 0 477840876 862154752 51398 4294967295 134512640 134569956 3221224416 3221214712 1131179733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 51398 13073 16 0 210471 0
vsize: 841948
[startup+1290.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 117803 94 0 0 25 0 11 0 477840876 862154752 51599 4294967295 134512640 134569956 3221224416 3221214712 1131423355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 51599 13073 16 0 210471 0
vsize: 841948
[startup+1300.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 118723 94 0 0 25 0 11 0 477840876 862154752 51720 4294967295 134512640 134569956 3221224416 3221214808 1131359153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 51720 13073 16 0 210471 0
vsize: 841948
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 119637 95 0 0 24 0 11 0 477840876 862154752 51874 4294967295 134512640 134569956 3221224416 3221214892 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 51874 13073 16 0 210471 0
vsize: 841948
[startup+1320.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9968
Raw data (stat): 9894 (java) R 9893 7987 7986 0 -1 0 18081 3 1 0 120558 95 0 0 24 0 11 0 477840876 862154752 52052 4294967295 134512640 134569956 3221224416 3221214752 1131239436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210487 52052 13073 16 0 210471 0
vsize: 841948
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.44 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 9970
Raw data (stat): 9894 (java) Z 9893 7987 7986 0 -1 1036 18081 39648 1 0 120560 105 12411 99 18 0 1 0 477840876 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): 1320.44
CPU time (s): 1331.76
CPU user time (s): 1329.71
CPU system time (s): 2.04969
CPU usage (%): 100.858
Max. virtual memory (Kb): 845020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####