PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	d1b87efc35bcd73acfc5183bbe3df4f0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
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	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	3288
Total number of constraints	374
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 29987

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        353920 kB
Buffers:         37908 kB
Cached:         616456 kB
SwapCached:          0 kB
Active:          43096 kB
Inactive:       618260 kB
HighTotal:      131008 kB
HighFree:         1036 kB
LowTotal:       903652 kB
LowFree:        352884 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            13792 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:49:57 (client local time) WITH STATUS 143 IN 1263.36 SECONDS
stats: 21390 7 1263.36 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/wulflinc8/normalized-mps-v2-13-7-pp08aCUTS.opb
c reading problem ... done. Time 6.005 ms.
c #vars     3288
c #constraints  374
c starts	: 8
c conflicts	: 3618
c decisions	: 19379
c propagations	: 43259
c inspects	: 3290973
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3618
c root simplifications	: 8
s UNKNOWN
c Total CPU time (ms) : 1239.463
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.96 0.98 2/54 18519
Raw data (stat): 18519 (runsolver) R 18518 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 767458124 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.0006 s]
Raw data (loadavg): 1.03 1.00 0.99 4/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18079 0 1 0 738 39 0 0 25 0 11 0 767458124 857923584 20370 4294967295 134512640 134569956 3221224368 3221213740 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209454 20370 13086 16 0 209438 0
vsize: 837816
[startup+20.1314 s]
Raw data (loadavg): 1.26 1.04 1.01 3/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18093 0 1 0 1440 40 0 0 25 0 11 0 767458124 873754624 25109 4294967295 134512640 134569956 3221224368 3221214568 1131317201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213319 25109 13086 16 0 213303 0
vsize: 853276
[startup+30.1326 s]
Raw data (loadavg): 1.45 1.09 1.03 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18094 0 1 0 2335 40 0 0 25 0 11 0 767458124 872779776 25332 4294967295 134512640 134569956 3221224368 3221214672 1131335695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213081 25332 13086 16 0 213065 0
vsize: 852324
[startup+40.1329 s]
Raw data (loadavg): 1.38 1.09 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18094 0 1 0 3279 40 0 0 25 0 11 0 767458124 872480768 25489 4294967295 134512640 134569956 3221224368 3221214684 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 25489 13086 16 0 212992 0
vsize: 852032
[startup+50.1336 s]
Raw data (loadavg): 1.32 1.08 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 4227 40 0 0 25 0 11 0 767458124 872480768 25745 4294967295 134512640 134569956 3221224368 3221214568 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 25745 13086 16 0 212992 0
vsize: 852032
[startup+60.1349 s]
Raw data (loadavg): 1.27 1.08 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 5149 41 0 0 25 0 11 0 767458124 872480768 25965 4294967295 134512640 134569956 3221224368 3221214672 1131341511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 25965 13086 16 0 212992 0
vsize: 852032
[startup+70.1352 s]
Raw data (loadavg): 1.23 1.08 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 6071 41 0 0 25 0 11 0 767458124 872480768 26188 4294967295 134512640 134569956 3221224368 3221214568 1131317861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 26188 13086 16 0 212992 0
vsize: 852032
[startup+80.1358 s]
Raw data (loadavg): 1.19 1.08 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 7004 41 0 0 25 0 11 0 767458124 872480768 26272 4294967295 134512640 134569956 3221224368 3221214568 1131317365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 26272 13086 16 0 212992 0
vsize: 852032
[startup+90.1362 s]
Raw data (loadavg): 1.16 1.07 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 7942 41 0 0 25 0 11 0 767458124 872480768 26640 4294967295 134512640 134569956 3221224368 3221214504 1131296984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 26640 13086 16 0 212992 0
vsize: 852032
[startup+100.135 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 8876 41 0 0 25 0 11 0 767458124 872480768 26884 4294967295 134512640 134569956 3221224368 3221214568 1131317788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 26884 13086 16 0 212992 0
vsize: 852032
[startup+110.136 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 9824 42 0 0 25 0 11 0 767458124 872480768 27041 4294967295 134512640 134569956 3221224368 3221214600 1131355704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 27041 13086 16 0 212992 0
vsize: 852032
[startup+120.136 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 10772 42 0 0 25 0 11 0 767458124 872480768 27221 4294967295 134512640 134569956 3221224368 3221214108 1131684688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 27221 13086 16 0 212992 0
vsize: 852032
[startup+130.137 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 11728 43 0 0 25 0 11 0 767458124 872480768 27466 4294967295 134512640 134569956 3221224368 3221214568 1131317819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 27466 13086 16 0 212992 0
vsize: 852032
[startup+140.137 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 12690 43 0 0 25 0 11 0 767458124 872480768 27545 4294967295 134512640 134569956 3221224368 3221214568 1131317561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 27545 13086 16 0 212992 0
vsize: 852032
[startup+150.138 s]
Raw data (loadavg): 1.06 1.06 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 13653 43 0 0 24 0 11 0 767458124 872480768 27642 4294967295 134512640 134569956 3221224368 3221214568 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 27642 13086 16 0 212992 0
vsize: 852032
[startup+160.138 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 14620 43 0 0 25 0 11 0 767458124 872480768 27730 4294967295 134512640 134569956 3221224368 3221214672 1131340424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 27730 13086 16 0 212992 0
vsize: 852032
[startup+170.138 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 15581 44 0 0 25 0 11 0 767458124 872480768 27827 4294967295 134512640 134569956 3221224368 3221214672 1131340354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 27827 13086 16 0 212992 0
vsize: 852032
[startup+180.139 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 16541 44 0 0 25 0 11 0 767458124 872480768 27933 4294967295 134512640 134569956 3221224368 3221214672 1131340443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 27933 13086 16 0 212992 0
vsize: 852032
[startup+190.14 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 17503 44 0 0 25 0 11 0 767458124 872480768 28036 4294967295 134512640 134569956 3221224368 3221214568 1131317294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28036 13086 16 0 212992 0
vsize: 852032
[startup+200.139 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 18466 45 0 0 25 0 11 0 767458124 872480768 28142 4294967295 134512640 134569956 3221224368 3221214672 1131337804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28142 13086 16 0 212992 0
vsize: 852032
[startup+210.14 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 19429 45 0 0 25 0 11 0 767458124 872480768 28271 4294967295 134512640 134569956 3221224368 3221214568 1131317487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28271 13086 16 0 212992 0
vsize: 852032
[startup+220.141 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 20396 45 0 0 25 0 11 0 767458124 872480768 28378 4294967295 134512640 134569956 3221224368 3221214672 1131336840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28378 13086 16 0 212992 0
vsize: 852032
[startup+230.141 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 21385 46 0 0 25 0 11 0 767458124 872480768 28403 4294967295 134512640 134569956 3221224368 3221214544 1131202928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28403 13086 16 0 212992 0
vsize: 852032
[startup+240.142 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 22372 46 0 0 25 0 11 0 767458124 872480768 28414 4294967295 134512640 134569956 3221224368 3221214184 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28414 13086 16 0 212992 0
vsize: 852032
[startup+250.142 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 23365 46 0 0 25 0 11 0 767458124 872480768 28425 4294967295 134512640 134569956 3221224368 3221214080 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 28425 13086 16 0 212992 0
vsize: 852032
[startup+260.143 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 24349 46 0 0 25 0 11 0 767458124 872480768 28433 4294967295 134512640 134569956 3221224368 3221214240 1085679434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28433 13086 16 0 212992 0
vsize: 852032
[startup+270.143 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 25340 47 0 0 25 0 11 0 767458124 872480768 28441 4294967295 134512640 134569956 3221224368 3221214096 1131683650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 28441 13086 16 0 212992 0
vsize: 852032
[startup+280.143 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 26331 47 0 0 25 0 11 0 767458124 872480768 28447 4294967295 134512640 134569956 3221224368 3221214544 1131683425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 28447 13086 16 0 212992 0
vsize: 852032
[startup+290.144 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 27322 47 0 0 25 0 11 0 767458124 872480768 28458 4294967295 134512640 134569956 3221224368 3221214376 1131559459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 28458 13086 16 0 212992 0
vsize: 852032
[startup+300.247 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 28322 47 0 0 25 0 11 0 767458124 872480768 28548 4294967295 134512640 134569956 3221224368 3221214372 1131683620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28548 13086 16 0 212992 0
vsize: 852032
[startup+310.255 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 29304 47 0 0 25 0 11 0 767458124 872480768 28752 4294967295 134512640 134569956 3221224368 3221214048 1131683443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28752 13086 16 0 212992 0
vsize: 852032
[startup+320.357 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 30314 47 0 0 25 0 11 0 767458124 872480768 28752 4294967295 134512640 134569956 3221224368 3221214168 1131684813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28752 13086 16 0 212992 0
vsize: 852032
[startup+330.363 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 31287 48 0 0 24 0 11 0 767458124 872480768 28958 4294967295 134512640 134569956 3221224368 3221214736 1131381263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 28958 13086 16 0 212992 0
vsize: 852032
[startup+340.364 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 32278 48 0 0 25 0 11 0 767458124 872480768 28958 4294967295 134512640 134569956 3221224368 3221214296 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 28958 13086 16 0 212992 0
vsize: 852032
[startup+350.364 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 33261 48 0 0 25 0 11 0 767458124 872480768 29037 4294967295 134512640 134569956 3221224368 3221214152 1131683437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 29037 13086 16 0 212992 0
vsize: 852032
[startup+360.364 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 34251 49 0 0 25 0 11 0 767458124 872480768 29111 4294967295 134512640 134569956 3221224368 3221214140 1131328393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 29111 13086 16 0 212992 0
vsize: 852032
[startup+370.365 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 35213 49 0 0 24 0 11 0 767458124 872480768 29475 4294967295 134512640 134569956 3221224368 3221214344 1131552193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 29475 13086 16 0 212992 0
vsize: 852032
[startup+380.365 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 36177 49 0 0 25 0 11 0 767458124 872480768 29734 4294967295 134512640 134569956 3221224368 3221214528 1131464646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 29734 13086 16 0 212992 0
vsize: 852032
[startup+390.366 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 37158 50 0 0 25 0 11 0 767458124 872480768 29897 4294967295 134512640 134569956 3221224368 3221214488 1131684597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 29897 13086 16 0 212992 0
vsize: 852032
[startup+400.366 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 38130 50 0 0 25 0 11 0 767458124 872480768 30166 4294967295 134512640 134569956 3221224368 3221214372 1131684752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30166 13086 16 0 212992 0
vsize: 852032
[startup+410.366 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 39103 50 0 0 25 0 11 0 767458124 872480768 30334 4294967295 134512640 134569956 3221224368 3221214176 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30334 13086 16 0 212992 0
vsize: 852032
[startup+420.367 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 40084 51 0 0 25 0 11 0 767458124 872480768 30490 4294967295 134512640 134569956 3221224368 3221214144 1131683623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30490 13086 16 0 212992 0
vsize: 852032
[startup+430.368 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 41066 51 0 0 25 0 11 0 767458124 872480768 30639 4294967295 134512640 134569956 3221224368 3221214176 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30639 13086 16 0 212992 0
vsize: 852032
[startup+440.369 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 42049 51 0 0 25 0 11 0 767458124 872480768 30718 4294967295 134512640 134569956 3221224368 3221214072 1131679183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30718 13086 16 0 212992 0
vsize: 852032
[startup+450.368 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 43041 52 0 0 25 0 11 0 767458124 872480768 30796 4294967295 134512640 134569956 3221224368 3221214504 1131317523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30796 13086 16 0 212992 0
vsize: 852032
[startup+460.369 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 44024 52 0 0 25 0 11 0 767458124 872480768 30939 4294967295 134512640 134569956 3221224368 3221214400 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30939 13086 16 0 212992 0
vsize: 852032
[startup+470.37 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 45016 52 0 0 25 0 11 0 767458124 872480768 30939 4294967295 134512640 134569956 3221224368 3221214232 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 30939 13086 16 0 212992 0
vsize: 852032
[startup+480.371 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) S 18518 3132 3131 0 -1 0 18095 0 1 0 45995 52 0 0 25 0 11 0 767458124 872480768 31099 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 31099 13086 16 0 212992 0
vsize: 852032
[startup+490.372 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 46925 53 0 0 25 0 11 0 767458124 872480768 31176 4294967295 134512640 134569956 3221224368 3221214544 1131317450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 31176 13086 16 0 212992 0
vsize: 852032
[startup+500.372 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 47852 53 0 0 25 0 11 0 767458124 872480768 31363 4294967295 134512640 134569956 3221224368 3221214644 1131316876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 31363 13086 16 0 212992 0
vsize: 852032
[startup+510.373 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 48806 54 0 0 25 0 11 0 767458124 872480768 31945 4294967295 134512640 134569956 3221224368 3221214648 1131337772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 31945 13086 16 0 212992 0
vsize: 852032
[startup+520.374 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 49783 54 0 0 25 0 11 0 767458124 872480768 32015 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32015 13086 16 0 212992 0
vsize: 852032
[startup+530.375 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 50759 55 0 0 25 0 11 0 767458124 872480768 32069 4294967295 134512640 134569956 3221224368 3221214544 1131317768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32069 13086 16 0 212992 0
vsize: 852032
[startup+540.376 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 51734 55 0 0 25 0 11 0 767458124 872480768 32127 4294967295 134512640 134569956 3221224368 3221214648 1131335425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32127 13086 16 0 212992 0
vsize: 852032
[startup+550.376 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 52710 56 0 0 25 0 11 0 767458124 872480768 32189 4294967295 134512640 134569956 3221224368 3221214648 1131335762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32189 13086 16 0 212992 0
vsize: 852032
[startup+560.376 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 53688 57 0 0 25 0 11 0 767458124 872480768 32243 4294967295 134512640 134569956 3221224368 3221214456 1131218618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32243 13086 16 0 212992 0
vsize: 852032
[startup+570.377 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 54665 57 0 0 25 0 11 0 767458124 872480768 32298 4294967295 134512640 134569956 3221224368 3221214544 1131317551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32298 13086 16 0 212992 0
vsize: 852032
[startup+580.378 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 55645 58 0 0 25 0 11 0 767458124 872480768 32353 4294967295 134512640 134569956 3221224368 3221214544 1131316889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32353 13086 16 0 212992 0
vsize: 852032
[startup+590.378 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 56623 58 0 0 25 0 11 0 767458124 872480768 32394 4294967295 134512640 134569956 3221224368 3221214544 1131317543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32394 13086 16 0 212992 0
vsize: 852032
[startup+600.379 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 57601 59 0 0 25 0 11 0 767458124 872480768 32440 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32440 13086 16 0 212992 0
vsize: 852032
[startup+610.39 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 58577 59 0 0 25 0 11 0 767458124 872480768 32495 4294967295 134512640 134569956 3221224368 3221214344 1131683656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32495 13086 16 0 212992 0
vsize: 852032
[startup+620.39 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 59555 59 0 0 25 0 11 0 767458124 872480768 32544 4294967295 134512640 134569956 3221224368 3221214712 1131360915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32544 13086 16 0 212992 0
vsize: 852032
[startup+630.405 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 60535 59 0 0 25 0 11 0 767458124 872480768 32599 4294967295 134512640 134569956 3221224368 3221214544 1131317892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32599 13086 16 0 212992 0
vsize: 852032
[startup+640.415 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 61511 60 0 0 25 0 11 0 767458124 872480768 32653 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32653 13086 16 0 212992 0
vsize: 852032
[startup+650.415 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 62489 60 0 0 21 0 11 0 767458124 872480768 32697 4294967295 134512640 134569956 3221224368 3221214456 1131219668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32697 13086 16 0 212992 0
vsize: 852032
[startup+660.416 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 63466 61 0 0 25 0 11 0 767458124 872480768 32746 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32746 13086 16 0 212992 0
vsize: 852032
[startup+670.417 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 64443 61 0 0 24 0 11 0 767458124 872480768 32798 4294967295 134512640 134569956 3221224368 3221214512 1131297212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32798 13086 16 0 212992 0
vsize: 852032
[startup+680.417 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 65421 61 0 0 25 0 11 0 767458124 872480768 32845 4294967295 134512640 134569956 3221224368 3221214648 1131335762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32845 13086 16 0 212992 0
vsize: 852032
[startup+690.418 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 66399 62 0 0 25 0 11 0 767458124 872480768 32889 4294967295 134512640 134569956 3221224368 3221214648 1131336910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32889 13086 16 0 212992 0
vsize: 852032
[startup+700.417 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 67377 62 0 0 25 0 11 0 767458124 872480768 32935 4294967295 134512640 134569956 3221224368 3221214456 1131219705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32935 13086 16 0 212992 0
vsize: 852032
[startup+710.419 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 68352 63 0 0 24 0 11 0 767458124 872480768 32985 4294967295 134512640 134569956 3221224368 3221214544 1131317551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 32985 13086 16 0 212992 0
vsize: 852032
[startup+720.419 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 69330 63 0 0 25 0 11 0 767458124 872480768 33032 4294967295 134512640 134569956 3221224368 3221214544 1131317593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33032 13086 16 0 212992 0
vsize: 852032
[startup+730.42 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 70308 63 0 0 25 0 11 0 767458124 872480768 33078 4294967295 134512640 134569956 3221224368 3221214648 1131340286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33078 13086 16 0 212992 0
vsize: 852032
[startup+740.42 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 71286 64 0 0 25 0 11 0 767458124 872480768 33124 4294967295 134512640 134569956 3221224368 3221214648 1131335817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33124 13086 16 0 212992 0
vsize: 852032
[startup+750.42 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 72264 64 0 0 25 0 11 0 767458124 872480768 33169 4294967295 134512640 134569956 3221224368 3221214544 1131317041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33169 13086 16 0 212992 0
vsize: 852032
[startup+760.421 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 73238 65 0 0 25 0 11 0 767458124 872480768 33218 4294967295 134512640 134569956 3221224368 3221214544 1131316989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33218 13086 16 0 212992 0
vsize: 852032
[startup+770.421 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 74215 65 0 0 25 0 11 0 767458124 872480768 33265 4294967295 134512640 134569956 3221224368 3221214544 1131317910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33265 13086 16 0 212992 0
vsize: 852032
[startup+780.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 75192 65 0 0 25 0 11 0 767458124 872480768 33319 4294967295 134512640 134569956 3221224368 3221214648 1131335836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33319 13086 16 0 212992 0
vsize: 852032
[startup+790.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 76169 65 0 0 25 0 11 0 767458124 872480768 33366 4294967295 134512640 134569956 3221224368 3221214448 1131608545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33366 13086 16 0 212992 0
vsize: 852032
[startup+800.427 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 77145 66 0 0 25 0 11 0 767458124 872480768 33415 4294967295 134512640 134569956 3221224368 3221214648 1131340511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33415 13086 16 0 212992 0
vsize: 852032
[startup+810.428 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 78120 66 0 0 25 0 11 0 767458124 872480768 33463 4294967295 134512640 134569956 3221224368 3221214544 1131317292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33463 13086 16 0 212992 0
vsize: 852032
[startup+820.428 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 79095 66 0 0 24 0 11 0 767458124 872480768 33517 4294967295 134512640 134569956 3221224368 3221214544 1131317240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33517 13086 16 0 212992 0
vsize: 852032
[startup+830.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 80072 67 0 0 25 0 11 0 767458124 872480768 33566 4294967295 134512640 134569956 3221224368 3221214644 1131325283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33566 13086 16 0 212992 0
vsize: 852032
[startup+840.429 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 81049 67 0 0 25 0 11 0 767458124 872480768 33609 4294967295 134512640 134569956 3221224368 3221214544 1131317561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33609 13086 16 0 212992 0
vsize: 852032
[startup+850.43 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 82025 68 0 0 25 0 11 0 767458124 872480768 33656 4294967295 134512640 134569956 3221224368 3221214456 1131219184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33656 13086 16 0 212992 0
vsize: 852032
[startup+860.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 83001 68 0 0 25 0 11 0 767458124 872480768 33702 4294967295 134512640 134569956 3221224368 3221214648 1131340415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33702 13086 16 0 212992 0
vsize: 852032
[startup+870.431 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 83977 69 0 0 25 0 11 0 767458124 872480768 33749 4294967295 134512640 134569956 3221224368 3221214648 1131335762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33749 13086 16 0 212992 0
vsize: 852032
[startup+880.432 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 84950 69 0 0 24 0 11 0 767458124 872480768 33800 4294967295 134512640 134569956 3221224368 3221214544 1131316893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33800 13086 16 0 212992 0
vsize: 852032
[startup+890.432 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 85926 70 0 0 25 0 11 0 767458124 872480768 33846 4294967295 134512640 134569956 3221224368 3221214648 1131340552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33846 13086 16 0 212992 0
vsize: 852032
[startup+900.432 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 86900 71 0 0 25 0 11 0 767458124 872480768 33893 4294967295 134512640 134569956 3221224368 3221214544 1131316897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33893 13086 16 0 212992 0
vsize: 852032
[startup+910.433 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 87877 71 0 0 25 0 11 0 767458124 872480768 33950 4294967295 134512640 134569956 3221224368 3221214352 1131683434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33950 13086 16 0 212992 0
vsize: 852032
[startup+920.434 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 88854 72 0 0 25 0 11 0 767458124 872480768 33992 4294967295 134512640 134569956 3221224368 3221214544 1131317561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 33992 13086 16 0 212992 0
vsize: 852032
[startup+930.434 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 89830 72 0 0 25 0 11 0 767458124 872480768 34037 4294967295 134512640 134569956 3221224368 3221214648 1131336851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34037 13086 16 0 212992 0
vsize: 852032
[startup+940.434 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 90805 73 0 0 24 0 11 0 767458124 872480768 34091 4294967295 134512640 134569956 3221224368 3221214544 1131317191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34091 13086 16 0 212992 0
vsize: 852032
[startup+950.435 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 91783 73 0 0 25 0 11 0 767458124 872480768 34135 4294967295 134512640 134569956 3221224368 3221214648 1131336820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34135 13086 16 0 212992 0
vsize: 852032
[startup+960.435 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 92761 73 0 0 25 0 11 0 767458124 872480768 34183 4294967295 134512640 134569956 3221224368 3221214544 1131317322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34183 13086 16 0 212992 0
vsize: 852032
[startup+970.436 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 93738 74 0 0 25 0 11 0 767458124 872480768 34226 4294967295 134512640 134569956 3221224368 3221214544 1131316917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34226 13086 16 0 212992 0
vsize: 852032
[startup+980.435 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 94715 74 0 0 25 0 11 0 767458124 872480768 34265 4294967295 134512640 134569956 3221224368 3221214540 1131219687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34265 13086 16 0 212992 0
vsize: 852032
[startup+990.436 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 95688 74 0 0 24 0 11 0 767458124 872480768 34306 4294967295 134512640 134569956 3221224368 3221214648 1131336757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34306 13086 16 0 212992 0
vsize: 852032
[startup+1000.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 96664 74 0 0 25 0 11 0 767458124 872480768 34356 4294967295 134512640 134569956 3221224368 3221214648 1131337774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34356 13086 16 0 212992 0
vsize: 852032
[startup+1010.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 97642 75 0 0 25 0 11 0 767458124 872480768 34402 4294967295 134512640 134569956 3221224368 3221213848 1131683656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34402 13086 16 0 212992 0
vsize: 852032
[startup+1020.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 98619 75 0 0 25 0 11 0 767458124 872480768 34443 4294967295 134512640 134569956 3221224368 3221214544 1131317338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34443 13086 16 0 212992 0
vsize: 852032
[startup+1030.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 99596 76 0 0 25 0 11 0 767458124 872480768 34481 4294967295 134512640 134569956 3221224368 3221214544 1131316981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34481 13086 16 0 212992 0
vsize: 852032
[startup+1040.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 100572 76 0 0 25 0 11 0 767458124 872480768 34520 4294967295 134512640 134569956 3221224368 3221214544 1131317810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34520 13086 16 0 212992 0
vsize: 852032
[startup+1050.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 101557 77 0 0 25 0 11 0 767458124 872480768 34548 4294967295 134512640 134569956 3221224368 3221214520 1131683604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213008 34548 13086 16 0 212992 0
vsize: 852032
[startup+1060.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 102532 77 0 0 25 0 11 0 767458124 872480768 34588 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34588 13086 16 0 212992 0
vsize: 852032
[startup+1070.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 103503 77 0 0 25 0 11 0 767458124 872480768 34627 4294967295 134512640 134569956 3221224368 3221214648 1131336854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34627 13086 16 0 212992 0
vsize: 852032
[startup+1080.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 104473 78 0 0 24 0 11 0 767458124 872480768 34669 4294967295 134512640 134569956 3221224368 3221214648 1131335762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34669 13086 16 0 212992 0
vsize: 852032
[startup+1090.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 105448 78 0 0 25 0 11 0 767458124 872480768 34752 4294967295 134512640 134569956 3221224368 3221214544 1131317861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34752 13086 16 0 212992 0
vsize: 852032
[startup+1100.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 106421 79 0 0 25 0 11 0 767458124 872480768 34798 4294967295 134512640 134569956 3221224368 3221214456 1131219246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34798 13086 16 0 212992 0
vsize: 852032
[startup+1110.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 107393 79 0 0 25 0 11 0 767458124 872480768 34848 4294967295 134512640 134569956 3221224368 3221214544 1131316977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34848 13086 16 0 212992 0
vsize: 852032
[startup+1120.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 108365 80 0 0 25 0 11 0 767458124 872480768 34909 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34909 13086 16 0 212992 0
vsize: 852032
[startup+1130.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 109342 80 0 0 25 0 11 0 767458124 872480768 34965 4294967295 134512640 134569956 3221224368 3221214648 1131335762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 34965 13086 16 0 212992 0
vsize: 852032
[startup+1140.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 110319 81 0 0 25 0 11 0 767458124 872480768 35011 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35011 13086 16 0 212992 0
vsize: 852032
[startup+1150.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 111292 81 0 0 24 0 11 0 767458124 872480768 35061 4294967295 134512640 134569956 3221224368 3221214544 1131316950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35061 13086 16 0 212992 0
vsize: 852032
[startup+1160.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 112269 82 0 0 25 0 11 0 767458124 872480768 35114 4294967295 134512640 134569956 3221224368 3221214456 1131218645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35114 13086 16 0 212992 0
vsize: 852032
[startup+1170.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 113243 82 0 0 25 0 11 0 767458124 872480768 35179 4294967295 134512640 134569956 3221224368 3221214544 1131317584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35179 13086 16 0 212992 0
vsize: 852032
[startup+1180.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 114219 83 0 0 25 0 11 0 767458124 872480768 35232 4294967295 134512640 134569956 3221224368 3221214648 1131337693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35232 13086 16 0 212992 0
vsize: 852032
[startup+1190.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 115196 83 0 0 25 0 11 0 767458124 872480768 35278 4294967295 134512640 134569956 3221224368 3221214544 1131317365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35278 13086 16 0 212992 0
vsize: 852032
[startup+1200.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) S 18518 3132 3131 0 -1 0 18095 0 1 0 116171 84 0 0 25 0 11 0 767458124 872480768 35333 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35333 13086 16 0 212992 0
vsize: 852032
[startup+1210.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 117151 84 0 0 25 0 11 0 767458124 872480768 35397 4294967295 134512640 134569956 3221224368 3221214648 1131336844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35397 13086 16 0 212992 0
vsize: 852032
[startup+1220.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 118130 85 0 0 25 0 11 0 767458124 872480768 35446 4294967295 134512640 134569956 3221224368 3221214648 1131336996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35446 13086 16 0 212992 0
vsize: 852032
[startup+1230.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 119109 85 0 0 25 0 11 0 767458124 872480768 35478 4294967295 134512640 134569956 3221224368 3221214648 1131336900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35478 13086 16 0 212992 0
vsize: 852032
[startup+1240.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18529
Raw data (stat): 18519 (java) R 18518 3132 3131 0 -1 0 18095 0 1 0 120085 85 0 0 25 0 11 0 767458124 872480768 35511 4294967295 134512640 134569956 3221224368 3221214544 1131317600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213008 35511 13086 16 0 212992 0
vsize: 852032
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.57 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18531
Raw data (stat): 18519 (java) Z 18518 3132 3131 0 -1 1036 18095 33471 1 0 120088 92 6066 88 24 0 1 0 767458124 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): 1240.57
CPU time (s): 1263.36
CPU user time (s): 1261.55
CPU system time (s): 1.80772
CPU usage (%): 101.837
Max. virtual memory (Kb): 853276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####