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/miplib/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM	2c1654041c7ed087aa8883df6d85cbf7
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	14235
Biggest coefficient in the objective function	714038312960
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	68224730472397
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	714038312960
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	68224730472397
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12598
Number of variables	14265
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 29519

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        522864 kB
Buffers:         30816 kB
Cached:         459356 kB
SwapCached:        584 kB
Active:          44776 kB
Inactive:       447528 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        522584 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13924 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:51:49 (client local time) WITH STATUS 143 IN 1274.11 SECONDS
stats: 20918 7 1274.11 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/wulflinc9/normalized-mps-v2-20-10-dcmulti.opb
c reading problem ... done. Time 63.444 ms.
c #vars     14265
c #constraints  368
c starts	: 6
c conflicts	: 1986
c decisions	: 19132
c propagations	: 56850
c inspects	: 375941
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1985
c root simplifications	: 29
s UNKNOWN
c Total CPU time (ms) : 1259.117
#### 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.98 1.00 1.00 2/54 18342
Raw data (stat): 18342 (runsolver) R 18341 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779231928 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 18351
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18008 0 1 0 866 40 0 0 25 0 10 0 779231928 853913600 19363 4294967295 134512640 134569956 3221224368 3221214648 1131185995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208475 19363 13086 16 0 208459 0
vsize: 833900
[startup+20.0022 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 18351
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18009 0 1 0 1763 40 0 0 25 0 10 0 779231928 854491136 19996 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208616 19996 13086 16 0 208600 0
vsize: 834464
[startup+30.0029 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 18351
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18009 0 1 0 2653 41 0 0 25 0 10 0 779231928 854491136 20502 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208616 20502 13086 16 0 208600 0
vsize: 834464
[startup+40.0033 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 18351
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18009 0 1 0 3568 41 0 0 23 0 10 0 779231928 854450176 20787 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 20787 13086 16 0 208590 0
vsize: 834424
[startup+50.0045 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 18351
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18009 0 1 0 4489 41 0 0 25 0 10 0 779231928 854450176 20952 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 20952 13086 16 0 208590 0
vsize: 834424
[startup+60.0053 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 18351
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18009 0 1 0 5404 42 0 0 25 0 10 0 779231928 854450176 21086 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208606 21086 13086 16 0 208590 0
vsize: 834424
[startup+70.0056 s]
Raw data (loadavg): 1.35 1.09 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18057 0 1 0 6226 42 0 0 25 0 11 0 779231928 858886144 24314 4294967295 134512640 134569956 3221224368 3221214536 1131369601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209689 24314 13086 16 0 209673 0
vsize: 838756
[startup+80.0059 s]
Raw data (loadavg): 1.37 1.10 1.03 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18068 0 1 0 7126 43 0 0 25 0 11 0 779231928 859934720 24568 4294967295 134512640 134569956 3221224368 3221214560 1131369601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209945 24568 13086 16 0 209929 0
vsize: 839780
[startup+90.0065 s]
Raw data (loadavg): 1.31 1.10 1.03 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 8103 43 0 0 25 0 11 0 779231928 859934720 24474 4294967295 134512640 134569956 3221224368 3221214560 1131369121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209945 24474 13086 16 0 209929 0
vsize: 839780
[startup+100.006 s]
Raw data (loadavg): 1.26 1.09 1.03 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 9039 43 0 0 25 0 11 0 779231928 863080448 25246 4294967295 134512640 134569956 3221224368 3221214544 1131369699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 25246 13086 16 0 210697 0
vsize: 842852
[startup+110.007 s]
Raw data (loadavg): 1.22 1.09 1.03 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 9985 43 0 0 25 0 11 0 779231928 863080448 25184 4294967295 134512640 134569956 3221224368 3221214648 1131414859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 25184 13086 16 0 210697 0
vsize: 842852
[startup+120.008 s]
Raw data (loadavg): 1.19 1.09 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 10932 43 0 0 25 0 11 0 779231928 863080448 25245 4294967295 134512640 134569956 3221224368 3221214476 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 25245 13086 16 0 210697 0
vsize: 842852
[startup+130.007 s]
Raw data (loadavg): 1.16 1.08 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 11863 43 0 0 25 0 11 0 779231928 863080448 25659 4294967295 134512640 134569956 3221224368 3221214248 1131661058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 25659 13086 16 0 210697 0
vsize: 842852
[startup+140.007 s]
Raw data (loadavg): 1.13 1.08 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 12813 43 0 0 25 0 11 0 779231928 863080448 25884 4294967295 134512640 134569956 3221224368 3221214544 1131369125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 25884 13086 16 0 210697 0
vsize: 842852
[startup+150.008 s]
Raw data (loadavg): 1.11 1.08 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 13746 43 0 0 25 0 11 0 779231928 863080448 26000 4294967295 134512640 134569956 3221224368 3221214648 1131415093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 26000 13086 16 0 210697 0
vsize: 842852
[startup+160.009 s]
Raw data (loadavg): 1.10 1.08 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 14678 44 0 0 25 0 11 0 779231928 863080448 26194 4294967295 134512640 134569956 3221224368 3221214544 1131369576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 26194 13086 16 0 210697 0
vsize: 842852
[startup+170.009 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 15627 44 0 0 25 0 11 0 779231928 863080448 26365 4294967295 134512640 134569956 3221224368 3221214616 1131513811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 26365 13086 16 0 210697 0
vsize: 842852
[startup+180.008 s]
Raw data (loadavg): 1.07 1.07 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 16585 44 0 0 25 0 11 0 779231928 863080448 26600 4294967295 134512640 134569956 3221224368 3221214584 1131407647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 26600 13086 16 0 210697 0
vsize: 842852
[startup+190.009 s]
Raw data (loadavg): 1.06 1.07 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 17533 44 0 0 25 0 11 0 779231928 863080448 26797 4294967295 134512640 134569956 3221224368 3221214528 1131519667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 26797 13086 16 0 210697 0
vsize: 842852
[startup+200.009 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 18481 44 0 0 25 0 11 0 779231928 863080448 27056 4294967295 134512640 134569956 3221224368 3221214512 1131344421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27056 13086 16 0 210697 0
vsize: 842852
[startup+210.01 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 19441 45 0 0 25 0 11 0 779231928 863080448 27271 4294967295 134512640 134569956 3221224368 3221214616 1131513760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27271 13086 16 0 210697 0
vsize: 842852
[startup+220.01 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 20391 45 0 0 25 0 11 0 779231928 863080448 27572 4294967295 134512640 134569956 3221224368 3221214588 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27572 13086 16 0 210697 0
vsize: 842852
[startup+230.01 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 21353 45 0 0 25 0 11 0 779231928 863080448 27659 4294967295 134512640 134569956 3221224368 3221214528 1131518346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27659 13086 16 0 210697 0
vsize: 842852
[startup+240.011 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 22325 45 0 0 25 0 11 0 779231928 863080448 27759 4294967295 134512640 134569956 3221224368 3221214668 1131513699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27759 13086 16 0 210697 0
vsize: 842852
[startup+250.01 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 23288 45 0 0 25 0 11 0 779231928 863080448 27865 4294967295 134512640 134569956 3221224368 3221214616 1131513800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27865 13086 16 0 210697 0
vsize: 842852
[startup+260.012 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 24249 45 0 0 25 0 11 0 779231928 863080448 27958 4294967295 134512640 134569956 3221224368 3221214616 1131513169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 27958 13086 16 0 210697 0
vsize: 842852
[startup+270.012 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 25221 45 0 0 25 0 11 0 779231928 863080448 28031 4294967295 134512640 134569956 3221224368 3221214612 1131304576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28031 13086 16 0 210697 0
vsize: 842852
[startup+280.012 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 26183 45 0 0 25 0 11 0 779231928 863080448 28181 4294967295 134512640 134569956 3221224368 3221214512 1131344464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28181 13086 16 0 210697 0
vsize: 842852
[startup+290.013 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 27144 46 0 0 25 0 11 0 779231928 863080448 28290 4294967295 134512640 134569956 3221224368 3221214624 1131494816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28290 13086 16 0 210697 0
vsize: 842852
[startup+300.014 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 28116 46 0 0 25 0 11 0 779231928 863080448 28372 4294967295 134512640 134569956 3221224368 3221214576 1131312184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28372 13086 16 0 210697 0
vsize: 842852
[startup+310.014 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 29079 46 0 0 25 0 11 0 779231928 863080448 28546 4294967295 134512640 134569956 3221224368 3221214528 1131518675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28546 13086 16 0 210697 0
vsize: 842852
[startup+320.015 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 30041 46 0 0 25 0 11 0 779231928 863080448 28618 4294967295 134512640 134569956 3221224368 3221214616 1131513219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28618 13086 16 0 210697 0
vsize: 842852
[startup+330.015 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 31013 46 0 0 25 0 11 0 779231928 863080448 28702 4294967295 134512640 134569956 3221224368 3221214528 1131518723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28702 13086 16 0 210697 0
vsize: 842852
[startup+340.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 31976 46 0 0 25 0 11 0 779231928 863080448 28814 4294967295 134512640 134569956 3221224368 3221214584 1131407653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28814 13086 16 0 210697 0
vsize: 842852
[startup+350.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 32939 46 0 0 25 0 11 0 779231928 863080448 28920 4294967295 134512640 134569956 3221224368 3221214528 1131518512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 28920 13086 16 0 210697 0
vsize: 842852
[startup+360.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 33911 46 0 0 25 0 11 0 779231928 863080448 29004 4294967295 134512640 134569956 3221224368 3221214616 1131513219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29004 13086 16 0 210697 0
vsize: 842852
[startup+370.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 34873 46 0 0 25 0 11 0 779231928 863080448 29110 4294967295 134512640 134569956 3221224368 3221214616 1131513774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29110 13086 16 0 210697 0
vsize: 842852
[startup+380.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 35835 46 0 0 25 0 11 0 779231928 863080448 29227 4294967295 134512640 134569956 3221224368 3221214616 1131513190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29227 13086 16 0 210697 0
vsize: 842852
[startup+390.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 36806 46 0 0 25 0 11 0 779231928 863080448 29304 4294967295 134512640 134569956 3221224368 3221214616 1131513445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29304 13086 16 0 210697 0
vsize: 842852
[startup+400.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 37769 46 0 0 25 0 11 0 779231928 863080448 29410 4294967295 134512640 134569956 3221224368 3221214584 1131407589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29410 13086 16 0 210697 0
vsize: 842852
[startup+410.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 38731 46 0 0 24 0 11 0 779231928 863080448 29519 4294967295 134512640 134569956 3221224368 3221214592 1131220313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29519 13086 16 0 210697 0
vsize: 842852
[startup+420.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 39702 46 0 0 25 0 11 0 779231928 863080448 29606 4294967295 134512640 134569956 3221224368 3221214584 1131407545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29606 13086 16 0 210697 0
vsize: 842852
[startup+430.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 40664 46 0 0 25 0 11 0 779231928 863080448 29716 4294967295 134512640 134569956 3221224368 3221214520 1131344516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29716 13086 16 0 210697 0
vsize: 842852
[startup+440.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) S 18341 3944 3943 0 -1 0 18071 0 1 0 41628 46 0 0 25 0 11 0 779231928 863080448 29801 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29801 13086 16 0 210697 0
vsize: 842852
[startup+450.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 42595 46 0 0 25 0 11 0 779231928 863080448 29926 4294967295 134512640 134569956 3221224368 3221214616 1131513219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 29926 13086 16 0 210697 0
vsize: 842852
[startup+460.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 43557 46 0 0 25 0 11 0 779231928 863080448 30117 4294967295 134512640 134569956 3221224368 3221214584 1131407659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 30117 13086 16 0 210697 0
vsize: 842852
[startup+470.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 44528 46 0 0 25 0 11 0 779231928 863080448 30173 4294967295 134512640 134569956 3221224368 3221214648 1131413918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 30173 13086 16 0 210697 0
vsize: 842852
[startup+480.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 45500 46 0 0 25 0 11 0 779231928 863080448 30247 4294967295 134512640 134569956 3221224368 3221214312 1131664700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 30247 13086 16 0 210697 0
vsize: 842852
[startup+490.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 46449 46 0 0 25 0 11 0 779231928 863080448 30396 4294967295 134512640 134569956 3221224368 3221214376 1131663306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 30396 13086 16 0 210697 0
vsize: 842852
[startup+500.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 47404 47 0 0 25 0 11 0 779231928 863080448 30536 4294967295 134512640 134569956 3221224368 3221214424 1131664700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 30536 13086 16 0 210697 0
vsize: 842852
[startup+510.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 48352 47 0 0 25 0 11 0 779231928 863080448 30644 4294967295 134512640 134569956 3221224368 3221213992 1131663375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 30644 13086 16 0 210697 0
vsize: 842852
[startup+520.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 49314 48 0 0 25 0 11 0 779231928 863080448 30782 4294967295 134512640 134569956 3221224368 3221214408 1131667328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 30782 13086 16 0 210697 0
vsize: 842852
[startup+530.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 50271 48 0 0 25 0 11 0 779231928 863080448 30911 4294967295 134512640 134569956 3221224368 3221214528 1131518675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 30911 13086 16 0 210697 0
vsize: 842852
[startup+540.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 51230 48 0 0 25 0 11 0 779231928 863080448 31040 4294967295 134512640 134569956 3221224368 3221214528 1131518636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 31040 13086 16 0 210697 0
vsize: 842852
[startup+550.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 52190 48 0 0 25 0 11 0 779231928 863080448 31169 4294967295 134512640 134569956 3221224368 3221214528 1131521173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 31169 13086 16 0 210697 0
vsize: 842852
[startup+560.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 53147 49 0 0 25 0 11 0 779231928 863080448 31419 4294967295 134512640 134569956 3221224368 3221214320 1131663375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 31419 13086 16 0 210697 0
vsize: 842852
[startup+570.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 54107 49 0 0 25 0 11 0 779231928 863080448 31460 4294967295 134512640 134569956 3221224368 3221214512 1131344166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 31460 13086 16 0 210697 0
vsize: 842852
[startup+580.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 55067 49 0 0 25 0 11 0 779231928 863080448 31487 4294967295 134512640 134569956 3221224368 3221214512 1131344183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 31487 13086 16 0 210697 0
vsize: 842852
[startup+590.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 56010 49 0 0 25 0 11 0 779231928 863080448 31781 4294967295 134512640 134569956 3221224368 3221214464 1131393259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 31781 13086 16 0 210697 0
vsize: 842852
[startup+600.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 56965 49 0 0 25 0 11 0 779231928 863080448 32048 4294967295 134512640 134569956 3221224368 3221214584 1131407589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 32048 13086 16 0 210697 0
vsize: 842852
[startup+610.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 57909 50 0 0 25 0 11 0 779231928 863080448 32387 4294967295 134512640 134569956 3221224368 3221214528 1131518707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 32387 13086 16 0 210697 0
vsize: 842852
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 58865 50 0 0 25 0 11 0 779231928 863080448 32553 4294967295 134512640 134569956 3221224368 3221214616 1131513219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 32553 13086 16 0 210697 0
vsize: 842852
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 59807 50 0 0 25 0 11 0 779231928 863080448 32986 4294967295 134512640 134569956 3221224368 3221213792 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 32986 13086 16 0 210697 0
vsize: 842852
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 60762 50 0 0 25 0 11 0 779231928 863080448 33274 4294967295 134512640 134569956 3221224368 3221214616 1131513887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 33274 13086 16 0 210697 0
vsize: 842852
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 61707 51 0 0 24 0 11 0 779231928 863080448 33513 4294967295 134512640 134569956 3221224368 3221214520 1131344436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 33513 13086 16 0 210697 0
vsize: 842852
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 62662 51 0 0 25 0 11 0 779231928 863080448 33886 4294967295 134512640 134569956 3221224368 3221213932 1131663312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 33886 13086 16 0 210697 0
vsize: 842852
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 63618 52 0 0 25 0 11 0 779231928 863080448 34108 4294967295 134512640 134569956 3221224368 3221214512 1131344121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 34108 13086 16 0 210697 0
vsize: 842852
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 64586 52 0 0 25 0 11 0 779231928 863080448 34282 4294967295 134512640 134569956 3221224368 3221214544 1131369663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 34282 13086 16 0 210697 0
vsize: 842852
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 65527 52 0 0 25 0 11 0 779231928 863080448 34282 4294967295 134512640 134569956 3221224368 3221214528 1131518765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 34282 13086 16 0 210697 0
vsize: 842852
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) S 18341 3944 3943 0 -1 0 18071 0 1 0 66472 52 0 0 25 0 11 0 779231928 863080448 34364 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 34364 13086 16 0 210697 0
vsize: 842852
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 67417 53 0 0 25 0 11 0 779231928 863080448 34492 4294967295 134512640 134569956 3221224368 3221214528 1131518267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 34492 13086 16 0 210697 0
vsize: 842852
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 68366 53 0 0 25 0 11 0 779231928 863080448 34610 4294967295 134512640 134569956 3221224368 3221214592 1131220313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 34610 13086 16 0 210697 0
vsize: 842852
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 69322 54 0 0 25 0 11 0 779231928 863080448 34991 4294967295 134512640 134569956 3221224368 3221214616 1131513457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 34991 13086 16 0 210697 0
vsize: 842852
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 70287 54 0 0 24 0 11 0 779231928 863080448 35161 4294967295 134512640 134569956 3221224368 3221214728 1131220308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35161 13086 16 0 210697 0
vsize: 842852
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 71264 54 0 0 24 0 11 0 779231928 863080448 35183 4294967295 134512640 134569956 3221224368 3221214504 1131554739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35183 13086 16 0 210697 0
vsize: 842852
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 72233 55 0 0 25 0 11 0 779231928 863080448 35238 4294967295 134512640 134569956 3221224368 3221214520 1131344328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35238 13086 16 0 210697 0
vsize: 842852
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 73215 55 0 0 25 0 11 0 779231928 863080448 35307 4294967295 134512640 134569956 3221224368 3221214584 1131407705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35307 13086 16 0 210697 0
vsize: 842852
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 74185 55 0 0 25 0 11 0 779231928 863080448 35407 4294967295 134512640 134569956 3221224368 3221214528 1131518574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35407 13086 16 0 210697 0
vsize: 842852
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 75155 56 0 0 25 0 11 0 779231928 863080448 35495 4294967295 134512640 134569956 3221224368 3221214512 1131344190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35495 13086 16 0 210697 0
vsize: 842852
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 76128 56 0 0 25 0 11 0 779231928 863080448 35546 4294967295 134512640 134569956 3221224368 3221214600 1131571112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35546 13086 16 0 210697 0
vsize: 842852
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 77100 57 0 0 25 0 11 0 779231928 863080448 35584 4294967295 134512640 134569956 3221224368 3221214624 1131494843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35584 13086 16 0 210697 0
vsize: 842852
[startup+820.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 78077 57 0 0 25 0 11 0 779231928 863080448 35646 4294967295 134512640 134569956 3221224368 3221214616 1131513468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35646 13086 16 0 210697 0
vsize: 842852
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 79053 57 0 0 25 0 11 0 779231928 863080448 35712 4294967295 134512640 134569956 3221224368 3221214528 1131518339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35712 13086 16 0 210697 0
vsize: 842852
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 80030 57 0 0 25 0 11 0 779231928 863080448 35790 4294967295 134512640 134569956 3221224368 3221214616 1131513774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 35790 13086 16 0 210697 0
vsize: 842852
[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 81000 58 0 0 25 0 11 0 779231928 863080448 35880 4294967295 134512640 134569956 3221224368 3221214512 1131344512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35880 13086 16 0 210697 0
vsize: 842852
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 81968 58 0 0 25 0 11 0 779231928 863080448 35938 4294967295 134512640 134569956 3221224368 3221214488 1131259489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 35938 13086 16 0 210697 0
vsize: 842852
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 82944 58 0 0 25 0 11 0 779231928 863080448 35973 4294967295 134512640 134569956 3221224368 3221214520 1131344627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 35973 13086 16 0 210697 0
vsize: 842852
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 83915 59 0 0 25 0 11 0 779231928 863080448 36039 4294967295 134512640 134569956 3221224368 3221214544 1131369601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36039 13086 16 0 210697 0
vsize: 842852
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 84891 59 0 0 25 0 11 0 779231928 863080448 36104 4294967295 134512640 134569956 3221224368 3221214528 1131518534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36104 13086 16 0 210697 0
vsize: 842852
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 85865 59 0 0 25 0 11 0 779231928 863080448 36166 4294967295 134512640 134569956 3221224368 3221214624 1131494826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36166 13086 16 0 210697 0
vsize: 842852
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 86829 59 0 0 25 0 11 0 779231928 863080448 36303 4294967295 134512640 134569956 3221224368 3221214584 1131407647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36303 13086 16 0 210697 0
vsize: 842852
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 87799 60 0 0 24 0 11 0 779231928 863080448 36331 4294967295 134512640 134569956 3221224368 3221214760 1131437954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36331 13086 16 0 210697 0
vsize: 842852
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 88771 60 0 0 25 0 11 0 779231928 863080448 36373 4294967295 134512640 134569956 3221224368 3221214536 1131613978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36373 13086 16 0 210697 0
vsize: 842852
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 89737 60 0 0 25 0 11 0 779231928 863080448 36434 4294967295 134512640 134569956 3221224368 3221214612 1131407532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36434 13086 16 0 210697 0
vsize: 842852
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 90694 61 0 0 25 0 11 0 779231928 863080448 36528 4294967295 134512640 134569956 3221224368 3221214512 1131344512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36528 13086 16 0 210697 0
vsize: 842852
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 91661 61 0 0 25 0 11 0 779231928 863080448 36600 4294967295 134512640 134569956 3221224368 3221214616 1131513179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36600 13086 16 0 210697 0
vsize: 842852
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 92621 62 0 0 25 0 11 0 779231928 863080448 36692 4294967295 134512640 134569956 3221224368 3221214616 1131513219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36692 13086 16 0 210697 0
vsize: 842852
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 93581 62 0 0 25 0 11 0 779231928 863080448 36758 4294967295 134512640 134569956 3221224368 3221214588 1130885126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36758 13086 16 0 210697 0
vsize: 842852
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 94547 62 0 0 24 0 11 0 779231928 863080448 36815 4294967295 134512640 134569956 3221224368 3221214528 1131518339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 36815 13086 16 0 210697 0
vsize: 842852
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 95508 63 0 0 25 0 11 0 779231928 863080448 37077 4294967295 134512640 134569956 3221224368 3221214616 1131513368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37077 13086 16 0 210697 0
vsize: 842852
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 96475 63 0 0 25 0 11 0 779231928 863080448 37198 4294967295 134512640 134569956 3221224368 3221214616 1131513760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37198 13086 16 0 210697 0
vsize: 842852
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 97442 63 0 0 25 0 11 0 779231928 863080448 37255 4294967295 134512640 134569956 3221224368 3221214540 1131258848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37255 13086 16 0 210697 0
vsize: 842852
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 98414 64 0 0 25 0 11 0 779231928 863080448 37320 4294967295 134512640 134569956 3221224368 3221214528 1131519542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37320 13086 16 0 210697 0
vsize: 842852
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 99378 64 0 0 25 0 11 0 779231928 863080448 37402 4294967295 134512640 134569956 3221224368 3221214512 1131344328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37402 13086 16 0 210697 0
vsize: 842852
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 100343 65 0 0 25 0 11 0 779231928 863080448 37508 4294967295 134512640 134569956 3221224368 3221214616 1131513219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37508 13086 16 0 210697 0
vsize: 842852
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 101308 65 0 0 25 0 11 0 779231928 863080448 37584 4294967295 134512640 134569956 3221224368 3221214616 1131513786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37584 13086 16 0 210697 0
vsize: 842852
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 102277 65 0 0 25 0 11 0 779231928 863080448 37645 4294967295 134512640 134569956 3221224368 3221214008 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37645 13086 16 0 210697 0
vsize: 842852
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 103236 66 0 0 25 0 11 0 779231928 863080448 37742 4294967295 134512640 134569956 3221224368 3221214544 1131369147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37742 13086 16 0 210697 0
vsize: 842852
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 104202 66 0 0 25 0 11 0 779231928 863080448 37831 4294967295 134512640 134569956 3221224368 3221214528 1131519556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37831 13086 16 0 210697 0
vsize: 842852
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 105169 67 0 0 25 0 11 0 779231928 863080448 37915 4294967295 134512640 134569956 3221224368 3221214528 1131519569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37915 13086 16 0 210697 0
vsize: 842852
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 106136 67 0 0 25 0 11 0 779231928 863080448 37990 4294967295 134512640 134569956 3221224368 3221214504 1131199809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 37990 13086 16 0 210697 0
vsize: 842852
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 107103 67 0 0 25 0 11 0 779231928 863080448 38052 4294967295 134512640 134569956 3221224368 3221214400 1078032372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38052 13086 16 0 210697 0
vsize: 842852
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 108056 68 0 0 25 0 11 0 779231928 863080448 38151 4294967295 134512640 134569956 3221224368 3221214512 1131344261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38151 13086 16 0 210697 0
vsize: 842852
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 109000 68 0 0 25 0 11 0 779231928 863080448 38348 4294967295 134512640 134569956 3221224368 3221214612 1131405841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38348 13086 16 0 210697 0
vsize: 842852
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 109954 69 0 0 25 0 11 0 779231928 863080448 38445 4294967295 134512640 134569956 3221224368 3221214512 1131344634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38445 13086 16 0 210697 0
vsize: 842852
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 110905 69 0 0 25 0 11 0 779231928 863080448 38559 4294967295 134512640 134569956 3221224368 3221214624 1131494945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38559 13086 16 0 210697 0
vsize: 842852
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 111845 70 0 0 25 0 11 0 779231928 863080448 38689 4294967295 134512640 134569956 3221224368 3221214528 1131519609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38689 13086 16 0 210697 0
vsize: 842852
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 112792 70 0 0 25 0 11 0 779231928 863080448 38837 4294967295 134512640 134569956 3221224368 3221214264 1131663233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38837 13086 16 0 210697 0
vsize: 842852
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 113738 70 0 0 25 0 11 0 779231928 863080448 38978 4294967295 134512640 134569956 3221224368 3221214512 1131344464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 38978 13086 16 0 210697 0
vsize: 842852
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 114676 71 0 0 25 0 11 0 779231928 863080448 39121 4294967295 134512640 134569956 3221224368 3221214528 1131518503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 39121 13086 16 0 210697 0
vsize: 842852
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 115638 71 0 0 25 0 11 0 779231928 863080448 39249 4294967295 134512640 134569956 3221224368 3221214520 1131345189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 39249 13086 16 0 210697 0
vsize: 842852
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 116595 71 0 0 25 0 11 0 779231928 863080448 39401 4294967295 134512640 134569956 3221224368 3221214528 1131518512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 39401 13086 16 0 210697 0
vsize: 842852
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 117554 72 0 0 25 0 11 0 779231928 863080448 39542 4294967295 134512640 134569956 3221224368 3221214512 1131344464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 39542 13086 16 0 210697 0
vsize: 842852
[startup+1240.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 118530 72 0 0 25 0 11 0 779231928 863080448 39640 4294967295 134512640 134569956 3221224368 3221214616 1131513163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210713 39640 13086 16 0 210697 0
vsize: 842852
[startup+1250.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 119494 72 0 0 25 0 11 0 779231928 863080448 39812 4294967295 134512640 134569956 3221224368 3221214208 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 39812 13086 16 0 210697 0
vsize: 842852
[startup+1260.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 18352
Raw data (stat): 18342 (java) R 18341 3944 3943 0 -1 0 18071 0 1 0 120459 73 0 0 25 0 11 0 779231928 863080448 39903 4294967295 134512640 134569956 3221224368 3221214528 1131518283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210713 39903 13086 16 0 210697 0
vsize: 842852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.2 s]
Raw data (loadavg): 1.06 1.01 1.00 1/54 18354
Raw data (stat): 18342 (java) Z 18341 3944 3943 0 -1 1036 18071 27957 1 0 120464 80 6798 66 25 0 1 0 779231928 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): 1260.2
CPU time (s): 1274.11
CPU user time (s): 1272.63
CPU system time (s): 1.47378
CPU usage (%): 101.103
Max. virtual memory (Kb): 842852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####