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-swath.opb
MD5SUM	02acc3d97c4f8ebb30f6632fa35817fc
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	16384000000
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	2012983988447
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.00585
Number of variables	8345
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	6744
Trace number 30064

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 14:24:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21468 boxname=wulflinc3 idbench=1456 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  02acc3d97c4f8ebb30f6632fa35817fc  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-swath.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-swath.opb
IDLAUNCH: 21468
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        777716 kB
Buffers:         34428 kB
Cached:         202348 kB
SwapCached:          0 kB
Active:          78252 kB
Inactive:       161144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        777464 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11856 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:44:38 (client local time) WITH STATUS 143 IN 1218.4 SECONDS
stats: 21468 7 1218.4 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/wulflinc3/normalized-mps-v2-13-7-swath.opb
c reading problem ... done. Time 29.36 ms.
c #vars     8345
c #constraints  987
c starts	: 1
c conflicts	: 1
c decisions	: 20
c propagations	: 496
c inspects	: 64
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1219.11
#### 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.86 0.97 0.99 2/54 1701
Raw data (stat): 1701 (runsolver) R 1700 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781346802 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.0008 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1710
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18011 0 1 0 879 36 0 0 25 0 10 0 781346802 854188032 19265 4294967295 134512640 134569956 3221224368 3221214648 1131193869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 19265 13086 16 0 208526 0
vsize: 834168
[startup+20.0013 s]
Raw data (loadavg): 1.19 1.03 1.01 4/63 1710
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18045 0 1 0 1737 38 0 0 25 0 10 0 781346802 861716480 21815 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210380 21815 13086 16 0 210364 0
vsize: 841520
[startup+30.004 s]
Raw data (loadavg): 1.24 1.05 1.02 2/63 1710
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18045 0 1 0 2598 40 0 0 25 0 10 0 781346802 860811264 23175 4294967295 134512640 134569956 3221224368 3221214320 1131272741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210159 23175 13086 16 0 210143 0
vsize: 840636
[startup+40.0045 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 3501 40 0 0 25 0 11 0 781346802 860278784 25415 4294967295 134512640 134569956 3221224368 3221214216 1076882241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 25415 13086 16 0 210013 0
vsize: 840116
[startup+50.0061 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 4461 40 0 0 25 0 11 0 781346802 860278784 25415 4294967295 134512640 134569956 3221224368 3221214448 1131313637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 25415 13086 16 0 210013 0
vsize: 840116
[startup+60.0064 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 5422 40 0 0 25 0 11 0 781346802 860278784 25420 4294967295 134512640 134569956 3221224368 3221214608 1131485612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 25420 13086 16 0 210013 0
vsize: 840116
[startup+70.0067 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 6382 41 0 0 25 0 11 0 781346802 860278784 25420 4294967295 134512640 134569956 3221224368 3221214608 1131485352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 25420 13086 16 0 210013 0
vsize: 840116
[startup+80.0076 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 7348 41 0 0 25 0 11 0 781346802 860278784 25422 4294967295 134512640 134569956 3221224368 3221214488 1131496715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 25422 13086 16 0 210013 0
vsize: 840116
[startup+90.0069 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 8320 41 0 0 25 0 11 0 781346802 860278784 25422 4294967295 134512640 134569956 3221224368 3221214608 1131485335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 25422 13086 16 0 210013 0
vsize: 840116
[startup+100.009 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 9300 41 0 0 25 0 11 0 781346802 860278784 25422 4294967295 134512640 134569956 3221224368 3221214488 1131496715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 25422 13086 16 0 210013 0
vsize: 840116
[startup+110.009 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18081 0 1 0 10272 41 0 0 25 0 11 0 781346802 860278784 26279 4294967295 134512640 134569956 3221224368 3221214472 1131312879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26279 13086 16 0 210013 0
vsize: 840116
[startup+120.01 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 11265 41 0 0 25 0 11 0 781346802 860278784 26292 4294967295 134512640 134569956 3221224368 3221214472 1131313264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26292 13086 16 0 210013 0
vsize: 840116
[startup+130.011 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 12256 41 0 0 24 0 11 0 781346802 860278784 26292 4294967295 134512640 134569956 3221224368 3221214576 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26292 13086 16 0 210013 0
vsize: 840116
[startup+140.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 13247 42 0 0 24 0 11 0 781346802 860278784 26292 4294967295 134512640 134569956 3221224368 3221214576 1131485426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26292 13086 16 0 210013 0
vsize: 840116
[startup+150.012 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 14242 42 0 0 25 0 11 0 781346802 860278784 26292 4294967295 134512640 134569956 3221224368 3221214472 1131312969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26292 13086 16 0 210013 0
vsize: 840116
[startup+160.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 15236 42 0 0 25 0 11 0 781346802 860278784 26292 4294967295 134512640 134569956 3221224368 3221214488 1131495792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26292 13086 16 0 210013 0
vsize: 840116
[startup+170.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 16230 43 0 0 25 0 11 0 781346802 860278784 26292 4294967295 134512640 134569956 3221224368 3221214472 1131313183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26292 13086 16 0 210013 0
vsize: 840116
[startup+180.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 17223 43 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+190.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 18216 43 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131230382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+200.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 19206 43 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131496756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+210.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 20200 43 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+220.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 21195 43 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131495792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+230.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 22189 44 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214576 1131237637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+240.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 23186 44 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131497529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+250.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 24180 45 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+260.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 25172 45 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+270.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 26165 45 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214572 1131222748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+280.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 27158 45 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+290.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 28152 46 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+300.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 29146 46 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+310.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 30145 46 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+320.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 31137 47 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+330.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 32130 47 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+340.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 33122 47 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+350.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 34115 48 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131312848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+360.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 35109 48 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131495796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+370.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 36104 48 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131313183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 37100 48 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 38095 49 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 39086 49 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131495799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 40078 50 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131312979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 41071 50 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131495147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 42064 50 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131313187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 43060 51 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 44056 51 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 45049 51 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 46041 52 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131313142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 47032 52 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214576 1131237595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 48025 52 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131481426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 49020 52 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214548 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 50014 52 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 51012 52 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 52005 53 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 52996 53 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 53988 53 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131313183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 54981 54 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214548 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 55975 54 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131495810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 56971 54 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131313142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 57969 54 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 58959 55 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) S 1700 20224 20223 0 -1 0 18082 0 1 0 59952 55 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 60944 56 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214588 1131312812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+630.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 61937 56 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 62931 56 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 63927 56 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 64923 56 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214504 1131495893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 65915 57 0 0 25 0 11 0 781346802 860278784 26294 4294967295 134512640 134569956 3221224368 3221214488 1131312956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26294 13086 16 0 210013 0
vsize: 840116
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 66909 57 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214488 1131313114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 67908 57 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214504 1131495147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 68907 57 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 69906 58 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 70905 58 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214592 1131485065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 71904 58 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 72903 58 0 0 25 0 11 0 781346802 860278784 26425 4294967295 134512640 134569956 3221224368 3221214488 1131313006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26425 13086 16 0 210013 0
vsize: 840116
[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 73901 58 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 74900 58 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 75899 58 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214548 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 76898 58 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214576 1131237637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 77897 59 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 78896 59 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+810.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 79894 59 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 80893 59 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 81892 60 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 82891 60 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 83890 60 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 84890 61 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 85888 61 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131481474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 86887 61 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214584 1131359831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 87886 61 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 88885 62 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 89884 62 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 90883 62 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214352 1078032826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+930.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 91883 62 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 92882 62 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 93881 62 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214504 1131495893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 94879 63 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214504 1131495147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 95879 63 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 96877 63 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 97876 63 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 98875 64 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 99873 64 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 100871 64 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 101869 64 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214576 1131237623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 102868 65 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 103867 65 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214572 1131222736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 104866 65 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 105866 65 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 106863 66 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 107862 66 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214488 1131313619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 108859 66 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 109858 66 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131481379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 110858 66 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 111856 66 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 112854 67 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 113845 67 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214504 1131495998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 114837 67 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214576 1131237634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 115826 67 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 116821 67 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214504 1131496732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 117813 67 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 118808 68 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 119804 68 0 0 25 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214504 1131495122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1711
Raw data (stat): 1701 (java) R 1700 20224 20223 0 -1 0 18082 0 1 0 120794 68 0 0 24 0 11 0 781346802 860278784 26426 4294967295 134512640 134569956 3221224368 3221214592 1131485399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210029 26426 13086 16 0 210013 0
vsize: 840116
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1713
Raw data (stat): 1701 (java) Z 1700 20224 20223 0 -1 1036 18082 6549 1 0 120797 68 954 19 25 0 1 0 781346802 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.15
CPU time (s): 1218.4
CPU user time (s): 1217.52
CPU system time (s): 0.883865
CPU usage (%): 99.8567
Max. virtual memory (Kb): 841520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####