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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb
MD5SUM	8932ff592f10c4a440d98245533252f1
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	265438953471
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	7611
Total number of constraints	3459
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	626
Number of constraints which are nor clauses,nor cardinality constraints	2690
Minimum length of a constraint	1
Maximum length of a constraint	2047
Trace number 29993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 13:34:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21395 boxname=wulflinc9 idbench=1383 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8932ff592f10c4a440d98245533252f1  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-roll3000.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-roll3000.opb
IDLAUNCH: 21395
/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:        456284 kB
Buffers:         35064 kB
Cached:         521612 kB
SwapCached:        584 kB
Active:          58312 kB
Inactive:       500488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        456032 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13860 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:54:43 (client local time) WITH STATUS 143 IN 1241.08 SECONDS
stats: 21395 7 1241.08 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-13-7-roll3000.opb
c reading problem ... done. Time 22.863 ms.
c #vars     7611
c #constraints  3038
c starts	: 3
c conflicts	: 475
c decisions	: 30636
c propagations	: 60375
c inspects	: 186144
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 475
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1228.994
#### 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.93 0.99 0.99 2/54 20453
Raw data (stat): 20453 (runsolver) R 20452 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781052552 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): 0.94 0.99 0.99 2/63 20462
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18041 0 1 0 840 38 0 0 25 0 10 0 781052552 854069248 19449 4294967295 134512640 134569956 3221224368 3221214340 1130896449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 19449 13086 16 0 208497 0
vsize: 834052
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 20462
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18041 0 1 0 1733 39 0 0 25 0 10 0 781052552 853909504 19974 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208474 19974 13086 16 0 208458 0
vsize: 833896
[startup+30.0035 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18089 0 1 0 2613 40 0 0 19 0 11 0 781052552 856977408 24392 4294967295 134512640 134569956 3221224368 3221214728 1131190536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 24392 13086 16 0 209207 0
vsize: 836892
[startup+40.0116 s]
Raw data (loadavg): 1.08 1.02 1.00 4/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18090 0 1 0 3582 41 0 0 25 0 11 0 781052552 856977408 24385 4294967295 134512640 134569956 3221224368 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 24385 13086 16 0 209207 0
vsize: 836892
[startup+50.0365 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18091 0 1 0 4556 41 0 0 25 0 11 0 781052552 856977408 24389 4294967295 134512640 134569956 3221224368 3221214680 1131370910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 24389 13086 16 0 209207 0
vsize: 836892
[startup+60.0363 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18091 0 1 0 5532 42 0 0 25 0 11 0 781052552 856977408 24390 4294967295 134512640 134569956 3221224368 3221214584 1131246955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 24390 13086 16 0 209207 0
vsize: 836892
[startup+70.0375 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18092 0 1 0 6508 42 0 0 25 0 11 0 781052552 856977408 24457 4294967295 134512640 134569956 3221224368 3221214280 1130892583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 24457 13086 16 0 209207 0
vsize: 836892
[startup+80.0377 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18092 0 1 0 7490 42 0 0 25 0 11 0 781052552 856977408 24474 4294967295 134512640 134569956 3221224368 3221214752 1131256302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 24474 13086 16 0 209207 0
vsize: 836892
[startup+90.0391 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18093 0 1 0 8458 42 0 0 25 0 11 0 781052552 859750400 25177 4294967295 134512640 134569956 3221224368 3221214392 1131257951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25177 13086 16 0 209884 0
vsize: 839600
[startup+100.039 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18094 0 1 0 9433 42 0 0 25 0 11 0 781052552 859750400 25190 4294967295 134512640 134569956 3221224368 3221214512 1131258073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25190 13086 16 0 209884 0
vsize: 839600
[startup+110.039 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18094 0 1 0 10408 43 0 0 25 0 11 0 781052552 859750400 25215 4294967295 134512640 134569956 3221224368 3221214584 1131246168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25215 13086 16 0 209884 0
vsize: 839600
[startup+120.04 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18094 0 1 0 11383 43 0 0 25 0 11 0 781052552 859750400 25292 4294967295 134512640 134569956 3221224368 3221214584 1131246253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25292 13086 16 0 209884 0
vsize: 839600
[startup+130.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18094 0 1 0 12362 43 0 0 25 0 11 0 781052552 859750400 25383 4294967295 134512640 134569956 3221224368 3221214680 1131373248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25383 13086 16 0 209884 0
vsize: 839600
[startup+140.041 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18094 0 1 0 13346 44 0 0 25 0 11 0 781052552 859750400 25398 4294967295 134512640 134569956 3221224368 3221214584 1131246931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25398 13086 16 0 209884 0
vsize: 839600
[startup+150.041 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18094 0 1 0 14320 44 0 0 25 0 11 0 781052552 859750400 25464 4294967295 134512640 134569956 3221224368 3221214680 1131368024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25464 13086 16 0 209884 0
vsize: 839600
[startup+160.04 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 15287 44 0 0 25 0 11 0 781052552 859750400 25470 4294967295 134512640 134569956 3221224368 3221214680 1131372938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25470 13086 16 0 209884 0
vsize: 839600
[startup+170.041 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 16249 44 0 0 25 0 11 0 781052552 859750400 25478 4294967295 134512640 134569956 3221224368 3221214584 1131246014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25478 13086 16 0 209884 0
vsize: 839600
[startup+180.041 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 17200 45 0 0 25 0 11 0 781052552 859750400 25656 4294967295 134512640 134569956 3221224368 3221214324 1076460950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25656 13086 16 0 209884 0
vsize: 839600
[startup+190.042 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 18164 45 0 0 25 0 11 0 781052552 859750400 25732 4294967295 134512640 134569956 3221224368 3221214680 1131369267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25732 13086 16 0 209884 0
vsize: 839600
[startup+200.042 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 19125 45 0 0 25 0 11 0 781052552 859750400 25799 4294967295 134512640 134569956 3221224368 3221214512 1131258073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25799 13086 16 0 209884 0
vsize: 839600
[startup+210.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 20099 46 0 0 25 0 11 0 781052552 859750400 25895 4294967295 134512640 134569956 3221224368 3221214496 1131258287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25895 13086 16 0 209884 0
vsize: 839600
[startup+220.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 21078 46 0 0 25 0 11 0 781052552 859750400 25923 4294967295 134512640 134569956 3221224368 3221214504 1131449714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25923 13086 16 0 209884 0
vsize: 839600
[startup+230.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 22062 47 0 0 25 0 11 0 781052552 859750400 25993 4294967295 134512640 134569956 3221224368 3221214592 1131424678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 25993 13086 16 0 209884 0
vsize: 839600
[startup+240.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 23053 47 0 0 25 0 11 0 781052552 859750400 26095 4294967295 134512640 134569956 3221224368 3221214588 1131313024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26095 13086 16 0 209884 0
vsize: 839600
[startup+250.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 24050 47 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214504 1131448581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+260.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 25047 48 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214512 1131257878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+270.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 26043 48 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214512 1131257913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+280.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 27041 48 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214608 1131422439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+290.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 28038 48 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214512 1131258109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+300.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 29034 48 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214500 1131356521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+310.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 30032 49 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214592 1131424532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+320.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 31029 49 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214496 1131258192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+330.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 32027 49 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214504 1131448581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+340.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 33024 49 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214504 1131449714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+350.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 34021 49 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214568 1131190548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+360.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 35013 50 0 0 24 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214504 1131448641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+370.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 36003 50 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214512 1131258073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+380.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 36995 50 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214504 1131449439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+390.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 37987 50 0 0 25 0 11 0 781052552 859750400 26105 4294967295 134512640 134569956 3221224368 3221214512 1131258109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26105 13086 16 0 209884 0
vsize: 839600
[startup+400.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 38976 50 0 0 25 0 11 0 781052552 859750400 26171 4294967295 134512640 134569956 3221224368 3221214504 1131449298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26171 13086 16 0 209884 0
vsize: 839600
[startup+410.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 39972 51 0 0 25 0 11 0 781052552 859750400 26174 4294967295 134512640 134569956 3221224368 3221214512 1131258073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26174 13086 16 0 209884 0
vsize: 839600
[startup+420.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 40967 52 0 0 25 0 11 0 781052552 859750400 26174 4294967295 134512640 134569956 3221224368 3221214592 1131425290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26174 13086 16 0 209884 0
vsize: 839600
[startup+430.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 41963 52 0 0 25 0 11 0 781052552 859750400 26174 4294967295 134512640 134569956 3221224368 3221214608 1131422432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26174 13086 16 0 209884 0
vsize: 839600
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 42959 53 0 0 25 0 11 0 781052552 859750400 26188 4294967295 134512640 134569956 3221224368 3221214512 1131194048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26188 13086 16 0 209884 0
vsize: 839600
[startup+450.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 43955 53 0 0 25 0 11 0 781052552 859750400 26188 4294967295 134512640 134569956 3221224368 3221214504 1131448548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26188 13086 16 0 209884 0
vsize: 839600
[startup+460.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 44950 53 0 0 25 0 11 0 781052552 859750400 26188 4294967295 134512640 134569956 3221224368 3221214504 1131448641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26188 13086 16 0 209884 0
vsize: 839600
[startup+470.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 45945 54 0 0 25 0 11 0 781052552 859750400 26188 4294967295 134512640 134569956 3221224368 3221214504 1131448561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26188 13086 16 0 209884 0
vsize: 839600
[startup+480.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 46941 54 0 0 25 0 11 0 781052552 859750400 26202 4294967295 134512640 134569956 3221224368 3221214512 1131257951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26202 13086 16 0 209884 0
vsize: 839600
[startup+490.067 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 47938 55 0 0 25 0 11 0 781052552 859750400 26202 4294967295 134512640 134569956 3221224368 3221214504 1131448581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26202 13086 16 0 209884 0
vsize: 839600
[startup+500.067 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 48934 55 0 0 25 0 11 0 781052552 859750400 26203 4294967295 134512640 134569956 3221224368 3221214512 1131257951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26203 13086 16 0 209884 0
vsize: 839600
[startup+510.067 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 49929 56 0 0 25 0 11 0 781052552 859750400 26216 4294967295 134512640 134569956 3221224368 3221214504 1131448548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26216 13086 16 0 209884 0
vsize: 839600
[startup+520.068 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 50925 57 0 0 25 0 11 0 781052552 859750400 26216 4294967295 134512640 134569956 3221224368 3221214504 1131450379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26216 13086 16 0 209884 0
vsize: 839600
[startup+530.068 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 51921 57 0 0 25 0 11 0 781052552 859750400 26216 4294967295 134512640 134569956 3221224368 3221214504 1131448574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26216 13086 16 0 209884 0
vsize: 839600
[startup+540.069 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 52916 58 0 0 25 0 11 0 781052552 859750400 26216 4294967295 134512640 134569956 3221224368 3221214592 1131425160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26216 13086 16 0 209884 0
vsize: 839600
[startup+550.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 53911 58 0 0 25 0 11 0 781052552 859750400 26226 4294967295 134512640 134569956 3221224368 3221214512 1131258109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26226 13086 16 0 209884 0
vsize: 839600
[startup+560.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 54905 58 0 0 25 0 11 0 781052552 859750400 26226 4294967295 134512640 134569956 3221224368 3221214496 1131258250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26226 13086 16 0 209884 0
vsize: 839600
[startup+570.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 55899 59 0 0 25 0 11 0 781052552 859750400 26226 4294967295 134512640 134569956 3221224368 3221214504 1131448641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26226 13086 16 0 209884 0
vsize: 839600
[startup+580.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 56894 59 0 0 25 0 11 0 781052552 859750400 26226 4294967295 134512640 134569956 3221224368 3221214496 1131257951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26226 13086 16 0 209884 0
vsize: 839600
[startup+590.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 57888 59 0 0 25 0 11 0 781052552 859750400 26255 4294967295 134512640 134569956 3221224368 3221214504 1131448320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26255 13086 16 0 209884 0
vsize: 839600
[startup+600.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 58885 60 0 0 25 0 11 0 781052552 859750400 26264 4294967295 134512640 134569956 3221224368 3221214512 1131257951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26264 13086 16 0 209884 0
vsize: 839600
[startup+610.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 59879 60 0 0 25 0 11 0 781052552 859750400 26264 4294967295 134512640 134569956 3221224368 3221214504 1131448146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26264 13086 16 0 209884 0
vsize: 839600
[startup+620.071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 60872 61 0 0 25 0 11 0 781052552 859750400 26264 4294967295 134512640 134569956 3221224368 3221214608 1131422439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26264 13086 16 0 209884 0
vsize: 839600
[startup+630.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 61865 61 0 0 25 0 11 0 781052552 859750400 26264 4294967295 134512640 134569956 3221224368 3221214608 1131422432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26264 13086 16 0 209884 0
vsize: 839600
[startup+640.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 62858 61 0 0 25 0 11 0 781052552 859750400 26264 4294967295 134512640 134569956 3221224368 3221214512 1131257898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26264 13086 16 0 209884 0
vsize: 839600
[startup+650.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 63853 62 0 0 25 0 11 0 781052552 859750400 26306 4294967295 134512640 134569956 3221224368 3221214512 1131257916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26306 13086 16 0 209884 0
vsize: 839600
[startup+660.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 64850 62 0 0 25 0 11 0 781052552 859750400 26306 4294967295 134512640 134569956 3221224368 3221214504 1131448581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26306 13086 16 0 209884 0
vsize: 839600
[startup+670.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 65847 63 0 0 25 0 11 0 781052552 859750400 26306 4294967295 134512640 134569956 3221224368 3221214496 1131258109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26306 13086 16 0 209884 0
vsize: 839600
[startup+680.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 66843 64 0 0 25 0 11 0 781052552 859750400 26306 4294967295 134512640 134569956 3221224368 3221214512 1131258039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26306 13086 16 0 209884 0
vsize: 839600
[startup+690.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 67839 64 0 0 25 0 11 0 781052552 859750400 26320 4294967295 134512640 134569956 3221224368 3221214512 1131258073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26320 13086 16 0 209884 0
vsize: 839600
[startup+700.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 68836 64 0 0 25 0 11 0 781052552 859750400 26320 4294967295 134512640 134569956 3221224368 3221214604 1131258872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26320 13086 16 0 209884 0
vsize: 839600
[startup+710.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 69832 64 0 0 25 0 11 0 781052552 859750400 26320 4294967295 134512640 134569956 3221224368 3221214564 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26320 13086 16 0 209884 0
vsize: 839600
[startup+720.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 70828 64 0 0 25 0 11 0 781052552 859750400 26320 4294967295 134512640 134569956 3221224368 3221214504 1131448183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26320 13086 16 0 209884 0
vsize: 839600
[startup+730.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) S 20452 3944 3943 0 -1 0 18095 0 1 0 71823 65 0 0 25 0 11 0 781052552 859750400 26320 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26320 13086 16 0 209884 0
vsize: 839600
[startup+740.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 72805 65 0 0 25 0 11 0 781052552 859750400 26329 4294967295 134512640 134569956 3221224368 3221214520 1131258307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26329 13086 16 0 209884 0
vsize: 839600
[startup+750.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 73788 65 0 0 25 0 11 0 781052552 859750400 26329 4294967295 134512640 134569956 3221224368 3221214584 1131245901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 26329 13086 16 0 209884 0
vsize: 839600
[startup+760.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 74768 66 0 0 25 0 11 0 781052552 859750400 26329 4294967295 134512640 134569956 3221224368 3221214616 1131422512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26329 13086 16 0 209884 0
vsize: 839600
[startup+770.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 75744 66 0 0 25 0 11 0 781052552 859750400 26421 4294967295 134512640 134569956 3221224368 3221214512 1131448185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26421 13086 16 0 209884 0
vsize: 839600
[startup+780.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 76733 66 0 0 25 0 11 0 781052552 859750400 26480 4294967295 134512640 134569956 3221224368 3221214584 1131246134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26480 13086 16 0 209884 0
vsize: 839600
[startup+790.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 77720 66 0 0 25 0 11 0 781052552 859750400 26482 4294967295 134512640 134569956 3221224368 3221214520 1131258796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26482 13086 16 0 209884 0
vsize: 839600
[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 78708 66 0 0 25 0 11 0 781052552 859750400 26487 4294967295 134512640 134569956 3221224368 3221214592 1131193908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26487 13086 16 0 209884 0
vsize: 839600
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 79694 66 0 0 25 0 11 0 781052552 859750400 26532 4294967295 134512640 134569956 3221224368 3221214512 1131448183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26532 13086 16 0 209884 0
vsize: 839600
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 80676 66 0 0 25 0 11 0 781052552 859750400 26573 4294967295 134512640 134569956 3221224368 3221214584 1131246061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26573 13086 16 0 209884 0
vsize: 839600
[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 81647 67 0 0 24 0 11 0 781052552 859750400 26575 4294967295 134512640 134569956 3221224368 3221214680 1131369625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26575 13086 16 0 209884 0
vsize: 839600
[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 82613 67 0 0 25 0 11 0 781052552 859750400 26621 4294967295 134512640 134569956 3221224368 3221214680 1131374393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26621 13086 16 0 209884 0
vsize: 839600
[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 83574 67 0 0 25 0 11 0 781052552 859750400 26690 4294967295 134512640 134569956 3221224368 3221214680 1131370953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26690 13086 16 0 209884 0
vsize: 839600
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 84550 67 0 0 24 0 11 0 781052552 859750400 26827 4294967295 134512640 134569956 3221224368 3221214584 1131246061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26827 13086 16 0 209884 0
vsize: 839600
[startup+870.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 85538 67 0 0 25 0 11 0 781052552 859750400 26887 4294967295 134512640 134569956 3221224368 3221214680 1131368113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26887 13086 16 0 209884 0
vsize: 839600
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 86523 67 0 0 25 0 11 0 781052552 859750400 26890 4294967295 134512640 134569956 3221224368 3221214520 1131258109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26890 13086 16 0 209884 0
vsize: 839600
[startup+890.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 87503 68 0 0 25 0 11 0 781052552 859750400 26892 4294967295 134512640 134569956 3221224368 3221214680 1131369759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26892 13086 16 0 209884 0
vsize: 839600
[startup+900.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 88475 68 0 0 25 0 11 0 781052552 859750400 26892 4294967295 134512640 134569956 3221224368 3221214512 1131448839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26892 13086 16 0 209884 0
vsize: 839600
[startup+910.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 89448 68 0 0 25 0 11 0 781052552 859750400 26895 4294967295 134512640 134569956 3221224368 3221214512 1131449623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 26895 13086 16 0 209884 0
vsize: 839600
[startup+920.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 90414 68 0 0 25 0 11 0 781052552 859750400 27041 4294967295 134512640 134569956 3221224368 3221214676 1131172101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27041 13086 16 0 209884 0
vsize: 839600
[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) S 20452 3944 3943 0 -1 0 18095 0 1 0 91377 68 0 0 25 0 11 0 781052552 859750400 27086 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27086 13086 16 0 209884 0
vsize: 839600
[startup+940.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 92337 69 0 0 25 0 11 0 781052552 859750400 27150 4294967295 134512640 134569956 3221224368 3221214624 1131408750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27150 13086 16 0 209884 0
vsize: 839600
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 93276 69 0 0 24 0 11 0 781052552 859750400 27190 4294967295 134512640 134569956 3221224368 3221214584 1131246061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27190 13086 16 0 209884 0
vsize: 839600
[startup+960.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 94211 69 0 0 25 0 11 0 781052552 859750400 27299 4294967295 134512640 134569956 3221224368 3221214520 1131258287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27299 13086 16 0 209884 0
vsize: 839600
[startup+970.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 95149 69 0 0 25 0 11 0 781052552 859750400 27519 4294967295 134512640 134569956 3221224368 3221214584 1131246530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27519 13086 16 0 209884 0
vsize: 839600
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 96098 70 0 0 25 0 11 0 781052552 859750400 27689 4294967295 134512640 134569956 3221224368 3221214584 1131246279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 27689 13086 16 0 209884 0
vsize: 839600
[startup+990.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 97063 70 0 0 25 0 11 0 781052552 859750400 28002 4294967295 134512640 134569956 3221224368 3221214632 1131371036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28002 13086 16 0 209884 0
vsize: 839600
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 98043 70 0 0 25 0 11 0 781052552 859750400 28006 4294967295 134512640 134569956 3221224368 3221214632 1131372938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28006 13086 16 0 209884 0
vsize: 839600
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 99023 70 0 0 25 0 11 0 781052552 859750400 28083 4294967295 134512640 134569956 3221224368 3221214632 1131372732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209900 28083 13086 16 0 209884 0
vsize: 839600
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 100001 70 0 0 25 0 11 0 781052552 859750400 28086 4294967295 134512640 134569956 3221224368 3221214568 1131424532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28086 13086 16 0 209884 0
vsize: 839600
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 100975 71 0 0 25 0 11 0 781052552 859750400 28091 4294967295 134512640 134569956 3221224368 3221214632 1131368031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28091 13086 16 0 209884 0
vsize: 839600
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 101943 71 0 0 25 0 11 0 781052552 859750400 28128 4294967295 134512640 134569956 3221224368 3221214632 1131369932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28128 13086 16 0 209884 0
vsize: 839600
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 102908 71 0 0 24 0 11 0 781052552 859750400 28245 4294967295 134512640 134569956 3221224368 3221214536 1131245971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28245 13086 16 0 209884 0
vsize: 839600
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 103883 71 0 0 25 0 11 0 781052552 859750400 28290 4294967295 134512640 134569956 3221224368 3221214760 1131456108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28290 13086 16 0 209884 0
vsize: 839600
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 104856 71 0 0 25 0 11 0 781052552 859750400 28369 4294967295 134512640 134569956 3221224368 3221214536 1131246014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28369 13086 16 0 209884 0
vsize: 839600
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 105822 72 0 0 24 0 11 0 781052552 859750400 28371 4294967295 134512640 134569956 3221224368 3221214624 1131172092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28371 13086 16 0 209884 0
vsize: 839600
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 106782 72 0 0 25 0 11 0 781052552 859750400 28450 4294967295 134512640 134569956 3221224368 3221214624 1131172039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28450 13086 16 0 209884 0
vsize: 839600
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 107743 72 0 0 25 0 11 0 781052552 859750400 28560 4294967295 134512640 134569956 3221224368 3221214488 1131258073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28560 13086 16 0 209884 0
vsize: 839600
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 108711 72 0 0 25 0 11 0 781052552 859750400 28564 4294967295 134512640 134569956 3221224368 3221214536 1131245963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28564 13086 16 0 209884 0
vsize: 839600
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 109668 72 0 0 25 0 11 0 781052552 859750400 28652 4294967295 134512640 134569956 3221224368 3221214632 1131369432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28652 13086 16 0 209884 0
vsize: 839600
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) S 20452 3944 3943 0 -1 0 18095 0 1 0 110630 72 0 0 25 0 11 0 781052552 859750400 28788 4294967295 134512640 134569956 3221224368 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28788 13086 16 0 209884 0
vsize: 839600
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 111592 73 0 0 25 0 11 0 781052552 859750400 28896 4294967295 134512640 134569956 3221224368 3221214632 1131369432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28896 13086 16 0 209884 0
vsize: 839600
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 112548 73 0 0 25 0 11 0 781052552 859750400 28906 4294967295 134512640 134569956 3221224368 3221214536 1131245912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 28906 13086 16 0 209884 0
vsize: 839600
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 113506 73 0 0 25 0 11 0 781052552 859750400 29014 4294967295 134512640 134569956 3221224368 3221214536 1131246061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29014 13086 16 0 209884 0
vsize: 839600
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 114468 73 0 0 25 0 11 0 781052552 859750400 29162 4294967295 134512640 134569956 3221224368 3221214528 1131310839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29162 13086 16 0 209884 0
vsize: 839600
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 115431 73 0 0 25 0 11 0 781052552 859750400 29252 4294967295 134512640 134569956 3221224368 3221214488 1131258749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29252 13086 16 0 209884 0
vsize: 839600
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 116400 74 0 0 24 0 11 0 781052552 859750400 29335 4294967295 134512640 134569956 3221224368 3221214740 1131291619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29335 13086 16 0 209884 0
vsize: 839600
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 117367 74 0 0 25 0 11 0 781052552 859750400 29336 4294967295 134512640 134569956 3221224368 3221214632 1131369276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29336 13086 16 0 209884 0
vsize: 839600
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 118319 74 0 0 24 0 11 0 781052552 859750400 29462 4294967295 134512640 134569956 3221224368 3221214632 1131367978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29462 13086 16 0 209884 0
vsize: 839600
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 119280 74 0 0 24 0 11 0 781052552 859750400 29502 4294967295 134512640 134569956 3221224368 3221214536 1131246014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29502 13086 16 0 209884 0
vsize: 839600
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20463
Raw data (stat): 20453 (java) R 20452 3944 3943 0 -1 0 18095 0 1 0 120246 74 0 0 25 0 11 0 781052552 859750400 29714 4294967295 134512640 134569956 3221224368 3221214536 1131246014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209900 29714 13086 16 0 209884 0
vsize: 839600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20465
Raw data (stat): 20453 (java) Z 20452 3944 3943 0 -1 1036 18095 16395 1 0 120249 79 3734 44 25 0 1 0 781052552 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.22
CPU time (s): 1241.08
CPU user time (s): 1239.83
CPU system time (s): 1.24281
CPU usage (%): 100.882
Max. virtual memory (Kb): 839600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####