PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 29116

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 04:47:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20467 boxname=wulflinc12 idbench=57 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc12/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 20467
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        446288 kB
Buffers:         38172 kB
Cached:         529128 kB
SwapCached:        568 kB
Active:         121284 kB
Inactive:       448472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        446036 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12892 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:07:40 (client local time) WITH STATUS 143 IN 1214.6 SECONDS
stats: 20467 7 1214.6 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-fpga45_45_sat_pb.cnf.cr.opb
c reading problem ... done. Time 6.609 ms.
c #vars     3038
c #constraints  2160
c starts	: 1
c conflicts	: 72
c decisions	: 6326
c propagations	: 22121
c inspects	: 26589
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1215.559
#### 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.97 0.93 2/54 8197
Raw data (stat): 8197 (runsolver) R 8196 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777885242 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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 s]
Raw data (loadavg): 0.93 0.97 0.93 2/63 8206
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 17954 0 87 0 474 45 0 0 25 0 10 0 777885242 855392256 20025 4294967295 134512640 134569956 3221224368 3221214108 1130915517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208836 20025 13086 16 0 208820 0
vsize: 835344
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 17999 0 87 0 1338 45 0 0 25 0 11 0 777885242 857862144 22970 4294967295 134512640 134569956 3221224368 3221214736 1131369521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209439 22970 13086 16 0 209423 0
vsize: 837756
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18000 0 87 0 2313 45 0 0 25 0 11 0 777885242 858910720 24026 4294967295 134512640 134569956 3221224368 3221214496 1131442360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24026 13086 16 0 209679 0
vsize: 838780
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 3286 46 0 0 25 0 11 0 777885242 858910720 24031 4294967295 134512640 134569956 3221224368 3221214512 1131381159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24031 13086 16 0 209679 0
vsize: 838780
[startup+50.0013 s]
Raw data (loadavg): 0.97 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 4265 46 0 0 25 0 11 0 777885242 858910720 24035 4294967295 134512640 134569956 3221224368 3221214584 1131335845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 24035 13086 16 0 209679 0
vsize: 838780
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 5245 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214496 1131443304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 6231 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214536 1131175769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 7209 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214616 1131337187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 8186 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214496 1131442377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 9172 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214512 1131259311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 10150 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214560 1131339476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 11127 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214520 1131259563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 12112 46 0 0 25 0 11 0 777885242 858910720 24040 4294967295 134512640 134569956 3221224368 3221214520 1131259232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24040 13086 16 0 209679 0
vsize: 838780
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 13088 46 0 0 25 0 11 0 777885242 858910720 24424 4294967295 134512640 134569956 3221224368 3221214584 1131335882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24424 13086 16 0 209679 0
vsize: 838780
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 14078 46 0 0 25 0 11 0 777885242 858910720 24524 4294967295 134512640 134569956 3221224368 3221214496 1131444065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24524 13086 16 0 209679 0
vsize: 838780
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 15072 46 0 0 25 0 11 0 777885242 858910720 24556 4294967295 134512640 134569956 3221224368 3221214584 1131335918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24556 13086 16 0 209679 0
vsize: 838780
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 16063 46 0 0 25 0 11 0 777885242 858910720 24556 4294967295 134512640 134569956 3221224368 3221214616 1131337187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24556 13086 16 0 209679 0
vsize: 838780
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 17056 46 0 0 24 0 11 0 777885242 858910720 24630 4294967295 134512640 134569956 3221224368 3221214496 1131444067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24630 13086 16 0 209679 0
vsize: 838780
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 18051 46 0 0 25 0 11 0 777885242 858910720 24663 4294967295 134512640 134569956 3221224368 3221214512 1131259272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24663 13086 16 0 209679 0
vsize: 838780
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 19044 46 0 0 25 0 11 0 777885242 858910720 24663 4294967295 134512640 134569956 3221224368 3221214560 1131339131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24663 13086 16 0 209679 0
vsize: 838780
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 20040 46 0 0 25 0 11 0 777885242 858910720 24663 4294967295 134512640 134569956 3221224368 3221214520 1131259311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24663 13086 16 0 209679 0
vsize: 838780
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 21034 46 0 0 25 0 11 0 777885242 858910720 24697 4294967295 134512640 134569956 3221224368 3221214496 1131442462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24697 13086 16 0 209679 0
vsize: 838780
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 22028 46 0 0 25 0 11 0 777885242 858910720 24697 4294967295 134512640 134569956 3221224368 3221214584 1131335890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24697 13086 16 0 209679 0
vsize: 838780
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 23023 46 0 0 25 0 11 0 777885242 858910720 24700 4294967295 134512640 134569956 3221224368 3221214584 1131335902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24700 13086 16 0 209679 0
vsize: 838780
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 24017 46 0 0 25 0 11 0 777885242 858910720 24732 4294967295 134512640 134569956 3221224368 3221214636 1131314596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24732 13086 16 0 209679 0
vsize: 838780
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 25012 47 0 0 25 0 11 0 777885242 858910720 24732 4294967295 134512640 134569956 3221224368 3221214520 1131442370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24732 13086 16 0 209679 0
vsize: 838780
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 26007 47 0 0 25 0 11 0 777885242 858910720 24732 4294967295 134512640 134569956 3221224368 3221214544 1131259151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24732 13086 16 0 209679 0
vsize: 838780
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 27000 47 0 0 25 0 11 0 777885242 858910720 24764 4294967295 134512640 134569956 3221224368 3221214560 1131175804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24764 13086 16 0 209679 0
vsize: 838780
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 27995 47 0 0 25 0 11 0 777885242 858910720 24764 4294967295 134512640 134569956 3221224368 3221214584 1131339137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24764 13086 16 0 209679 0
vsize: 838780
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 28989 47 0 0 25 0 11 0 777885242 858910720 24764 4294967295 134512640 134569956 3221224368 3221214608 1131335836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24764 13086 16 0 209679 0
vsize: 838780
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 29985 47 0 0 25 0 11 0 777885242 858910720 24797 4294967295 134512640 134569956 3221224368 3221214520 1131442462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24797 13086 16 0 209679 0
vsize: 838780
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 30978 47 0 0 25 0 11 0 777885242 858910720 24797 4294967295 134512640 134569956 3221224368 3221214608 1131335821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24797 13086 16 0 209679 0
vsize: 838780
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 31972 47 0 0 25 0 11 0 777885242 858910720 24797 4294967295 134512640 134569956 3221224368 3221214632 1131494943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24797 13086 16 0 209679 0
vsize: 838780
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 32967 47 0 0 25 0 11 0 777885242 858910720 24829 4294967295 134512640 134569956 3221224368 3221214544 1131259154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24829 13086 16 0 209679 0
vsize: 838780
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 33961 47 0 0 25 0 11 0 777885242 858910720 24829 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24829 13086 16 0 209679 0
vsize: 838780
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 34957 47 0 0 25 0 11 0 777885242 858910720 24829 4294967295 134512640 134569956 3221224368 3221214584 1131339131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24829 13086 16 0 209679 0
vsize: 838780
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 35949 47 0 0 25 0 11 0 777885242 858910720 24861 4294967295 134512640 134569956 3221224368 3221214556 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24861 13086 16 0 209679 0
vsize: 838780
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 36943 47 0 0 25 0 11 0 777885242 858910720 24861 4294967295 134512640 134569956 3221224368 3221214640 1131337312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24861 13086 16 0 209679 0
vsize: 838780
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 37938 47 0 0 25 0 11 0 777885242 858910720 24861 4294967295 134512640 134569956 3221224368 3221214556 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24861 13086 16 0 209679 0
vsize: 838780
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 38932 47 0 0 25 0 11 0 777885242 858910720 24894 4294967295 134512640 134569956 3221224368 3221214536 1131260047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24894 13086 16 0 209679 0
vsize: 838780
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 39925 47 0 0 25 0 11 0 777885242 858910720 24894 4294967295 134512640 134569956 3221224368 3221214608 1131335871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24894 13086 16 0 209679 0
vsize: 838780
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 40921 47 0 0 25 0 11 0 777885242 858910720 24894 4294967295 134512640 134569956 3221224368 3221214636 1131281248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24894 13086 16 0 209679 0
vsize: 838780
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 41915 47 0 0 25 0 11 0 777885242 858910720 24926 4294967295 134512640 134569956 3221224368 3221214632 1131495032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24926 13086 16 0 209679 0
vsize: 838780
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 42908 47 0 0 25 0 11 0 777885242 858910720 24926 4294967295 134512640 134569956 3221224368 3221214520 1131441977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24926 13086 16 0 209679 0
vsize: 838780
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 43904 47 0 0 25 0 11 0 777885242 858910720 24926 4294967295 134512640 134569956 3221224368 3221214376 1078033516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24926 13086 16 0 209679 0
vsize: 838780
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 44897 47 0 0 25 0 11 0 777885242 858910720 24957 4294967295 134512640 134569956 3221224368 3221214636 1131314560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24957 13086 16 0 209679 0
vsize: 838780
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 45893 48 0 0 25 0 11 0 777885242 858910720 24957 4294967295 134512640 134569956 3221224368 3221214632 1131494981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24957 13086 16 0 209679 0
vsize: 838780
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 46886 48 0 0 25 0 11 0 777885242 858910720 24957 4294967295 134512640 134569956 3221224368 3221214536 1131259311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24957 13086 16 0 209679 0
vsize: 838780
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 47879 48 0 0 25 0 11 0 777885242 858910720 24988 4294967295 134512640 134569956 3221224368 3221214520 1131442377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24988 13086 16 0 209679 0
vsize: 838780
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 48874 48 0 0 25 0 11 0 777885242 858910720 24988 4294967295 134512640 134569956 3221224368 3221214520 1131442377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24988 13086 16 0 209679 0
vsize: 838780
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 49868 48 0 0 25 0 11 0 777885242 858910720 24988 4294967295 134512640 134569956 3221224368 3221214608 1131335824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 24988 13086 16 0 209679 0
vsize: 838780
[startup+520.026 s]
Raw data (loadavg): 1.07 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 50861 48 0 0 25 0 11 0 777885242 858910720 25019 4294967295 134512640 134569956 3221224368 3221214504 1131365577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25019 13086 16 0 209679 0
vsize: 838780
[startup+530.026 s]
Raw data (loadavg): 1.06 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 51857 48 0 0 25 0 11 0 777885242 858910720 25019 4294967295 134512640 134569956 3221224368 3221214608 1131335884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25019 13086 16 0 209679 0
vsize: 838780
[startup+540.027 s]
Raw data (loadavg): 1.05 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 52850 48 0 0 25 0 11 0 777885242 858910720 25019 4294967295 134512640 134569956 3221224368 3221214584 1131339056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25019 13086 16 0 209679 0
vsize: 838780
[startup+550.028 s]
Raw data (loadavg): 1.04 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 53846 48 0 0 25 0 11 0 777885242 858910720 25052 4294967295 134512640 134569956 3221224368 3221214544 1131259325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25052 13086 16 0 209679 0
vsize: 838780
[startup+560.028 s]
Raw data (loadavg): 1.04 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 54839 49 0 0 25 0 11 0 777885242 858910720 25052 4294967295 134512640 134569956 3221224368 3221214640 1131337187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25052 13086 16 0 209679 0
vsize: 838780
[startup+570.028 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 55833 49 0 0 25 0 11 0 777885242 858910720 25084 4294967295 134512640 134569956 3221224368 3221214520 1131442444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25084 13086 16 0 209679 0
vsize: 838780
[startup+580.028 s]
Raw data (loadavg): 1.03 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 56829 49 0 0 25 0 11 0 777885242 858910720 25084 4294967295 134512640 134569956 3221224368 3221214520 1131442440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25084 13086 16 0 209679 0
vsize: 838780
[startup+590.028 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 57822 49 0 0 25 0 11 0 777885242 858910720 25084 4294967295 134512640 134569956 3221224368 3221214536 1131259311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25084 13086 16 0 209679 0
vsize: 838780
[startup+600.03 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 58815 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214616 1131281329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25116 13086 16 0 209679 0
vsize: 838780
[startup+610.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 59811 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214520 1131443331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25116 13086 16 0 209679 0
vsize: 838780
[startup+620.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 60805 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25116 13086 16 0 209679 0
vsize: 838780
[startup+630.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 61801 49 0 0 25 0 11 0 777885242 858910720 25116 4294967295 134512640 134569956 3221224368 3221214544 1131259061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25116 13086 16 0 209679 0
vsize: 838780
[startup+640.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 62794 49 0 0 25 0 11 0 777885242 858910720 25147 4294967295 134512640 134569956 3221224368 3221214544 1131259081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25147 13086 16 0 209679 0
vsize: 838780
[startup+650.032 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 63787 49 0 0 25 0 11 0 777885242 858910720 25147 4294967295 134512640 134569956 3221224368 3221214588 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25147 13086 16 0 209679 0
vsize: 838780
[startup+660.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 64783 49 0 0 25 0 11 0 777885242 858910720 25178 4294967295 134512640 134569956 3221224368 3221214520 1131442444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25178 13086 16 0 209679 0
vsize: 838780
[startup+670.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 65776 49 0 0 25 0 11 0 777885242 858910720 25178 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25178 13086 16 0 209679 0
vsize: 838780
[startup+680.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 66772 49 0 0 25 0 11 0 777885242 858910720 25178 4294967295 134512640 134569956 3221224368 3221214520 1131442597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25178 13086 16 0 209679 0
vsize: 838780
[startup+690.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 67765 49 0 0 25 0 11 0 777885242 858910720 25210 4294967295 134512640 134569956 3221224368 3221214640 1131337161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25210 13086 16 0 209679 0
vsize: 838780
[startup+700.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 68758 50 0 0 25 0 11 0 777885242 858910720 25210 4294967295 134512640 134569956 3221224368 3221214640 1131337187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25210 13086 16 0 209679 0
vsize: 838780
[startup+710.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 69754 50 0 0 25 0 11 0 777885242 858910720 25210 4294967295 134512640 134569956 3221224368 3221214632 1131495067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25210 13086 16 0 209679 0
vsize: 838780
[startup+720.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 70748 50 0 0 25 0 11 0 777885242 858910720 25243 4294967295 134512640 134569956 3221224368 3221214536 1131259311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25243 13086 16 0 209679 0
vsize: 838780
[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 71741 50 0 0 25 0 11 0 777885242 858910720 25243 4294967295 134512640 134569956 3221224368 3221214608 1131335890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25243 13086 16 0 209679 0
vsize: 838780
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 72737 50 0 0 25 0 11 0 777885242 858910720 25243 4294967295 134512640 134569956 3221224368 3221214640 1131337184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25243 13086 16 0 209679 0
vsize: 838780
[startup+750.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 73729 50 0 0 25 0 11 0 777885242 858910720 25274 4294967295 134512640 134569956 3221224368 3221214520 1131442336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25274 13086 16 0 209679 0
vsize: 838780
[startup+760.036 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 8207
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 74723 50 0 0 25 0 11 0 777885242 858910720 25274 4294967295 134512640 134569956 3221224368 3221214520 1131442440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25274 13086 16 0 209679 0
vsize: 838780
[startup+770.037 s]
Raw data (loadavg): 1.08 1.00 0.94 3/67 8248
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 75717 50 0 0 25 0 11 0 777885242 858910720 25274 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25274 13086 16 0 209679 0
vsize: 838780
[startup+780.039 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 76709 50 0 0 25 0 11 0 777885242 858910720 25306 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25306 13086 16 0 209679 0
vsize: 838780
[startup+790.039 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 77701 51 0 0 25 0 11 0 777885242 858910720 25306 4294967295 134512640 134569956 3221224368 3221214608 1131335918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25306 13086 16 0 209679 0
vsize: 838780
[startup+800.04 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 78696 51 0 0 25 0 11 0 777885242 858910720 25306 4294967295 134512640 134569956 3221224368 3221214616 1131281299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25306 13086 16 0 209679 0
vsize: 838780
[startup+810.041 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 79688 51 0 0 25 0 11 0 777885242 858910720 25337 4294967295 134512640 134569956 3221224368 3221214520 1131443149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25337 13086 16 0 209679 0
vsize: 838780
[startup+820.041 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 80680 51 0 0 25 0 11 0 777885242 858910720 25337 4294967295 134512640 134569956 3221224368 3221214608 1131335896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25337 13086 16 0 209679 0
vsize: 838780
[startup+830.042 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 81676 52 0 0 25 0 11 0 777885242 858910720 25337 4294967295 134512640 134569956 3221224368 3221214536 1131260019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25337 13086 16 0 209679 0
vsize: 838780
[startup+840.042 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 8260
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 82668 52 0 0 25 0 11 0 777885242 858910720 25382 4294967295 134512640 134569956 3221224368 3221214520 1131442384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25382 13086 16 0 209679 0
vsize: 838780
[startup+850.043 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 83661 52 0 0 25 0 11 0 777885242 858910720 25382 4294967295 134512640 134569956 3221224368 3221214608 1131335824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25382 13086 16 0 209679 0
vsize: 838780
[startup+860.043 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 84657 52 0 0 25 0 11 0 777885242 858910720 25382 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25382 13086 16 0 209679 0
vsize: 838780
[startup+870.044 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 85649 52 0 0 25 0 11 0 777885242 858910720 25417 4294967295 134512640 134569956 3221224368 3221214544 1131259272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25417 13086 16 0 209679 0
vsize: 838780
[startup+880.044 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 86642 53 0 0 24 0 11 0 777885242 858910720 25417 4294967295 134512640 134569956 3221224368 3221214544 1131259272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25417 13086 16 0 209679 0
vsize: 838780
[startup+890.045 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 87638 53 0 0 25 0 11 0 777885242 858910720 25417 4294967295 134512640 134569956 3221224368 3221214544 1131259360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25417 13086 16 0 209679 0
vsize: 838780
[startup+900.046 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 88630 53 0 0 25 0 11 0 777885242 858910720 25450 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25450 13086 16 0 209679 0
vsize: 838780
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 89625 53 0 0 25 0 11 0 777885242 858910720 25450 4294967295 134512640 134569956 3221224368 3221214636 1131339516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25450 13086 16 0 209679 0
vsize: 838780
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 90618 54 0 0 25 0 11 0 777885242 858910720 25450 4294967295 134512640 134569956 3221224368 3221214544 1131260047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25450 13086 16 0 209679 0
vsize: 838780
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 91611 54 0 0 25 0 11 0 777885242 858910720 25484 4294967295 134512640 134569956 3221224368 3221214632 1131495028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25484 13086 16 0 209679 0
vsize: 838780
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 92606 54 0 0 25 0 11 0 777885242 858910720 25484 4294967295 134512640 134569956 3221224368 3221214640 1131337228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25484 13086 16 0 209679 0
vsize: 838780
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 93599 54 0 0 25 0 11 0 777885242 858910720 25517 4294967295 134512640 134569956 3221224368 3221214556 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25517 13086 16 0 209679 0
vsize: 838780
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 94592 54 0 0 25 0 11 0 777885242 858910720 25517 4294967295 134512640 134569956 3221224368 3221214520 1131442462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25517 13086 16 0 209679 0
vsize: 838780
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 95588 55 0 0 25 0 11 0 777885242 858910720 25517 4294967295 134512640 134569956 3221224368 3221214584 1131339108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25517 13086 16 0 209679 0
vsize: 838780
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 96581 55 0 0 25 0 11 0 777885242 858910720 25550 4294967295 134512640 134569956 3221224368 3221214584 1131339104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25550 13086 16 0 209679 0
vsize: 838780
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 97574 55 0 0 25 0 11 0 777885242 858910720 25550 4294967295 134512640 134569956 3221224368 3221214616 1131338975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25550 13086 16 0 209679 0
vsize: 838780
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 98569 56 0 0 25 0 11 0 777885242 858910720 25550 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25550 13086 16 0 209679 0
vsize: 838780
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 99562 56 0 0 25 0 11 0 777885242 858910720 25583 4294967295 134512640 134569956 3221224368 3221214544 1131259311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25583 13086 16 0 209679 0
vsize: 838780
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 100554 56 0 0 25 0 11 0 777885242 858910720 25583 4294967295 134512640 134569956 3221224368 3221214584 1131339108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25583 13086 16 0 209679 0
vsize: 838780
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 101550 56 0 0 25 0 11 0 777885242 858910720 25583 4294967295 134512640 134569956 3221224368 3221214544 1131259311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25583 13086 16 0 209679 0
vsize: 838780
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 102542 57 0 0 25 0 11 0 777885242 858910720 25616 4294967295 134512640 134569956 3221224368 3221214632 1131494919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25616 13086 16 0 209679 0
vsize: 838780
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 103535 57 0 0 25 0 11 0 777885242 858910720 25616 4294967295 134512640 134569956 3221224368 3221214640 1131337228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25616 13086 16 0 209679 0
vsize: 838780
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 104531 57 0 0 25 0 11 0 777885242 858910720 25616 4294967295 134512640 134569956 3221224368 3221214584 1131339503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25616 13086 16 0 209679 0
vsize: 838780
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8262
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 105523 58 0 0 25 0 11 0 777885242 858910720 25649 4294967295 134512640 134569956 3221224368 3221214616 1131281329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25649 13086 16 0 209679 0
vsize: 838780
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 106518 58 0 0 25 0 11 0 777885242 858910720 25649 4294967295 134512640 134569956 3221224368 3221214560 1131175787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25649 13086 16 0 209679 0
vsize: 838780
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 107512 59 0 0 25 0 11 0 777885242 858910720 25649 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25649 13086 16 0 209679 0
vsize: 838780
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 108504 59 0 0 25 0 11 0 777885242 858910720 25682 4294967295 134512640 134569956 3221224368 3221214640 1131337136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25682 13086 16 0 209679 0
vsize: 838780
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 109497 60 0 0 24 0 11 0 777885242 858910720 25682 4294967295 134512640 134569956 3221224368 3221214584 1131339131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25682 13086 16 0 209679 0
vsize: 838780
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 110492 60 0 0 25 0 11 0 777885242 858910720 25682 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 25682 13086 16 0 209679 0
vsize: 838780
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 111485 60 0 0 25 0 11 0 777885242 858910720 25714 4294967295 134512640 134569956 3221224368 3221214608 1131335890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25714 13086 16 0 209679 0
vsize: 838780
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 112481 60 0 0 25 0 11 0 777885242 858910720 25714 4294967295 134512640 134569956 3221224368 3221214632 1131494919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25714 13086 16 0 209679 0
vsize: 838780
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 113474 61 0 0 25 0 11 0 777885242 858910720 25714 4294967295 134512640 134569956 3221224368 3221214544 1131259272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25714 13086 16 0 209679 0
vsize: 838780
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 114466 62 0 0 25 0 11 0 777885242 858910720 25745 4294967295 134512640 134569956 3221224368 3221214536 1131259272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25745 13086 16 0 209679 0
vsize: 838780
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 115461 62 0 0 25 0 11 0 777885242 858910720 25745 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25745 13086 16 0 209679 0
vsize: 838780
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 116452 62 0 0 25 0 11 0 777885242 858910720 25745 4294967295 134512640 134569956 3221224368 3221214616 1131281329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25745 13086 16 0 209679 0
vsize: 838780
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 117443 63 0 0 25 0 11 0 777885242 858910720 25776 4294967295 134512640 134569956 3221224368 3221214584 1131339482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25776 13086 16 0 209679 0
vsize: 838780
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 118435 63 0 0 25 0 11 0 777885242 858910720 25776 4294967295 134512640 134569956 3221224368 3221214520 1131442103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25776 13086 16 0 209679 0
vsize: 838780
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 119427 63 0 0 25 0 11 0 777885242 858910720 25807 4294967295 134512640 134569956 3221224368 3221214636 1131338953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25807 13086 16 0 209679 0
vsize: 838780
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8264
Raw data (stat): 8197 (java) R 8196 32284 32283 0 -1 0 18001 0 88 0 120419 63 0 0 25 0 11 0 777885242 858910720 25807 4294967295 134512640 134569956 3221224368 3221214520 1131441975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209695 25807 13086 16 0 209679 0
vsize: 838780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 8266
Raw data (stat): 8197 (java) Z 8196 32284 32283 0 -1 1036 18001 6271 88 0 120424 63 955 15 25 0 1 0 777885242 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.17
CPU time (s): 1214.6
CPU user time (s): 1213.8
CPU system time (s): 0.796878
CPU usage (%): 99.5433
Max. virtual memory (Kb): 838780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####