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/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	3275929be36299f0a23379c5fe15d197
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.19097
Number of variables	21960
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	372
Trace number 29619

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 09:38:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21021 boxname=wulflinc26 idbench=1009 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3275929be36299f0a23379c5fe15d197  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-tr12-30.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-tr12-30.opb
IDLAUNCH: 21021
/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:        374540 kB
Buffers:         36520 kB
Cached:         599984 kB
SwapCached:        656 kB
Active:         144580 kB
Inactive:       494500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        374288 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15344 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:58:52 (client local time) WITH STATUS 143 IN 1239.23 SECONDS
stats: 21021 7 1239.23 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-tr12-30.opb
c reading problem ... done. Time 139.858 ms.
c #vars     21960
c #constraints  1110
c starts	: 4
c conflicts	: 646
c decisions	: 88564
c propagations	: 204842
c inspects	: 967566
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 646
c root simplifications	: 590
s UNKNOWN
c Total CPU time (ms) : 1239.111
#### 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): 1.05 1.01 1.00 2/54 2359
Raw data (stat): 2359 (runsolver) R 2358 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837865320 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.0009 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18010 0 1 0 872 42 0 0 25 0 10 0 837865320 853778432 19362 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208442 19362 13086 16 0 208426 0
vsize: 833768
[startup+20.0015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18011 0 1 0 1767 42 0 0 25 0 10 0 837865320 854425600 19991 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 19991 13086 16 0 208584 0
vsize: 834400
[startup+30.0022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18011 0 1 0 2661 42 0 0 20 0 10 0 837865320 854425600 20480 4294967295 134512640 134569956 3221224368 3221214464 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20480 13086 16 0 208584 0
vsize: 834400
[startup+40.0019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18033 0 1 0 3577 42 0 0 25 0 10 0 837865320 854425600 20795 4294967295 134512640 134569956 3221224368 3221214044 1077070818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 20795 13086 16 0 208584 0
vsize: 834400
[startup+50.0017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18035 0 1 0 4480 43 0 0 25 0 10 0 837865320 857374720 21695 4294967295 134512640 134569956 3221224368 3221214800 1131241222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209320 21695 13086 16 0 209304 0
vsize: 837280
[startup+60.0023 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18035 0 1 0 5360 43 0 0 25 0 10 0 837865320 855998464 21562 4294967295 134512640 134569956 3221224368 3221214800 1131243467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 21562 13086 16 0 208968 0
vsize: 835936
[startup+70.003 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18035 0 1 0 6253 43 0 0 25 0 10 0 837865320 855965696 21876 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 21876 13086 16 0 208960 0
vsize: 835904
[startup+80.0037 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18035 0 1 0 7156 44 0 0 25 0 10 0 837865320 855965696 22091 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 22091 13086 16 0 208960 0
vsize: 835904
[startup+90.0038 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18035 0 1 0 8064 44 0 0 24 0 10 0 837865320 855965696 22293 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 22293 13086 16 0 208960 0
vsize: 835904
[startup+100.003 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18035 0 1 0 8976 44 0 0 24 0 10 0 837865320 855965696 22476 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 22476 13086 16 0 208960 0
vsize: 835904
[startup+110.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18036 0 1 0 9890 45 0 0 24 0 10 0 837865320 855965696 22654 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 22654 13086 16 0 208960 0
vsize: 835904
[startup+120.003 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18036 0 1 0 10805 45 0 0 25 0 10 0 837865320 855965696 22816 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 22816 13086 16 0 208960 0
vsize: 835904
[startup+130.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18036 0 1 0 11725 45 0 0 25 0 10 0 837865320 855965696 22970 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 22970 13086 16 0 208960 0
vsize: 835904
[startup+140.032 s]
Raw data (loadavg): 1.02 1.02 1.00 4/63 2368
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18036 0 1 0 12644 46 0 0 25 0 10 0 837865320 855965696 23120 4294967295 134512640 134569956 3221224368 3221213524 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208976 23120 13086 16 0 208960 0
vsize: 835904
[startup+150.032 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18074 0 1 0 13557 47 0 0 25 0 11 0 837865320 856494080 23585 4294967295 134512640 134569956 3221224368 3221214728 1131255794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209105 23585 13086 16 0 209089 0
vsize: 836420
[startup+160.032 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18075 0 1 0 14473 47 0 0 25 0 11 0 837865320 856494080 23635 4294967295 134512640 134569956 3221224368 3221214572 1131364362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209105 23635 13086 16 0 209089 0
vsize: 836420
[startup+170.033 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18075 0 1 0 15444 47 0 0 25 0 11 0 837865320 856494080 24475 4294967295 134512640 134569956 3221224368 3221214724 1131236677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24475 13086 16 0 209089 0
vsize: 836420
[startup+180.034 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18075 0 1 0 16407 47 0 0 25 0 11 0 837865320 856494080 24491 4294967295 134512640 134569956 3221224368 3221214632 1131361253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24491 13086 16 0 209089 0
vsize: 836420
[startup+190.033 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18075 0 1 0 17381 47 0 0 25 0 11 0 837865320 856494080 24543 4294967295 134512640 134569956 3221224368 3221214728 1131325194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24543 13086 16 0 209089 0
vsize: 836420
[startup+200.033 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 18354 47 0 0 25 0 11 0 837865320 856494080 24642 4294967295 134512640 134569956 3221224368 3221214728 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24642 13086 16 0 209089 0
vsize: 836420
[startup+210.034 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 19333 47 0 0 25 0 11 0 837865320 856494080 24675 4294967295 134512640 134569956 3221224368 3221214448 1079721761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24675 13086 16 0 209089 0
vsize: 836420
[startup+220.034 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 20304 47 0 0 24 0 11 0 837865320 856494080 24716 4294967295 134512640 134569956 3221224368 3221214616 1131361316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24716 13086 16 0 209089 0
vsize: 836420
[startup+230.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 21268 47 0 0 25 0 11 0 837865320 856494080 24759 4294967295 134512640 134569956 3221224368 3221214616 1131362228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24759 13086 16 0 209089 0
vsize: 836420
[startup+240.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 22227 48 0 0 25 0 11 0 837865320 856494080 24796 4294967295 134512640 134569956 3221224368 3221214648 1131494635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24796 13086 16 0 209089 0
vsize: 836420
[startup+250.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 23183 48 0 0 25 0 11 0 837865320 856494080 24907 4294967295 134512640 134569956 3221224368 3221214712 1131325148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 24907 13086 16 0 209089 0
vsize: 836420
[startup+260.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 24142 48 0 0 25 0 11 0 837865320 856494080 25040 4294967295 134512640 134569956 3221224368 3221214704 1131394033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25040 13086 16 0 209089 0
vsize: 836420
[startup+270.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 25105 48 0 0 25 0 11 0 837865320 856494080 25142 4294967295 134512640 134569956 3221224368 3221214616 1131361335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25142 13086 16 0 209089 0
vsize: 836420
[startup+280.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 26067 48 0 0 25 0 11 0 837865320 856494080 25252 4294967295 134512640 134569956 3221224368 3221214600 1131355463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25252 13086 16 0 209089 0
vsize: 836420
[startup+290.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 27037 48 0 0 25 0 11 0 837865320 856494080 25380 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25380 13086 16 0 209089 0
vsize: 836420
[startup+300.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 28009 48 0 0 25 0 11 0 837865320 856494080 25468 4294967295 134512640 134569956 3221224368 3221214712 1131255863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25468 13086 16 0 209089 0
vsize: 836420
[startup+310.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 28981 48 0 0 25 0 11 0 837865320 856494080 25544 4294967295 134512640 134569956 3221224368 3221214736 1131368870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25544 13086 16 0 209089 0
vsize: 836420
[startup+320.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 29956 48 0 0 25 0 11 0 837865320 856494080 25607 4294967295 134512640 134569956 3221224368 3221214616 1131361609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25607 13086 16 0 209089 0
vsize: 836420
[startup+330.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 30932 48 0 0 25 0 11 0 837865320 856494080 25665 4294967295 134512640 134569956 3221224368 3221214664 1131262681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25665 13086 16 0 209089 0
vsize: 836420
[startup+340.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 31907 48 0 0 25 0 11 0 837865320 856494080 25728 4294967295 134512640 134569956 3221224368 3221214616 1131361333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25728 13086 16 0 209089 0
vsize: 836420
[startup+350.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 32882 48 0 0 25 0 11 0 837865320 856494080 25779 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25779 13086 16 0 209089 0
vsize: 836420
[startup+360.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 33848 48 0 0 24 0 11 0 837865320 856494080 25835 4294967295 134512640 134569956 3221224368 3221214616 1131361514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25835 13086 16 0 209089 0
vsize: 836420
[startup+370.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 34817 49 0 0 25 0 11 0 837865320 856494080 25886 4294967295 134512640 134569956 3221224368 3221214616 1131362649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 25886 13086 16 0 209089 0
vsize: 836420
[startup+380.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 35785 49 0 0 25 0 11 0 837865320 856494080 26000 4294967295 134512640 134569956 3221224368 3221214708 1131236588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26000 13086 16 0 209089 0
vsize: 836420
[startup+390.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 36759 49 0 0 24 0 11 0 837865320 856494080 26095 4294967295 134512640 134569956 3221224368 3221214712 1131324963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26095 13086 16 0 209089 0
vsize: 836420
[startup+400.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 37737 49 0 0 25 0 11 0 837865320 856494080 26167 4294967295 134512640 134569956 3221224368 3221214664 1131263025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26167 13086 16 0 209089 0
vsize: 836420
[startup+410.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 38715 49 0 0 24 0 11 0 837865320 856494080 26219 4294967295 134512640 134569956 3221224368 3221214712 1131324967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26219 13086 16 0 209089 0
vsize: 836420
[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 39696 49 0 0 25 0 11 0 837865320 856494080 26263 4294967295 134512640 134569956 3221224368 3221214712 1131255776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26263 13086 16 0 209089 0
vsize: 836420
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 40678 49 0 0 25 0 11 0 837865320 856494080 26301 4294967295 134512640 134569956 3221224368 3221214616 1131362202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26301 13086 16 0 209089 0
vsize: 836420
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 41658 49 0 0 25 0 11 0 837865320 856494080 26345 4294967295 134512640 134569956 3221224368 3221214600 1131354762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26345 13086 16 0 209089 0
vsize: 836420
[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 42640 49 0 0 25 0 11 0 837865320 856494080 26383 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26383 13086 16 0 209089 0
vsize: 836420
[startup+460.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 43620 49 0 0 25 0 11 0 837865320 856494080 26427 4294967295 134512640 134569956 3221224368 3221214760 1131382454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26427 13086 16 0 209089 0
vsize: 836420
[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 44602 49 0 0 25 0 11 0 837865320 856494080 26459 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26459 13086 16 0 209089 0
vsize: 836420
[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 45583 49 0 0 25 0 11 0 837865320 856494080 26503 4294967295 134512640 134569956 3221224368 3221214704 1131394857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26503 13086 16 0 209089 0
vsize: 836420
[startup+490.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 46565 49 0 0 25 0 11 0 837865320 856494080 26535 4294967295 134512640 134569956 3221224368 3221214712 1131325194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26535 13086 16 0 209089 0
vsize: 836420
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 47546 49 0 0 25 0 11 0 837865320 856494080 26573 4294967295 134512640 134569956 3221224368 3221214704 1131236615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26573 13086 16 0 209089 0
vsize: 836420
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 48529 49 0 0 25 0 11 0 837865320 856494080 26610 4294967295 134512640 134569956 3221224368 3221214712 1131255902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26610 13086 16 0 209089 0
vsize: 836420
[startup+520.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 49510 49 0 0 25 0 11 0 837865320 856494080 26643 4294967295 134512640 134569956 3221224368 3221214712 1131324930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26643 13086 16 0 209089 0
vsize: 836420
[startup+530.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 50494 49 0 0 25 0 11 0 837865320 856494080 26681 4294967295 134512640 134569956 3221224368 3221214608 1131323414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26681 13086 16 0 209089 0
vsize: 836420
[startup+540.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 51476 49 0 0 25 0 11 0 837865320 856494080 26712 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26712 13086 16 0 209089 0
vsize: 836420
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 52459 49 0 0 25 0 11 0 837865320 856494080 26744 4294967295 134512640 134569956 3221224368 3221214760 1131382709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26744 13086 16 0 209089 0
vsize: 836420
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 53441 50 0 0 25 0 11 0 837865320 856494080 26782 4294967295 134512640 134569956 3221224368 3221214704 1131236639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26782 13086 16 0 209089 0
vsize: 836420
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 54425 50 0 0 25 0 11 0 837865320 856494080 26807 4294967295 134512640 134569956 3221224368 3221214616 1131361455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26807 13086 16 0 209089 0
vsize: 836420
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 55407 50 0 0 25 0 11 0 837865320 856494080 26846 4294967295 134512640 134569956 3221224368 3221214760 1131382272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26846 13086 16 0 209089 0
vsize: 836420
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 56391 50 0 0 25 0 11 0 837865320 856494080 26871 4294967295 134512640 134569956 3221224368 3221214608 1131324186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26871 13086 16 0 209089 0
vsize: 836420
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 57374 50 0 0 25 0 11 0 837865320 856494080 26902 4294967295 134512640 134569956 3221224368 3221214616 1131361337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26902 13086 16 0 209089 0
vsize: 836420
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 58358 50 0 0 25 0 11 0 837865320 856494080 26934 4294967295 134512640 134569956 3221224368 3221214704 1131236615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26934 13086 16 0 209089 0
vsize: 836420
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 59341 50 0 0 25 0 11 0 837865320 856494080 26965 4294967295 134512640 134569956 3221224368 3221214712 1131325159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26965 13086 16 0 209089 0
vsize: 836420
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 60325 50 0 0 25 0 11 0 837865320 856494080 26991 4294967295 134512640 134569956 3221224368 3221214616 1131361462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 26991 13086 16 0 209089 0
vsize: 836420
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 61308 50 0 0 25 0 11 0 837865320 856494080 27022 4294967295 134512640 134569956 3221224368 3221214616 1131362595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27022 13086 16 0 209089 0
vsize: 836420
[startup+650.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) S 2358 20687 20686 0 -1 0 18080 0 1 0 62292 50 0 0 25 0 11 0 837865320 856494080 27054 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27054 13086 16 0 209089 0
vsize: 836420
[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 63276 50 0 0 25 0 11 0 837865320 856494080 27079 4294967295 134512640 134569956 3221224368 3221214616 1131362599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27079 13086 16 0 209089 0
vsize: 836420
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 64260 50 0 0 24 0 11 0 837865320 856494080 27111 4294967295 134512640 134569956 3221224368 3221214712 1131324927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27111 13086 16 0 209089 0
vsize: 836420
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 65244 50 0 0 25 0 11 0 837865320 856494080 27136 4294967295 134512640 134569956 3221224368 3221214684 1131127961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27136 13086 16 0 209089 0
vsize: 836420
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 66227 51 0 0 24 0 11 0 837865320 856494080 27168 4294967295 134512640 134569956 3221224368 3221214616 1131361504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27168 13086 16 0 209089 0
vsize: 836420
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 67211 51 0 0 25 0 11 0 837865320 856494080 27194 4294967295 134512640 134569956 3221224368 3221214756 1131398880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27194 13086 16 0 209089 0
vsize: 836420
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 68183 51 0 0 24 0 11 0 837865320 856494080 27219 4294967295 134512640 134569956 3221224368 3221214712 1131325194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27219 13086 16 0 209089 0
vsize: 836420
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 69152 51 0 0 25 0 11 0 837865320 856494080 27244 4294967295 134512640 134569956 3221224368 3221214712 1131255855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27244 13086 16 0 209089 0
vsize: 836420
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 70119 51 0 0 25 0 11 0 837865320 856494080 27269 4294967295 134512640 134569956 3221224368 3221214616 1131361366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27269 13086 16 0 209089 0
vsize: 836420
[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 71089 51 0 0 25 0 11 0 837865320 856494080 27483 4294967295 134512640 134569956 3221224368 3221214616 1131361514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27483 13086 16 0 209089 0
vsize: 836420
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 72067 51 0 0 25 0 11 0 837865320 856494080 27510 4294967295 134512640 134569956 3221224368 3221214712 1131325180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27510 13086 16 0 209089 0
vsize: 836420
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 73043 51 0 0 25 0 11 0 837865320 856494080 27565 4294967295 134512640 134569956 3221224368 3221214712 1131324927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27565 13086 16 0 209089 0
vsize: 836420
[startup+770.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 74023 51 0 0 25 0 11 0 837865320 856494080 27592 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27592 13086 16 0 209089 0
vsize: 836420
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 75004 51 0 0 25 0 11 0 837865320 856494080 27685 4294967295 134512640 134569956 3221224368 3221214760 1131382724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27685 13086 16 0 209089 0
vsize: 836420
[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 75989 51 0 0 25 0 11 0 837865320 856494080 27704 4294967295 134512640 134569956 3221224368 3221214712 1131255744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27704 13086 16 0 209089 0
vsize: 836420
[startup+800.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 76973 51 0 0 25 0 11 0 837865320 856494080 27737 4294967295 134512640 134569956 3221224368 3221214616 1131361374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27737 13086 16 0 209089 0
vsize: 836420
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 77958 51 0 0 25 0 11 0 837865320 856494080 27756 4294967295 134512640 134569956 3221224368 3221214712 1131255758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27756 13086 16 0 209089 0
vsize: 836420
[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 78942 51 0 0 25 0 11 0 837865320 856494080 27782 4294967295 134512640 134569956 3221224368 3221214600 1131354762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27782 13086 16 0 209089 0
vsize: 836420
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 79927 51 0 0 25 0 11 0 837865320 856494080 27807 4294967295 134512640 134569956 3221224368 3221214712 1131255761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27807 13086 16 0 209089 0
vsize: 836420
[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 80911 52 0 0 25 0 11 0 837865320 856494080 27832 4294967295 134512640 134569956 3221224368 3221214616 1131361514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27832 13086 16 0 209089 0
vsize: 836420
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 81896 52 0 0 25 0 11 0 837865320 856494080 27851 4294967295 134512640 134569956 3221224368 3221214756 1131368800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27851 13086 16 0 209089 0
vsize: 836420
[startup+860.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 82880 52 0 0 25 0 11 0 837865320 856494080 27876 4294967295 134512640 134569956 3221224368 3221214616 1131362595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27876 13086 16 0 209089 0
vsize: 836420
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 83865 52 0 0 25 0 11 0 837865320 856494080 27901 4294967295 134512640 134569956 3221224368 3221214608 1131323380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27901 13086 16 0 209089 0
vsize: 836420
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 84849 52 0 0 25 0 11 0 837865320 856494080 27920 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27920 13086 16 0 209089 0
vsize: 836420
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 85834 52 0 0 25 0 11 0 837865320 856494080 27946 4294967295 134512640 134569956 3221224368 3221214616 1131361514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27946 13086 16 0 209089 0
vsize: 836420
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 86818 52 0 0 25 0 11 0 837865320 856494080 27971 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27971 13086 16 0 209089 0
vsize: 836420
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 87803 52 0 0 25 0 11 0 837865320 856494080 27990 4294967295 134512640 134569956 3221224368 3221214704 1131236668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 27990 13086 16 0 209089 0
vsize: 836420
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 88787 52 0 0 25 0 11 0 837865320 856494080 28015 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28015 13086 16 0 209089 0
vsize: 836420
[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 89770 52 0 0 24 0 11 0 837865320 856494080 28034 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28034 13086 16 0 209089 0
vsize: 836420
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 90756 52 0 0 25 0 11 0 837865320 856494080 28059 4294967295 134512640 134569956 3221224368 3221214712 1131255744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28059 13086 16 0 209089 0
vsize: 836420
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 91739 52 0 0 25 0 11 0 837865320 856494080 28078 4294967295 134512640 134569956 3221224368 3221214712 1131255744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28078 13086 16 0 209089 0
vsize: 836420
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 92725 52 0 0 25 0 11 0 837865320 856494080 28103 4294967295 134512640 134569956 3221224368 3221214712 1131324900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28103 13086 16 0 209089 0
vsize: 836420
[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 93709 52 0 0 25 0 11 0 837865320 856494080 28122 4294967295 134512640 134569956 3221224368 3221214712 1131255847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28122 13086 16 0 209089 0
vsize: 836420
[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 94695 52 0 0 25 0 11 0 837865320 856494080 28141 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28141 13086 16 0 209089 0
vsize: 836420
[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 95679 52 0 0 25 0 11 0 837865320 856494080 28166 4294967295 134512640 134569956 3221224368 3221214712 1131325172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28166 13086 16 0 209089 0
vsize: 836420
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 96664 53 0 0 25 0 11 0 837865320 856494080 28186 4294967295 134512640 134569956 3221224368 3221214712 1131324930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28186 13086 16 0 209089 0
vsize: 836420
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 97648 53 0 0 25 0 11 0 837865320 856494080 28212 4294967295 134512640 134569956 3221224368 3221214712 1131324900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28212 13086 16 0 209089 0
vsize: 836420
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 98633 53 0 0 25 0 11 0 837865320 856494080 28231 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28231 13086 16 0 209089 0
vsize: 836420
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 99617 53 0 0 25 0 11 0 837865320 856494080 28249 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28249 13086 16 0 209089 0
vsize: 836420
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 100601 53 0 0 24 0 11 0 837865320 856494080 28275 4294967295 134512640 134569956 3221224368 3221214712 1131255818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28275 13086 16 0 209089 0
vsize: 836420
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 101587 53 0 0 25 0 11 0 837865320 856494080 28294 4294967295 134512640 134569956 3221224368 3221214708 1131236677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28294 13086 16 0 209089 0
vsize: 836420
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 102571 53 0 0 25 0 11 0 837865320 856494080 28313 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28313 13086 16 0 209089 0
vsize: 836420
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 103556 53 0 0 25 0 11 0 837865320 856494080 28331 4294967295 134512640 134569956 3221224368 3221214616 1131361462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28331 13086 16 0 209089 0
vsize: 836420
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 104540 53 0 0 25 0 11 0 837865320 856494080 28350 4294967295 134512640 134569956 3221224368 3221214704 1131236668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28350 13086 16 0 209089 0
vsize: 836420
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 105525 54 0 0 25 0 11 0 837865320 856494080 28369 4294967295 134512640 134569956 3221224368 3221214712 1131255877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28369 13086 16 0 209089 0
vsize: 836420
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 106509 54 0 0 25 0 11 0 837865320 856494080 28395 4294967295 134512640 134569956 3221224368 3221214616 1131363066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28395 13086 16 0 209089 0
vsize: 836420
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 107495 54 0 0 25 0 11 0 837865320 856494080 28413 4294967295 134512640 134569956 3221224368 3221214704 1131236668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28413 13086 16 0 209089 0
vsize: 836420
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 108479 54 0 0 25 0 11 0 837865320 856494080 28432 4294967295 134512640 134569956 3221224368 3221214712 1131255877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28432 13086 16 0 209089 0
vsize: 836420
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 109464 54 0 0 25 0 11 0 837865320 856494080 28451 4294967295 134512640 134569956 3221224368 3221214704 1131236639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28451 13086 16 0 209089 0
vsize: 836420
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 110448 54 0 0 25 0 11 0 837865320 856494080 28470 4294967295 134512640 134569956 3221224368 3221214616 1131361292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28470 13086 16 0 209089 0
vsize: 836420
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 111434 54 0 0 25 0 11 0 837865320 856494080 28489 4294967295 134512640 134569956 3221224368 3221214712 1131255744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28489 13086 16 0 209089 0
vsize: 836420
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 112418 54 0 0 25 0 11 0 837865320 856494080 28508 4294967295 134512640 134569956 3221224368 3221214712 1131325268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28508 13086 16 0 209089 0
vsize: 836420
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 113402 54 0 0 24 0 11 0 837865320 856494080 28527 4294967295 134512640 134569956 3221224368 3221214616 1131363079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28527 13086 16 0 209089 0
vsize: 836420
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 114387 54 0 0 25 0 11 0 837865320 856494080 28546 4294967295 134512640 134569956 3221224368 3221214616 1131361405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28546 13086 16 0 209089 0
vsize: 836420
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 115371 54 0 0 24 0 11 0 837865320 856494080 28565 4294967295 134512640 134569956 3221224368 3221214664 1131262637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28565 13086 16 0 209089 0
vsize: 836420
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 116356 54 0 0 25 0 11 0 837865320 856494080 28584 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28584 13086 16 0 209089 0
vsize: 836420
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 117340 54 0 0 25 0 11 0 837865320 856494080 28603 4294967295 134512640 134569956 3221224368 3221214616 1131362940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28603 13086 16 0 209089 0
vsize: 836420
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 118326 54 0 0 25 0 11 0 837865320 856494080 28622 4294967295 134512640 134569956 3221224368 3221214616 1131361377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28622 13086 16 0 209089 0
vsize: 836420
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 119309 55 0 0 25 0 11 0 837865320 856494080 28641 4294967295 134512640 134569956 3221224368 3221214616 1131363085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28641 13086 16 0 209089 0
vsize: 836420
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2369
Raw data (stat): 2359 (java) R 2358 20687 20686 0 -1 0 18080 0 1 0 120295 55 0 0 25 0 11 0 837865320 856494080 28660 4294967295 134512640 134569956 3221224368 3221214616 1131361337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209105 28660 13086 16 0 209089 0
vsize: 836420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2371
Raw data (stat): 2359 (java) Z 2358 20687 20686 0 -1 1036 18080 9607 1 0 120298 55 3533 35 25 0 1 0 837865320 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): 1240.17
CPU time (s): 1239.23
CPU user time (s): 1238.32
CPU system time (s): 0.911861
CPU usage (%): 99.9242
Max. virtual memory (Kb): 837280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####