PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	c8b965306fec2c21edee64824d12f378
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 29651

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 09:58:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21052 boxname=wulflinc26 idbench=1040 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c8b965306fec2c21edee64824d12f378  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 21052
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        375788 kB
Buffers:         36832 kB
Cached:         598788 kB
SwapCached:        656 kB
Active:         143680 kB
Inactive:       494540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        375536 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            14864 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:19:22 (client local time) WITH STATUS 143 IN 1217.17 SECONDS
stats: 21052 7 1217.17 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/wulflinc26/normalized-mps-v2-20-10-markshare1.opb
c reading problem ... done. Time 0.556 ms.
c #vars     230
c #constraints  12
c starts	: 4
c conflicts	: 619
c decisions	: 8187
c propagations	: 20633
c inspects	: 3026012
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 619
c root simplifications	: 623
s UNKNOWN
c Total CPU time (ms) : 1219.067
#### 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 2463
Raw data (stat): 2463 (runsolver) R 2462 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837990282 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.16 1.03 1.01 3/64 2473
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18073 0 1 0 700 41 0 0 25 0 11 0 837990282 871923712 22824 4294967295 134512640 134569956 3221224368 3221214592 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212872 22824 13086 16 0 212856 0
vsize: 851488
[startup+20.001 s]
Raw data (loadavg): 1.29 1.06 1.02 3/64 2473
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18080 0 1 0 1647 42 0 0 25 0 11 0 837990282 872935424 23307 4294967295 134512640 134569956 3221224368 3221214552 1131174345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213119 23307 13086 16 0 213103 0
vsize: 852476
[startup+30.0017 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 2473
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 2616 42 0 0 25 0 11 0 837990282 871034880 23026 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23026 13086 16 0 212639 0
vsize: 850620
[startup+40.0018 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 2473
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 3587 42 0 0 25 0 11 0 837990282 871034880 23100 4294967295 134512640 134569956 3221224368 3221214552 1131176138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23100 13086 16 0 212639 0
vsize: 850620
[startup+50.0021 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 2473
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 4561 43 0 0 25 0 11 0 837990282 871034880 23300 4294967295 134512640 134569956 3221224368 3221214552 1131175268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23300 13086 16 0 212639 0
vsize: 850620
[startup+60.0027 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 2473
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 5546 43 0 0 25 0 11 0 837990282 871034880 23357 4294967295 134512640 134569956 3221224368 3221214648 1131553764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23357 13086 16 0 212639 0
vsize: 850620
[startup+70.0039 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 2527
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 6528 46 0 0 25 0 11 0 837990282 871034880 23397 4294967295 134512640 134569956 3221224368 3221214648 1131558100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23397 13086 16 0 212639 0
vsize: 850620
[startup+80.0051 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 2527
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 7516 47 0 0 25 0 11 0 837990282 871034880 23455 4294967295 134512640 134569956 3221224368 3221214552 1131174468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23455 13086 16 0 212639 0
vsize: 850620
[startup+90.0048 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 2527
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 8504 47 0 0 25 0 11 0 837990282 871034880 23487 4294967295 134512640 134569956 3221224368 3221214552 1131174629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23487 13086 16 0 212639 0
vsize: 850620
[startup+100.005 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 2527
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 9495 47 0 0 25 0 11 0 837990282 871034880 23512 4294967295 134512640 134569956 3221224368 3221214552 1131174393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23512 13086 16 0 212639 0
vsize: 850620
[startup+110.006 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 2527
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 10485 48 0 0 25 0 11 0 837990282 871034880 23536 4294967295 134512640 134569956 3221224368 3221214648 1131551708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23536 13086 16 0 212639 0
vsize: 850620
[startup+120.006 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 2527
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 11477 48 0 0 25 0 11 0 837990282 871034880 23556 4294967295 134512640 134569956 3221224368 3221214648 1131551243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23556 13086 16 0 212639 0
vsize: 850620
[startup+130.007 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 12469 48 0 0 25 0 11 0 837990282 871034880 23576 4294967295 134512640 134569956 3221224368 3221214648 1131550169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23576 13086 16 0 212639 0
vsize: 850620
[startup+140.006 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 13457 48 0 0 25 0 11 0 837990282 871034880 23594 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23594 13086 16 0 212639 0
vsize: 850620
[startup+150.007 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 14445 48 0 0 25 0 11 0 837990282 871034880 23612 4294967295 134512640 134569956 3221224368 3221214552 1131174495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23612 13086 16 0 212639 0
vsize: 850620
[startup+160.008 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 15433 49 0 0 25 0 11 0 837990282 871034880 23640 4294967295 134512640 134569956 3221224368 3221214648 1131549027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23640 13086 16 0 212639 0
vsize: 850620
[startup+170.009 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18081 0 1 0 16423 49 0 0 25 0 11 0 837990282 871034880 23698 4294967295 134512640 134569956 3221224368 3221214648 1131551183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23698 13086 16 0 212639 0
vsize: 850620
[startup+180.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 17414 49 0 0 25 0 11 0 837990282 871034880 23713 4294967295 134512640 134569956 3221224368 3221214648 1131559249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23713 13086 16 0 212639 0
vsize: 850620
[startup+190.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 18405 50 0 0 25 0 11 0 837990282 871034880 23729 4294967295 134512640 134569956 3221224368 3221214648 1131558055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23729 13086 16 0 212639 0
vsize: 850620
[startup+200.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 19397 50 0 0 25 0 11 0 837990282 871034880 23743 4294967295 134512640 134569956 3221224368 3221214552 1131174393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23743 13086 16 0 212639 0
vsize: 850620
[startup+210.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 20388 50 0 0 25 0 11 0 837990282 871034880 23758 4294967295 134512640 134569956 3221224368 3221214552 1131174393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23758 13086 16 0 212639 0
vsize: 850620
[startup+220.01 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 21380 50 0 0 25 0 11 0 837990282 871034880 23770 4294967295 134512640 134569956 3221224368 3221214648 1131557995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23770 13086 16 0 212639 0
vsize: 850620
[startup+230.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 22371 51 0 0 25 0 11 0 837990282 871034880 23784 4294967295 134512640 134569956 3221224368 3221214552 1131174393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23784 13086 16 0 212639 0
vsize: 850620
[startup+240.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 23363 51 0 0 25 0 11 0 837990282 871034880 23798 4294967295 134512640 134569956 3221224368 3221214552 1131174414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23798 13086 16 0 212639 0
vsize: 850620
[startup+250.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 24354 51 0 0 25 0 11 0 837990282 871034880 23813 4294967295 134512640 134569956 3221224368 3221214648 1131549134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23813 13086 16 0 212639 0
vsize: 850620
[startup+260.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 25346 51 0 0 25 0 11 0 837990282 871034880 23826 4294967295 134512640 134569956 3221224368 3221214648 1131559116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23826 13086 16 0 212639 0
vsize: 850620
[startup+270.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 26338 52 0 0 25 0 11 0 837990282 871034880 23837 4294967295 134512640 134569956 3221224368 3221214648 1131558883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23837 13086 16 0 212639 0
vsize: 850620
[startup+280.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 27331 52 0 0 25 0 11 0 837990282 871034880 23850 4294967295 134512640 134569956 3221224368 3221214552 1131174430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23850 13086 16 0 212639 0
vsize: 850620
[startup+290.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 28322 52 0 0 25 0 11 0 837990282 871034880 23861 4294967295 134512640 134569956 3221224368 3221214648 1131551319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23861 13086 16 0 212639 0
vsize: 850620
[startup+300.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 29314 52 0 0 25 0 11 0 837990282 871034880 23873 4294967295 134512640 134569956 3221224368 3221214552 1131174376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23873 13086 16 0 212639 0
vsize: 850620
[startup+310.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 30306 53 0 0 25 0 11 0 837990282 871034880 23883 4294967295 134512640 134569956 3221224368 3221214648 1131559145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23883 13086 16 0 212639 0
vsize: 850620
[startup+320.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 31298 53 0 0 25 0 11 0 837990282 871034880 23893 4294967295 134512640 134569956 3221224368 3221214648 1131551553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23893 13086 16 0 212639 0
vsize: 850620
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 32290 53 0 0 25 0 11 0 837990282 871034880 23905 4294967295 134512640 134569956 3221224368 3221214648 1131558152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23905 13086 16 0 212639 0
vsize: 850620
[startup+340.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 33281 53 0 0 25 0 11 0 837990282 871034880 23913 4294967295 134512640 134569956 3221224368 3221214552 1131174601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23913 13086 16 0 212639 0
vsize: 850620
[startup+350.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 34273 53 0 0 25 0 11 0 837990282 871034880 23925 4294967295 134512640 134569956 3221224368 3221214552 1131174376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23925 13086 16 0 212639 0
vsize: 850620
[startup+360.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 35265 54 0 0 25 0 11 0 837990282 871034880 23935 4294967295 134512640 134569956 3221224368 3221214648 1131550194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23935 13086 16 0 212639 0
vsize: 850620
[startup+370.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) S 2462 20687 20686 0 -1 0 18082 0 1 0 36256 54 0 0 25 0 11 0 837990282 871034880 23945 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23945 13086 16 0 212639 0
vsize: 850620
[startup+380.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 37248 54 0 0 25 0 11 0 837990282 871034880 23955 4294967295 134512640 134569956 3221224368 3221214552 1131174491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23955 13086 16 0 212639 0
vsize: 850620
[startup+390.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2529
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 38240 55 0 0 25 0 11 0 837990282 871034880 23963 4294967295 134512640 134569956 3221224368 3221214648 1131559129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23963 13086 16 0 212639 0
vsize: 850620
[startup+400.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 39231 55 0 0 25 0 11 0 837990282 871034880 23975 4294967295 134512640 134569956 3221224368 3221214648 1131557921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23975 13086 16 0 212639 0
vsize: 850620
[startup+410.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 40223 56 0 0 25 0 11 0 837990282 871034880 23983 4294967295 134512640 134569956 3221224368 3221214600 1131170093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 23983 13086 16 0 212639 0
vsize: 850620
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 41215 56 0 0 25 0 11 0 837990282 871034880 23993 4294967295 134512640 134569956 3221224368 3221214648 1131552642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 23993 13086 16 0 212639 0
vsize: 850620
[startup+430.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 42206 56 0 0 25 0 11 0 837990282 871034880 24001 4294967295 134512640 134569956 3221224368 3221214648 1131553764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24001 13086 16 0 212639 0
vsize: 850620
[startup+440.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 43198 56 0 0 25 0 11 0 837990282 871034880 24011 4294967295 134512640 134569956 3221224368 3221214728 1131246452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24011 13086 16 0 212639 0
vsize: 850620
[startup+450.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 44189 57 0 0 25 0 11 0 837990282 871034880 24019 4294967295 134512640 134569956 3221224368 3221214552 1131174393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24019 13086 16 0 212639 0
vsize: 850620
[startup+460.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 45182 57 0 0 25 0 11 0 837990282 871034880 24029 4294967295 134512640 134569956 3221224368 3221214648 1131552781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24029 13086 16 0 212639 0
vsize: 850620
[startup+470.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 46172 57 0 0 25 0 11 0 837990282 871034880 24039 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24039 13086 16 0 212639 0
vsize: 850620
[startup+480.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 47161 57 0 0 25 0 11 0 837990282 871034880 24047 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24047 13086 16 0 212639 0
vsize: 850620
[startup+490.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 48150 57 0 0 25 0 11 0 837990282 871034880 24055 4294967295 134512640 134569956 3221224368 3221214648 1131551679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24055 13086 16 0 212639 0
vsize: 850620
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 49134 57 0 0 25 0 11 0 837990282 871034880 24083 4294967295 134512640 134569956 3221224368 3221214648 1131549166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24083 13086 16 0 212639 0
vsize: 850620
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 50119 57 0 0 25 0 11 0 837990282 871034880 24095 4294967295 134512640 134569956 3221224368 3221214648 1131557947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24095 13086 16 0 212639 0
vsize: 850620
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 51106 58 0 0 25 0 11 0 837990282 871034880 24168 4294967295 134512640 134569956 3221224368 3221214552 1131175132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24168 13086 16 0 212639 0
vsize: 850620
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 52098 58 0 0 25 0 11 0 837990282 871034880 24190 4294967295 134512640 134569956 3221224368 3221214648 1131549166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24190 13086 16 0 212639 0
vsize: 850620
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 53090 58 0 0 25 0 11 0 837990282 871034880 24198 4294967295 134512640 134569956 3221224368 3221214856 1131305418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24198 13086 16 0 212639 0
vsize: 850620
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 54080 58 0 0 25 0 11 0 837990282 871034880 24206 4294967295 134512640 134569956 3221224368 3221214552 1131174393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24206 13086 16 0 212639 0
vsize: 850620
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 55072 58 0 0 25 0 11 0 837990282 871034880 24214 4294967295 134512640 134569956 3221224368 3221214552 1131176178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24214 13086 16 0 212639 0
vsize: 850620
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 56063 58 0 0 25 0 11 0 837990282 871034880 24222 4294967295 134512640 134569956 3221224368 3221214552 1131174372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24222 13086 16 0 212639 0
vsize: 850620
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 57054 58 0 0 25 0 11 0 837990282 871034880 24229 4294967295 134512640 134569956 3221224368 3221214648 1131551302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24229 13086 16 0 212639 0
vsize: 850620
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 58045 58 0 0 25 0 11 0 837990282 871034880 24237 4294967295 134512640 134569956 3221224368 3221214648 1131557126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24237 13086 16 0 212639 0
vsize: 850620
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 59036 58 0 0 25 0 11 0 837990282 871034880 24245 4294967295 134512640 134569956 3221224368 3221214648 1131559109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24245 13086 16 0 212639 0
vsize: 850620
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 60027 58 0 0 25 0 11 0 837990282 871034880 24253 4294967295 134512640 134569956 3221224368 3221214648 1131559266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24253 13086 16 0 212639 0
vsize: 850620
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 61018 58 0 0 25 0 11 0 837990282 871034880 24259 4294967295 134512640 134569956 3221224368 3221214552 1131176098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24259 13086 16 0 212639 0
vsize: 850620
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 62009 58 0 0 25 0 11 0 837990282 871034880 24267 4294967295 134512640 134569956 3221224368 3221214648 1131551575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24267 13086 16 0 212639 0
vsize: 850620
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 63000 58 0 0 25 0 11 0 837990282 871034880 24275 4294967295 134512640 134569956 3221224368 3221214552 1131174389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24275 13086 16 0 212639 0
vsize: 850620
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 63991 58 0 0 25 0 11 0 837990282 871034880 24281 4294967295 134512640 134569956 3221224368 3221214552 1131174491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24281 13086 16 0 212639 0
vsize: 850620
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 64982 58 0 0 25 0 11 0 837990282 871034880 24289 4294967295 134512640 134569956 3221224368 3221214648 1131551451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24289 13086 16 0 212639 0
vsize: 850620
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 65973 58 0 0 25 0 11 0 837990282 871034880 24295 4294967295 134512640 134569956 3221224368 3221214600 1131170141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24295 13086 16 0 212639 0
vsize: 850620
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 66964 58 0 0 25 0 11 0 837990282 871034880 24303 4294967295 134512640 134569956 3221224368 3221214552 1131174325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24303 13086 16 0 212639 0
vsize: 850620
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 67955 58 0 0 25 0 11 0 837990282 871034880 24309 4294967295 134512640 134569956 3221224368 3221214648 1131549166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24309 13086 16 0 212639 0
vsize: 850620
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 68946 58 0 0 25 0 11 0 837990282 871034880 24317 4294967295 134512640 134569956 3221224368 3221214648 1131550373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24317 13086 16 0 212639 0
vsize: 850620
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 69936 58 0 0 25 0 11 0 837990282 871034880 24325 4294967295 134512640 134569956 3221224368 3221214552 1131174605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24325 13086 16 0 212639 0
vsize: 850620
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 70928 58 0 0 25 0 11 0 837990282 871034880 24333 4294967295 134512640 134569956 3221224368 3221214644 1131174272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24333 13086 16 0 212639 0
vsize: 850620
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 71918 58 0 0 25 0 11 0 837990282 871034880 24339 4294967295 134512640 134569956 3221224368 3221214648 1131557089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24339 13086 16 0 212639 0
vsize: 850620
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 72910 58 0 0 25 0 11 0 837990282 871034880 24345 4294967295 134512640 134569956 3221224368 3221214648 1131548939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24345 13086 16 0 212639 0
vsize: 850620
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 73900 59 0 0 25 0 11 0 837990282 871034880 24351 4294967295 134512640 134569956 3221224368 3221214552 1131174641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24351 13086 16 0 212639 0
vsize: 850620
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 74890 59 0 0 25 0 11 0 837990282 871034880 24359 4294967295 134512640 134569956 3221224368 3221214552 1131175177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24359 13086 16 0 212639 0
vsize: 850620
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 75882 59 0 0 25 0 11 0 837990282 871034880 24365 4294967295 134512640 134569956 3221224368 3221214648 1131549166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24365 13086 16 0 212639 0
vsize: 850620
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 76872 59 0 0 25 0 11 0 837990282 871034880 24373 4294967295 134512640 134569956 3221224368 3221214648 1131551159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24373 13086 16 0 212639 0
vsize: 850620
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 77862 59 0 0 25 0 11 0 837990282 871034880 24379 4294967295 134512640 134569956 3221224368 3221214648 1131551379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24379 13086 16 0 212639 0
vsize: 850620
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 78853 59 0 0 25 0 11 0 837990282 871034880 24385 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24385 13086 16 0 212639 0
vsize: 850620
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 79843 59 0 0 25 0 11 0 837990282 871034880 24391 4294967295 134512640 134569956 3221224368 3221214552 1131175304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24391 13086 16 0 212639 0
vsize: 850620
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 80834 59 0 0 25 0 11 0 837990282 871034880 24397 4294967295 134512640 134569956 3221224368 3221214648 1131553695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24397 13086 16 0 212639 0
vsize: 850620
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 81824 59 0 0 25 0 11 0 837990282 871034880 24405 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24405 13086 16 0 212639 0
vsize: 850620
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 82813 59 0 0 25 0 11 0 837990282 871034880 24413 4294967295 134512640 134569956 3221224368 3221214552 1131174570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24413 13086 16 0 212639 0
vsize: 850620
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 83804 59 0 0 25 0 11 0 837990282 871034880 24417 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24417 13086 16 0 212639 0
vsize: 850620
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 84794 59 0 0 25 0 11 0 837990282 871034880 24429 4294967295 134512640 134569956 3221224368 3221214552 1131175304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24429 13086 16 0 212639 0
vsize: 850620
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 85785 59 0 0 25 0 11 0 837990282 871034880 24435 4294967295 134512640 134569956 3221224368 3221214552 1131174353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24435 13086 16 0 212639 0
vsize: 850620
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 86775 59 0 0 25 0 11 0 837990282 871034880 24443 4294967295 134512640 134569956 3221224368 3221214648 1131558152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24443 13086 16 0 212639 0
vsize: 850620
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 87765 59 0 0 25 0 11 0 837990282 871034880 24449 4294967295 134512640 134569956 3221224368 3221214648 1131549134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24449 13086 16 0 212639 0
vsize: 850620
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 88756 59 0 0 25 0 11 0 837990282 871034880 24455 4294967295 134512640 134569956 3221224368 3221214392 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24455 13086 16 0 212639 0
vsize: 850620
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 89746 59 0 0 25 0 11 0 837990282 871034880 24461 4294967295 134512640 134569956 3221224368 3221214552 1131174570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212655 24461 13086 16 0 212639 0
vsize: 850620
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 90736 59 0 0 25 0 11 0 837990282 871034880 24467 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24467 13086 16 0 212639 0
vsize: 850620
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 91726 60 0 0 25 0 11 0 837990282 871034880 24473 4294967295 134512640 134569956 3221224368 3221214552 1131174303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24473 13086 16 0 212639 0
vsize: 850620
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 92716 60 0 0 25 0 11 0 837990282 871034880 24479 4294967295 134512640 134569956 3221224368 3221214648 1131558140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24479 13086 16 0 212639 0
vsize: 850620
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 93705 60 0 0 25 0 11 0 837990282 871034880 24485 4294967295 134512640 134569956 3221224368 3221214552 1131174353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24485 13086 16 0 212639 0
vsize: 850620
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) S 2462 20687 20686 0 -1 0 18082 0 1 0 94695 60 0 0 25 0 11 0 837990282 871034880 24491 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24491 13086 16 0 212639 0
vsize: 850620
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 95685 60 0 0 25 0 11 0 837990282 871034880 24497 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24497 13086 16 0 212639 0
vsize: 850620
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 96675 61 0 0 25 0 11 0 837990282 871034880 24503 4294967295 134512640 134569956 3221224368 3221214648 1131549127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24503 13086 16 0 212639 0
vsize: 850620
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 97664 61 0 0 25 0 11 0 837990282 871034880 24507 4294967295 134512640 134569956 3221224368 3221214648 1131557963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24507 13086 16 0 212639 0
vsize: 850620
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 98654 61 0 0 25 0 11 0 837990282 871034880 24515 4294967295 134512640 134569956 3221224368 3221214552 1131174586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24515 13086 16 0 212639 0
vsize: 850620
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 99643 61 0 0 25 0 11 0 837990282 871034880 24521 4294967295 134512640 134569956 3221224368 3221214600 1131170141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24521 13086 16 0 212639 0
vsize: 850620
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 100633 61 0 0 25 0 11 0 837990282 871034880 24525 4294967295 134512640 134569956 3221224368 3221214648 1131559883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24525 13086 16 0 212639 0
vsize: 850620
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 101622 62 0 0 25 0 11 0 837990282 871034880 24531 4294967295 134512640 134569956 3221224368 3221214648 1131559098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24531 13086 16 0 212639 0
vsize: 850620
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 102612 62 0 0 25 0 11 0 837990282 871034880 24537 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24537 13086 16 0 212639 0
vsize: 850620
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 103600 62 0 0 25 0 11 0 837990282 871034880 24543 4294967295 134512640 134569956 3221224368 3221214648 1131549134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24543 13086 16 0 212639 0
vsize: 850620
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 104591 62 0 0 25 0 11 0 837990282 871034880 24547 4294967295 134512640 134569956 3221224368 3221214552 1131174433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24547 13086 16 0 212639 0
vsize: 850620
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 105580 63 0 0 25 0 11 0 837990282 871034880 24555 4294967295 134512640 134569956 3221224368 3221214552 1131175199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24555 13086 16 0 212639 0
vsize: 850620
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 106569 63 0 0 25 0 11 0 837990282 871034880 24559 4294967295 134512640 134569956 3221224368 3221214648 1131559058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24559 13086 16 0 212639 0
vsize: 850620
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 107558 64 0 0 25 0 11 0 837990282 871034880 24565 4294967295 134512640 134569956 3221224368 3221214648 1131553705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24565 13086 16 0 212639 0
vsize: 850620
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 108548 64 0 0 25 0 11 0 837990282 871034880 24571 4294967295 134512640 134569956 3221224368 3221214648 1131552668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24571 13086 16 0 212639 0
vsize: 850620
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 109537 64 0 0 25 0 11 0 837990282 871034880 24577 4294967295 134512640 134569956 3221224368 3221214552 1131174570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24577 13086 16 0 212639 0
vsize: 850620
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 110526 65 0 0 25 0 11 0 837990282 871034880 24581 4294967295 134512640 134569956 3221224368 3221214552 1131174653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24581 13086 16 0 212639 0
vsize: 850620
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 111515 65 0 0 25 0 11 0 837990282 871034880 24587 4294967295 134512640 134569956 3221224368 3221214552 1131174351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24587 13086 16 0 212639 0
vsize: 850620
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 112504 66 0 0 25 0 11 0 837990282 871034880 24593 4294967295 134512640 134569956 3221224368 3221214648 1131549134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24593 13086 16 0 212639 0
vsize: 850620
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 113494 67 0 0 25 0 11 0 837990282 871034880 24597 4294967295 134512640 134569956 3221224368 3221214648 1131558859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24597 13086 16 0 212639 0
vsize: 850620
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 114484 67 0 0 25 0 11 0 837990282 871034880 24603 4294967295 134512640 134569956 3221224368 3221214832 1131169241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24603 13086 16 0 212639 0
vsize: 850620
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 115473 68 0 0 25 0 11 0 837990282 871034880 24609 4294967295 134512640 134569956 3221224368 3221214648 1131557953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24609 13086 16 0 212639 0
vsize: 850620
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 116463 68 0 0 25 0 11 0 837990282 871034880 24613 4294967295 134512640 134569956 3221224368 3221214552 1131176132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24613 13086 16 0 212639 0
vsize: 850620
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 117452 69 0 0 25 0 11 0 837990282 871034880 24619 4294967295 134512640 134569956 3221224368 3221214552 1131175163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24619 13086 16 0 212639 0
vsize: 850620
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 118442 70 0 0 25 0 11 0 837990282 871034880 24624 4294967295 134512640 134569956 3221224368 3221214624 1131182630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24624 13086 16 0 212639 0
vsize: 850620
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 119431 70 0 0 25 0 11 0 837990282 871034880 24628 4294967295 134512640 134569956 3221224368 3221214648 1131552760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24628 13086 16 0 212639 0
vsize: 850620
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2531
Raw data (stat): 2463 (java) R 2462 20687 20686 0 -1 0 18082 0 1 0 120421 70 0 0 25 0 11 0 837990282 871034880 24635 4294967295 134512640 134569956 3221224368 3221214648 1131559098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212655 24635 13086 16 0 212639 0
vsize: 850620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2533
Raw data (stat): 2463 (java) Z 2462 20687 20686 0 -1 1036 18082 2119 1 0 120425 70 1198 21 25 0 1 0 837990282 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.13
CPU time (s): 1217.17
CPU user time (s): 1216.24
CPU system time (s): 0.925859
CPU usage (%): 99.7575
Max. virtual memory (Kb): 852476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####