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/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
MD5SUM	a592293d47471ef0e8a1691df160b1e8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13241344
Optimality of the best value was proved	NO
Number of terms in the objective function	7998
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1568780661323
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1568780661323
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1233.27
Number of variables	7998
Total number of constraints	307
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	307
Minimum length of a constraint	31
Maximum length of a constraint	1290
Trace number 20929

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        577384 kB
Buffers:         27776 kB
Cached:         407864 kB
SwapCached:        444 kB
Active:          78200 kB
Inactive:       359504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        577132 kB
SwapTotal:     2097136 kB
SwapFree:      2095948 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            13900 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:32:40 (client local time) WITH STATUS 143 IN 1244.4 SECONDS
stats: 14361 7 1244.4 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran6x43.opb
c reading problem 
c [nbvar=7998]
c [nbconstr=307]
c time 23.577
c #vars     7998
c #clauses  357
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=12778666
c Current CPU time (ms) : 142.618
c starts	: 1
c conflicts	: 10
c decisions	: 2938
c propagations	: 21947
c inspects	: 31217
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10
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.65 0.88 0.95 2/54 2679
Raw data (stat): 2679 (runsolver) R 2678 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490363550 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.0012 s]
Raw data (loadavg): 0.70 0.89 0.95 2/63 2688
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 17979 0 1 0 891 39 0 0 25 0 10 0 490363550 853663744 19165 4294967295 134512640 134569956 3221224400 3221214540 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208414 19165 13073 16 0 208398 0
vsize: 833656
[startup+20.0153 s]
Raw data (loadavg): 0.82 0.91 0.96 3/63 2688
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 17982 0 1 0 1784 39 0 0 25 0 10 0 490363550 853630976 19652 4294967295 134512640 134569956 3221224400 3221214428 1130904538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 19652 13073 16 0 208390 0
vsize: 833624
[startup+30.0251 s]
Raw data (loadavg): 1.08 0.96 0.97 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18083 0 1 0 2473 41 0 0 25 0 11 0 490363550 875966464 25906 4294967295 134512640 134569956 3221224400 3221214680 1131297761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213859 25906 13073 16 0 213843 0
vsize: 855436
[startup+40.0266 s]
Raw data (loadavg): 1.14 0.97 0.98 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 3360 41 0 0 25 0 11 0 490363550 864886784 23473 4294967295 134512640 134569956 3221224400 3221214680 1131298311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 23473 13073 16 0 211138 0
vsize: 844616
[startup+50.0267 s]
Raw data (loadavg): 1.19 0.99 0.98 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 4250 41 0 0 25 0 11 0 490363550 864886784 23601 4294967295 134512640 134569956 3221224400 3221214680 1131298116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 23601 13073 16 0 211138 0
vsize: 844616
[startup+60.0274 s]
Raw data (loadavg): 1.16 0.99 0.98 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 5163 41 0 0 24 0 11 0 490363550 864886784 24378 4294967295 134512640 134569956 3221224400 3221214776 1131357680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24378 13073 16 0 211138 0
vsize: 844616
[startup+70.0285 s]
Raw data (loadavg): 1.22 1.01 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 6142 42 0 0 25 0 11 0 490363550 873275392 26407 4294967295 134512640 134569956 3221224400 3221214776 1131357680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213202 26407 13073 16 0 213186 0
vsize: 852808
[startup+80.0289 s]
Raw data (loadavg): 1.18 1.01 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 7129 42 0 0 25 0 11 0 490363550 864886784 24466 4294967295 134512640 134569956 3221224400 3221214728 1131247616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24466 13073 16 0 211138 0
vsize: 844616
[startup+90.0297 s]
Raw data (loadavg): 1.15 1.01 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 8117 43 0 0 25 0 11 0 490363550 864886784 24492 4294967295 134512640 134569956 3221224400 3221214680 1131297765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24492 13073 16 0 211138 0
vsize: 844616
[startup+100.03 s]
Raw data (loadavg): 1.13 1.00 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 9105 43 0 0 25 0 11 0 490363550 864886784 24516 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24516 13073 16 0 211138 0
vsize: 844616
[startup+110.031 s]
Raw data (loadavg): 1.11 1.00 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 10094 43 0 0 25 0 11 0 490363550 864886784 24546 4294967295 134512640 134569956 3221224400 3221214680 1131298685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24546 13073 16 0 211138 0
vsize: 844616
[startup+120.032 s]
Raw data (loadavg): 1.09 1.00 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 11084 44 0 0 25 0 11 0 490363550 864886784 24579 4294967295 134512640 134569956 3221224400 3221214776 1131357752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24579 13073 16 0 211138 0
vsize: 844616
[startup+130.035 s]
Raw data (loadavg): 1.08 1.00 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 12074 44 0 0 25 0 11 0 490363550 864886784 24587 4294967295 134512640 134569956 3221224400 3221214680 1131298350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24587 13073 16 0 211138 0
vsize: 844616
[startup+140.035 s]
Raw data (loadavg): 1.06 1.00 0.99 2/64 2689
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18084 0 1 0 13066 45 0 0 25 0 11 0 490363550 864886784 24615 4294967295 134512640 134569956 3221224400 3221214772 1131297747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24615 13073 16 0 211138 0
vsize: 844616
[startup+150.036 s]
Raw data (loadavg): 1.05 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 14034 45 0 0 25 0 11 0 490363550 864886784 24625 4294967295 134512640 134569956 3221224400 3221214776 1131358822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24625 13073 16 0 211138 0
vsize: 844616
[startup+160.038 s]
Raw data (loadavg): 1.05 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) S 2678 24215 24214 0 -1 0 18085 4 1 0 15002 45 0 0 25 0 11 0 490363550 864886784 24636 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24636 13073 16 0 211138 0
vsize: 844616
[startup+170.038 s]
Raw data (loadavg): 1.04 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 15969 46 0 0 25 0 11 0 490363550 864886784 24640 4294967295 134512640 134569956 3221224400 3221214680 1131298021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24640 13073 16 0 211138 0
vsize: 844616
[startup+180.037 s]
Raw data (loadavg): 1.03 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 16956 46 0 0 25 0 11 0 490363550 864886784 24854 4294967295 134512640 134569956 3221224400 3221214744 1131303106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24854 13073 16 0 211138 0
vsize: 844616
[startup+190.039 s]
Raw data (loadavg): 1.10 1.02 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 17941 46 0 0 25 0 11 0 490363550 864886784 24856 4294967295 134512640 134569956 3221224400 3221214712 1131378047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24856 13073 16 0 211138 0
vsize: 844616
[startup+200.039 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 18919 46 0 0 25 0 11 0 490363550 864886784 24864 4294967295 134512640 134569956 3221224400 3221214680 1131299035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24864 13073 16 0 211138 0
vsize: 844616
[startup+210.04 s]
Raw data (loadavg): 1.07 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 19887 47 0 0 25 0 11 0 490363550 864886784 24867 4294967295 134512640 134569956 3221224400 3221214776 1131358758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24867 13073 16 0 211138 0
vsize: 844616
[startup+220.041 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 20858 47 0 0 25 0 11 0 490363550 864886784 24983 4294967295 134512640 134569956 3221224400 3221214680 1131298627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 24983 13073 16 0 211138 0
vsize: 844616
[startup+230.041 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 21845 48 0 0 25 0 11 0 490363550 864886784 25044 4294967295 134512640 134569956 3221224400 3221214680 1131299107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25044 13073 16 0 211138 0
vsize: 844616
[startup+240.042 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 22838 48 0 0 25 0 11 0 490363550 864886784 25059 4294967295 134512640 134569956 3221224400 3221214680 1131297793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25059 13073 16 0 211138 0
vsize: 844616
[startup+250.043 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 23831 49 0 0 25 0 11 0 490363550 864886784 25074 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25074 13073 16 0 211138 0
vsize: 844616
[startup+260.043 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 24825 49 0 0 25 0 11 0 490363550 864886784 25076 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25076 13073 16 0 211138 0
vsize: 844616
[startup+270.043 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 25817 49 0 0 25 0 11 0 490363550 864886784 25077 4294967295 134512640 134569956 3221224400 3221214680 1131298234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25077 13073 16 0 211138 0
vsize: 844616
[startup+280.045 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 26814 50 0 0 25 0 11 0 490363550 864886784 25089 4294967295 134512640 134569956 3221224400 3221214680 1131298068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25089 13073 16 0 211138 0
vsize: 844616
[startup+290.045 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 27809 50 0 0 25 0 11 0 490363550 864886784 25104 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25104 13073 16 0 211138 0
vsize: 844616
[startup+300.044 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 28803 51 0 0 25 0 11 0 490363550 864886784 25107 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25107 13073 16 0 211138 0
vsize: 844616
[startup+310.046 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 29798 51 0 0 25 0 11 0 490363550 864886784 25120 4294967295 134512640 134569956 3221224400 3221214680 1131298135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25120 13073 16 0 211138 0
vsize: 844616
[startup+320.046 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 30794 52 0 0 25 0 11 0 490363550 864886784 25136 4294967295 134512640 134569956 3221224400 3221214776 1131357687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25136 13073 16 0 211138 0
vsize: 844616
[startup+330.046 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 31791 52 0 0 25 0 11 0 490363550 864886784 25139 4294967295 134512640 134569956 3221224400 3221214680 1131297862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25139 13073 16 0 211138 0
vsize: 844616
[startup+340.047 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 32787 52 0 0 25 0 11 0 490363550 864886784 25142 4294967295 134512640 134569956 3221224400 3221214680 1131298178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25142 13073 16 0 211138 0
vsize: 844616
[startup+350.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 33783 52 0 0 25 0 11 0 490363550 864886784 25159 4294967295 134512640 134569956 3221224400 3221214776 1131357687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25159 13073 16 0 211138 0
vsize: 844616
[startup+360.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 34780 53 0 0 25 0 11 0 490363550 864886784 25161 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25161 13073 16 0 211138 0
vsize: 844616
[startup+370.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 35776 53 0 0 25 0 11 0 490363550 864886784 25165 4294967295 134512640 134569956 3221224400 3221214776 1131358778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25165 13073 16 0 211138 0
vsize: 844616
[startup+380.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 36773 54 0 0 25 0 11 0 490363550 864886784 25165 4294967295 134512640 134569956 3221224400 3221214680 1131299305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25165 13073 16 0 211138 0
vsize: 844616
[startup+390.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 37769 55 0 0 25 0 11 0 490363550 864886784 25178 4294967295 134512640 134569956 3221224400 3221214776 1131357752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25178 13073 16 0 211138 0
vsize: 844616
[startup+400.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 38765 55 0 0 25 0 11 0 490363550 864886784 25180 4294967295 134512640 134569956 3221224400 3221214680 1131297817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25180 13073 16 0 211138 0
vsize: 844616
[startup+410.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 39761 56 0 0 25 0 11 0 490363550 864886784 25184 4294967295 134512640 134569956 3221224400 3221214728 1131247785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25184 13073 16 0 211138 0
vsize: 844616
[startup+420.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 40758 56 0 0 25 0 11 0 490363550 864886784 25195 4294967295 134512640 134569956 3221224400 3221214680 1131298522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25195 13073 16 0 211138 0
vsize: 844616
[startup+430.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 41755 57 0 0 25 0 11 0 490363550 864886784 25201 4294967295 134512640 134569956 3221224400 3221214956 1131234022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25201 13073 16 0 211138 0
vsize: 844616
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 42751 58 0 0 25 0 11 0 490363550 864886784 25208 4294967295 134512640 134569956 3221224400 3221214680 1131298374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25208 13073 16 0 211138 0
vsize: 844616
[startup+450.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 43747 58 0 0 25 0 11 0 490363550 864886784 25208 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25208 13073 16 0 211138 0
vsize: 844616
[startup+460.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 44744 58 0 0 25 0 11 0 490363550 864886784 25211 4294967295 134512640 134569956 3221224400 3221214680 1131297854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25211 13073 16 0 211138 0
vsize: 844616
[startup+470.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 45741 59 0 0 25 0 11 0 490363550 864886784 25216 4294967295 134512640 134569956 3221224400 3221214776 1131359507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25216 13073 16 0 211138 0
vsize: 844616
[startup+480.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 46738 59 0 0 25 0 11 0 490363550 864886784 25218 4294967295 134512640 134569956 3221224400 3221214680 1131298354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25218 13073 16 0 211138 0
vsize: 844616
[startup+490.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 47734 60 0 0 25 0 11 0 490363550 864886784 25237 4294967295 134512640 134569956 3221224400 3221214904 1131523595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25237 13073 16 0 211138 0
vsize: 844616
[startup+500.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 48730 60 0 0 25 0 11 0 490363550 864886784 25238 4294967295 134512640 134569956 3221224400 3221214680 1131298354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25238 13073 16 0 211138 0
vsize: 844616
[startup+510.063 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 49726 61 0 0 25 0 11 0 490363550 864886784 25238 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25238 13073 16 0 211138 0
vsize: 844616
[startup+520.065 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 50722 61 0 0 25 0 11 0 490363550 864886784 25244 4294967295 134512640 134569956 3221224400 3221214680 1131299100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25244 13073 16 0 211138 0
vsize: 844616
[startup+530.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 51719 61 0 0 25 0 11 0 490363550 864886784 25257 4294967295 134512640 134569956 3221224400 3221214680 1131299126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25257 13073 16 0 211138 0
vsize: 844616
[startup+540.065 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 52717 61 0 0 25 0 11 0 490363550 864886784 25258 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25258 13073 16 0 211138 0
vsize: 844616
[startup+550.068 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 53713 62 0 0 25 0 11 0 490363550 864886784 25259 4294967295 134512640 134569956 3221224400 3221214680 1131298989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25259 13073 16 0 211138 0
vsize: 844616
[startup+560.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 54708 63 0 0 25 0 11 0 490363550 864886784 25265 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25265 13073 16 0 211138 0
vsize: 844616
[startup+570.068 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 55703 63 0 0 25 0 11 0 490363550 864886784 25274 4294967295 134512640 134569956 3221224400 3221214776 1131358890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25274 13073 16 0 211138 0
vsize: 844616
[startup+580.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 56701 63 0 0 25 0 11 0 490363550 864886784 25292 4294967295 134512640 134569956 3221224400 3221214776 1131357687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25292 13073 16 0 211138 0
vsize: 844616
[startup+590.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 57697 64 0 0 25 0 11 0 490363550 864886784 25293 4294967295 134512640 134569956 3221224400 3221214680 1131298319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25293 13073 16 0 211138 0
vsize: 844616
[startup+600.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 58693 65 0 0 25 0 11 0 490363550 864886784 25293 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25293 13073 16 0 211138 0
vsize: 844616
[startup+610.095 s]
Raw data (loadavg): 1.00 1.00 0.99 3/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18085 4 1 0 59677 65 0 0 25 0 11 0 490363550 864886784 25312 4294967295 134512640 134569956 3221224400 3221214480 1131303185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211154 25312 13073 16 0 211138 0
vsize: 844616
[startup+620.102 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 60663 65 0 0 25 0 11 0 490363550 864886784 25314 4294967295 134512640 134569956 3221224400 3221214576 1131627974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25314 13073 16 0 211138 0
vsize: 844616
[startup+630.101 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 61648 66 0 0 25 0 11 0 490363550 864886784 25318 4294967295 134512640 134569956 3221224400 3221214488 1131302796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25318 13073 16 0 211138 0
vsize: 844616
[startup+640.102 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 62626 66 0 0 25 0 11 0 490363550 864886784 25318 4294967295 134512640 134569956 3221224400 3221214680 1131298137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25318 13073 16 0 211138 0
vsize: 844616
[startup+650.103 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 63598 67 0 0 25 0 11 0 490363550 864886784 25318 4294967295 134512640 134569956 3221224400 3221214776 1131358772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25318 13073 16 0 211138 0
vsize: 844616
[startup+660.104 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 64570 67 0 0 25 0 11 0 490363550 864886784 25434 4294967295 134512640 134569956 3221224400 3221214680 1131299020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25434 13073 16 0 211138 0
vsize: 844616
[startup+670.104 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 65562 68 0 0 25 0 11 0 490363550 864886784 25487 4294967295 134512640 134569956 3221224400 3221214680 1131299040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25487 13073 16 0 211138 0
vsize: 844616
[startup+680.104 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 66555 68 0 0 25 0 11 0 490363550 864886784 25488 4294967295 134512640 134569956 3221224400 3221214680 1131297959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25488 13073 16 0 211138 0
vsize: 844616
[startup+690.105 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 67549 69 0 0 25 0 11 0 490363550 864886784 25499 4294967295 134512640 134569956 3221224400 3221214728 1131247616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25499 13073 16 0 211138 0
vsize: 844616
[startup+700.106 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 68543 69 0 0 25 0 11 0 490363550 864886784 25501 4294967295 134512640 134569956 3221224400 3221214728 1131247697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25501 13073 16 0 211138 0
vsize: 844616
[startup+710.107 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 69536 70 0 0 25 0 11 0 490363550 864886784 25507 4294967295 134512640 134569956 3221224400 3221214680 1131298254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25507 13073 16 0 211138 0
vsize: 844616
[startup+720.108 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 70530 70 0 0 25 0 11 0 490363550 864886784 25517 4294967295 134512640 134569956 3221224400 3221214680 1131298350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25517 13073 16 0 211138 0
vsize: 844616
[startup+730.109 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 71527 70 0 0 25 0 11 0 490363550 864886784 25531 4294967295 134512640 134569956 3221224400 3221214776 1131358868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25531 13073 16 0 211138 0
vsize: 844616
[startup+740.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 72521 70 0 0 25 0 11 0 490363550 864886784 25534 4294967295 134512640 134569956 3221224400 3221214776 1131357680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25534 13073 16 0 211138 0
vsize: 844616
[startup+750.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 73514 71 0 0 25 0 11 0 490363550 864886784 25536 4294967295 134512640 134569956 3221224400 3221214776 1131359674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25536 13073 16 0 211138 0
vsize: 844616
[startup+760.111 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 74508 71 0 0 25 0 11 0 490363550 864886784 25550 4294967295 134512640 134569956 3221224400 3221214776 1131360348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25550 13073 16 0 211138 0
vsize: 844616
[startup+770.111 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 75505 72 0 0 25 0 11 0 490363550 864886784 25553 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25553 13073 16 0 211138 0
vsize: 844616
[startup+780.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 76502 72 0 0 25 0 11 0 490363550 864886784 25558 4294967295 134512640 134569956 3221224400 3221214680 1131298619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25558 13073 16 0 211138 0
vsize: 844616
[startup+790.111 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 77498 72 0 0 25 0 11 0 490363550 864886784 25559 4294967295 134512640 134569956 3221224400 3221214776 1131358822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25559 13073 16 0 211138 0
vsize: 844616
[startup+800.112 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 78493 73 0 0 25 0 11 0 490363550 864886784 25574 4294967295 134512640 134569956 3221224400 3221214680 1131298068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25574 13073 16 0 211138 0
vsize: 844616
[startup+810.111 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 79489 73 0 0 25 0 11 0 490363550 864886784 25581 4294967295 134512640 134569956 3221224400 3221214680 1131298408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25581 13073 16 0 211138 0
vsize: 844616
[startup+820.112 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 80485 74 0 0 25 0 11 0 490363550 864886784 25585 4294967295 134512640 134569956 3221224400 3221214680 1131298402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25585 13073 16 0 211138 0
vsize: 844616
[startup+830.112 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 81482 75 0 0 25 0 11 0 490363550 864886784 25595 4294967295 134512640 134569956 3221224400 3221214680 1131297765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25595 13073 16 0 211138 0
vsize: 844616
[startup+840.113 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 82480 75 0 0 25 0 11 0 490363550 864886784 25595 4294967295 134512640 134569956 3221224400 3221214776 1131358872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25595 13073 16 0 211138 0
vsize: 844616
[startup+850.113 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 83476 75 0 0 25 0 11 0 490363550 864886784 25596 4294967295 134512640 134569956 3221224400 3221214680 1131298311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25596 13073 16 0 211138 0
vsize: 844616
[startup+860.113 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 84472 75 0 0 25 0 11 0 490363550 864886784 25598 4294967295 134512640 134569956 3221224400 3221214680 1131297761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211154 25598 13073 16 0 211138 0
vsize: 844616
[startup+870.113 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 85469 76 0 0 25 0 11 0 490363550 864886784 25599 4294967295 134512640 134569956 3221224400 3221214728 1131247641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25599 13073 16 0 211138 0
vsize: 844616
[startup+880.115 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 86467 76 0 0 25 0 11 0 490363550 864886784 25603 4294967295 134512640 134569956 3221224400 3221214680 1131297772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25603 13073 16 0 211138 0
vsize: 844616
[startup+890.115 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 87464 76 0 0 25 0 11 0 490363550 864886784 25603 4294967295 134512640 134569956 3221224400 3221214680 1131297852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25603 13073 16 0 211138 0
vsize: 844616
[startup+900.116 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 88461 76 0 0 25 0 11 0 490363550 864886784 25604 4294967295 134512640 134569956 3221224400 3221214680 1131298297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25604 13073 16 0 211138 0
vsize: 844616
[startup+910.116 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 89457 77 0 0 25 0 11 0 490363550 864886784 25604 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25604 13073 16 0 211138 0
vsize: 844616
[startup+920.117 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 90452 77 0 0 25 0 11 0 490363550 864886784 25620 4294967295 134512640 134569956 3221224400 3221214680 1131298627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25620 13073 16 0 211138 0
vsize: 844616
[startup+930.116 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 91447 78 0 0 25 0 11 0 490363550 864886784 25622 4294967295 134512640 134569956 3221224400 3221214680 1131298436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25622 13073 16 0 211138 0
vsize: 844616
[startup+940.128 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 92445 78 0 0 25 0 11 0 490363550 864886784 25631 4294967295 134512640 134569956 3221224400 3221214728 1131247752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25631 13073 16 0 211138 0
vsize: 844616
[startup+950.128 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 93440 79 0 0 25 0 11 0 490363550 864886784 25632 4294967295 134512640 134569956 3221224400 3221214776 1131360356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25632 13073 16 0 211138 0
vsize: 844616
[startup+960.128 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 94436 79 0 0 25 0 11 0 490363550 864886784 25658 4294967295 134512640 134569956 3221224400 3221214776 1131360377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25658 13073 16 0 211138 0
vsize: 844616
[startup+970.129 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 95430 80 0 0 25 0 11 0 490363550 864886784 25688 4294967295 134512640 134569956 3221224400 3221214680 1131297798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25688 13073 16 0 211138 0
vsize: 844616
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 96424 80 0 0 25 0 11 0 490363550 864886784 25700 4294967295 134512640 134569956 3221224400 3221214680 1131299060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25700 13073 16 0 211138 0
vsize: 844616
[startup+990.129 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 97418 81 0 0 25 0 11 0 490363550 864886784 25701 4294967295 134512640 134569956 3221224400 3221214776 1131357691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25701 13073 16 0 211138 0
vsize: 844616
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 98414 81 0 0 25 0 11 0 490363550 864886784 25734 4294967295 134512640 134569956 3221224400 3221214776 1131357473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25734 13073 16 0 211138 0
vsize: 844616
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 99411 81 0 0 25 0 11 0 490363550 864886784 25740 4294967295 134512640 134569956 3221224400 3221214680 1131298258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25740 13073 16 0 211138 0
vsize: 844616
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 100409 82 0 0 25 0 11 0 490363550 864886784 25755 4294967295 134512640 134569956 3221224400 3221214680 1131297793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25755 13073 16 0 211138 0
vsize: 844616
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 101405 82 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214592 1131470461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25756 13073 16 0 211138 0
vsize: 844616
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 102403 83 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214592 1131470320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25756 13073 16 0 211138 0
vsize: 844616
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 103400 83 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214584 1131533671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25756 13073 16 0 211138 0
vsize: 844616
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 104394 83 0 0 25 0 11 0 490363550 864886784 25756 4294967295 134512640 134569956 3221224400 3221214480 1131302796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25756 13073 16 0 211138 0
vsize: 844616
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 105391 83 0 0 25 0 11 0 490363550 864886784 25763 4294967295 134512640 134569956 3221224400 3221214488 1131302902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211154 25763 13073 16 0 211138 0
vsize: 844616
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 106386 84 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214440 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25767 13073 16 0 211138 0
vsize: 844616
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 107383 84 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214480 1131302796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25767 13073 16 0 211138 0
vsize: 844616
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 108380 84 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214576 1131628947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25767 13073 16 0 211138 0
vsize: 844616
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 109375 85 0 0 25 0 11 0 490363550 864886784 25767 4294967295 134512640 134569956 3221224400 3221214576 1131627707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25767 13073 16 0 211138 0
vsize: 844616
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 110373 85 0 0 25 0 11 0 490363550 864886784 25775 4294967295 134512640 134569956 3221224400 3221214688 1131740140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25775 13073 16 0 211138 0
vsize: 844616
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 111371 85 0 0 25 0 11 0 490363550 864886784 25776 4294967295 134512640 134569956 3221224400 3221214768 1131385962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25776 13073 16 0 211138 0
vsize: 844616
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 112364 85 0 0 25 0 11 0 490363550 864886784 25777 4294967295 134512640 134569956 3221224400 3221214680 1131299005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25777 13073 16 0 211138 0
vsize: 844616
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 113358 85 0 0 25 0 11 0 490363550 864886784 25777 4294967295 134512640 134569956 3221224400 3221214680 1131298196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25777 13073 16 0 211138 0
vsize: 844616
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 114349 86 0 0 25 0 11 0 490363550 864886784 25791 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25791 13073 16 0 211138 0
vsize: 844616
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 115346 86 0 0 25 0 11 0 490363550 864886784 25792 4294967295 134512640 134569956 3221224400 3221214680 1131298033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25792 13073 16 0 211138 0
vsize: 844616
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 116342 87 0 0 25 0 11 0 490363550 864886784 25795 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25795 13073 16 0 211138 0
vsize: 844616
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 117339 87 0 0 25 0 11 0 490363550 864886784 25796 4294967295 134512640 134569956 3221224400 3221214680 1131298989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25796 13073 16 0 211138 0
vsize: 844616
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 118335 87 0 0 25 0 11 0 490363550 864886784 25797 4294967295 134512640 134569956 3221224400 3221214680 1131299069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25797 13073 16 0 211138 0
vsize: 844616
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 119327 88 0 0 25 0 11 0 490363550 864886784 25806 4294967295 134512640 134569956 3221224400 3221214680 1131298137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25806 13073 16 0 211138 0
vsize: 844616
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 2690
Raw data (stat): 2679 (java) R 2678 24215 24214 0 -1 0 18086 4 1 0 120317 88 0 0 25 0 11 0 490363550 864886784 25807 4294967295 134512640 134569956 3221224400 3221214680 1131298181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211154 25807 13073 16 0 211138 0
vsize: 844616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.25 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 2692
Raw data (stat): 2679 (java) Z 2678 24215 24214 0 -1 1036 18086 26629 1 0 120322 93 3945 78 25 0 1 0 490363550 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): 1220.25
CPU time (s): 1244.4
CPU user time (s): 1242.68
CPU system time (s): 1.71674
CPU usage (%): 101.979
Max. virtual memory (Kb): 855436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####