PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-swath.opb
MD5SUM	88ff0d04f1767526eb86ccd93c80fd2c
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	16777216000000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	66042304016951
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.269958
Number of variables	9155
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7147
Number of constraints which are nor clauses,nor cardinality constraints	461
Minimum length of a constraint	1
Maximum length of a constraint	6754
Trace number 29680

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        369116 kB
Buffers:         36848 kB
Cached:         604824 kB
SwapCached:        656 kB
Active:         146968 kB
Inactive:       497356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        368864 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15464 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:40:03 (client local time) WITH STATUS 143 IN 1228.29 SECONDS
stats: 21084 7 1228.29 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-swath.opb
c reading problem ... done. Time 33.967 ms.
c #vars     9155
c #constraints  987
c starts	: 1
c conflicts	: 20
c decisions	: 5528
c propagations	: 22866
c inspects	: 108043
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1229.077
#### 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.85 0.97 0.99 2/54 2625
Raw data (stat): 2625 (runsolver) R 2624 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838113369 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.0002 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 2634
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18020 0 1 0 882 39 0 0 25 0 10 0 838113369 854134784 19308 4294967295 134512640 134569956 3221224368 3221214460 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208529 19308 13086 16 0 208513 0
vsize: 834116
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.97 0.99 4/63 2634
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18027 0 1 0 1761 40 0 0 25 0 10 0 838113369 858587136 21034 4294967295 134512640 134569956 3221224368 3221214688 1131177281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 21034 13086 16 0 209600 0
vsize: 838464
[startup+30.003 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 2634
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18027 0 1 0 2613 40 0 0 25 0 10 0 838113369 856817664 21418 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 21418 13086 16 0 209168 0
vsize: 836736
[startup+40.0031 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18064 0 1 0 3468 42 0 0 25 0 11 0 838113369 862720000 24833 4294967295 134512640 134569956 3221224368 3221214576 1131447939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210625 24833 13086 16 0 210609 0
vsize: 842500
[startup+50.0033 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 2635
Raw data (stat): 2625 (java) S 2624 20687 20686 0 -1 0 18065 0 1 0 4423 42 0 0 25 0 11 0 838113369 862294016 26499 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210521 26499 13086 16 0 210505 0
vsize: 842084
[startup+60.004 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 5366 43 0 0 25 0 11 0 838113369 861728768 26369 4294967295 134512640 134569956 3221224368 3221214480 1131347149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26369 13086 16 0 210367 0
vsize: 841532
[startup+70.0042 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 6323 43 0 0 25 0 11 0 838113369 861728768 26369 4294967295 134512640 134569956 3221224368 3221214576 1131358999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26369 13086 16 0 210367 0
vsize: 841532
[startup+80.0056 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 7260 43 0 0 25 0 11 0 838113369 861728768 26369 4294967295 134512640 134569956 3221224368 3221214480 1131345353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26369 13086 16 0 210367 0
vsize: 841532
[startup+90.006 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 8208 43 0 0 25 0 11 0 838113369 861728768 26530 4294967295 134512640 134569956 3221224368 3221214640 1131477383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26530 13086 16 0 210367 0
vsize: 841532
[startup+100.005 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 9142 43 0 0 25 0 11 0 838113369 861728768 26646 4294967295 134512640 134569956 3221224368 3221214480 1131346245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26646 13086 16 0 210367 0
vsize: 841532
[startup+110.006 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 10090 43 0 0 24 0 11 0 838113369 861728768 26929 4294967295 134512640 134569956 3221224368 3221214640 1131475551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26929 13086 16 0 210367 0
vsize: 841532
[startup+120.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 11061 43 0 0 25 0 11 0 838113369 861728768 26930 4294967295 134512640 134569956 3221224368 3221214640 1131473302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26930 13086 16 0 210367 0
vsize: 841532
[startup+130.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 12037 43 0 0 25 0 11 0 838113369 861728768 27052 4294967295 134512640 134569956 3221224368 3221214576 1131358634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27052 13086 16 0 210367 0
vsize: 841532
[startup+140.008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 13018 43 0 0 25 0 11 0 838113369 861728768 27204 4294967295 134512640 134569956 3221224368 3221214700 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27204 13086 16 0 210367 0
vsize: 841532
[startup+150.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 14005 43 0 0 25 0 11 0 838113369 861728768 27204 4294967295 134512640 134569956 3221224368 3221214576 1131358645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27204 13086 16 0 210367 0
vsize: 841532
[startup+160.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 14979 44 0 0 25 0 11 0 838113369 861728768 27207 4294967295 134512640 134569956 3221224368 3221214640 1131473302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27207 13086 16 0 210367 0
vsize: 841532
[startup+170.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 15958 44 0 0 25 0 11 0 838113369 861728768 27210 4294967295 134512640 134569956 3221224368 3221214480 1131345671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27210 13086 16 0 210367 0
vsize: 841532
[startup+180.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 16941 44 0 0 25 0 11 0 838113369 861728768 27211 4294967295 134512640 134569956 3221224368 3221214504 1131345453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27211 13086 16 0 210367 0
vsize: 841532
[startup+190.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 17929 44 0 0 25 0 11 0 838113369 861728768 27368 4294967295 134512640 134569956 3221224368 3221214664 1131473351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27368 13086 16 0 210367 0
vsize: 841532
[startup+200.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 18926 44 0 0 25 0 11 0 838113369 861728768 27368 4294967295 134512640 134569956 3221224368 3221214664 1131473351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27368 13086 16 0 210367 0
vsize: 841532
[startup+210.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 19922 44 0 0 25 0 11 0 838113369 861728768 27369 4294967295 134512640 134569956 3221224368 3221214464 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27369 13086 16 0 210367 0
vsize: 841532
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 20917 45 0 0 25 0 11 0 838113369 861728768 27370 4294967295 134512640 134569956 3221224368 3221214740 1131231712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27370 13086 16 0 210367 0
vsize: 841532
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 21908 45 0 0 25 0 11 0 838113369 861728768 27371 4294967295 134512640 134569956 3221224368 3221214744 1131216511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27371 13086 16 0 210367 0
vsize: 841532
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 22900 45 0 0 25 0 11 0 838113369 861728768 27373 4294967295 134512640 134569956 3221224368 3221214664 1131227642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27373 13086 16 0 210367 0
vsize: 841532
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 23891 45 0 0 25 0 11 0 838113369 861728768 27374 4294967295 134512640 134569956 3221224368 3221214672 1131327132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27374 13086 16 0 210367 0
vsize: 841532
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 24871 45 0 0 25 0 11 0 838113369 861728768 27376 4294967295 134512640 134569956 3221224368 3221214504 1131345460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27376 13086 16 0 210367 0
vsize: 841532
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 25847 45 0 0 25 0 11 0 838113369 861728768 27379 4294967295 134512640 134569956 3221224368 3221214504 1131345586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27379 13086 16 0 210367 0
vsize: 841532
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 26829 45 0 0 25 0 11 0 838113369 861728768 27380 4294967295 134512640 134569956 3221224368 3221214504 1131345453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27380 13086 16 0 210367 0
vsize: 841532
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 27814 45 0 0 25 0 11 0 838113369 861728768 27507 4294967295 134512640 134569956 3221224368 3221214664 1131473411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27507 13086 16 0 210367 0
vsize: 841532
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 28811 45 0 0 25 0 11 0 838113369 861728768 27507 4294967295 134512640 134569956 3221224368 3221214600 1131359078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27507 13086 16 0 210367 0
vsize: 841532
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 29809 45 0 0 25 0 11 0 838113369 861728768 27507 4294967295 134512640 134569956 3221224368 3221214504 1131345404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27507 13086 16 0 210367 0
vsize: 841532
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 30807 45 0 0 25 0 11 0 838113369 861728768 27508 4294967295 134512640 134569956 3221224368 3221214664 1131473351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27508 13086 16 0 210367 0
vsize: 841532
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 31803 45 0 0 25 0 11 0 838113369 861728768 27508 4294967295 134512640 134569956 3221224368 3221214664 1131473123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27508 13086 16 0 210367 0
vsize: 841532
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 32800 45 0 0 25 0 11 0 838113369 861728768 27508 4294967295 134512640 134569956 3221224368 3221214664 1131474395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27508 13086 16 0 210367 0
vsize: 841532
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 33796 45 0 0 25 0 11 0 838113369 861728768 27509 4294967295 134512640 134569956 3221224368 3221214552 1131227857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27509 13086 16 0 210367 0
vsize: 841532
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 34792 46 0 0 25 0 11 0 838113369 861728768 27510 4294967295 134512640 134569956 3221224368 3221214600 1131358631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27510 13086 16 0 210367 0
vsize: 841532
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 35787 46 0 0 25 0 11 0 838113369 861728768 27512 4294967295 134512640 134569956 3221224368 3221214664 1131473351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27512 13086 16 0 210367 0
vsize: 841532
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 36781 46 0 0 25 0 11 0 838113369 861728768 27513 4294967295 134512640 134569956 3221224368 3221214776 1131395107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27513 13086 16 0 210367 0
vsize: 841532
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 37774 46 0 0 25 0 11 0 838113369 861728768 27515 4294967295 134512640 134569956 3221224368 3221214776 1131394819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27515 13086 16 0 210367 0
vsize: 841532
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 38767 46 0 0 25 0 11 0 838113369 861728768 27516 4294967295 134512640 134569956 3221224368 3221214672 1131326783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27516 13086 16 0 210367 0
vsize: 841532
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 39757 46 0 0 25 0 11 0 838113369 861728768 27517 4294967295 134512640 134569956 3221224368 3221214728 1131231771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27517 13086 16 0 210367 0
vsize: 841532
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 40746 46 0 0 25 0 11 0 838113369 861728768 27518 4294967295 134512640 134569956 3221224368 3221214504 1131345541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27518 13086 16 0 210367 0
vsize: 841532
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 41720 46 0 0 25 0 11 0 838113369 861728768 27522 4294967295 134512640 134569956 3221224368 3221214600 1131358709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27522 13086 16 0 210367 0
vsize: 841532
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 42697 46 0 0 25 0 11 0 838113369 861728768 27522 4294967295 134512640 134569956 3221224368 3221214504 1131345392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27522 13086 16 0 210367 0
vsize: 841532
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 43674 46 0 0 25 0 11 0 838113369 861728768 27523 4294967295 134512640 134569956 3221224368 3221214504 1131345474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27523 13086 16 0 210367 0
vsize: 841532
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 44666 46 0 0 25 0 11 0 838113369 861728768 27661 4294967295 134512640 134569956 3221224368 3221214504 1131346128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27661 13086 16 0 210367 0
vsize: 841532
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 45664 46 0 0 25 0 11 0 838113369 861728768 27662 4294967295 134512640 134569956 3221224368 3221214596 1131346370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27662 13086 16 0 210367 0
vsize: 841532
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 46663 46 0 0 25 0 11 0 838113369 861728768 27662 4294967295 134512640 134569956 3221224368 3221214504 1131345432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27662 13086 16 0 210367 0
vsize: 841532
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 47661 46 0 0 25 0 11 0 838113369 861728768 27662 4294967295 134512640 134569956 3221224368 3221214664 1131474559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27662 13086 16 0 210367 0
vsize: 841532
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 48659 46 0 0 25 0 11 0 838113369 861728768 27662 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27662 13086 16 0 210367 0
vsize: 841532
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 49656 46 0 0 25 0 11 0 838113369 861728768 27663 4294967295 134512640 134569956 3221224368 3221214664 1131475466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27663 13086 16 0 210367 0
vsize: 841532
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 50654 46 0 0 25 0 11 0 838113369 861728768 27663 4294967295 134512640 134569956 3221224368 3221214664 1131474568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27663 13086 16 0 210367 0
vsize: 841532
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 51651 46 0 0 25 0 11 0 838113369 861728768 27663 4294967295 134512640 134569956 3221224368 3221214776 1131394787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27663 13086 16 0 210367 0
vsize: 841532
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18065 0 1 0 52645 46 0 0 25 0 11 0 838113369 861728768 27663 4294967295 134512640 134569956 3221224368 3221214776 1131394793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27663 13086 16 0 210367 0
vsize: 841532
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 53638 47 0 0 25 0 11 0 838113369 861728768 27664 4294967295 134512640 134569956 3221224368 3221214760 1131249248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27664 13086 16 0 210367 0
vsize: 841532
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 54631 47 0 0 25 0 11 0 838113369 861728768 27665 4294967295 134512640 134569956 3221224368 3221214744 1131216533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27665 13086 16 0 210367 0
vsize: 841532
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 55616 47 0 0 25 0 11 0 838113369 861728768 27665 4294967295 134512640 134569956 3221224368 3221214700 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27665 13086 16 0 210367 0
vsize: 841532
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 56592 47 0 0 25 0 11 0 838113369 861728768 27666 4294967295 134512640 134569956 3221224368 3221214616 1131345560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27666 13086 16 0 210367 0
vsize: 841532
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 57573 47 0 0 25 0 11 0 838113369 861728768 27666 4294967295 134512640 134569956 3221224368 3221214776 1131395165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27666 13086 16 0 210367 0
vsize: 841532
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 58550 47 0 0 25 0 11 0 838113369 861728768 27667 4294967295 134512640 134569956 3221224368 3221214776 1131394787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27667 13086 16 0 210367 0
vsize: 841532
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 59526 47 0 0 25 0 11 0 838113369 861728768 27668 4294967295 134512640 134569956 3221224368 3221214496 1131306441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27668 13086 16 0 210367 0
vsize: 841532
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 60508 47 0 0 25 0 11 0 838113369 861728768 27668 4294967295 134512640 134569956 3221224368 3221214728 1131231815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27668 13086 16 0 210367 0
vsize: 841532
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 61484 47 0 0 25 0 11 0 838113369 861728768 27668 4294967295 134512640 134569956 3221224368 3221214828 1130919522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27668 13086 16 0 210367 0
vsize: 841532
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 62464 47 0 0 25 0 11 0 838113369 861728768 27803 4294967295 134512640 134569956 3221224368 3221214664 1131477456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27803 13086 16 0 210367 0
vsize: 841532
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 63443 47 0 0 25 0 11 0 838113369 861728768 27803 4294967295 134512640 134569956 3221224368 3221214504 1131346130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27803 13086 16 0 210367 0
vsize: 841532
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 64422 47 0 0 25 0 11 0 838113369 861728768 27803 4294967295 134512640 134569956 3221224368 3221214664 1131474487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27803 13086 16 0 210367 0
vsize: 841532
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 65404 47 0 0 25 0 11 0 838113369 861728768 27803 4294967295 134512640 134569956 3221224368 3221214600 1131358673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27803 13086 16 0 210367 0
vsize: 841532
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 66394 47 0 0 25 0 11 0 838113369 861728768 27936 4294967295 134512640 134569956 3221224368 3221214504 1131345304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27936 13086 16 0 210367 0
vsize: 841532
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 67391 47 0 0 25 0 11 0 838113369 861728768 27937 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27937 13086 16 0 210367 0
vsize: 841532
[startup+700.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 68389 47 0 0 25 0 11 0 838113369 861728768 27938 4294967295 134512640 134569956 3221224368 3221214504 1131345453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27938 13086 16 0 210367 0
vsize: 841532
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 69385 47 0 0 25 0 11 0 838113369 861728768 27939 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27939 13086 16 0 210367 0
vsize: 841532
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 70376 48 0 0 25 0 11 0 838113369 861728768 27945 4294967295 134512640 134569956 3221224368 3221214760 1131393426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27945 13086 16 0 210367 0
vsize: 841532
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 71363 48 0 0 25 0 11 0 838113369 861728768 27945 4294967295 134512640 134569956 3221224368 3221214792 1131394819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27945 13086 16 0 210367 0
vsize: 841532
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 72345 48 0 0 25 0 11 0 838113369 861728768 27945 4294967295 134512640 134569956 3221224368 3221214760 1131393392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27945 13086 16 0 210367 0
vsize: 841532
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 73324 48 0 0 25 0 11 0 838113369 861728768 27946 4294967295 134512640 134569956 3221224368 3221214600 1131358709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27946 13086 16 0 210367 0
vsize: 841532
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 74293 48 0 0 25 0 11 0 838113369 861728768 27947 4294967295 134512640 134569956 3221224368 3221214504 1131345453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27947 13086 16 0 210367 0
vsize: 841532
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 75261 48 0 0 25 0 11 0 838113369 861728768 27947 4294967295 134512640 134569956 3221224368 3221214660 1131359255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 27947 13086 16 0 210367 0
vsize: 841532
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 76238 48 0 0 25 0 11 0 838113369 861728768 28063 4294967295 134512640 134569956 3221224368 3221214504 1131345453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28063 13086 16 0 210367 0
vsize: 841532
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 77224 48 0 0 25 0 11 0 838113369 861728768 28194 4294967295 134512640 134569956 3221224368 3221214664 1131474606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28194 13086 16 0 210367 0
vsize: 841532
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 78222 48 0 0 25 0 11 0 838113369 861728768 28194 4294967295 134512640 134569956 3221224368 3221214600 1131358709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28194 13086 16 0 210367 0
vsize: 841532
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 79217 48 0 0 25 0 11 0 838113369 861728768 28194 4294967295 134512640 134569956 3221224368 3221214792 1131394819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28194 13086 16 0 210367 0
vsize: 841532
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 80212 48 0 0 25 0 11 0 838113369 861728768 28194 4294967295 134512640 134569956 3221224368 3221214528 1131233561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28194 13086 16 0 210367 0
vsize: 841532
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 81203 48 0 0 25 0 11 0 838113369 861728768 28195 4294967295 134512640 134569956 3221224368 3221214760 1131393398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28195 13086 16 0 210367 0
vsize: 841532
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 82190 48 0 0 25 0 11 0 838113369 861728768 28195 4294967295 134512640 134569956 3221224368 3221214688 1131326773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28195 13086 16 0 210367 0
vsize: 841532
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 83178 48 0 0 25 0 11 0 838113369 861728768 28195 4294967295 134512640 134569956 3221224368 3221214616 1131287191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28195 13086 16 0 210367 0
vsize: 841532
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 84164 48 0 0 25 0 11 0 838113369 861728768 28195 4294967295 134512640 134569956 3221224368 3221214688 1131326852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28195 13086 16 0 210367 0
vsize: 841532
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 85150 48 0 0 25 0 11 0 838113369 861728768 28196 4294967295 134512640 134569956 3221224368 3221214664 1131474606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28196 13086 16 0 210367 0
vsize: 841532
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 86125 48 0 0 25 0 11 0 838113369 861728768 28196 4294967295 134512640 134569956 3221224368 3221214504 1131345446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28196 13086 16 0 210367 0
vsize: 841532
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 87103 48 0 0 25 0 11 0 838113369 861728768 28196 4294967295 134512640 134569956 3221224368 3221214504 1131347340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28196 13086 16 0 210367 0
vsize: 841532
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 88047 48 0 0 25 0 11 0 838113369 861728768 28196 4294967295 134512640 134569956 3221224368 3221214504 1131346090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28196 13086 16 0 210367 0
vsize: 841532
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 88992 48 0 0 25 0 11 0 838113369 861728768 28353 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28353 13086 16 0 210367 0
vsize: 841532
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 89943 49 0 0 25 0 11 0 838113369 861728768 28353 4294967295 134512640 134569956 3221224368 3221214664 1131473107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28353 13086 16 0 210367 0
vsize: 841532
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 90908 49 0 0 25 0 11 0 838113369 861728768 28662 4294967295 134512640 134569956 3221224368 3221214664 1131474606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28662 13086 16 0 210367 0
vsize: 841532
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 91886 49 0 0 24 0 11 0 838113369 861728768 28662 4294967295 134512640 134569956 3221224368 3221214664 1131473351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28662 13086 16 0 210367 0
vsize: 841532
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 92869 49 0 0 25 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 93868 49 0 0 25 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214504 1131345641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 94864 49 0 0 25 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214688 1131326893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 95857 49 0 0 25 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214760 1131393392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 96850 49 0 0 25 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214760 1131216455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 97824 49 0 0 24 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214664 1131474606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 98798 49 0 0 25 0 11 0 838113369 861728768 28820 4294967295 134512640 134569956 3221224368 3221214504 1131345724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28820 13086 16 0 210367 0
vsize: 841532
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 99769 49 0 0 25 0 11 0 838113369 861728768 28821 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28821 13086 16 0 210367 0
vsize: 841532
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 100758 49 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214664 1131473379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 101756 49 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214664 1131473351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 102754 49 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214504 1131345467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 103753 49 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214600 1131358965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 104751 50 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214600 1131358634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 105749 50 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214504 1131347345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 106747 50 0 0 25 0 11 0 838113369 861728768 28988 4294967295 134512640 134569956 3221224368 3221214664 1131478409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28988 13086 16 0 210367 0
vsize: 841532
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 107745 50 0 0 25 0 11 0 838113369 861728768 28989 4294967295 134512640 134569956 3221224368 3221214664 1131473123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28989 13086 16 0 210367 0
vsize: 841532
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 108742 50 0 0 25 0 11 0 838113369 861728768 28990 4294967295 134512640 134569956 3221224368 3221214600 1131358621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28990 13086 16 0 210367 0
vsize: 841532
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 109740 50 0 0 25 0 11 0 838113369 861728768 28991 4294967295 134512640 134569956 3221224368 3221214664 1131477075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28991 13086 16 0 210367 0
vsize: 841532
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 110735 50 0 0 25 0 11 0 838113369 861728768 28991 4294967295 134512640 134569956 3221224368 3221214536 1131514280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28991 13086 16 0 210367 0
vsize: 841532
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 111718 50 0 0 25 0 11 0 838113369 861728768 28991 4294967295 134512640 134569956 3221224368 3221214720 1131233561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28991 13086 16 0 210367 0
vsize: 841532
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 112701 50 0 0 25 0 11 0 838113369 861728768 28991 4294967295 134512640 134569956 3221224368 3221214680 1131227681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28991 13086 16 0 210367 0
vsize: 841532
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 113680 50 0 0 25 0 11 0 838113369 861728768 28992 4294967295 134512640 134569956 3221224368 3221214760 1131393392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28992 13086 16 0 210367 0
vsize: 841532
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 114658 50 0 0 24 0 11 0 838113369 861728768 28992 4294967295 134512640 134569956 3221224368 3221214760 1131216504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28992 13086 16 0 210367 0
vsize: 841532
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) S 2624 20687 20686 0 -1 0 18066 0 1 0 115639 50 0 0 25 0 11 0 838113369 861728768 28992 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28992 13086 16 0 210367 0
vsize: 841532
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 116614 50 0 0 25 0 11 0 838113369 861728768 28992 4294967295 134512640 134569956 3221224368 3221214792 1131394962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 28992 13086 16 0 210367 0
vsize: 841532
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 117599 50 0 0 25 0 11 0 838113369 861728768 29224 4294967295 134512640 134569956 3221224368 3221214636 1131426089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 29224 13086 16 0 210367 0
vsize: 841532
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 118576 50 0 0 25 0 11 0 838113369 861728768 29240 4294967295 134512640 134569956 3221224368 3221214504 1131345453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 29240 13086 16 0 210367 0
vsize: 841532
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 119544 50 0 0 25 0 11 0 838113369 861728768 29264 4294967295 134512640 134569956 3221224368 3221214600 1131358948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 29264 13086 16 0 210367 0
vsize: 841532
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2635
Raw data (stat): 2625 (java) R 2624 20687 20686 0 -1 0 18066 0 1 0 120515 50 0 0 25 0 11 0 838113369 861728768 29291 4294967295 134512640 134569956 3221224368 3221214504 1131345353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 29291 13086 16 0 210367 0
vsize: 841532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2637
Raw data (stat): 2625 (java) Z 2624 20687 20686 0 -1 1036 18066 9085 1 0 120518 50 2228 31 25 0 1 0 838113369 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): 1230.13
CPU time (s): 1228.29
CPU user time (s): 1227.47
CPU system time (s): 0.822874
CPU usage (%): 99.8504
Max. virtual memory (Kb): 842500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####