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/miplib3/normalized-mps-v2-13-7-misc06.opb
MD5SUM	a9bcf0b6d0323d251b7b3500c52602fc
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	206346968982065664
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	22661639986845859840
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.3378
Number of variables	34058
Total number of constraints	932
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	112
Number of constraints which are nor clauses,nor cardinality constraints	820
Minimum length of a constraint	1
Maximum length of a constraint	8981
Trace number 30038

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 14:04:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21441 boxname=wulflinc18 idbench=1429 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a9bcf0b6d0323d251b7b3500c52602fc  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-misc06.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-misc06.opb
IDLAUNCH: 21441
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        749960 kB
Buffers:         37616 kB
Cached:         218564 kB
SwapCached:        588 kB
Active:          66064 kB
Inactive:       195452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        749708 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            17504 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:25:36 (client local time) WITH STATUS 143 IN 1262.5 SECONDS
stats: 21441 7 1262.5 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/wulflinc18/normalized-mps-v2-13-7-misc06.opb
c reading problem ... done. Time 329.47 ms.
c #vars     34058
c #constraints  1070
c starts	: 2
c conflicts	: 166
c decisions	: 19547
c propagations	: 51342
c inspects	: 206606
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 166
c root simplifications	: 13
s UNKNOWN
c Total CPU time (ms) : 1249.167
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.00 1.02 1.00 2/54 2491
Raw data (stat): 2491 (runsolver) R 2490 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839444150 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 2500
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 841 39 0 0 21 0 10 0 839444150 857255936 20111 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209291 20111 13086 16 0 209275 0
vsize: 837164
[startup+20.0014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 2500
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 1737 40 0 0 25 0 10 0 839444150 856600576 20522 4294967295 134512640 134569956 3221224368 3221214652 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209131 20522 13086 16 0 209115 0
vsize: 836524
[startup+30.0026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 2616 40 0 0 25 0 10 0 839444150 856600576 21082 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 21082 13086 16 0 209115 0
vsize: 836524
[startup+40.0031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 3523 41 0 0 24 0 10 0 839444150 856600576 21405 4294967295 134512640 134569956 3221224368 3221214776 1131338311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 21405 13086 16 0 209115 0
vsize: 836524
[startup+50.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) S 2490 24172 24171 0 -1 0 18050 0 1 0 4442 41 0 0 25 0 10 0 839444150 856600576 21590 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 21590 13086 16 0 209115 0
vsize: 836524
[startup+60.0033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 5352 41 0 0 25 0 10 0 839444150 856600576 21732 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 21732 13086 16 0 209115 0
vsize: 836524
[startup+70.0039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 6268 42 0 0 25 0 10 0 839444150 856600576 21989 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 21989 13086 16 0 209115 0
vsize: 836524
[startup+80.0048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 7199 42 0 0 25 0 10 0 839444150 856600576 22103 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22103 13086 16 0 209115 0
vsize: 836524
[startup+90.0052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 8122 43 0 0 25 0 10 0 839444150 856600576 22215 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22215 13086 16 0 209115 0
vsize: 836524
[startup+100.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 9044 43 0 0 25 0 10 0 839444150 856600576 22383 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22383 13086 16 0 209115 0
vsize: 836524
[startup+110.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 9979 44 0 0 25 0 10 0 839444150 856600576 22483 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22483 13086 16 0 209115 0
vsize: 836524
[startup+120.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 10911 44 0 0 25 0 10 0 839444150 856600576 22583 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22583 13086 16 0 209115 0
vsize: 836524
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 11847 44 0 0 25 0 10 0 839444150 856600576 22673 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22673 13086 16 0 209115 0
vsize: 836524
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 12778 45 0 0 24 0 10 0 839444150 856600576 22771 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22771 13086 16 0 209115 0
vsize: 836524
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 13710 45 0 0 25 0 10 0 839444150 856600576 22861 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22861 13086 16 0 209115 0
vsize: 836524
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18050 0 1 0 14633 45 0 0 25 0 10 0 839444150 856600576 22947 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 22947 13086 16 0 209115 0
vsize: 836524
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 15554 46 0 0 24 0 10 0 839444150 856600576 23076 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23076 13086 16 0 209115 0
vsize: 836524
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 16462 46 0 0 25 0 10 0 839444150 856600576 23173 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23173 13086 16 0 209115 0
vsize: 836524
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 17368 47 0 0 25 0 10 0 839444150 856600576 23318 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23318 13086 16 0 209115 0
vsize: 836524
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 18298 47 0 0 25 0 10 0 839444150 856600576 23564 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23564 13086 16 0 209115 0
vsize: 836524
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 19231 47 0 0 25 0 10 0 839444150 856600576 23640 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23640 13086 16 0 209115 0
vsize: 836524
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) S 2490 24172 24171 0 -1 0 18051 0 1 0 20164 48 0 0 25 0 10 0 839444150 856600576 23712 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23712 13086 16 0 209115 0
vsize: 836524
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 21094 48 0 0 25 0 10 0 839444150 856600576 23788 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23788 13086 16 0 209115 0
vsize: 836524
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 22026 48 0 0 25 0 10 0 839444150 856600576 23859 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23859 13086 16 0 209115 0
vsize: 836524
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 22958 49 0 0 25 0 10 0 839444150 856600576 23925 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23925 13086 16 0 209115 0
vsize: 836524
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 23891 49 0 0 25 0 10 0 839444150 856600576 23994 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 23994 13086 16 0 209115 0
vsize: 836524
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18051 0 1 0 24822 49 0 0 25 0 10 0 839444150 856600576 24059 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 24059 13086 16 0 209115 0
vsize: 836524
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18053 0 1 0 25750 50 0 0 25 0 10 0 839444150 856600576 24125 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 24125 13086 16 0 209115 0
vsize: 836524
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18053 0 1 0 26670 50 0 0 25 0 10 0 839444150 856600576 24186 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 24186 13086 16 0 209115 0
vsize: 836524
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18053 0 1 0 27583 51 0 0 25 0 10 0 839444150 856600576 24288 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 24288 13086 16 0 209115 0
vsize: 836524
[startup+310.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18053 0 1 0 28504 51 0 0 25 0 10 0 839444150 856600576 24380 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 24380 13086 16 0 209115 0
vsize: 836524
[startup+320.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18053 0 1 0 29417 51 0 0 24 0 10 0 839444150 856600576 24473 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209131 24473 13086 16 0 209115 0
vsize: 836524
[startup+330.025 s]
Raw data (loadavg): 1.05 1.01 1.00 3/63 2502
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18053 0 1 0 30336 52 0 0 25 0 10 0 839444150 856600576 24947 4294967295 134512640 134569956 3221224368 3221214744 1131156329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209131 24947 13086 16 0 209115 0
vsize: 836524
[startup+340.025 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18094 0 1 0 31264 53 0 0 25 0 11 0 839444150 857817088 27511 4294967295 134512640 134569956 3221224368 3221214872 1130863001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209428 27511 13086 16 0 209412 0
vsize: 837712
[startup+350.025 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18107 0 1 0 32214 53 0 0 25 0 11 0 839444150 860520448 28171 4294967295 134512640 134569956 3221224368 3221214560 1131489966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28171 13086 16 0 210072 0
vsize: 840352
[startup+360.025 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18107 0 1 0 33194 54 0 0 25 0 11 0 839444150 860520448 28176 4294967295 134512640 134569956 3221224368 3221214584 1131349274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28176 13086 16 0 210072 0
vsize: 840352
[startup+370.026 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18107 0 1 0 34166 54 0 0 25 0 11 0 839444150 860520448 28176 4294967295 134512640 134569956 3221224368 3221214672 1131416240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28176 13086 16 0 210072 0
vsize: 840352
[startup+380.027 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18107 0 1 0 35137 55 0 0 25 0 11 0 839444150 860520448 28182 4294967295 134512640 134569956 3221224368 3221214584 1131349268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28182 13086 16 0 210072 0
vsize: 840352
[startup+390.028 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 36102 55 0 0 25 0 11 0 839444150 860520448 28192 4294967295 134512640 134569956 3221224368 3221214664 1131179004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28192 13086 16 0 210072 0
vsize: 840352
[startup+400.028 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 37066 55 0 0 25 0 11 0 839444150 860520448 28320 4294967295 134512640 134569956 3221224368 3221214584 1131350029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28320 13086 16 0 210072 0
vsize: 840352
[startup+410.029 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 38034 56 0 0 25 0 11 0 839444150 860520448 28364 4294967295 134512640 134569956 3221224368 3221214584 1131349361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28364 13086 16 0 210072 0
vsize: 840352
[startup+420.031 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 39003 56 0 0 25 0 11 0 839444150 860520448 28419 4294967295 134512640 134569956 3221224368 3221214692 1130918694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28419 13086 16 0 210072 0
vsize: 840352
[startup+430.031 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 39962 56 0 0 25 0 11 0 839444150 860520448 28558 4294967295 134512640 134569956 3221224368 3221214672 1131411836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28558 13086 16 0 210072 0
vsize: 840352
[startup+440.031 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 40932 56 0 0 25 0 11 0 839444150 860520448 28569 4294967295 134512640 134569956 3221224368 3221214600 1131455975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28569 13086 16 0 210072 0
vsize: 840352
[startup+450.032 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 41905 57 0 0 25 0 11 0 839444150 860520448 28635 4294967295 134512640 134569956 3221224368 3221214584 1131349152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28635 13086 16 0 210072 0
vsize: 840352
[startup+460.033 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 42875 57 0 0 25 0 11 0 839444150 860520448 28704 4294967295 134512640 134569956 3221224368 3221214584 1131349117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28704 13086 16 0 210072 0
vsize: 840352
[startup+470.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 43856 58 0 0 25 0 11 0 839444150 860520448 28877 4294967295 134512640 134569956 3221224368 3221214912 1130918442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28877 13086 16 0 210072 0
vsize: 840352
[startup+480.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 44843 58 0 0 25 0 11 0 839444150 860520448 28898 4294967295 134512640 134569956 3221224368 3221214584 1131349111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28898 13086 16 0 210072 0
vsize: 840352
[startup+490.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 45827 58 0 0 25 0 11 0 839444150 860520448 28950 4294967295 134512640 134569956 3221224368 3221214544 1131373779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28950 13086 16 0 210072 0
vsize: 840352
[startup+500.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 46804 58 0 0 25 0 11 0 839444150 860520448 28957 4294967295 134512640 134569956 3221224368 3221214568 1131347685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 28957 13086 16 0 210072 0
vsize: 840352
[startup+510.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 47777 59 0 0 25 0 11 0 839444150 860520448 29017 4294967295 134512640 134569956 3221224368 3221214600 1131450108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210088 29017 13086 16 0 210072 0
vsize: 840352
[startup+520.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 48750 59 0 0 25 0 11 0 839444150 860520448 29018 4294967295 134512640 134569956 3221224368 3221214584 1131349115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29018 13086 16 0 210072 0
vsize: 840352
[startup+530.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) S 2490 24172 24171 0 -1 0 18109 0 1 0 49714 59 0 0 25 0 11 0 839444150 860520448 29086 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29086 13086 16 0 210072 0
vsize: 840352
[startup+540.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 50677 59 0 0 25 0 11 0 839444150 860520448 29213 4294967295 134512640 134569956 3221224368 3221214504 1131313909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29213 13086 16 0 210072 0
vsize: 840352
[startup+550.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 51648 59 0 0 25 0 11 0 839444150 860520448 29272 4294967295 134512640 134569956 3221224368 3221214584 1131349161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29272 13086 16 0 210072 0
vsize: 840352
[startup+560.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 52593 60 0 0 25 0 11 0 839444150 860520448 29343 4294967295 134512640 134569956 3221224368 3221214568 1131347575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29343 13086 16 0 210072 0
vsize: 840352
[startup+570.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 53541 60 0 0 24 0 11 0 839444150 860520448 29492 4294967295 134512640 134569956 3221224368 3221214672 1131411836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29492 13086 16 0 210072 0
vsize: 840352
[startup+580.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 54499 60 0 0 25 0 11 0 839444150 860520448 29686 4294967295 134512640 134569956 3221224368 3221214584 1131349023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29686 13086 16 0 210072 0
vsize: 840352
[startup+590.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 55462 61 0 0 24 0 11 0 839444150 860520448 29871 4294967295 134512640 134569956 3221224368 3221214512 1131462283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29871 13086 16 0 210072 0
vsize: 840352
[startup+600.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 56441 61 0 0 25 0 11 0 839444150 860520448 29872 4294967295 134512640 134569956 3221224368 3221214616 1131416372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29872 13086 16 0 210072 0
vsize: 840352
[startup+610.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 57398 62 0 0 25 0 11 0 839444150 860520448 29903 4294967295 134512640 134569956 3221224368 3221214400 1131314264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 29903 13086 16 0 210072 0
vsize: 840352
[startup+620.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 58364 62 0 0 25 0 11 0 839444150 860520448 30001 4294967295 134512640 134569956 3221224368 3221214496 1131450226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30001 13086 16 0 210072 0
vsize: 840352
[startup+630.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 59336 62 0 0 25 0 11 0 839444150 860520448 30062 4294967295 134512640 134569956 3221224368 3221214496 1131450226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30062 13086 16 0 210072 0
vsize: 840352
[startup+640.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 60310 62 0 0 25 0 11 0 839444150 860520448 30223 4294967295 134512640 134569956 3221224368 3221214616 1131411347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30223 13086 16 0 210072 0
vsize: 840352
[startup+650.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 61294 62 0 0 25 0 11 0 839444150 860520448 30370 4294967295 134512640 134569956 3221224368 3221214616 1131412536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30370 13086 16 0 210072 0
vsize: 840352
[startup+660.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 62280 63 0 0 25 0 11 0 839444150 860520448 30370 4294967295 134512640 134569956 3221224368 3221214512 1131347591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30370 13086 16 0 210072 0
vsize: 840352
[startup+670.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 63266 63 0 0 25 0 11 0 839444150 860520448 30431 4294967295 134512640 134569956 3221224368 3221214528 1131349743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30431 13086 16 0 210072 0
vsize: 840352
[startup+680.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 64257 63 0 0 25 0 11 0 839444150 860520448 30443 4294967295 134512640 134569956 3221224368 3221214616 1131412508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30443 13086 16 0 210072 0
vsize: 840352
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 65244 63 0 0 25 0 11 0 839444150 860520448 30450 4294967295 134512640 134569956 3221224368 3221214616 1131411836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30450 13086 16 0 210072 0
vsize: 840352
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 66232 64 0 0 25 0 11 0 839444150 860520448 30454 4294967295 134512640 134569956 3221224368 3221214528 1131349606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30454 13086 16 0 210072 0
vsize: 840352
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 67217 64 0 0 25 0 11 0 839444150 860520448 30519 4294967295 134512640 134569956 3221224368 3221214528 1131349347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30519 13086 16 0 210072 0
vsize: 840352
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 68205 65 0 0 25 0 11 0 839444150 860520448 30522 4294967295 134512640 134569956 3221224368 3221214400 1131314297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30522 13086 16 0 210072 0
vsize: 840352
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 69189 65 0 0 25 0 11 0 839444150 860520448 30528 4294967295 134512640 134569956 3221224368 3221214528 1131349161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30528 13086 16 0 210072 0
vsize: 840352
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 70165 65 0 0 25 0 11 0 839444150 860520448 30537 4294967295 134512640 134569956 3221224368 3221214432 1131373861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30537 13086 16 0 210072 0
vsize: 840352
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 71134 65 0 0 25 0 11 0 839444150 860520448 30595 4294967295 134512640 134569956 3221224368 3221214512 1131347662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30595 13086 16 0 210072 0
vsize: 840352
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 72105 66 0 0 25 0 11 0 839444150 860520448 30716 4294967295 134512640 134569956 3221224368 3221214616 1131412640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30716 13086 16 0 210072 0
vsize: 840352
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 73085 66 0 0 25 0 11 0 839444150 860520448 30738 4294967295 134512640 134569956 3221224368 3221214616 1131411836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30738 13086 16 0 210072 0
vsize: 840352
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 74068 67 0 0 25 0 11 0 839444150 860520448 30840 4294967295 134512640 134569956 3221224368 3221214616 1131410443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30840 13086 16 0 210072 0
vsize: 840352
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 75051 67 0 0 25 0 11 0 839444150 860520448 30853 4294967295 134512640 134569956 3221224368 3221214616 1131412508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30853 13086 16 0 210072 0
vsize: 840352
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 76034 67 0 0 24 0 11 0 839444150 860520448 30874 4294967295 134512640 134569956 3221224368 3221214528 1131349656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30874 13086 16 0 210072 0
vsize: 840352
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 77020 68 0 0 25 0 11 0 839444150 860520448 30895 4294967295 134512640 134569956 3221224368 3221214616 1131412640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30895 13086 16 0 210072 0
vsize: 840352
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 78012 68 0 0 25 0 11 0 839444150 860520448 30955 4294967295 134512640 134569956 3221224368 3221214528 1131349606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30955 13086 16 0 210072 0
vsize: 840352
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 79005 69 0 0 25 0 11 0 839444150 860520448 30962 4294967295 134512640 134569956 3221224368 3221214616 1131416036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30962 13086 16 0 210072 0
vsize: 840352
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 79994 69 0 0 25 0 11 0 839444150 860520448 30973 4294967295 134512640 134569956 3221224368 3221214616 1131413857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30973 13086 16 0 210072 0
vsize: 840352
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 80982 70 0 0 25 0 11 0 839444150 860520448 30975 4294967295 134512640 134569956 3221224368 3221214528 1131349371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30975 13086 16 0 210072 0
vsize: 840352
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 81965 70 0 0 25 0 11 0 839444150 860520448 30976 4294967295 134512640 134569956 3221224368 3221214612 1131350416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 30976 13086 16 0 210072 0
vsize: 840352
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 82945 70 0 0 25 0 11 0 839444150 860520448 31032 4294967295 134512640 134569956 3221224368 3221214616 1131410388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31032 13086 16 0 210072 0
vsize: 840352
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 83928 71 0 0 25 0 11 0 839444150 860520448 31056 4294967295 134512640 134569956 3221224368 3221214616 1131412640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31056 13086 16 0 210072 0
vsize: 840352
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 84915 71 0 0 25 0 11 0 839444150 860520448 31123 4294967295 134512640 134569956 3221224368 3221214616 1131410381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31123 13086 16 0 210072 0
vsize: 840352
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 85905 71 0 0 25 0 11 0 839444150 860520448 31144 4294967295 134512640 134569956 3221224368 3221214528 1131349606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31144 13086 16 0 210072 0
vsize: 840352
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 86895 72 0 0 25 0 11 0 839444150 860520448 31144 4294967295 134512640 134569956 3221224368 3221214528 1131349161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31144 13086 16 0 210072 0
vsize: 840352
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 87885 72 0 0 25 0 11 0 839444150 860520448 31159 4294967295 134512640 134569956 3221224368 3221214400 1131314221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31159 13086 16 0 210072 0
vsize: 840352
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 88877 72 0 0 25 0 11 0 839444150 860520448 31162 4294967295 134512640 134569956 3221224368 3221214400 1131313898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31162 13086 16 0 210072 0
vsize: 840352
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 89870 73 0 0 25 0 11 0 839444150 860520448 31183 4294967295 134512640 134569956 3221224368 3221214528 1131349161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31183 13086 16 0 210072 0
vsize: 840352
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 90860 73 0 0 25 0 11 0 839444150 860520448 31183 4294967295 134512640 134569956 3221224368 3221214616 1131416404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31183 13086 16 0 210072 0
vsize: 840352
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 91826 74 0 0 24 0 11 0 839444150 860520448 31183 4294967295 134512640 134569956 3221224368 3221214616 1131413765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31183 13086 16 0 210072 0
vsize: 840352
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 92790 74 0 0 25 0 11 0 839444150 860520448 31236 4294967295 134512640 134569956 3221224368 3221214400 1131314005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31236 13086 16 0 210072 0
vsize: 840352
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 93762 75 0 0 25 0 11 0 839444150 860520448 31290 4294967295 134512640 134569956 3221224368 3221214400 1131314278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31290 13086 16 0 210072 0
vsize: 840352
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 94741 75 0 0 25 0 11 0 839444150 860520448 31417 4294967295 134512640 134569956 3221224368 3221214400 1131314087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31417 13086 16 0 210072 0
vsize: 840352
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 95726 75 0 0 25 0 11 0 839444150 860520448 31527 4294967295 134512640 134569956 3221224368 3221214512 1131347565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31527 13086 16 0 210072 0
vsize: 840352
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 96712 76 0 0 25 0 11 0 839444150 860520448 31545 4294967295 134512640 134569956 3221224368 3221214528 1131349209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31545 13086 16 0 210072 0
vsize: 840352
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 97697 76 0 0 24 0 11 0 839444150 860520448 31545 4294967295 134512640 134569956 3221224368 3221214528 1131349606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31545 13086 16 0 210072 0
vsize: 840352
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 98683 77 0 0 25 0 11 0 839444150 860520448 31619 4294967295 134512640 134569956 3221224368 3221214528 1131349168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31619 13086 16 0 210072 0
vsize: 840352
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) S 2490 24172 24171 0 -1 0 18109 0 1 0 99678 77 0 0 25 0 11 0 839444150 860520448 31623 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31623 13086 16 0 210072 0
vsize: 840352
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 100674 77 0 0 25 0 11 0 839444150 860520448 31626 4294967295 134512640 134569956 3221224368 3221214608 1131178990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31626 13086 16 0 210072 0
vsize: 840352
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 101670 77 0 0 25 0 11 0 839444150 860520448 31628 4294967295 134512640 134569956 3221224368 3221214512 1131347693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31628 13086 16 0 210072 0
vsize: 840352
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 102665 78 0 0 25 0 11 0 839444150 860520448 31630 4294967295 134512640 134569956 3221224368 3221214616 1131413895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31630 13086 16 0 210072 0
vsize: 840352
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 103660 78 0 0 25 0 11 0 839444150 860520448 31632 4294967295 134512640 134569956 3221224368 3221214520 1131204770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31632 13086 16 0 210072 0
vsize: 840352
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 104654 79 0 0 25 0 11 0 839444150 860520448 31634 4294967295 134512640 134569956 3221224368 3221214616 1131412640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31634 13086 16 0 210072 0
vsize: 840352
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 105651 79 0 0 25 0 11 0 839444150 860520448 31642 4294967295 134512640 134569956 3221224368 3221214528 1131350567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31642 13086 16 0 210072 0
vsize: 840352
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 106647 79 0 0 25 0 11 0 839444150 860520448 31642 4294967295 134512640 134569956 3221224368 3221214528 1131349311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31642 13086 16 0 210072 0
vsize: 840352
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 107644 79 0 0 25 0 11 0 839444150 860520448 31642 4294967295 134512640 134569956 3221224368 3221214616 1131415796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31642 13086 16 0 210072 0
vsize: 840352
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 108640 79 0 0 25 0 11 0 839444150 860520448 31642 4294967295 134512640 134569956 3221224368 3221214616 1131412216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31642 13086 16 0 210072 0
vsize: 840352
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 109630 80 0 0 25 0 11 0 839444150 860520448 31642 4294967295 134512640 134569956 3221224368 3221214496 1131450402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31642 13086 16 0 210072 0
vsize: 840352
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 110614 80 0 0 25 0 11 0 839444150 860520448 31643 4294967295 134512640 134569956 3221224368 3221214552 1131271810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31643 13086 16 0 210072 0
vsize: 840352
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 111590 81 0 0 25 0 11 0 839444150 860520448 31645 4294967295 134512640 134569956 3221224368 3221214528 1131349956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31645 13086 16 0 210072 0
vsize: 840352
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 112570 81 0 0 25 0 11 0 839444150 860520448 31646 4294967295 134512640 134569956 3221224368 3221214528 1131349260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31646 13086 16 0 210072 0
vsize: 840352
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 113553 82 0 0 25 0 11 0 839444150 860520448 31757 4294967295 134512640 134569956 3221224368 3221214528 1131349161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31757 13086 16 0 210072 0
vsize: 840352
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 114538 82 0 0 25 0 11 0 839444150 860520448 31811 4294967295 134512640 134569956 3221224368 3221214400 1131331076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31811 13086 16 0 210072 0
vsize: 840352
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 115528 82 0 0 25 0 11 0 839444150 860520448 31815 4294967295 134512640 134569956 3221224368 3221214616 1131416560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31815 13086 16 0 210072 0
vsize: 840352
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 116516 83 0 0 25 0 11 0 839444150 860520448 31872 4294967295 134512640 134569956 3221224368 3221214616 1131411918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31872 13086 16 0 210072 0
vsize: 840352
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 117509 83 0 0 25 0 11 0 839444150 860520448 31873 4294967295 134512640 134569956 3221224368 3221214512 1131347575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31873 13086 16 0 210072 0
vsize: 840352
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 118502 83 0 0 25 0 11 0 839444150 860520448 31887 4294967295 134512640 134569956 3221224368 3221214608 1131178990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31887 13086 16 0 210072 0
vsize: 840352
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 119497 84 0 0 25 0 11 0 839444150 860520448 31890 4294967295 134512640 134569956 3221224368 3221214616 1131411777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31890 13086 16 0 210072 0
vsize: 840352
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2503
Raw data (stat): 2491 (java) R 2490 24172 24171 0 -1 0 18109 0 1 0 120492 84 0 0 25 0 11 0 839444150 860520448 31892 4294967295 134512640 134569956 3221224368 3221214528 1131349311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210088 31892 13086 16 0 210072 0
vsize: 840352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2505
Raw data (stat): 2491 (java) Z 2490 24172 24171 0 -1 1036 18109 17936 1 0 120493 90 5611 54 25 0 1 0 839444150 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): 1250.15
CPU time (s): 1262.5
CPU user time (s): 1261.06
CPU system time (s): 1.44678
CPU usage (%): 100.988
Max. virtual memory (Kb): 840352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####