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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
MD5SUM	bc393d4b1cc38ed414c3e21eb8bc6b60
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	56
Optimality of the best value was proved	NO
Number of terms in the objective function	4447
Biggest coefficient in the objective function	2128
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	12580
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	2128
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	12580
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	4447
Total number of constraints	9372
Number of constraints which are clauses	4205
Number of constraints which are cardinality constraints (but not clauses)	5167
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	27
Trace number 4536

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-13 18:20:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3348 boxname=wulflinc11 idbench=372 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bc393d4b1cc38ed414c3e21eb8bc6b60  /oldhome/oroussel/tmp/wulflinc11/normalized-30:30:4.5:0.5:100.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-30:30:4.5:0.5:100.opb
IDLAUNCH: 3348
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        922012 kB
Buffers:         33652 kB
Cached:          54780 kB
SwapCached:       4932 kB
Active:          50676 kB
Inactive:        45528 kB
HighTotal:      131008 kB
HighFree:        72436 kB
LowTotal:       903652 kB
LowFree:        849576 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11004 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:41:25 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3348 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-30:30:4.5:0.5:100.opb
c reading problem 
c [nbvar=4447]
c [nbconstr=9372]
c time 13.1
c #vars     4447
c #clauses  4926
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=114
c Current CPU time (ms) : 14.772
c starts	: 1
c conflicts	: 0
c decisions	: 2021
c propagations	: 4447
c inspects	: 6759
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=112
c Current CPU time (ms) : 32.1
c starts	: 2
c conflicts	: 0
c decisions	: 4040
c propagations	: 8893
c inspects	: 12621
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=111
c Current CPU time (ms) : 68.642
c starts	: 3
c conflicts	: 1
c decisions	: 6060
c propagations	: 13345
c inspects	: 19260
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=45
c Current CPU time (ms) : 157.519
c starts	: 4
c conflicts	: 1
c decisions	: 8810
c propagations	: 17791
c inspects	: 32411
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 4
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 1800
Raw data (stat): 1800 (runsolver) R 1799 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419843096 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.99 4/63 1809
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18000 0 1 0 815 47 0 0 25 0 10 0 419843096 864514048 21503 4294967295 134512640 134569956 3221224400 3221214432 1131205793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211063 21503 13073 16 0 211047 0
vsize: 844252
[startup+20.0016 s]
Raw data (loadavg): 1.25 1.05 1.02 2/64 1811
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18052 5 1 0 1570 48 0 0 25 0 11 0 419843096 869093376 23816 4294967295 134512640 134569956 3221224400 3221214800 1131238013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 23816 13073 16 0 212165 0
vsize: 848724
[startup+30.0023 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 1811
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18052 5 1 0 2470 48 0 0 25 0 11 0 419843096 863141888 22267 4294967295 134512640 134569956 3221224400 3221214856 1131195520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210728 22267 13073 16 0 210712 0
vsize: 842912
[startup+40.0027 s]
Raw data (loadavg): 1.26 1.06 1.02 2/64 1812
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18052 5 1 0 3331 48 0 0 25 0 11 0 419843096 867749888 23594 4294967295 134512640 134569956 3221224400 3221214792 1131238727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211853 23594 13073 16 0 211837 0
vsize: 847412
[startup+50.0039 s]
Raw data (loadavg): 1.22 1.06 1.02 2/64 1812
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18052 5 1 0 4255 48 0 0 25 0 11 0 419843096 863969280 23366 4294967295 134512640 134569956 3221224400 3221214792 1131237881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210930 23366 13073 16 0 210914 0
vsize: 843720
[startup+60.0043 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 1812
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18052 5 1 0 5229 49 0 0 25 0 11 0 419843096 863805440 23326 4294967295 134512640 134569956 3221224400 3221214896 1131387933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210890 23326 13073 16 0 210874 0
vsize: 843560
[startup+70.0056 s]
Raw data (loadavg): 1.16 1.05 1.02 4/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 5968 49 0 0 25 0 11 0 419843096 871702528 25215 4294967295 134512640 134569956 3221224400 3221214792 1131238729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212818 25215 13073 16 0 212802 0
vsize: 851272
[startup+80.0063 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 6921 50 0 0 25 0 11 0 419843096 867942400 24587 4294967295 134512640 134569956 3221224400 3221214792 1131237774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24587 13073 16 0 211884 0
vsize: 847600
[startup+90.0071 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 7879 50 0 0 25 0 11 0 419843096 867942400 24590 4294967295 134512640 134569956 3221224400 3221214792 1131237774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24590 13073 16 0 211884 0
vsize: 847600
[startup+100.007 s]
Raw data (loadavg): 1.15 1.06 1.02 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 8833 50 0 0 25 0 11 0 419843096 867942400 24667 4294967295 134512640 134569956 3221224400 3221214792 1131238696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24667 13073 16 0 211884 0
vsize: 847600
[startup+110.008 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 9819 50 0 0 25 0 11 0 419843096 867942400 24830 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24830 13073 16 0 211884 0
vsize: 847600
[startup+120.008 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 10809 51 0 0 25 0 11 0 419843096 867942400 24841 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24841 13073 16 0 211884 0
vsize: 847600
[startup+130.008 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 11800 51 0 0 25 0 11 0 419843096 867942400 24854 4294967295 134512640 134569956 3221224400 3221214896 1131387141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24854 13073 16 0 211884 0
vsize: 847600
[startup+140.009 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 12789 52 0 0 25 0 11 0 419843096 867942400 24861 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24861 13073 16 0 211884 0
vsize: 847600
[startup+150.01 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 1813
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 13779 52 0 0 25 0 11 0 419843096 867942400 24871 4294967295 134512640 134569956 3221224400 3221214792 1131238120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24871 13073 16 0 211884 0
vsize: 847600
[startup+160.011 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 14766 52 0 0 25 0 11 0 419843096 867942400 24883 4294967295 134512640 134569956 3221224400 3221214792 1131238322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24883 13073 16 0 211884 0
vsize: 847600
[startup+170.011 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 15738 53 0 0 25 0 11 0 419843096 867942400 24886 4294967295 134512640 134569956 3221224400 3221214792 1131237566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24886 13073 16 0 211884 0
vsize: 847600
[startup+180.011 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 16708 53 0 0 25 0 11 0 419843096 867942400 24888 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 24888 13073 16 0 211884 0
vsize: 847600
[startup+190.012 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 17681 53 0 0 25 0 11 0 419843096 867942400 25002 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25002 13073 16 0 211884 0
vsize: 847600
[startup+200.013 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 18665 54 0 0 25 0 11 0 419843096 867942400 25014 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25014 13073 16 0 211884 0
vsize: 847600
[startup+210.014 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 19651 54 0 0 25 0 11 0 419843096 867942400 25024 4294967295 134512640 134569956 3221224400 3221214792 1131238762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25024 13073 16 0 211884 0
vsize: 847600
[startup+220.014 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 20640 54 0 0 25 0 11 0 419843096 867942400 25037 4294967295 134512640 134569956 3221224400 3221214848 1131195544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25037 13073 16 0 211884 0
vsize: 847600
[startup+230.014 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 21630 55 0 0 25 0 11 0 419843096 867942400 25049 4294967295 134512640 134569956 3221224400 3221214792 1131238150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25049 13073 16 0 211884 0
vsize: 847600
[startup+240.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 22619 55 0 0 25 0 11 0 419843096 867942400 25055 4294967295 134512640 134569956 3221224400 3221214848 1131195517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25055 13073 16 0 211884 0
vsize: 847600
[startup+250.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 23609 55 0 0 25 0 11 0 419843096 867942400 25063 4294967295 134512640 134569956 3221224400 3221214792 1131237796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25063 13073 16 0 211884 0
vsize: 847600
[startup+260.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 24599 56 0 0 25 0 11 0 419843096 867942400 25070 4294967295 134512640 134569956 3221224400 3221214848 1131195544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211900 25070 13073 16 0 211884 0
vsize: 847600
[startup+270.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 25572 56 0 0 24 0 11 0 419843096 864796672 24256 4294967295 134512640 134569956 3221224400 3221214576 1131714716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 24256 13073 16 0 211116 0
vsize: 844528
[startup+280.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 26521 57 0 0 24 0 11 0 419843096 864796672 24260 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 24260 13073 16 0 211116 0
vsize: 844528
[startup+290.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 27446 57 0 0 25 0 11 0 419843096 864796672 25018 4294967295 134512640 134569956 3221224400 3221214792 1131238286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 25018 13073 16 0 211116 0
vsize: 844528
[startup+300.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 28366 57 0 0 25 0 11 0 419843096 864796672 25585 4294967295 134512640 134569956 3221224400 3221214760 1131650633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 25585 13073 16 0 211116 0
vsize: 844528
[startup+310.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) S 1799 32461 32460 0 -1 0 18093 5 1 0 29286 57 0 0 25 0 11 0 419843096 864796672 25870 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 25870 13073 16 0 211116 0
vsize: 844528
[startup+320.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 30187 58 0 0 25 0 11 0 419843096 864796672 25870 4294967295 134512640 134569956 3221224400 3221214896 1131387413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 25870 13073 16 0 211116 0
vsize: 844528
[startup+330.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 31085 58 0 0 24 0 11 0 419843096 864796672 26032 4294967295 134512640 134569956 3221224400 3221214848 1131195544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26032 13073 16 0 211116 0
vsize: 844528
[startup+340.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 32041 58 0 0 25 0 11 0 419843096 864796672 26780 4294967295 134512640 134569956 3221224400 3221214792 1131237918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26780 13073 16 0 211116 0
vsize: 844528
[startup+350.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 33038 58 0 0 25 0 11 0 419843096 864796672 26782 4294967295 134512640 134569956 3221224400 3221214896 1131387141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26782 13073 16 0 211116 0
vsize: 844528
[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 34034 58 0 0 25 0 11 0 419843096 864796672 26783 4294967295 134512640 134569956 3221224400 3221214896 1131387933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211132 26783 13073 16 0 211116 0
vsize: 844528
[startup+370.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 35030 58 0 0 25 0 11 0 419843096 864796672 26785 4294967295 134512640 134569956 3221224400 3221214792 1131238681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26785 13073 16 0 211116 0
vsize: 844528
[startup+380.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 36026 59 0 0 25 0 11 0 419843096 864796672 26788 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26788 13073 16 0 211116 0
vsize: 844528
[startup+390.022 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 37022 59 0 0 25 0 11 0 419843096 864796672 26793 4294967295 134512640 134569956 3221224400 3221214792 1131238106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26793 13073 16 0 211116 0
vsize: 844528
[startup+400.022 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 38017 59 0 0 25 0 11 0 419843096 864796672 26794 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26794 13073 16 0 211116 0
vsize: 844528
[startup+410.023 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 39012 59 0 0 25 0 11 0 419843096 864796672 26796 4294967295 134512640 134569956 3221224400 3221214792 1131237788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26796 13073 16 0 211116 0
vsize: 844528
[startup+420.024 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 40007 60 0 0 25 0 11 0 419843096 864796672 26800 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26800 13073 16 0 211116 0
vsize: 844528
[startup+430.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 41002 60 0 0 25 0 11 0 419843096 864796672 26808 4294967295 134512640 134569956 3221224400 3221214848 1131195552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26808 13073 16 0 211116 0
vsize: 844528
[startup+440.024 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 41998 60 0 0 25 0 11 0 419843096 864796672 26814 4294967295 134512640 134569956 3221224400 3221214792 1131238578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26814 13073 16 0 211116 0
vsize: 844528
[startup+450.024 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 42994 60 0 0 25 0 11 0 419843096 864796672 26817 4294967295 134512640 134569956 3221224400 3221214792 1131237781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26817 13073 16 0 211116 0
vsize: 844528
[startup+460.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 43990 60 0 0 25 0 11 0 419843096 864796672 26818 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26818 13073 16 0 211116 0
vsize: 844528
[startup+470.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 44986 61 0 0 25 0 11 0 419843096 864796672 26820 4294967295 134512640 134569956 3221224400 3221214752 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211132 26820 13073 16 0 211116 0
vsize: 844528
[startup+480.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 45982 61 0 0 25 0 11 0 419843096 864796672 26822 4294967295 134512640 134569956 3221224400 3221214792 1131238070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26822 13073 16 0 211116 0
vsize: 844528
[startup+490.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 46978 62 0 0 25 0 11 0 419843096 864796672 26824 4294967295 134512640 134569956 3221224400 3221214792 1131237533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26824 13073 16 0 211116 0
vsize: 844528
[startup+500.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 47973 62 0 0 25 0 11 0 419843096 864796672 26827 4294967295 134512640 134569956 3221224400 3221214792 1131237545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26827 13073 16 0 211116 0
vsize: 844528
[startup+510.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 48969 62 0 0 25 0 11 0 419843096 864796672 26829 4294967295 134512640 134569956 3221224400 3221214896 1131386980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26829 13073 16 0 211116 0
vsize: 844528
[startup+520.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 49963 63 0 0 25 0 11 0 419843096 864796672 26832 4294967295 134512640 134569956 3221224400 3221214896 1131387413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26832 13073 16 0 211116 0
vsize: 844528
[startup+530.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 50958 63 0 0 25 0 11 0 419843096 864796672 26853 4294967295 134512640 134569956 3221224400 3221214792 1131237574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26853 13073 16 0 211116 0
vsize: 844528
[startup+540.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 51954 63 0 0 25 0 11 0 419843096 864796672 26858 4294967295 134512640 134569956 3221224400 3221214896 1131386953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26858 13073 16 0 211116 0
vsize: 844528
[startup+550.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 52950 64 0 0 25 0 11 0 419843096 864796672 26859 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26859 13073 16 0 211116 0
vsize: 844528
[startup+560.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 53946 65 0 0 25 0 11 0 419843096 864796672 26862 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26862 13073 16 0 211116 0
vsize: 844528
[startup+570.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 54942 65 0 0 25 0 11 0 419843096 864796672 26863 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26863 13073 16 0 211116 0
vsize: 844528
[startup+580.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 55938 66 0 0 25 0 11 0 419843096 864796672 26865 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26865 13073 16 0 211116 0
vsize: 844528
[startup+590.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 56935 66 0 0 25 0 11 0 419843096 864796672 26867 4294967295 134512640 134569956 3221224400 3221214792 1131238310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26867 13073 16 0 211116 0
vsize: 844528
[startup+600.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 57932 66 0 0 25 0 11 0 419843096 864796672 26868 4294967295 134512640 134569956 3221224400 3221214892 1131237523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26868 13073 16 0 211116 0
vsize: 844528
[startup+610.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 58929 66 0 0 25 0 11 0 419843096 864796672 26870 4294967295 134512640 134569956 3221224400 3221214792 1131237537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26870 13073 16 0 211116 0
vsize: 844528
[startup+620.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 59926 67 0 0 25 0 11 0 419843096 864796672 26871 4294967295 134512640 134569956 3221224400 3221214792 1131238087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26871 13073 16 0 211116 0
vsize: 844528
[startup+630.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 60922 67 0 0 25 0 11 0 419843096 864796672 26873 4294967295 134512640 134569956 3221224400 3221214792 1131238225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26873 13073 16 0 211116 0
vsize: 844528
[startup+640.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 61919 68 0 0 25 0 11 0 419843096 864796672 26874 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26874 13073 16 0 211116 0
vsize: 844528
[startup+650.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 62915 68 0 0 25 0 11 0 419843096 864796672 26876 4294967295 134512640 134569956 3221224400 3221214792 1131237808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26876 13073 16 0 211116 0
vsize: 844528
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 63912 69 0 0 25 0 11 0 419843096 864796672 26878 4294967295 134512640 134569956 3221224400 3221214848 1131195562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26878 13073 16 0 211116 0
vsize: 844528
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 64908 69 0 0 25 0 11 0 419843096 864796672 26880 4294967295 134512640 134569956 3221224400 3221214792 1131237875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26880 13073 16 0 211116 0
vsize: 844528
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 65904 69 0 0 25 0 11 0 419843096 864796672 26881 4294967295 134512640 134569956 3221224400 3221214896 1131386937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26881 13073 16 0 211116 0
vsize: 844528
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 66899 70 0 0 25 0 11 0 419843096 864796672 26883 4294967295 134512640 134569956 3221224400 3221214792 1131237533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26883 13073 16 0 211116 0
vsize: 844528
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 67894 70 0 0 25 0 11 0 419843096 864796672 26885 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26885 13073 16 0 211116 0
vsize: 844528
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 68889 71 0 0 25 0 11 0 419843096 864796672 26900 4294967295 134512640 134569956 3221224400 3221214792 1131238043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26900 13073 16 0 211116 0
vsize: 844528
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 69885 71 0 0 25 0 11 0 419843096 864796672 26931 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26931 13073 16 0 211116 0
vsize: 844528
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 70881 72 0 0 25 0 11 0 419843096 864796672 26934 4294967295 134512640 134569956 3221224400 3221214792 1131238033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26934 13073 16 0 211116 0
vsize: 844528
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 71878 72 0 0 25 0 11 0 419843096 864796672 26936 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26936 13073 16 0 211116 0
vsize: 844528
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 72874 72 0 0 25 0 11 0 419843096 864796672 26937 4294967295 134512640 134569956 3221224400 3221214848 1131195544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26937 13073 16 0 211116 0
vsize: 844528
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 73870 73 0 0 25 0 11 0 419843096 864796672 26939 4294967295 134512640 134569956 3221224400 3221214848 1131195708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26939 13073 16 0 211116 0
vsize: 844528
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 74866 73 0 0 25 0 11 0 419843096 864796672 26941 4294967295 134512640 134569956 3221224400 3221214792 1131238691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26941 13073 16 0 211116 0
vsize: 844528
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 75863 73 0 0 25 0 11 0 419843096 864796672 26955 4294967295 134512640 134569956 3221224400 3221214896 1131387948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26955 13073 16 0 211116 0
vsize: 844528
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 76859 74 0 0 25 0 11 0 419843096 864796672 26957 4294967295 134512640 134569956 3221224400 3221214792 1131238286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26957 13073 16 0 211116 0
vsize: 844528
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 77855 75 0 0 25 0 11 0 419843096 864796672 26958 4294967295 134512640 134569956 3221224400 3221214792 1131238087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26958 13073 16 0 211116 0
vsize: 844528
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 78851 75 0 0 25 0 11 0 419843096 864796672 26960 4294967295 134512640 134569956 3221224400 3221214792 1131238360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26960 13073 16 0 211116 0
vsize: 844528
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 79848 75 0 0 25 0 11 0 419843096 864796672 26962 4294967295 134512640 134569956 3221224400 3221214792 1131238043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26962 13073 16 0 211116 0
vsize: 844528
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 80845 76 0 0 25 0 11 0 419843096 864796672 26963 4294967295 134512640 134569956 3221224400 3221214892 1131195507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26963 13073 16 0 211116 0
vsize: 844528
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 81842 76 0 0 25 0 11 0 419843096 864796672 26965 4294967295 134512640 134569956 3221224400 3221214792 1131237788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26965 13073 16 0 211116 0
vsize: 844528
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 82838 76 0 0 25 0 11 0 419843096 864796672 26967 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26967 13073 16 0 211116 0
vsize: 844528
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 83834 77 0 0 25 0 11 0 419843096 864796672 26969 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26969 13073 16 0 211116 0
vsize: 844528
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 84831 77 0 0 25 0 11 0 419843096 864796672 26971 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26971 13073 16 0 211116 0
vsize: 844528
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 85827 78 0 0 25 0 11 0 419843096 864796672 26973 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211132 26973 13073 16 0 211116 0
vsize: 844528
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 86824 78 0 0 25 0 11 0 419843096 864796672 26975 4294967295 134512640 134569956 3221224400 3221214896 1131387126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26975 13073 16 0 211116 0
vsize: 844528
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 87820 78 0 0 25 0 11 0 419843096 864796672 26976 4294967295 134512640 134569956 3221224400 3221214792 1131237548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26976 13073 16 0 211116 0
vsize: 844528
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 88816 79 0 0 25 0 11 0 419843096 864796672 26978 4294967295 134512640 134569956 3221224400 3221214792 1131238225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26978 13073 16 0 211116 0
vsize: 844528
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 89812 80 0 0 25 0 11 0 419843096 864796672 26980 4294967295 134512640 134569956 3221224400 3221214792 1131238619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26980 13073 16 0 211116 0
vsize: 844528
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 90808 80 0 0 25 0 11 0 419843096 864796672 26982 4294967295 134512640 134569956 3221224400 3221214792 1131238735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26982 13073 16 0 211116 0
vsize: 844528
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 91804 80 0 0 25 0 11 0 419843096 864796672 26984 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26984 13073 16 0 211116 0
vsize: 844528
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 92801 81 0 0 25 0 11 0 419843096 864796672 26986 4294967295 134512640 134569956 3221224400 3221214792 1131238316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26986 13073 16 0 211116 0
vsize: 844528
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 93797 81 0 0 25 0 11 0 419843096 864796672 26988 4294967295 134512640 134569956 3221224400 3221214792 1131238769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26988 13073 16 0 211116 0
vsize: 844528
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 94793 81 0 0 25 0 11 0 419843096 864796672 26989 4294967295 134512640 134569956 3221224400 3221214792 1131238635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26989 13073 16 0 211116 0
vsize: 844528
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 95789 82 0 0 25 0 11 0 419843096 864796672 26992 4294967295 134512640 134569956 3221224400 3221214896 1131387948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26992 13073 16 0 211116 0
vsize: 844528
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 96785 82 0 0 25 0 11 0 419843096 864796672 26994 4294967295 134512640 134569956 3221224400 3221214848 1131195552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26994 13073 16 0 211116 0
vsize: 844528
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 97780 83 0 0 25 0 11 0 419843096 864796672 26996 4294967295 134512640 134569956 3221224400 3221214792 1131238724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26996 13073 16 0 211116 0
vsize: 844528
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 98776 83 0 0 25 0 11 0 419843096 864796672 26998 4294967295 134512640 134569956 3221224400 3221214792 1131238409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 26998 13073 16 0 211116 0
vsize: 844528
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 99771 84 0 0 25 0 11 0 419843096 864796672 27006 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27006 13073 16 0 211116 0
vsize: 844528
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 100765 84 0 0 25 0 11 0 419843096 864796672 27008 4294967295 134512640 134569956 3221224400 3221214792 1131237541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27008 13073 16 0 211116 0
vsize: 844528
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 101758 84 0 0 25 0 11 0 419843096 864796672 27010 4294967295 134512640 134569956 3221224400 3221214368 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27010 13073 16 0 211116 0
vsize: 844528
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 102747 85 0 0 25 0 11 0 419843096 864796672 27011 4294967295 134512640 134569956 3221224400 3221214896 1131387282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27011 13073 16 0 211116 0
vsize: 844528
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) S 1799 32461 32460 0 -1 0 18093 5 1 0 103715 85 0 0 25 0 11 0 419843096 864796672 27055 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27055 13073 16 0 211116 0
vsize: 844528
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 104688 86 0 0 25 0 11 0 419843096 864796672 27101 4294967295 134512640 134569956 3221224400 3221214792 1131238127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27101 13073 16 0 211116 0
vsize: 844528
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 105664 86 0 0 25 0 11 0 419843096 864796672 27226 4294967295 134512640 134569956 3221224400 3221214792 1131238187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27226 13073 16 0 211116 0
vsize: 844528
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 106661 87 0 0 25 0 11 0 419843096 864796672 27226 4294967295 134512640 134569956 3221224400 3221214896 1131387944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27226 13073 16 0 211116 0
vsize: 844528
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 107658 87 0 0 25 0 11 0 419843096 864796672 27227 4294967295 134512640 134569956 3221224400 3221214848 1131195544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27227 13073 16 0 211116 0
vsize: 844528
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 108655 87 0 0 25 0 11 0 419843096 864796672 27227 4294967295 134512640 134569956 3221224400 3221214792 1131238322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27227 13073 16 0 211116 0
vsize: 844528
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 109653 88 0 0 25 0 11 0 419843096 864796672 27228 4294967295 134512640 134569956 3221224400 3221214848 1131195672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211132 27228 13073 16 0 211116 0
vsize: 844528
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 110649 88 0 0 25 0 11 0 419843096 864796672 27229 4294967295 134512640 134569956 3221224400 3221214892 1131237516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27229 13073 16 0 211116 0
vsize: 844528
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 111645 89 0 0 25 0 11 0 419843096 864796672 27229 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27229 13073 16 0 211116 0
vsize: 844528
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 112642 89 0 0 25 0 11 0 419843096 864796672 27230 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27230 13073 16 0 211116 0
vsize: 844528
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 113638 90 0 0 25 0 11 0 419843096 864796672 27232 4294967295 134512640 134569956 3221224400 3221214792 1131237537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27232 13073 16 0 211116 0
vsize: 844528
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 114635 90 0 0 25 0 11 0 419843096 864796672 27232 4294967295 134512640 134569956 3221224400 3221214792 1131237574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211132 27232 13073 16 0 211116 0
vsize: 844528
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 6/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 115632 90 0 0 25 0 11 0 419843096 864796672 27234 4294967295 134512640 134569956 3221224400 3221214848 1131195520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211132 27234 13073 16 0 211116 0
vsize: 844528
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 116629 91 0 0 25 0 11 0 419843096 864796672 27235 4294967295 134512640 134569956 3221224400 3221214792 1131237834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27235 13073 16 0 211116 0
vsize: 844528
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 117626 91 0 0 25 0 11 0 419843096 864796672 27236 4294967295 134512640 134569956 3221224400 3221214848 1131195641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27236 13073 16 0 211116 0
vsize: 844528
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 118622 91 0 0 25 0 11 0 419843096 864796672 27237 4294967295 134512640 134569956 3221224400 3221214848 1131195537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27237 13073 16 0 211116 0
vsize: 844528
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 119618 92 0 0 25 0 11 0 419843096 864796672 27237 4294967295 134512640 134569956 3221224400 3221214848 1131195537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27237 13073 16 0 211116 0
vsize: 844528
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1814
Raw data (stat): 1800 (java) R 1799 32461 32460 0 -1 0 18093 5 1 0 120614 92 0 0 25 0 11 0 419843096 864796672 27239 4294967295 134512640 134569956 3221224400 3221214896 1131387141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211132 27239 13073 16 0 211116 0
vsize: 844528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1816
Raw data (stat): 1800 (java) Z 1799 32461 32460 0 -1 1036 18093 29241 1 0 120616 97 4563 85 25 0 1 0 419843096 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.15
CPU time (s): 1253.64
CPU user time (s): 1251.81
CPU system time (s): 1.82972
CPU usage (%): 101.909
Max. virtual memory (Kb): 851272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####